English
Related papers

Related papers: Kolmogorov complexity and symmetric relational str…

200 papers

An infinite structure has the finite length property (over a given field) if, for each of its finite powers, chains of equivariant subspaces in the corresponding free vector space are bounded in length. Prior work showed that the countable…

Combinatorics · Mathematics 2026-05-22 Jingjie Yang , Mikołaj Bojańczyk , Bartek Klin

A system of homogeneous linear equations with integer coefficients is partition regular if, whenever the natural numbers are finitely coloured, the system has a monochromatic solution. The Finite Sums theorem provided the first example of…

Combinatorics · Mathematics 2013-12-20 Ben Barber , Neil Hindman , Imre Leader

This document gives a list of finite semigroups that are interesting from the point of view of Krohn-Rhodes complexity theory. The list will be expanded and updates as "time goes by".

Group Theory · Mathematics 2025-02-04 Stuart Margolis , John Rhodes

We review old and new uses of exchangeability, emphasizing the general theme of exchangeable representations of complex random structures. Illustrations of this theme include processes of stochastic coalescence and fragmentation; continuum…

Probability · Mathematics 2010-02-22 David J. Aldous

We introduce and study a family of Markov processes on partitions. The processes preserve the so-called z-measures on partitions previously studied in connection with harmonic analysis on the infinite symmetric group. We show that the…

Mathematical Physics · Physics 2007-05-23 Alexei Borodin , Grigori Olshanski

Using a categorial version of Fra\"iss\'e's theorem due to Droste and G\"obel, we derive a criterion for a comma-category to have universal homogeneous objects. As a first application we give new existence result for universal structures…

Category Theory · Mathematics 2013-02-26 Christian Pech , Maja Pech

Using new techniques for controlling the categoricity spectrum of a structure, we construct a structure with degree of categoricity but infinite spectral dimension, answering a question of Bazhenov, Kalimulin and Yamaleev. Using the same…

Logic · Mathematics 2020-01-29 Dan Turetsky

In this paper, we investigate relationships between $|\seq(A)|$ and $|\Part_{\fin}(A)|$ in the absence of the Axiom of Choice, where $\seq(A)$ is the set of finite sequences of elements in a set $A$ and $\Part_{\fin}(A)$ is the set of…

Logic · Mathematics 2023-12-05 Palagorn Phansamdaeng , Pimpen Vejjajiva

We present a property satisfied by a large variety of complex continued fraction algorithms (the "finite building property") and use it to explore the structure of bijectivity domains for natural extensions of Gauss maps. Specifically, we…

Dynamical Systems · Mathematics 2019-11-06 Adam Abrams

In recent work, the authors developed a simple method of constructing topological spaces from certain well-behaved partially ordered sets -- those coming from sequences of relations between finite sets. This method associates a given poset…

General Topology · Mathematics 2025-09-11 Adam Bartoš , Tristan Bice , Alessandro Vignati

For every total recursive time bound $t$, a constant fraction of all compressible (low Kolmogorov complexity) strings is $t$-bounded incompressible (high time-bounded Kolmogorov complexity); there are uncountably many infinite sequences of…

Computational Complexity · Computer Science 2009-08-11 E. G. Daylight , W. M. Koolen , P. M. B. Vitanyi

We suggest necessary conditions of soficness of multidimensional shifts formulated in termsof resource-bounded Kolmogorov complexity. Using this technique we provide examples ofeffective and non-sofic shifts on $\mathbb{Z}^2$ with very low…

Discrete Mathematics · Computer Science 2022-05-24 Julien Destombes , Andrei Romashchenko

We present an infinite family of recursive formulas that count binary integer partitions satisfying natural divisibility conditions and show that these counts are interrelated via partial sums. Moreover, we interpret the partitions we study…

Algebraic Topology · Mathematics 2022-05-11 Scott M. Bailey , Donald M. Larson

Given a set X of finite strings, one interesting question to ask is whether there exists a member of X which is simple conditional to all other members of X. Conditional simplicity is measured by low conditional Kolmogorov complexity. We…

Computational Complexity · Computer Science 2021-02-09 Samuel Epstein

A sibling of a relational structure $R$ is any structure $S$ which can be embedded into $R$ and, vice versa, in which $R$ can be embedded. Let $sib(R)$ be the number of siblings of $R$, these siblings being counted up to isomorphism.…

Logic · Mathematics 2019-05-29 Claude Laflamme , Maurice Pouzet , Norbert Sauer , Robert Woodrow

The theory of limits of discrete combinatorial objects has been thriving for the last decade or so. The syntactic, algebraic approach to the subject is popularly known as "flag algebras", while the semantic, geometric one is often…

Combinatorics · Mathematics 2020-12-02 Leonardo N. Coregliano , Alexander A. Razborov

We construct via Fra\"iss\'e amalgamation an $\omega$-categorical structure whose automorphism group is an infinite oligomorphic Jordan primitive permutation group preserving a `limit of $D$-relations'. The construction is based on a…

Group Theory · Mathematics 2020-09-11 Asma Ibrahim Almazaydeh , Dugald Macpherson

In "Random complex fewnomials, I," B. Shiffman and S. Zelditch determine the limiting formula as N goes to infinity of the (normalized) expected distribution of complex zeros of a system of k random n-nomials in m variables where the…

Complex Variables · Mathematics 2013-12-02 Timothy Tran

The present work develops a construction of a CD category of partial kernels from a particular type of Markov category called a partializable Markov category. These are a generalization of earlier models of categories of partial morphisms…

Category Theory · Mathematics 2025-09-08 Areeb Shah Mohammed

In this paper, we use algorithmic tools, effective dimension and Kolmogorov complexity, to study the fractal dimension of distance sets. We show that, for any analytic set $E\subseteq\R^2$ of Hausdorff dimension strictly greater than one,…

Computational Complexity · Computer Science 2022-08-16 D. M. Stull