English
Related papers

Related papers: Kolmogorov complexity and symmetric relational str…

200 papers

We propose a new approach to study the Kronecker coefficients by using the Schur-Weyl duality between the symmetric group and the partition algebra. We explain the limiting behavior and associated bounds in the context of the partition…

Representation Theory · Mathematics 2013-02-26 Christopher Bowman , Maud De Visscher , Rosa Orellana

Permanental sequences with non-symmetric kernels that are generalization of the potentials of a Markov chain with state space $\{0,1/2, \ldots, 1/n,\ldots\}$ that was introduced by Kolmogorov, are studied. Depending on a parameter in the…

Probability · Mathematics 2020-05-12 Michael B. Marcus , Jay Rosen

Spatial random permutations were originally studied due to their connections to Bose-Einstein condensation, but they possess many interesting properties of their own. For random permutations of a regular lattice with periodic boundary…

Probability · Mathematics 2015-06-17 Volker Betz

Roelcke non-precompactness, non-simplicity, and non-amenability of the automorphism group of the Fra\"iss\'e limit of finite Heyting algebras are examined among others.

Logic · Mathematics 2023-01-24 Kentaro Yamamoto

We study explicit continued fraction expansions for certain series. Some of these expansions have symmetry that generalizes some remarkable examples discovered independently by Kmosek and Shallit. Furthermore, we prove the following…

Number Theory · Mathematics 2012-03-15 Henry Cohn

The superamalgamation property is a strong form of the amalgamation property which applies to ordered structures; it has found many applications in algebraic logic. We show that superamalgamation has some interest also from the pure…

Logic · Mathematics 2023-06-13 Paolo Lipparini

We investigate infinite versions of vector and affine space partition results, and thus obtain examples and a counterexample for a partition problem for relational structures. In particular we provide two (related) examples of an age…

Logic · Mathematics 2014-01-14 C. Laflamme , L. Nguyen Van The , M. Pouzet , N. Sauer

We study random composite structures considered up to symmetry that are sampled according to weights on the inner and outer structures. This model may be viewed as an unlabelled version of Gibbs partitions and encompasses multisets of…

Combinatorics · Mathematics 2020-04-01 Benedikt Stufler

We extend the theory of infinite-exponent partition relations to arbitrary linear order types, with a particular focus on the real number line. We give a complete classification of all consistent partition relations on the real line with…

Logic · Mathematics 2026-04-08 Lyra A. Gardiner

It is shown that for sums of functionals of digits in continued fraction expansion the Kolmogorov-Feller weak laws of large numbers and the Khinchine-L\'evy-Feller-Raikov characterization of the domain of attraction of the normal law hold.

Probability · Mathematics 2009-01-19 Zbigniew S. Szewczak

The present paper is devoted to analysis of the lack of compactness of bounded sequences in \emph{inhomogeneous} Sobolev spaces, where bounded sequences might fail to be compact due to an isometric group action, that is, \emph{translation}.…

Functional Analysis · Mathematics 2022-02-16 Mizuho Okumura

We consider the preservation of properties of being finitely generated, being finitely presented and being residually finite under direct products in the context of different types of algebraic structures. The structures considered include…

Rings and Algebras · Mathematics 2017-09-26 Peter Mayr , Nik Ruskuc

We study the preservation of certain properties under products of classes of finite structures. In particular, we examine indivisibility, definable self-similarity, the amalgamation property, and the disjoint n-amalgamation property. We…

Logic · Mathematics 2023-09-14 Vince Guingona , Miriam Parnes , Lynn Scow

In this paper an extended CPR decomposition theorem for Finsler symmetric spaces of semi-negative curvature in the context of reductive structures is proven. This decomposition theorem is applied to give a geometric description of the…

Differential Geometry · Mathematics 2013-10-01 Martin Miglioli

Joseph Miller [16] and independently Andre Nies, Frank Stephan and Sebastiaan Terwijn [18] gave a complexity characterization of 2-random sequences in terms of plain Kolmogorov complexity C: they are sequences that have infinitely many…

Information Theory · Computer Science 2013-10-22 Bruno Bauwens

A real number is called left-computable if there exists a computable increasing sequence of rational numbers converging to it. In this article we investigate the Kolmogorov complexity and the binary expansions of a very specific subset of…

Logic · Mathematics 2025-09-29 Peter Hertling , Philip Janicki

The notion of left convergent sequences of graphs introduced by Lov\' asz et al. (in relation with homomorphism densities for fixed patterns and Szemer\'edi's regularity lemma) got increasingly studied over the past $10$ years. Recently,…

Combinatorics · Mathematics 2015-09-18 Pierre Charbit , Lucas Hosseini , Patrice Ossona de Mendez

We bound the future loss when predicting any (computably) stochastic sequence online. Solomonoff finitely bounded the total deviation of his universal predictor M from the true distribution m by the algorithmic complexity of m. Here we…

Machine Learning · Computer Science 2007-07-16 Alexey Chernov , Marcus Hutter

Solovay proved that there exists a computable upper bound f of the prefix-free Kolmogorov complexity function K such that f (x) = K(x) for infinitely many x. In this paper, we consider the class of computable functions f such that K(x) <= f…

Computational Complexity · Computer Science 2009-02-10 Laurent Bienvenu , Rod Downey

We investigate a number of semantically defined fragments of Tarski's algebra of binary relations, including the function-preserving fragment. We address the question whether they are generated by a finite set of operations. We obtain…

Logic in Computer Science · Computer Science 2024-09-11 Bart Bogaerts , Balder ten Cate , Brett McLean , Jan Van den Bussche