Showing 1–26 of 26 results for author: Braunfeld, S

Separability Properties of Monadically Dependent Graph Classes

Authors: Édouard Bonnet, Samuel Braunfeld, Ioannis Eleftheriadis, Colin Geniet, Nikolas Mählmann, Michał Pilipczuk, Wojciech Przybyszewski, Szymon Toruńczyk

Abstract: A graph class $\mathcal C$ is monadically dependent if one cannot interpret all graphs in colored graphs from $\mathcal C$ using a fixed first-order interpretation. We prove that monadically dependent classes can be exactly characterized by the following property, which we call flip-separability: for every $r\in \mathbb{N}$, $\varepsilon>0$, and every graph $G\in \mathcal{C}$ equipped with a weigh… ▽ More A graph class $\mathcal C$ is monadically dependent if one cannot interpret all graphs in colored graphs from $\mathcal C$ using a fixed first-order interpretation. We prove that monadically dependent classes can be exactly characterized by the following property, which we call flip-separability: for every $r\in \mathbb{N}$, $\varepsilon>0$, and every graph $G\in \mathcal{C}$ equipped with a weight function on vertices, one can apply a bounded (in terms of $\mathcal{C},r,\varepsilon$) number of flips (complementations of the adjacency relation on a subset of vertices) to $G$ so that in the resulting graph, every radius-$r$ ball contains at most an $\varepsilon$-fraction of the total weight. On the way to this result, we introduce a robust toolbox for working with various notions of local separations in monadically dependent classes. △ Less

Submitted 16 May, 2025; originally announced May 2025.

Comments: to appear at ICALP 2025

Boolean combinations of graphs

Authors: Sarosh Adenwalla, Samuel Braunfeld, John Sylvester, Viktor Zamaraev

Abstract: Boolean combinations allow combining given combinatorial objects to obtain new, potentially more complicated, objects. In this paper, we initiate a systematic study of this idea applied to graphs. In order to understand expressive power and limitations of boolean combinations in this context, we investigate how they affect different combinatorial and structural properties of graphs, in particular… ▽ More Boolean combinations allow combining given combinatorial objects to obtain new, potentially more complicated, objects. In this paper, we initiate a systematic study of this idea applied to graphs. In order to understand expressive power and limitations of boolean combinations in this context, we investigate how they affect different combinatorial and structural properties of graphs, in particular $χ$-boundedness, as well as characterize the structure of boolean combinations of graphs from various classes. △ Less

Submitted 27 December, 2024; originally announced December 2024.

MSC Class: 05C75; 05C62; 68R10; 06E30 ACM Class: G.2.2

Omega-categorical limits of betweenness relations and $D$-sets

Authors: Asma Ibrahim Almazaydeh, Samuel Braunfeld, Dugald Macpherson

