-
Fraïssé's Conjecture and big Ramsey degrees of structures admitting finite monomorphic decomposition
Authors:
Dragan Mašulović,
Veljko Toljić
Abstract:
In this paper we show that a countable structure admitting a finite monomorphic decomposition has finite big Ramsey degrees if and only if so does every monomorphic part in its minimal monomorphic decomposition. The necessary prerequisite for this result is the characterization of monomorphic structures with finite big Ramsey degrees: a countable monomorphic structure has finite big Ramsey degrees…
▽ More
In this paper we show that a countable structure admitting a finite monomorphic decomposition has finite big Ramsey degrees if and only if so does every monomorphic part in its minimal monomorphic decomposition. The necessary prerequisite for this result is the characterization of monomorphic structures with finite big Ramsey degrees: a countable monomorphic structure has finite big Ramsey degrees if and only if it is chainable by a chain with finite big Ramsey degrees. Interestingly, both characterizations require deep structural properties of chains. Fraïssé's Conjecture (actually, its positive resolution due to Laver) is instrumental in the characterization of monomorphic structures with finite big Ramsey degrees, while the analysis of big Ramsey combinatorics of structures admitting a finite monomorphic decomposition requires a product Ramsey theorem for big Ramsey degrees. We find this last result particularly intriguing because big Ramsey degrees misbehave notoriously when it comes to general product statements.
△ Less
Submitted 4 July, 2025; v1 submitted 29 July, 2024;
originally announced July 2024.
-
Classes of finite relational structures over finite languages have dual Ramsey degrees
Authors:
Aleksa Džuklevski,
Dragan Mašulović
Abstract:
Classical Ramsey theory has successfully extended to relational structures, yielding a wealth of results that have profoundly influenced other areas of mathematics. Interestingly, the same development has not occurred in the case of dual Ramsey theory. The main goal of this paper is to advance the dual Ramsey theory for finite relational structures with respect to natural structure-preserving maps…
▽ More
Classical Ramsey theory has successfully extended to relational structures, yielding a wealth of results that have profoundly influenced other areas of mathematics. Interestingly, the same development has not occurred in the case of dual Ramsey theory. The main goal of this paper is to advance the dual Ramsey theory for finite relational structures with respect to natural structure-preserving maps. Tools from category theory prove instrumental in this endeavor, as was previously the case for finite algebraic systems where the dual Ramsey property had been established for every class of finite algebras coming from an equationally defined class. One cannot help but feel that dual Ramsey phenomena are deeply connected to categorical strategies.
△ Less
Submitted 1 July, 2025; v1 submitted 4 July, 2024;
originally announced July 2024.
-
On Ramsey degrees, compactness and approximability
Authors:
Dragan Mašulović
Abstract:
One of the consequences of the Compactness Principle in structural Ramsey theory is that the small Ramsey degrees cannot exceed the corresponding big Ramsey degrees, thereby justifying the choice of adjectives. However, it is unclear what happens in the realm of dual Ramsey degrees due to the lack of the compactness argument that applies to that setting. In this paper we present a framework within…
▽ More
One of the consequences of the Compactness Principle in structural Ramsey theory is that the small Ramsey degrees cannot exceed the corresponding big Ramsey degrees, thereby justifying the choice of adjectives. However, it is unclear what happens in the realm of dual Ramsey degrees due to the lack of the compactness argument that applies to that setting. In this paper we present a framework within which both "direct" and dual Ramsey statements can be stated and reasoned about in a uniform fashion. We introduce the notion of approximability which yields a general compactness argument powerful enough to prove statements about both "direct" and dual Ramsey phenomena. We conclude the paper with an application of the new strategies by generalizing Voigt's $\star$-version of the Infinite Ramsey Theorem to a large class of relational structures and deriving a Ramsey statement for "loose colorings" of enumerated Fraïssé limits.
△ Less
Submitted 29 July, 2024; v1 submitted 4 June, 2024;
originally announced June 2024.
-
Tukey reducibility for categories -- In search of the strongest statement in finite Ramsey theory
Authors:
Keegan Dasilva Barbosa,
Dragan Mašulović
Abstract:
Every statement of the Ramsey theory of finite structures corresponds to the fact that a particular category has the Ramsey property. We can, then, compare the strength of Ramsey statements by comparing the ``Ramsey strength'' of the corresponding categories. The main thesis of this paper is that establishing pre-adjunctions between pairs of categories is an appropriate way of comparing their ``Ra…
▽ More
Every statement of the Ramsey theory of finite structures corresponds to the fact that a particular category has the Ramsey property. We can, then, compare the strength of Ramsey statements by comparing the ``Ramsey strength'' of the corresponding categories. The main thesis of this paper is that establishing pre-adjunctions between pairs of categories is an appropriate way of comparing their ``Ramsey strength''. What comes as a pleasant surprise is that pre-adjunctions generalize the Tukey reducibility in the same way categories generalize preorders. In this paper we set forth a classification program of statements of finite Ramsey theory based on their relationship with respect to this generalized notion of Tukey reducibility for categories. After identifying the ``weakest'' Ramsey category, we prove that the Finite Dual Ramsey Theorem is as powerful as the full-blown version of the Graham-Rothschild Theorem, and conclude the paper with the hypothesis that the Finite Dual Ramsey Theorem is the ``strongest'' of all finite Ramsey statements.
△ Less
Submitted 21 August, 2023; v1 submitted 18 July, 2023;
originally announced July 2023.
-
A short note on the characterization of countable chains with finite big Ramsey spectra
Authors:
Keegan Dasilva Barbosa,
Dragan Mašulović,
Rajko Nenadov
Abstract:
In this short note we confirm the deep structural correspondence between the complexity of a countable scattered chain (= strict linear order) and its big Ramsey combinatorics: we show that a countable scattered chain has finite big Ramsey degrees if and only if it is of finite Hausdorff rank. This also provides a complete characterization of countable chains whose big Ramsey spectra are finite.…
▽ More
In this short note we confirm the deep structural correspondence between the complexity of a countable scattered chain (= strict linear order) and its big Ramsey combinatorics: we show that a countable scattered chain has finite big Ramsey degrees if and only if it is of finite Hausdorff rank. This also provides a complete characterization of countable chains whose big Ramsey spectra are finite.
We expand the notion of big Ramsey spectrum to monomorphic structures and give a sufficient condition for a monomorphic countable structure to have finite big Ramsey spectrum.
△ Less
Submitted 22 July, 2023; v1 submitted 4 May, 2023;
originally announced May 2023.
-
On $k$-ary parts of maximal clones
Authors:
Dragan Mašulović,
Maja Pech
Abstract:
The main problem of clone theory is to describe the clone lattice for a given basic set. For a two-element basic set this was resolved by E.L. Post, but for at least three-element basic set the full structure of the lattice is still unknown, and the complete description in general is considered to be hopeless. Therefore, it is studied by its substructures and its approximations. One of the possibl…
▽ More
The main problem of clone theory is to describe the clone lattice for a given basic set. For a two-element basic set this was resolved by E.L. Post, but for at least three-element basic set the full structure of the lattice is still unknown, and the complete description in general is considered to be hopeless. Therefore, it is studied by its substructures and its approximations. One of the possible directions is to examine $k$-ary parts of the clones and their mutual inclusions. In this paper we study $k$-ary parts of maximal clones, for $k\geq2$, building on the already known results for their unary parts. It turns out that the poset of $k$-ary parts of maximal clones defined by central relations contains long chains.
△ Less
Submitted 30 January, 2024; v1 submitted 4 April, 2023;
originally announced April 2023.
-
Deducibility in Sudoku
Authors:
Dragan Mašulović
Abstract:
In this paper we provide a formalism, Sudoku logic, in which a solution is logically deducible if for every cell of the grid we can provably exclude all but a single option. We prove that the deductive system of Sudoku logic is sound and complete, and as a consequence of that we prove that a Sudoku puzzle has a unique solution if and only if it has a deducible solution. Using the classification of…
▽ More
In this paper we provide a formalism, Sudoku logic, in which a solution is logically deducible if for every cell of the grid we can provably exclude all but a single option. We prove that the deductive system of Sudoku logic is sound and complete, and as a consequence of that we prove that a Sudoku puzzle has a unique solution if and only if it has a deducible solution. Using the classification of fundamental Sudoku transformations by Adler and Adler we then formalize the notion of symmetry in Sudoku and provide a formal proof of Gurth's Symmetrical Placement Theorem. In the concluding section we present a Sudoku formula that captures the idea of a Sudoku grid having a unique solution. It turns out that this formula is an axiom of Sudoku logic, making it possible for us to offer to the Sudoku community a resolution of the Uniqueness Controversy: if we accept Sudoku logic as presented in this paper, there is no controversy! Uniqueness is an axiom and, as any other axiom, may freely be used in any Sudoku deduction.
△ Less
Submitted 6 December, 2022; v1 submitted 2 December, 2022;
originally announced December 2022.
-
From Ramsey degrees to Ramsey expansions via weak amalgamation
Authors:
Dragan Mašulović,
Andy Zucker
Abstract:
Under no additional assumptions, in this paper we construct a Ramsey expansion for every category of finite objects with finite small Ramsey degrees. Our construction is based on the relationship between small Ramsey degrees, weak amalgamation and recent results about weak Fraïssé categories. Namely, generalizing the fact that every Ramsey class has amalgamation, we show that classes with finite R…
▽ More
Under no additional assumptions, in this paper we construct a Ramsey expansion for every category of finite objects with finite small Ramsey degrees. Our construction is based on the relationship between small Ramsey degrees, weak amalgamation and recent results about weak Fraïssé categories. Namely, generalizing the fact that every Ramsey class has amalgamation, we show that classes with finite Ramsey degrees have weak amalgamation. We then invoke the machinery of weak Fraïssé categories to perform the construction. This improves previous similar results where an analogous construction was carried out under the assumption that everything sits comfortably in a bigger class with enough infrastructure, and that in this wider context there is an ultrahomogeneous structure under whose umbrella the construction takes place.
△ Less
Submitted 24 August, 2022; v1 submitted 15 August, 2022;
originally announced August 2022.
-
Ramsey properties of products and pullbacks of categories and the Grothendieck construction
Authors:
Dragan Mašulović
Abstract:
In this paper we provide purely categorical proofs of two important results of structural Ramsey theory: the result of M.\ Sokić that the free product of Ramsey classes is a Ramsey class and the result of M.\ Bodirsky, M.\Pinsker and T.\ Tsankov that adding constants to the language of a Ramsey class preserves the Ramsey property. The proofs that we present here ignore the model-theoretic backgrou…
▽ More
In this paper we provide purely categorical proofs of two important results of structural Ramsey theory: the result of M.\ Sokić that the free product of Ramsey classes is a Ramsey class and the result of M.\ Bodirsky, M.\Pinsker and T.\ Tsankov that adding constants to the language of a Ramsey class preserves the Ramsey property. The proofs that we present here ignore the model-theoretic background of these statements. Instead, they focus on categorical constructions by which the classes can be constructed, generalizing the original statements along the way. It turns out that the restriction to classes of relational structures, although fundamental for the original proof strategies, is not relevant for the statements themselves. The categorical proofs we present here remove all the restrictions on the signature of first-order structures and provide the information not only about the Ramsey property but also about the Ramsey degrees.
△ Less
Submitted 16 January, 2023; v1 submitted 2 April, 2022;
originally announced April 2022.
-
Ramsey degrees and entropy of combinatorial structures
Authors:
Dragan Mašulović
Abstract:
Close connections between various notions of entropy and the apparatus of category theory have been observed already in the 1980s and more vigorously developed in the past ten years. The starting point of the paper is the recent categorical understanding of structural Ramsey degrees, which then leads to a way to compute entropy of an object in a small category not as a measure of statistical, but…
▽ More
Close connections between various notions of entropy and the apparatus of category theory have been observed already in the 1980s and more vigorously developed in the past ten years. The starting point of the paper is the recent categorical understanding of structural Ramsey degrees, which then leads to a way to compute entropy of an object in a small category not as a measure of statistical, but as a measure of its combinatorial complexity. The new entropy function we propose, the Ramsey entropy, is a real-valued invariant of an object in an arbitrary small category. We require no additional categorical machinery to introduce and prove the properties of this entropy. Motivated by combinatorial phenomena (structural Ramsey degrees) we build the necessary infrastructure and prove the fundamental properties using only special partitions imposed on homsets. We conclude the paper with the discussion of the maximal Ramsey entropy on a category that we refer to as the Ramsey-Boltzmann entropy.
△ Less
Submitted 22 April, 2022; v1 submitted 31 March, 2022;
originally announced March 2022.
-
Coalgebraic methods for Ramsey degrees of unary algebras
Authors:
Dragan Mašulović
Abstract:
In this paper we are interested in the existence of small and big Ramsey degrees of classes of finite unary algebras in arbitrary (not necessarily finite) algebraic language $Ω$. We think of unary algebras as $M$-sets where $M = Ω^*$ is the free monoid of words over the alphabet $Ω$ and show that for an arbitrary monoid $M$ (finite or infinite) the class of all finite $M$-sets has finite small Ram…
▽ More
In this paper we are interested in the existence of small and big Ramsey degrees of classes of finite unary algebras in arbitrary (not necessarily finite) algebraic language $Ω$. We think of unary algebras as $M$-sets where $M = Ω^*$ is the free monoid of words over the alphabet $Ω$ and show that for an arbitrary monoid $M$ (finite or infinite) the class of all finite $M$-sets has finite small Ramsey degrees. This immediately implies that the class of all finite $G$-sets, where $G$ is an arbitrary group (finite or infinite), has finite small Ramsey degrees, and that the class of all finite unary algebras over an arbitrary (finite or infinite) algebraic language $Ω$ has finite small Ramsey degrees. This generalizes some Ramsey-type results of M.\ Sokić concerning finite unary algebras over finite languages and finite $G$-sets for finite groups~$G$. To do so we develop a completely new strategy that relies on the fact that right adjoints preserve the Ramsey property. We then treat $M$-sets as Eilenberg-Moore coalgebras for "half a comonad" and using pre-adjunctions transport the Ramsey properties we are interested in from the category of finite or countably infinite chains of order type $ω$. Moreover, we show that finite objects have finite big Ramsey degrees in the corresponding cofree structures over countably many generators.
△ Less
Submitted 16 May, 2024; v1 submitted 30 October, 2021;
originally announced November 2021.
-
Dual Ramsey properties for classes of algebras
Authors:
Dragan Masulovic
Abstract:
Almost any reasonable class of finite relational structures has the Ramsey property or a precompact Ramsey expansion. In contrast to that, the list of classes of finite algebras with the precompact Ramsey expansion is surprisingly short. In this paper we show that any nontrivial variety (that is, equationally defined class of algebras) enjoys various \emph{dual} Ramsey properties. We develop a com…
▽ More
Almost any reasonable class of finite relational structures has the Ramsey property or a precompact Ramsey expansion. In contrast to that, the list of classes of finite algebras with the precompact Ramsey expansion is surprisingly short. In this paper we show that any nontrivial variety (that is, equationally defined class of algebras) enjoys various \emph{dual} Ramsey properties. We develop a completely new set of strategies that rely on the fact that left adjoints preserve the dual Ramsey property, and then treat classes of algebras as Eilenberg-Moore categories for a monad. We show that finite algebras in any nontrivial variety have finite dual small Ramsey degrees, and that every finite algebra has finite dual big Ramsey degree in the free algebra on countably many free generators. As usual, these come as consequences of ordered versions of the statements.
△ Less
Submitted 10 March, 2023; v1 submitted 5 April, 2021;
originally announced April 2021.
-
The Kechris-Pestov-Todor\vcević correspondence from the point of view of category theory
Authors:
Dragan Mašulović
Abstract:
The Kechris-Pestov-Todorčević correspondence (KPT-correspondence for short) is a surprising correspondence between model theory, combinatorics and topological dynamics. In this paper we present a categorical re-interpretation of (a part of) the KPT-correspondence with the aim of proving a dual statement. Our strategy is to take a "direct" result and then analyze the necessary infrastructure that m…
▽ More
The Kechris-Pestov-Todorčević correspondence (KPT-correspondence for short) is a surprising correspondence between model theory, combinatorics and topological dynamics. In this paper we present a categorical re-interpretation of (a part of) the KPT-correspondence with the aim of proving a dual statement. Our strategy is to take a "direct" result and then analyze the necessary infrastructure that makes the result true by providing a purely categorical proof of the categorical version of the result. We can then capitalize on the Duality Principle to obtain the dual statements almost for free. We believe that the dual version of the KPT-correspondence can not only provide the new insights into the interplay of combinatorial, model-theoretic and topological phenomena this correspondence binds together, but also explores the limits to which categorical treatment of combinatorial phenomena can take us.
△ Less
Submitted 18 September, 2020; v1 submitted 27 July, 2020;
originally announced July 2020.
-
Ramsey degrees: big v. small
Authors:
Dragan Mašulović
Abstract:
In this paper we investigate algebraic properties of big Ramsey degrees in categories satisfying some mild conditions. As the first nontrivial consequence of the generalization we advocate in this paper we prove that small Ramsey degrees are the minima of the corresponding big ones. We also prove that big Ramsey degrees are subadditive and show that equality is enforced by an abstract property of…
▽ More
In this paper we investigate algebraic properties of big Ramsey degrees in categories satisfying some mild conditions. As the first nontrivial consequence of the generalization we advocate in this paper we prove that small Ramsey degrees are the minima of the corresponding big ones. We also prove that big Ramsey degrees are subadditive and show that equality is enforced by an abstract property of objects we refer to as self-similarity. Finally, we apply the abstract machinery developed in the paper to show that if a countable relational structure has finite big Ramsey degrees, then so do its quantifier-free reducts. In particular, it follows that the reducts of (Q, <), the random graph, the random tournament and (Q, <, 0) all have finite big Ramsey degrees.
△ Less
Submitted 11 August, 2020; v1 submitted 8 March, 2020;
originally announced March 2020.
-
Big Ramsey spectra of countable chains
Authors:
Dragan Mašulović
Abstract:
A big Ramsey spectrum of a countable chain (i.e. strict linear order) C is a sequence of big Ramsey degrees of finite chains computed in C. In this paper we consider big Ramsey spectra of countable scattered chains. We prove that countable scattered chains of infinite Hausdorff rank do not have finite big Ramsey spectra, and that countable scattered chains of finite Hausdorff rank with bounded fin…
▽ More
A big Ramsey spectrum of a countable chain (i.e. strict linear order) C is a sequence of big Ramsey degrees of finite chains computed in C. In this paper we consider big Ramsey spectra of countable scattered chains. We prove that countable scattered chains of infinite Hausdorff rank do not have finite big Ramsey spectra, and that countable scattered chains of finite Hausdorff rank with bounded finite sums have finite big Ramsey spectra. Since big Ramsey spectra of all non-scattered countable chains are finite by results of Galvin, Laver and Devlin, in order to complete the characterization of countable chains with finite big Ramsey spectra (or degrees) one still has to resolve the remaining case of countable scattered chains of finite Hausdorff rank whose finite sums are not bounded.
△ Less
Submitted 1 December, 2021; v1 submitted 6 December, 2019;
originally announced December 2019.
-
Countable ordinals and big Ramsey degrees
Authors:
Dragan Mašulović,
Branislav Šobot
Abstract:
In this paper we consider big Ramsey degrees of finite chains in countable ordinals. We prove that a countable ordinal has finite big Ramsey degrees if and only if it is smaller than $ω^ω$. Big Ramsey degrees of finite chains in all other countable ordinals are infinite.
In this paper we consider big Ramsey degrees of finite chains in countable ordinals. We prove that a countable ordinal has finite big Ramsey degrees if and only if it is smaller than $ω^ω$. Big Ramsey degrees of finite chains in all other countable ordinals are infinite.
△ Less
Submitted 26 July, 2019; v1 submitted 7 April, 2019;
originally announced April 2019.
-
Finite big Ramsey degrees in universal structures
Authors:
Dragan Masulovic
Abstract:
Big Ramsey degrees of finite structures are usually considered with respect to a Fraï ssé limit. Building mainly on the work of Devlin, Sauer, Laflamme and Van Thé, in this paper we consider structures which are not Fraï ssé limits, and still have the property that their finite substructures have finite big Ramsey degrees in them. For example, the class of all finite acyclic oriented graphs is not…
▽ More
Big Ramsey degrees of finite structures are usually considered with respect to a Fraï ssé limit. Building mainly on the work of Devlin, Sauer, Laflamme and Van Thé, in this paper we consider structures which are not Fraï ssé limits, and still have the property that their finite substructures have finite big Ramsey degrees in them. For example, the class of all finite acyclic oriented graphs is not a Fraï ssé class, and yet we show that there is a countably infinite acyclic oriented graph in which every finite acyclic oriented graph has finite big Ramsey degree. Our main tools come from category theory as it has recently become evident that the Ramsey property is not only a deep combinatorial property, but also a genuine categorical property.
△ Less
Submitted 5 July, 2018; v1 submitted 2 July, 2018;
originally announced July 2018.
-
The Ramsey and the ordering property for classes of lattices and semilattices
Authors:
Dragan Mašulović
Abstract:
The class of finite distributive lattices, as many other classes of structures, does not have the Ramsey property. It is quite common, though, that after expanding the structures with appropriately chosen linear orders the resulting class has the Ramsey property. So, one might expect that a similar result holds for the class of all finite distributive lattices. Surprisingly, Kechris and Sokić have…
▽ More
The class of finite distributive lattices, as many other classes of structures, does not have the Ramsey property. It is quite common, though, that after expanding the structures with appropriately chosen linear orders the resulting class has the Ramsey property. So, one might expect that a similar result holds for the class of all finite distributive lattices. Surprisingly, Kechris and Sokić have proved in 2012 that this is not the case: no expansion of the class of finite distributive lattices by linear orders satisfies the Ramsey property.
In this paper we prove that the variety of distributive lattices is not an exception, but an instance of a more general phenomenon. We show that for almost all nontrivial locally finite varieties of lattices no "reasonable" expansion of the finite members of the variety by linear orders gives rise to a Ramsey class. The responsibility for this lies not with the lattices as structures, but with the lack of algebraic morphisms: if we consider lattices as partially ordered sets (and thus switch from algebraic embeddings to embeddings of relational structures) we show that every variety of lattices gives rise to a class of linearly ordered posets having both the Ramsey property and the ordering property. It now comes as no surprise that the same is true for varieties of semilattices.
△ Less
Submitted 3 February, 2018;
originally announced February 2018.
-
Canonizing structural Ramsey theorems
Authors:
Dragan Masulovic
Abstract:
At the beginning of 1950's Erd\H os and Rado suggested the investigation of the Ramsey-type results where the number of colors is not finite. This marked the birth of the so-called canonizing Ramsey theory. In 1985 Prömel and Voigt made the first step towards the structural canonizing Ramsey theory when they proved the canonical Ramsey property for the class of finite linearly ordered hypergraphs,…
▽ More
At the beginning of 1950's Erd\H os and Rado suggested the investigation of the Ramsey-type results where the number of colors is not finite. This marked the birth of the so-called canonizing Ramsey theory. In 1985 Prömel and Voigt made the first step towards the structural canonizing Ramsey theory when they proved the canonical Ramsey property for the class of finite linearly ordered hypergraphs, and the subclasses thereof defined by forbidden substructures. Building on their results in this paper we provide several new structural canonical Ramsey results. We prove the canonical Ramsey theorem for the class of all finite linearly ordered tournaments, the class of all finite posets with linear extensions and the class of all finite linearly ordered metric spaces. We conclude the paper with the canonical version of the celebrated Nešetřil-Rödl Theorem. In contrast to the "classical" Ramsey-theoretic approach, in this paper we advocate the use of category theory to manage the complexity of otherwise technically overwhelming proofs typical in canonical Ramsey theory.
△ Less
Submitted 7 December, 2017;
originally announced December 2017.
-
A Dual Ramsey Theorem for Finite Ordered Oriented Graphs
Authors:
Dragan Mašulović,
Bojana Pantić
Abstract:
In contrast to the abundance of "direct" Ramsey results for classes of finite structures (such as finite ordered graphs, finite ordered metric spaces and finite posets with a linear extension), in only a handful of cases we have a meaningful dual Ramsey result. In this paper we prove a dual Ramsey theorem for finite ordered oriented graphs. Instead of embeddings, which are crucial for "direct" Ram…
▽ More
In contrast to the abundance of "direct" Ramsey results for classes of finite structures (such as finite ordered graphs, finite ordered metric spaces and finite posets with a linear extension), in only a handful of cases we have a meaningful dual Ramsey result. In this paper we prove a dual Ramsey theorem for finite ordered oriented graphs. Instead of embeddings, which are crucial for "direct" Ramsey results, we consider a special class of surjective homomorphisms between finite ordered oriented graphs. Since the setting we are interested in involves both structures and morphisms, all our results are spelled out using the reinterpretation of the (dual) Ramsey property in the language of category theory.
△ Less
Submitted 5 July, 2018; v1 submitted 20 October, 2017;
originally announced October 2017.
-
Dual Ramsey theorems for relational structures
Authors:
Dragan Mašulović
Abstract:
In this paper we provide explicit dual Ramsey statements for several classes of finite relational structures (such as finite linearly ordered graphs, finite linearly ordered metric spaces and finite posets with a linear extension) and conclude the paper with an explicit dual of the Nešetřil-Rödl Theorem for relational structures. Instead of embeddings which are crucial for "direct" Ramsey results,…
▽ More
In this paper we provide explicit dual Ramsey statements for several classes of finite relational structures (such as finite linearly ordered graphs, finite linearly ordered metric spaces and finite posets with a linear extension) and conclude the paper with an explicit dual of the Nešetřil-Rödl Theorem for relational structures. Instead of embeddings which are crucial for "direct" Ramsey results, for each class of structures under consideration we propose a special class of surjective maps and prove a dual Ramsey theorem in such a setting. In contrast to on-going Ramsey classification projects where the research is focused on fine-tuning the objects, in this paper we advocate the idea that fine-tuning the morphisms is the key to proving dual Ramsey results. Since the setting we are interested in involves both structures and morphisms, all our results are spelled out using the reinterpretation of the (dual) Ramsey property in the language of category theory.
△ Less
Submitted 28 July, 2018; v1 submitted 29 July, 2017;
originally announced July 2017.
-
A Ramsey Theorem for Multiposets
Authors:
Nemanja Draganić,
Dragan Mašulović
Abstract:
In the parlance of relational structures, the Finite Ramsey Theorem states that the class of all finite chains has the Ramsey property. A classical result of J. Nešetřil and V. Rödl claims that the class of all finite posets with a linear extension has the Ramsey property. In 2010 M. Sokić proved that the class of all finite structures consisting of several linear orders has the Ramsey property. T…
▽ More
In the parlance of relational structures, the Finite Ramsey Theorem states that the class of all finite chains has the Ramsey property. A classical result of J. Nešetřil and V. Rödl claims that the class of all finite posets with a linear extension has the Ramsey property. In 2010 M. Sokić proved that the class of all finite structures consisting of several linear orders has the Ramsey property. This was followed by a 2017 result of S. Solecki and M. Zhao that the class of all finite posets with several linear extensions has the Ramsey property. Using the categorical reinterpretation of the Ramsey property in this paper we prove a common generalization of all these results. We consider multiposets to be structures consisting of several partial orders and several linear orders. We allow partial orders to extend each other in an arbitrary but fixed way, and require that every partial order is extended by at least one of the linear orders. We then show that the class of all finite multiposets conforming to a fixed template has the Ramsey property.
△ Less
Submitted 7 April, 2019; v1 submitted 30 May, 2017;
originally announced May 2017.
-
A New Proof of the Nešetřil-Rödl Theorem
Authors:
Dragan Masulovic
Abstract:
In this paper we give a new proof of the Nešetřil-Rödl Theorem, a deep result of discrete mathematics which is one of the cornerstones of the structural Ramsey theory. In contrast to the well-known proofs which employ intricate combinatorial strategies, this proof is spelled out in the language of category theory and the main result follows by applying several simple categorical constructions. The…
▽ More
In this paper we give a new proof of the Nešetřil-Rödl Theorem, a deep result of discrete mathematics which is one of the cornerstones of the structural Ramsey theory. In contrast to the well-known proofs which employ intricate combinatorial strategies, this proof is spelled out in the language of category theory and the main result follows by applying several simple categorical constructions. The gain from the approach we present here is that, instead of giving the proof in the form of a large combinatorial construction, we can start from a few building blocks and then combine them into the final proof using general principles.
△ Less
Submitted 5 August, 2017; v1 submitted 14 March, 2017;
originally announced March 2017.
-
A Dual Ramsey Theorem for Permutations
Authors:
Dragan Masulovic
Abstract:
In 2012 M. Sokić proved that the class of all finite permutations has the Ramsey property. Using different strategies the same result was then reproved in 2013 by J. Böttcher and J. Foniok, in 2014 by M. Bodirsky and in 2015 yet another proof was provided by M. Sokić. Using the categorical reinterpretation of the Ramsey property in this paper we prove that the class of all finite permutations has…
▽ More
In 2012 M. Sokić proved that the class of all finite permutations has the Ramsey property. Using different strategies the same result was then reproved in 2013 by J. Böttcher and J. Foniok, in 2014 by M. Bodirsky and in 2015 yet another proof was provided by M. Sokić. Using the categorical reinterpretation of the Ramsey property in this paper we prove that the class of all finite permutations has the dual Ramsey property as well. It was Leeb who pointed out in 1970 that the use of category theory can be quite helpful both in the formulation and in the proofs of results pertaining to structural Ramsey theory. In this paper we argue that this is even more the case when dealing with the dual Ramsey property.
△ Less
Submitted 30 October, 2017; v1 submitted 21 February, 2017;
originally announced February 2017.
-
Pre-adjunctions and the Ramsey property
Authors:
Dragan Masulovic
Abstract:
Showing that the Ramsey property holds for a class of finite structures can be an extremely challenging task and a slew of sophisticated methods have been proposed in literature. In this paper we propose a new strategy to show that a class of structures has the Ramsey property. The strategy is based on a relatively simple result in category theory and consists of establishing a pre-adjunction betw…
▽ More
Showing that the Ramsey property holds for a class of finite structures can be an extremely challenging task and a slew of sophisticated methods have been proposed in literature. In this paper we propose a new strategy to show that a class of structures has the Ramsey property. The strategy is based on a relatively simple result in category theory and consists of establishing a pre-adjunction between the category of structures which is known to have the Ramsey property, and the category of structures we are interested in. This strategy was implicitly used already in 1981 by H.J. Prömel and B. Voigt in their proof of the Ramsey property for the class of finite linearly ordered graphs. We demonstrate the applicability of this strategy by providing short proofs of three important well known results: we show the Ramsey property for the category of all finite linearly ordered posets with embeddings, for the category of finite convexly ordered ultrametric spaces with embeddings, and for the category of all finite linearly ordered metric spaces (rational metric spaces) with embeddings.
△ Less
Submitted 27 January, 2018; v1 submitted 22 September, 2016;
originally announced September 2016.
-
On the Dual Ramsey Property for Finite Distributive Lattices
Authors:
Dragan Masulovic,
Nebojsa Mudrinski
Abstract:
The class of finite distributive lattices, as many other classes of structures in everyday use, does not have the Ramsey property. It is quite common, though, that after expanding the structures with appropriatelly chosen linear orders the resulting class has the Ramsey property. So, one might expect that a similar result holds for the class of all finite distributive lattices. Surprisingly, Kechr…
▽ More
The class of finite distributive lattices, as many other classes of structures in everyday use, does not have the Ramsey property. It is quite common, though, that after expanding the structures with appropriatelly chosen linear orders the resulting class has the Ramsey property. So, one might expect that a similar result holds for the class of all finite distributive lattices. Surprisingly, Kechris and Sokic have proved in 2012 that this is not the case: no expansion of the class of finite distributive lattices by linear orders satisfies the Ramsey property. In this paper we prove that the class of finite distributive lattices does not have the dual Ramsey property either. However, we are able to derive a dual Ramsey theorem for finite distributive lattices endowed with a particular linear order.
△ Less
Submitted 24 November, 2015; v1 submitted 11 November, 2015;
originally announced November 2015.
-
Categorical Constructions and the Ramsey Property
Authors:
Dragan Masulovic,
Lynn Scow
Abstract:
It has become obvious in the recent development that the structural Ramsey property is a categorical property: it depends not only on the choice of objects, but also on the choice of morphisms involved. In this paper we explicitely put the Ramsey property and the dual Ramsey property in the context of categories of finite structures and investigate the invariance of these properties under some sta…
▽ More
It has become obvious in the recent development that the structural Ramsey property is a categorical property: it depends not only on the choice of objects, but also on the choice of morphisms involved. In this paper we explicitely put the Ramsey property and the dual Ramsey property in the context of categories of finite structures and investigate the invariance of these properties under some standard categorical constructions. We use elementary category theory to generalize some combinatorial results and using the machinery of very basic category theory provide new combinatorial statements (whose formulations do not refer to category-theoretic notions).
△ Less
Submitted 24 November, 2015; v1 submitted 2 June, 2015;
originally announced June 2015.
-
Katetov functors
Authors:
Wiesław Kubiś,
Dragan Mašulović
Abstract:
We develop a theory of \emph{Katetov functors} which provide a uniform way of constructing Fraisse limits. Among applications, we present short proofs and improvements of several recent results on the structure of the group of automorphisms and the semigroup of endomorphisms of some Fraisse limits.
We develop a theory of \emph{Katetov functors} which provide a uniform way of constructing Fraisse limits. Among applications, we present short proofs and improvements of several recent results on the structure of the group of automorphisms and the semigroup of endomorphisms of some Fraisse limits.
△ Less
Submitted 20 July, 2015; v1 submitted 4 December, 2014;
originally announced December 2014.
-
Homomorphism-homogeneous L-colored graphs
Authors:
David Hartman,
Jan Hubicka,
Dragan Masulovic
Abstract:
A relational structure is homomorphism-homogeneous (HH-homogeneous for short) if every homomorphism between finite induced substructures of the structure can be extended to a homomorphism over the whole domain of the structure. Similarly, a structure is monomorphism-homogeneous (MH-homogeneous for short) if every monomorphism between finite induced substructures of the structure can be extended to…
▽ More
A relational structure is homomorphism-homogeneous (HH-homogeneous for short) if every homomorphism between finite induced substructures of the structure can be extended to a homomorphism over the whole domain of the structure. Similarly, a structure is monomorphism-homogeneous (MH-homogeneous for short) if every monomorphism between finite induced substructures of the structure can be extended to a homomorphism over the whole domain of the structure. In this paper we consider L-colored graphs, that is, undirected graphs without loops where sets of colors selected from L are assigned to vertices and edges. A full classification of finite MH-homogeneous L-colored graphs where L is a chain is provided, and we show that the classes MH and HH coincide. When L is a diamond, that is, a set of pairwise incomparable elements enriched with a greatest and a least element, the situation turns out to be much more involved. We show that in the general case the classes MH and HH do not coincide.
△ Less
Submitted 26 April, 2012;
originally announced April 2012.
-
A universality result for endomorphism monoids of some ultrahomogeneous structures
Authors:
Igor Dolinka,
Dragan Mašulović
Abstract:
We devise a fairly general sufficient condition ensuring that the endomorphism monoid of a countably infinite ultrahomogeneous structure (i.e. a Fraïssé limit) embeds all countable semigroups. This approach provides us not only with a framework unifying the previous scattered results in this vein, but actually yields new applications for endomorphism monoids of the (rational) Urysohn space and the…
▽ More
We devise a fairly general sufficient condition ensuring that the endomorphism monoid of a countably infinite ultrahomogeneous structure (i.e. a Fraïssé limit) embeds all countable semigroups. This approach provides us not only with a framework unifying the previous scattered results in this vein, but actually yields new applications for endomorphism monoids of the (rational) Urysohn space and the countable universal ultrahomogeneous semilattice.
△ Less
Submitted 8 July, 2011; v1 submitted 15 September, 2010;
originally announced September 2010.
-
Finite irreflexive homomorphism-homogeneous binary relational systems
Authors:
Dragan Mašulović,
Rajko Nenadov,
Nemanja Škorić
Abstract:
A structure is called homogeneous if every isomorphism between finite substructures of the structure extends to an automorphism of the structure. Recently, P. J. Cameron and J. Nešetřil introduced a relaxed version of homogeneity: we say that a structure is homomorphism-homogeneous if every homomorphism between finite substructures of the structure extends to an endomorphism of the structure. In…
▽ More
A structure is called homogeneous if every isomorphism between finite substructures of the structure extends to an automorphism of the structure. Recently, P. J. Cameron and J. Nešetřil introduced a relaxed version of homogeneity: we say that a structure is homomorphism-homogeneous if every homomorphism between finite substructures of the structure extends to an endomorphism of the structure. In this paper we characterize all finite homomorphism-homogeneous relational systems with one irreflexive binary relation.
△ Less
Submitted 4 January, 2010;
originally announced January 2010.
-
On finite reflexive homomorphism-homogeneous binary relational systems
Authors:
Dragan Mašulović,
Rajko Nenadov,
Nemanja Škorić
Abstract:
A structure is called homogeneous if every isomorphism between finitely induced substructures of the structure extends to an automorphism of the structure. Recently, P. J. Cameron and J. Nešetřil introduced a relaxed version of homogeneity: we say that a structure is homomorphism-homogeneous if every homomorphism between finitely induced substructures of the structure extends to an endomorphism…
▽ More
A structure is called homogeneous if every isomorphism between finitely induced substructures of the structure extends to an automorphism of the structure. Recently, P. J. Cameron and J. Nešetřil introduced a relaxed version of homogeneity: we say that a structure is homomorphism-homogeneous if every homomorphism between finitely induced substructures of the structure extends to an endomorphism of the structure.
In this paper we consider finite homomorphism-homogeneous relational systems with one reflexive binary relation. We show that for a large part of such relational systems (bidirectionally connected digraphs; a digraph is bidirectionally connected if each of its connected components can be traversed by $\rightleftarrows$-paths) the problem of deciding whether the system is homomorphism-homogeneous is coNP-complete. Consequently, for this class of relational systems we cannot hope for a description involving a catalogue, where by a catalogue we understand a finite list of polynomially decidable classes of structures. On the other hand, in case of bidirectionally disconnected digraphs we present the full characterization. Our main result states that if a digraph is bidirectionally disconnected, then it is homomorphism-homogeneous if and only if it is either a finite homomorphism-homogeneous quasiorder, or an inflation of a homomorphism-homogeneous digraph with involution (a peculiar class of digraphs introduced later in the paper), or an inflation of a digraph whose only connected components are $C_3^\circ$ and $\1^\circ$.
△ Less
Submitted 25 December, 2009;
originally announced December 2009.