Abstract: We explore two constructions of oligomorphic Jordan permutation groups preserving a `limit of betweenness relations' and a `limit of $D$-relations', from \cite{bhattmacph2006jordan} and \cite{almazaydeh2021jordan} respectively. Several issues left open in \cite{almazaydeh2021jordan} are resolved. In particular it is shown that the `limit of $D$-relations' is not homogeneous in the given language,… ▽ More We explore two constructions of oligomorphic Jordan permutation groups preserving a `limit of betweenness relations' and a `limit of $D$-relations', from \cite{bhattmacph2006jordan} and \cite{almazaydeh2021jordan} respectively. Several issues left open in \cite{almazaydeh2021jordan} are resolved. In particular it is shown that the `limit of $D$-relations' is not homogeneous in the given language, but is `homogenizable', that is, there is a homogeneous structure over a finite relational language with the same universe and the same automorphism group. The structure is NIP, but not monadically NIP, its age is not well-quasi-ordered under embeddability, and the growth rate of the sequence enumerating orbits on $k$-sets grows faster than exponentially. The automorphism group is maximal-closed in the symmetric group. Similar results are shown for the construction in \cite{bhattmacph2006jordan}. △ Less

Submitted 8 October, 2024; originally announced October 2024.

Comments: 21 pages

Indiscernibles in monadically NIP theories

Authors: Samuel Braunfeld, Michael C. Laskowski

Abstract: We prove various results around indiscernibles in monadically NIP theories. First, we provide several characterizations of monadic NIP in terms of indiscernibles, mirroring previous characterizations in terms of the behavior of finite satisfiability. Second, we study (monadic) distality in hereditary classes and complete theories. Here, via finite combinatorics, we prove a result implying that eve… ▽ More We prove various results around indiscernibles in monadically NIP theories. First, we provide several characterizations of monadic NIP in terms of indiscernibles, mirroring previous characterizations in terms of the behavior of finite satisfiability. Second, we study (monadic) distality in hereditary classes and complete theories. Here, via finite combinatorics, we prove a result implying that every planar graph admits a distal expansion. Finally, we prove a result implying that no monadically NIP theory interprets an infinite group, and note an example of a (monadically) stable theory with no distal expansion that does not interpret an infinite group. △ Less

Submitted 8 September, 2024; originally announced September 2024.

Comments: 21 pages

When invariance implies exchangeability (and applications to invariant Keisler measures)

Authors: Samuel Braunfeld, Colin Jahel, Paolo Marimon

Abstract: We study the problem of when, given a countable homogeneous structure $M$ and a space $S$ of expansions of $M$, every $\mathrm{Aut}(M)$-invariant probability measure on $S$ is exchangeable (i.e. invariant under all permutations of the domain). We show, for example, that if $M$ is a finitely bounded homogeneous $3$-hypergraph with free amalgamation (including the generic tetrahedron-free $3$-hyperg… ▽ More We study the problem of when, given a countable homogeneous structure $M$ and a space $S$ of expansions of $M$, every $\mathrm{Aut}(M)$-invariant probability measure on $S$ is exchangeable (i.e. invariant under all permutations of the domain). We show, for example, that if $M$ is a finitely bounded homogeneous $3$-hypergraph with free amalgamation (including the generic tetrahedron-free $3$-hypergraph), all $\mathrm{Aut}(M)$-invariant random expansions by graphs are exchangeable. Moreover, we extend and recover both the work of Angel, Kechris, and Lyons on invariant random orderings and some of the work of Crane and Towsner, and Ackerman on relative exchangeability. In the second part of the paper, we apply our results to the study of invariant Keisler measures, which we prove to be particular invariant random expansions. Thus, we describe the spaces of invariant Keisler measures of various homogeneous structures, obtaining the first results of this kind since the work of Albert and Ensley. We also show there are $2^{\aleph_0}$ supersimple homogeneous ternary structures for which there are non-forking formulas which are universally measure zero. △ Less

Submitted 20 February, 2025; v1 submitted 15 August, 2024; originally announced August 2024.

Comments: 58 pages, 5 figures

MSC Class: 0C315; 0C345; 60G09; 60C05; 37A05

Decidability in geometric grid classes of permutations

Authors: Samuel Braunfeld

Abstract: We prove that the basis and the generating function of a geometric grid class of permutations Geom$(M)$ are computable from the matrix $M$, as well as some variations on this result. Our main tool is monadic second-order logic on permutations and words. We prove that the basis and the generating function of a geometric grid class of permutations Geom$(M)$ are computable from the matrix $M$, as well as some variations on this result. Our main tool is monadic second-order logic on permutations and words. △ Less

Submitted 15 September, 2024; v1 submitted 8 August, 2023; originally announced August 2023.

Comments: 15 pages; final journal version

Type-respecting amalgamation and big Ramsey degrees

Authors: Andrés Aranda, Samuel Braunfeld, David Chodounský, Jan Hubička, Matěj Konečný, Jaroslav Nešetřil, Andy Zucker

Abstract: We give an infinitary extension of the Nešetřil-Rödl theorem for category of relational structures with special type-respecting embeddings. We give an infinitary extension of the Nešetřil-Rödl theorem for category of relational structures with special type-respecting embeddings. △ Less

Submitted 22 March, 2023; originally announced March 2023.

Comments: 5 pages. Extended abstract

MSC Class: 05D10; 05C05; 05C65; 05C55 ACM Class: G.2.2; F.4.1

Monadic NIP in monotone classes of relational structures

Authors: Samuel Braunfeld, Anuj Dawar, Ioannis Eleftheriadis, Aris Papadopoulos

Abstract: We prove that for any monotone class of finite relational structures, the first-order theory of the class is NIP in the sense of stability theory if, and only if, the collection of Gaifman graphs of structures in this class is nowhere dense. This generalises to relational structures a result previously known for graphs and answers an open question posed by Adler and Adler (2014). The result is est… ▽ More We prove that for any monotone class of finite relational structures, the first-order theory of the class is NIP in the sense of stability theory if, and only if, the collection of Gaifman graphs of structures in this class is nowhere dense. This generalises to relational structures a result previously known for graphs and answers an open question posed by Adler and Adler (2014). The result is established by the application of Ramsey-theoretic techniques and shows that the property of being NIP is highly robust for monotone classes. We also show that the model-checking problem for first-order logic is intractable on any class of monotone structures that is not (monadically) NIP. This is a contribution towards the conjecture of Bonnet et al. that the hereditary classes of structures admitting fixed-parameter tractable model-checking are precisely those that are monadically NIP. △ Less

Submitted 11 February, 2023; originally announced February 2023.

MSC Class: 3C13; 03C45; 05C75; 68R05; 68Q27 ACM Class: F.4.1; G.2.1

Big Ramsey Degrees and Infinite Languages

Authors: Samuel Braunfeld, David Chodounský, Noé de Rancourt, Jan Hubička, Jamal Kawach, Matěj Konečný

Abstract: This paper investigates big Ramsey degrees of unrestricted relational structures in (possibly) infinite languages. Despite significant progress in the study of big Ramsey degrees, the big Ramsey degrees of many classes of structures with finite small Ramsey degrees are still not well understood. We show that if there are only finitely many relations of every arity greater than one, then unrestrict… ▽ More This paper investigates big Ramsey degrees of unrestricted relational structures in (possibly) infinite languages. Despite significant progress in the study of big Ramsey degrees, the big Ramsey degrees of many classes of structures with finite small Ramsey degrees are still not well understood. We show that if there are only finitely many relations of every arity greater than one, then unrestricted relational structures have finite big Ramsey degrees, and give some evidence that this is tight. This is the first time finiteness of big Ramsey degrees has been established for a random structure in an infinite language. Our results represent an important step towards a better understanding of big Ramsey degrees for structures with relations of arity greater than two. △ Less

Submitted 18 July, 2024; v1 submitted 30 January, 2023; originally announced January 2023.

Comments: 26 pages

MSC Class: 05D10; 05C05; 05C65; 05C55; 03C50; 03C55; 03E05; 03E15

Journal ref: Advances in Combinatorics 2024:4, 26pp

Decomposition horizons and a characterization of stable hereditary classes of graphs

Authors: Samuel Braunfeld, Jaroslav Nešetřil, Patrice Ossona de Mendez, Sebastian Siebertz

Abstract: The notions of bounded-size and quasibounded-size decompositions with bounded treedepth base classes are central to the structural theory of graph sparsity introduced by two of the authors years ago, and provide a characterization of both classes with bounded expansions and nowhere dense classes. Strong connections of this theory with model theory led to considering first-order transductions, whic… ▽ More The notions of bounded-size and quasibounded-size decompositions with bounded treedepth base classes are central to the structural theory of graph sparsity introduced by two of the authors years ago, and provide a characterization of both classes with bounded expansions and nowhere dense classes. Strong connections of this theory with model theory led to considering first-order transductions, which are logically defined graph transformations, and to initiate a comparative study of combinatorial and model theoretical properties of graph classes, with an emphasis on the model theoretical notions of dependence (or NIP) and stability. In this paper, we first prove that every hereditary class with quasibounded-size decompositions with dependent (resp.\ stable) base classes is itself dependent (resp.\ stable). This result is obtained in a more general study of ``decomposition horizons'', which are class properties compatible with quasibounded-size decompositions. We deduce that hereditary classes with quasibounded-size decompositions with bounded shrubdepth base classes are stable. In the second part of the paper, we prove the converse. Thus, we characterize stable hereditary classes of graphs as those hereditary classes that admit quasibounded-size decompositions with bounded shrubdepth base classes. This result is obtained by proving that every hereditary stable class of graphs admits almost nowhere dense quasi-bush representations, thus answering positively a conjecture of Dreier et al. These results have several consequences. For example, we show that every graph $G$ in a stable, hereditary class of graphs $\mathscr C$ has a clique or a stable set of size $Ω_{\mathscr C,ε}(|G|^{1/2-ε})$, for every $ε>0$, which is tight in the sense that it cannot be improved to $Ω_{\mathscr C}(|G|^{1/2})$. △ Less

Submitted 22 December, 2024; v1 submitted 15 September, 2022; originally announced September 2022.

Existential characterizations of monadic NIP

Authors: Samuel Braunfeld, Michael C. Laskowski

Abstract: We show that if a universal theory is not monadically NIP, then this is witnessed by a canonical configuration defined by an existential formula. As a consequence, we show that a hereditary class of relational structures is NIP (resp. stable) if and only if it is monadically NIP (resp. monadically stable). As another consequence, we show that if such a class is not monadically NIP, then it has sup… ▽ More We show that if a universal theory is not monadically NIP, then this is witnessed by a canonical configuration defined by an existential formula. As a consequence, we show that a hereditary class of relational structures is NIP (resp. stable) if and only if it is monadically NIP (resp. monadically stable). As another consequence, we show that if such a class is not monadically NIP, then it has superexponential growth rate. △ Less

Submitted 24 July, 2023; v1 submitted 12 September, 2022; originally announced September 2022.

Comments: Added section 5 on growth rates; minor corrections; 23 pages

On first-order transductions of classes of graphs

Authors: Samuel Braunfeld, Jaroslav Nešetřil, Patrice Ossona de Mendez, Sebastian Siebertz

Abstract: We study various aspects of the first-order transduction quasi-order on graph classes, which provides a way of measuring the relative complexity of graph classes based on whether one can encode the other using a formula of first-order (FO) logic. In contrast with the conjectured simplicity of the transduction quasi-order for monadic second-order logic, the FO-transduction quasi-order is very compl… ▽ More We study various aspects of the first-order transduction quasi-order on graph classes, which provides a way of measuring the relative complexity of graph classes based on whether one can encode the other using a formula of first-order (FO) logic. In contrast with the conjectured simplicity of the transduction quasi-order for monadic second-order logic, the FO-transduction quasi-order is very complex, and many standard properties from structural graph theory and model theory naturally appear in it. We prove a local normal form for transductions among other general results and constructions, which we illustrate via several examples and via the characterizations of the transductions of some simple classes. We then turn to various aspects of the quasi-order, including the (non-)existence of minimum and maximum classes for certain properties, the strictness of the pathwidth hierarchy, the fact that the quasi-order is not a lattice, and the role of weakly sparse classes in the quasi-order. △ Less

Submitted 19 June, 2025; v1 submitted 30 August, 2022; originally announced August 2022.

Journal ref: Logical Methods in Computer Science, Volume 21, Issue 2 (June 23, 2025) lmcs:9981

Logical limit laws for layered permutations and related structures

Authors: Samuel Braunfeld, Matthew Kukla

Abstract: We show that several classes of ordered structures (namely, convex linear orders, layered permutations, and compositions) admit first-order logical limit laws. We show that several classes of ordered structures (namely, convex linear orders, layered permutations, and compositions) admit first-order logical limit laws. △ Less

Submitted 11 November, 2021; originally announced November 2021.

Journal ref: Enumerative Combinatorics and Applications 2:4 (2022) Article S4PP2

Theories with few non-algebraic types over models, and their decompositions

Authors: Samuel Braunfeld, Michael C Laskowski

Abstract: We consider several ways of decomposing models into parts of bounded size forming a congruence over a base, and show that admitting any such decomposition is equivalent to mutual algebraicity at the level of theories. We also show that a theory $T$ is mutually algebraic if and only if there is a uniform bound on the number of coordinate-wise non-algebraic types over every model, regardless of its… ▽ More We consider several ways of decomposing models into parts of bounded size forming a congruence over a base, and show that admitting any such decomposition is equivalent to mutual algebraicity at the level of theories. We also show that a theory $T$ is mutually algebraic if and only if there is a uniform bound on the number of coordinate-wise non-algebraic types over every model, regardless of its cardinality. △ Less

Submitted 20 December, 2021; v1 submitted 18 September, 2021; originally announced September 2021.

Comments: 6 pages; to appear in Proceedings of the AMS

MSC Class: 03C45

Journal ref: Proc. Amer. Math. Soc. 150 (2022), 4021-4026

Worst case expansions of complete theories

Authors: Samuel Braunfeld, Michael C. Laskowski

Abstract: Given a complete theory $T$ and a subset $Y \subseteq X^k$, we precisely determine the {\em worst case complexity}, with respect to further monadic expansions, of an expansion $(M,Y)$ by $Y$ of a model $M$ of $T$ with universe $X$. In particular, although by definition monadically stable/NIP theories are robust under arbitrary monadic expansions, we show that monadically NFCP (equivalently, mutual… ▽ More Given a complete theory $T$ and a subset $Y \subseteq X^k$, we precisely determine the {\em worst case complexity}, with respect to further monadic expansions, of an expansion $(M,Y)$ by $Y$ of a model $M$ of $T$ with universe $X$. In particular, although by definition monadically stable/NIP theories are robust under arbitrary monadic expansions, we show that monadically NFCP (equivalently, mutually algebraic) theories are the largest class that is robust under anything beyond monadic expansions. We also exhibit a paradigmatic structure for the failure of each of monadic NFCP/stable/NIP and prove each of these paradigms definably embeds into a monadic expansion of a sufficiently saturated model of any theory without the corresponding property. △ Less

Submitted 12 June, 2022; v1 submitted 22 July, 2021; originally announced July 2021.

Comments: 15 pages; to appear in Model Theory

Journal ref: Model Th. 1 (2022) 15-30

Characterizations of monadic NIP

Authors: Samuel Braunfeld, Michael C. Laskowski

Abstract: We give several characterizations of when a complete first-order theory $T$ is monadically NIP, i.e. when expansions of $T$ by arbitrary unary predicates do not have the independence property. The central characterization is a condition on finite satisfiability of types. Other characterizations include decompositions of models, the behavior of indiscernibles, and a forbidden configuration. As an a… ▽ More We give several characterizations of when a complete first-order theory $T$ is monadically NIP, i.e. when expansions of $T$ by arbitrary unary predicates do not have the independence property. The central characterization is a condition on finite satisfiability of types. Other characterizations include decompositions of models, the behavior of indiscernibles, and a forbidden configuration. As an application, we prove non-structure results for hereditary classes of finite substructures of non-monadically NIP models that eliminate quantifiers. △ Less

Submitted 10 August, 2024; v1 submitted 27 April, 2021; originally announced April 2021.

Comments: We include corrigenda to v2 in an appendix. The notion of endless indiscernible triviality is introduced and replaces indiscernible triviality throughout, in particular in Theorem 1.1. The claim regarding the failure of 4-wqo in Theorem 1.2 is withdrawn and remains unproved

MSC Class: 03C45

Journal ref: Trans. Amer. Math. Soc. Ser. B 8 (2021), 948-970

The undecidability of joint embedding for 3-dimensional permutation classes

Authors: Samuel Braunfeld

Abstract: As a step towards resolving a question of Ruškuc on the decidability of joint embedding for hereditary classes of permutations, which may be viewed as structures in a language of 2 linear orders, we show the corresponding problem is undecidable for hereditary classes of structures in a language of 3 linear orders. As a step towards resolving a question of Ruškuc on the decidability of joint embedding for hereditary classes of permutations, which may be viewed as structures in a language of 2 linear orders, we show the corresponding problem is undecidable for hereditary classes of structures in a language of 3 linear orders. △ Less

Submitted 7 September, 2021; v1 submitted 25 February, 2020; originally announced February 2020.

Comments: 20 pages. DMTCS version. arXiv admin note: substantial text overlap with arXiv:1903.11932

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 2, Permutation Patterns 2019, Special issues (September 14, 2021) dmtcs:6165

Mutual algebraicity and cellularity

Authors: Samuel Braunfeld, Michael C. Laskowski

Abstract: We prove two results intended to streamline proofs about cellularity that pass through mutual algebraicity. First, we show that a countable structure $M$ is cellular if and only if $M$ is $ω$-categorical and mutually algebraic. Second, if a countable structure $M$ in a finite relational language is mutually algebraic non-cellular, we show it admits an elementary extension adding infinitely many in… ▽ More We prove two results intended to streamline proofs about cellularity that pass through mutual algebraicity. First, we show that a countable structure $M$ is cellular if and only if $M$ is $ω$-categorical and mutually algebraic. Second, if a countable structure $M$ in a finite relational language is mutually algebraic non-cellular, we show it admits an elementary extension adding infinitely many infinite MA-connected components. Towards these results, we introduce MA-presentations of a mutually algebraic structure, in which every atomic formula is mutually algebraic. This allows for an improved quantifier elimination and a decomposition of the structure into independent pieces. We also show this decomposition is largely independent of the MA-presentation chosen. △ Less

Submitted 26 October, 2021; v1 submitted 14 November, 2019; originally announced November 2019.

Comments: 18 pages; to appear in Archive for Mathematical Logic

MSC Class: 03C15

Journal ref: Arch. Math. Logic 61, 841-857 (2022)

Counting siblings in universal theories

Authors: Samuel Braunfeld, Michael C. Laskowski

Abstract: We show that if a countable structure $M$ in a finite relational language is not cellular, then there is an age-preserving $N \supseteq M$ such that $2^{\aleph_0}$ many structures are bi-embeddable with $N$. The proof proceeds by a case division based on mutual algebraicity. We show that if a countable structure $M$ in a finite relational language is not cellular, then there is an age-preserving $N \supseteq M$ such that $2^{\aleph_0}$ many structures are bi-embeddable with $N$. The proof proceeds by a case division based on mutual algebraicity. △ Less

Submitted 26 April, 2021; v1 submitted 24 October, 2019; originally announced October 2019.

Comments: 26 pages; v3 to appear in Journal of Symbolic Logic

MSC Class: 03C15; 03C98

Journal ref: J. Symb. Log. 87 (2022), 1130-1155

Monadic stability and growth rates of $ω$-categorical structures

Authors: Samuel Braunfeld

Abstract: For $M$ $ω$-categorical and stable, we investigate the growth rate of $M$, i.e. the number of orbits of $Aut(M)$ on $n$-sets, or equivalently the number of $n$-substructures of $M$ after performing quantifier elimination. We show that monadic stability corresponds to a gap in the spectrum of growth rates, from slower than exponential to faster than exponential. This allows us to give a nearly comp… ▽ More For $M$ $ω$-categorical and stable, we investigate the growth rate of $M$, i.e. the number of orbits of $Aut(M)$ on $n$-sets, or equivalently the number of $n$-substructures of $M$ after performing quantifier elimination. We show that monadic stability corresponds to a gap in the spectrum of growth rates, from slower than exponential to faster than exponential. This allows us to give a nearly complete description of the spectrum of slower than exponential growth rates (without the assumption of stability), confirming some longstanding conjectures of Cameron and Macpherson and proving the existence of gaps not previously recognized. △ Less

Submitted 19 August, 2021; v1 submitted 10 October, 2019; originally announced October 2019.

Comments: 13 pages; to appear in Proceedings of the London Mathematical Society

MSC Class: 03C15; 05A16; 20B27

The undecidability of joint embedding and joint homomorphism for hereditary graph classes

Authors: Samuel Braunfeld

Abstract: We prove that the joint embedding property is undecidable for hereditary graph classes, via a reduction from the tiling problem. The proof is then adapted to show the undecidability of the joint homomorphism property as well. We prove that the joint embedding property is undecidable for hereditary graph classes, via a reduction from the tiling problem. The proof is then adapted to show the undecidability of the joint homomorphism property as well. △ Less

Submitted 25 November, 2019; v1 submitted 28 March, 2019; originally announced March 2019.

Comments: 17 pages; DMTCS version; initial version split

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 2, Permutation Patters 2018 (December 13, 2019) dmtcs:5325

$Λ$-ultrametric spaces and lattices of equivalence relations

Authors: Samuel Braunfeld

Abstract: For a finite lattice $Λ$, $Λ$-ultrametric spaces have, among other reasons, appeared as a means of constructing structures with lattices of equivalence relations embedding $Λ$. This makes use of an isomorphism of categories between $Λ$-ultrametric spaces and structures equipped with certain families of equivalence relations. We extend this isomorphism to the case of infinite lattices. We also pose… ▽ More For a finite lattice $Λ$, $Λ$-ultrametric spaces have, among other reasons, appeared as a means of constructing structures with lattices of equivalence relations embedding $Λ$. This makes use of an isomorphism of categories between $Λ$-ultrametric spaces and structures equipped with certain families of equivalence relations. We extend this isomorphism to the case of infinite lattices. We also pose questions about representing a given finite lattice as the lattice of $\emptyset$-definable equivalence relations of structures with model-theoretic symmetry properties. △ Less

Submitted 24 February, 2020; v1 submitted 27 November, 2018; originally announced November 2018.

Comments: 9 pages, Journal version

MSC Class: 03C50; 06B15; 18B35

Journal ref: Algebra Universalis 80(33), 2019

The classification of homogeneous finite-dimensional permutation structures

Authors: Samuel Braunfeld, Pierre Simon

Abstract: We classify the homogeneous finite-dimensional permutation structures, i.e., homogeneous structures in a language of finitely many linear orders, giving a nearly complete answer to a question of Cameron, and confirming the classification conjectured by the first author. The primitive case was proven by the second author using model-theoretic methods, and those methods continue to appear here. We classify the homogeneous finite-dimensional permutation structures, i.e., homogeneous structures in a language of finitely many linear orders, giving a nearly complete answer to a question of Cameron, and confirming the classification conjectured by the first author. The primitive case was proven by the second author using model-theoretic methods, and those methods continue to appear here. △ Less

Submitted 24 February, 2020; v1 submitted 18 July, 2018; originally announced July 2018.

Comments: 18 pages, Journal version

MSC Class: 03C15; 03C64; 06A05

Journal ref: The Electronic Journal of Combinatorics 27(1): P.38, 2020

Infinite Limits of Finite-Dimensional Permutation Structures, and their Automorphism Groups: Between Model Theory and Combinatorics

Authors: Samuel Braunfeld

Abstract: In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is concerned with Cameron's problem of classifying the homogeneous structures in a language of finitely many linear orders, which we call finite-dimensional permutati… ▽ More In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is concerned with Cameron's problem of classifying the homogeneous structures in a language of finitely many linear orders, which we call finite-dimensional permutation structures. Towards this problem, we present a construction that we conjecture produces all such structures. Some evidence for this conjecture is given, including the classification of the homogeneous 3-dimensional permutation structures. We next consider the topological dynamics, in the style of Kechris, Pestov, and Todorčević, of the automorphism groups of the homogeneous finite-dimensional permutation structures we have constructed, which requires proving a structural Ramsey theorem for all the associated amalgamation classes. Because the $\emptyset$-definable equivalence relations in these homogeneous finite-dimensional permutation structures may form arbitrary finite distributive lattices, the model-theoretic algebraic closure operation may become quite complex, and so we require the framework recently introduced by Hubička and Nešetril. Finally, we consider the decision problem for whether a finitely-constrained permutation avoidance class is atomic, or equivalently, has the joint embedding property. As a first approximation to this problem, we prove the undecidability of the corresponding decision problem in the category of graphs. Modifying this proof also gives the undecidability, in the category of graphs, of the corresponding decision problem for the joint homomorphism property, which is of interest in infinite-domain constraint satisfaction problems. △ Less

Submitted 10 May, 2018; originally announced May 2018.

Comments: The author's thesis. Much of the first 8 chapters appeared in the previous articles "The Lattice of Definable Equivalence Relations in Homogeneous $n$-Dimensional Permutation Structures", "Ramsey expansions of $Λ$-ultrametric spaces", and "Homogeneous 3-dimensional permutation structures"

MSC Class: 03C13; 03C15; 03C50; 05D10; 37B05

Homogeneous 3-dimensional permutation structures

Authors: Samuel Braunfeld

Abstract: We provide a classification of the homogeneous 3-dimensional permutation structures, i.e. homogeneous structures in a language of 3 linear orders, partially answering a question of Cameron. We also arrive at a natural description of all known homogeneous finite-dimensional permutation structures by modifying the language used in the construction from a previous paper, completing the "census" begun… ▽ More We provide a classification of the homogeneous 3-dimensional permutation structures, i.e. homogeneous structures in a language of 3 linear orders, partially answering a question of Cameron. We also arrive at a natural description of all known homogeneous finite-dimensional permutation structures by modifying the language used in the construction from a previous paper, completing the "census" begun there. △ Less

Submitted 24 February, 2020; v1 submitted 14 October, 2017; originally announced October 2017.

Comments: 30 pages, Journal version

MSC Class: 03C13; 03C50

Journal ref: The Electronic Journal of Combinatorics, 25(2): P.52, 2018

Ramsey expansions of $Λ$-ultrametric spaces

Authors: Samuel Braunfeld

Abstract: For a finite lattice $Λ$, $Λ$-ultrametric spaces are a convenient language for describing structures equipped with a family of equivalence relations. When $Λ$ is finite and distributive, there exists a generic $Λ$-ultrametric space, and we here identify a family of Ramsey expansions for that space. This then allows a description the universal minimal flow of its automorphism group, and also implie… ▽ More For a finite lattice $Λ$, $Λ$-ultrametric spaces are a convenient language for describing structures equipped with a family of equivalence relations. When $Λ$ is finite and distributive, there exists a generic $Λ$-ultrametric space, and we here identify a family of Ramsey expansions for that space. This then allows a description the universal minimal flow of its automorphism group, and also implies the Ramsey property for all known homogeneous finite-dimensional permutation structures, i.e. structures in a language of finitely many linear orders. A point of technical interest is that our proof involves classes with non-unary algebraic closure operations. As a byproduct of some of the concepts developed, we also arrive at a natural description of the known homogeneous finite-dimensional permutation structures, completing our previously begun "census". △ Less

Submitted 3 October, 2017; originally announced October 2017.

MSC Class: 03C13; 03C15; 03C50; 05D10; 37B05