-
Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
Authors:
Michael Pinsker,
Jakub Rydval,
Moritz Schöbi,
Christoph Spiess
Abstract:
The Feder-Vardi dichotomy conjecture for Constraint Satisfaction Problems (CSPs) with finite templates, confirmed independently by Bulatov and Zhuk, has an extension to certain well-behaved infinite templates due to Bodirsky and Pinsker which remains wide open. We provide answers to three fundamental questions on the scope of the Bodirsky-Pinsker conjecture. Our first two main results provide two…
▽ More
The Feder-Vardi dichotomy conjecture for Constraint Satisfaction Problems (CSPs) with finite templates, confirmed independently by Bulatov and Zhuk, has an extension to certain well-behaved infinite templates due to Bodirsky and Pinsker which remains wide open. We provide answers to three fundamental questions on the scope of the Bodirsky-Pinsker conjecture. Our first two main results provide two simplifications of this scope, one of structural, and the other one of algebraic nature. The former simplification implies that the conjecture is equivalent to its restriction to templates without algebraicity, a crucial assumption in the most powerful classification methods. The latter yields that the higher-arity invariants of any template within its scope can be assumed to be essentially injective, and any algebraic condition characterizing any complexity class within the conjecture closed under Datalog reductions must be satisfiable by injections, thus lifting the mystery of the better applicability of certain conditions over others. Our third main result uses the first one to show that any non-trivially tractable template within the scope serves, up to a Datalog-computable modification of it, as the witness of the tractability of a non-finitely tractable finite-domain Promise Constraint Satisfaction Problem (PCSP) by the so-called sandwich method. This generalizes a recent result of Mottet and provides a strong hitherto unknown connection between the Bodirsky-Pinsker conjecture and finite-domain PCSPs.
△ Less
Submitted 21 April, 2025; v1 submitted 10 February, 2025;
originally announced February 2025.
-
Minimal operations over permutation groups
Authors:
Paolo Marimon,
Michael Pinsker
Abstract:
We classify the possible types of minimal operations above an arbitrary permutation group. Above the trivial group, a theorem of Rosenberg yields that there are five types of minimal operations. We show that above any non-trivial permutation group there are at most four such types. Indeed, except above Boolean groups acting freely on a set, there are only three. In particular, this is the case for…
▽ More
We classify the possible types of minimal operations above an arbitrary permutation group. Above the trivial group, a theorem of Rosenberg yields that there are five types of minimal operations. We show that above any non-trivial permutation group there are at most four such types. Indeed, except above Boolean groups acting freely on a set, there are only three. In particular, this is the case for oligomorphic permutation groups, for which we improve a result of Bodirsky and Chen by showing one of the types in their classification does not exist. Building on these results, we answer three questions of Bodirsky that were previously open.
△ Less
Submitted 16 June, 2025; v1 submitted 29 October, 2024;
originally announced October 2024.
-
An algebraic proof of the dichotomy for graph orientation problems with forbidden tournaments
Authors:
Roman Feller,
Michael Pinsker
Abstract:
For a set F of finite tournaments, the F-free orientation problem is the problem of orienting a given finite undirected graph in such a way that the resulting oriented graph does not contain any member of F. Using the theory of smooth approximations, we give a new shorter proof of the complexity dichotomy for such problems obtained recently by Bodirsky and Guzmán-Pro. In fact, our approach yields…
▽ More
For a set F of finite tournaments, the F-free orientation problem is the problem of orienting a given finite undirected graph in such a way that the resulting oriented graph does not contain any member of F. Using the theory of smooth approximations, we give a new shorter proof of the complexity dichotomy for such problems obtained recently by Bodirsky and Guzmán-Pro. In fact, our approach yields a complexity dichotomy for a considerably larger class of computational problems where one is given an undirected graph along with additional local constraints on the allowed orientations. Moreover, the border between tractable and hard problems is described by a decidable algebraic condition.
△ Less
Submitted 14 August, 2024; v1 submitted 30 May, 2024;
originally announced May 2024.
-
Containment for Guarded Monotone Strict NP
Authors:
Alexey Barsukov,
Michael Pinsker,
Jakub Rydval
Abstract:
Guarded Monotone Strict NP (GMSNP) extends Monotone Monadic Strict NP (MMSNP) by guarded existentially quantified predicates of arbitrary arities. We prove that the containment problem for GMSNP is decidable, thereby settling an open question of Bienvenu, ten Cate, Lutz, and Wolter, later restated by Bourhis and Lutz. Our proof also comes with a 2NEXPTIME upper bound on the complexity of the probl…
▽ More
Guarded Monotone Strict NP (GMSNP) extends Monotone Monadic Strict NP (MMSNP) by guarded existentially quantified predicates of arbitrary arities. We prove that the containment problem for GMSNP is decidable, thereby settling an open question of Bienvenu, ten Cate, Lutz, and Wolter, later restated by Bourhis and Lutz. Our proof also comes with a 2NEXPTIME upper bound on the complexity of the problem, which matches the lower bound for containment of MMSNP due to Bourhis and Lutz. In order to obtain these results, we significantly improve the state of knowledge of the model-theoretic properties of GMSNP. Bodirsky, Knäuer, and Starke previously showed that every GMSNP sentence defines a finite union of CSPs of $ω$-categorical structures. We show that these structures can be used to obtain a reduction from the containment problem for GMSNP to the much simpler problem of testing the existence of a certain map called recolouring, albeit in a more general setting than GMSNP; a careful analysis of this yields said upper bound. As a secondary contribution, we refine the construction of Bodirsky, Knäuer, and Starke by adding a restricted form of homogeneity to the properties of these structures, making the logic amenable to future complexity classifications for query evaluation using techniques developed for infinite-domain CSPs.
△ Less
Submitted 16 May, 2025; v1 submitted 2 October, 2023;
originally announced October 2023.
-
On the Zariski topology on endomorphism monoids of omega-categorical structures
Authors:
Michael Pinsker,
Clemens Schindler
Abstract:
The endomorphism monoid of a model-theoretic structure carries two interesting topologies: on the one hand, the topology of pointwise convergence induced externally by the action of the endomorphisms on the domain via evaluation; on the other hand, the Zariski topology induced within the monoid by (non-)solutions to equations. For all concrete endomorphism monoids of $ω$-categorical structures on…
▽ More
The endomorphism monoid of a model-theoretic structure carries two interesting topologies: on the one hand, the topology of pointwise convergence induced externally by the action of the endomorphisms on the domain via evaluation; on the other hand, the Zariski topology induced within the monoid by (non-)solutions to equations. For all concrete endomorphism monoids of $ω$-categorical structures on which the Zariski topology has been analysed thus far, the two topologies were shown to coincide, in turn yielding that the pointwise topology is the coarsest Hausdorff semigroup topology on those endomorphism monoids. We establish two systematic reasons for the two topologies to agree, formulated in terms of the model-complete core of the structure. Further, we give an example of an $ω$-categorical structure on whose endomorphism monoid the topology of pointwise convergence and the Zariski topology differ, answering a question of Elliott, Jonušas, Mitchell, Péresse and Pinsker.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
The semigroup of increasing functions on the rational numbers has a unique Polish topology
Authors:
Michael Pinsker,
Clemens Schindler
Abstract:
The set of increasing functions on the rational numbers, equipped with the composition operation, naturally forms a topological semigroup with respect to the topology of pointwise convergence in which a sequence of increasing functions converges if and only if it is eventually constant at every argument. We develop new techniques to prove there is no other Polish topology turning this semigroup in…
▽ More
The set of increasing functions on the rational numbers, equipped with the composition operation, naturally forms a topological semigroup with respect to the topology of pointwise convergence in which a sequence of increasing functions converges if and only if it is eventually constant at every argument. We develop new techniques to prove there is no other Polish topology turning this semigroup into a topological one, and show that previous techniques are insufficient for this matter.
△ Less
Submitted 14 August, 2023; v1 submitted 8 May, 2023;
originally announced May 2023.
-
Symmetries of structures that fail to interpret something finite
Authors:
Libor Barto,
Bertalan Bodor,
Marcin Kozik,
Antoine Mottet,
Michael Pinsker
Abstract:
We investigate structural implications arising from the condition that a given directed graph does not interpret, in the sense of primitive positive interpretation with parameters or orbits, every finite structure. Our results generalize several theorems from the literature and yield further algebraic invariance properties that must be satisfied in every such graph. Algebraic properties of this ki…
▽ More
We investigate structural implications arising from the condition that a given directed graph does not interpret, in the sense of primitive positive interpretation with parameters or orbits, every finite structure. Our results generalize several theorems from the literature and yield further algebraic invariance properties that must be satisfied in every such graph. Algebraic properties of this kind are tightly connected to the tractability of constraint satisfaction problems, and we obtain new such properties even for infinite countably categorical graphs. We balance these positive results by showing the existence of a countably categorical hypergraph that fails to interpret some finite structure, while still lacking some of the most essential algebraic invariance properties known to hold for finite structures.
△ Less
Submitted 23 February, 2023;
originally announced February 2023.
-
An order out of nowhere: a new algorithm for infinite-domain CSPs
Authors:
Antoine Mottet,
Tomáš Nagy,
Michael Pinsker
Abstract:
We consider the problem of satisfiability of sets of constraints in a given set of finite uniform hypergraphs. While the problem under consideration is similar in nature to the problem of satisfiability of constraints in graphs, the classical complexity reduction to finite-domain CSPs that was used in the proof of the complexity dichotomy for such problems cannot be used as a black box in our case…
▽ More
We consider the problem of satisfiability of sets of constraints in a given set of finite uniform hypergraphs. While the problem under consideration is similar in nature to the problem of satisfiability of constraints in graphs, the classical complexity reduction to finite-domain CSPs that was used in the proof of the complexity dichotomy for such problems cannot be used as a black box in our case. We therefore introduce an algorithmic technique inspired by classical notions from the theory of finite-domain CSPs, and prove its correctness based on symmetries that depend on a linear order that is external to the structures under consideration. Our second main result is a P/NP-complete complexity dichotomy for such problems over many sets of uniform hypergraphs. The proof is based on the translation of the problem into the framework of constraint satisfaction problems (CSPs) over infinite uniform hypergraphs. Our result confirms in particular the Bodirsky-Pinsker conjecture for CSPs of first-order reducts of some homogeneous hypergraphs. This forms a vast generalization of previous work by Bodirsky-Pinsker (STOC'11) and Bodirsky-Martin-Pinsker-Pongrácz (ICALP'16) on graph satisfiability.
△ Less
Submitted 25 November, 2024; v1 submitted 30 January, 2023;
originally announced January 2023.
-
Current Challenges in Infinite-Domain Constraint Satisfaction: Dilemmas of the Infinite Sheep
Authors:
Michael Pinsker
Abstract:
A Constraint Satisfaction Problem (CSP) is a computational problem where we are given variables and constraints about them; the question is whether the variables can be assigned values such that all constraints are satisfied. We give an overview of the current state of research on CSPs where values for the variables and constraints are taken from a finitely bounded homogeneous structure which is f…
▽ More
A Constraint Satisfaction Problem (CSP) is a computational problem where we are given variables and constraints about them; the question is whether the variables can be assigned values such that all constraints are satisfied. We give an overview of the current state of research on CSPs where values for the variables and constraints are taken from a finitely bounded homogeneous structure which is fixed beforehand. We explain the main mathematical ideas so far, the three dilemmas they brought upon us, and what could be done to overcome them in order to obtain a satisfactory understanding of the computational complexity of such CSPs.
△ Less
Submitted 31 March, 2022;
originally announced March 2022.
-
Polish topologies on endomorphism monoids of relational structures
Authors:
L. Elliott,
J. Jonušas,
J. D. Mitchell,
Y. Péresse,
M. Pinsker
Abstract:
In this paper we present general techniques for characterising minimal and maximal semigroup topologies on the endomorphism monoid $\operatorname{End}(\mathbb{A})$ of a countable relational structure $\mathbb{A}$. As applications, we show that the endomorphism monoids of several well-known relational structures, including the random graph, the random directed graph, and the random partial order, p…
▽ More
In this paper we present general techniques for characterising minimal and maximal semigroup topologies on the endomorphism monoid $\operatorname{End}(\mathbb{A})$ of a countable relational structure $\mathbb{A}$. As applications, we show that the endomorphism monoids of several well-known relational structures, including the random graph, the random directed graph, and the random partial order, possess a unique Polish semigroup topology. In every case this unique topology is the subspace topology induced by the usual topology on the Baire space $\mathbb{N} ^ \mathbb{N}$. We also show that many of these structures have the property that every homomorphism from their endomorphism monoid to a second countable topological semigroup is continuous; referred to as automatic continuity. Many of the results about endomorphism monoids are extended to clones of polymorphisms on the same structures.
△ Less
Submitted 22 March, 2022;
originally announced March 2022.
-
Permutation groups on countable vector spaces over prime fields
Authors:
Bertalan Bodor,
Michael Pinsker,
Lyra Schiffer,
Csaba Szabó
Abstract:
We describe all closed permutation groups which act on the set of vectors of a countable vector space $V$ over a prime field of odd order and which contain all automorphisms of $V$. In particular, we prove that their number is finite. These groups correspond, up to first-order interdefinability, precisely to all structures with a first-order definition in $V$.
We describe all closed permutation groups which act on the set of vectors of a countable vector space $V$ over a prime field of odd order and which contain all automorphisms of $V$. In particular, we prove that their number is finite. These groups correspond, up to first-order interdefinability, precisely to all structures with a first-order definition in $V$.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
Uniform Birkhoff
Authors:
Mai Gehrke,
Michael Pinsker
Abstract:
We show that pseudovarieties of finitely generated algebras, i.e., classes $C$ of finitely generated algebras closed under finite products, homomorphic images, and subalgebras, can be described via a uniform structure $U$ on the free algebra for $C$: the members of $C$ then are precisely those finitely generated algebras $A$ for which the natural mapping from the free algebra onto the term clone o…
▽ More
We show that pseudovarieties of finitely generated algebras, i.e., classes $C$ of finitely generated algebras closed under finite products, homomorphic images, and subalgebras, can be described via a uniform structure $U$ on the free algebra for $C$: the members of $C$ then are precisely those finitely generated algebras $A$ for which the natural mapping from the free algebra onto the term clone of $A$ is well-defined and uniformly continuous with respect to the uniformity $U$ and the uniformity of pointwise convergence on the term clone of $A$, respectively. Our result unifies earlier theorems describing pseudovarieties of finite algebras and the pseudovariety generated by a single oligomorphic algebra.
△ Less
Submitted 7 December, 2020;
originally announced December 2020.
-
Smooth approximations and CSPs over finitely bounded homogeneous structures
Authors:
Antoine Mottet,
Michael Pinsker
Abstract:
We develop the novel machinery of smooth approximations, and apply it to confirm the CSP dichotomy conjecture for first-order reducts of the random tournament, various homogeneous graphs including the random graph, and for expansions of the order of the rationals. Apart from obtaining these dichotomy results, we show how our new proof technique allows to unify and significantly simplify the previo…
▽ More
We develop the novel machinery of smooth approximations, and apply it to confirm the CSP dichotomy conjecture for first-order reducts of the random tournament, various homogeneous graphs including the random graph, and for expansions of the order of the rationals. Apart from obtaining these dichotomy results, we show how our new proof technique allows to unify and significantly simplify the previous results from the literature. For all but the last structure, we moreover characterize those CSPs which are solvable by local consistency methods, again using the same machinery.
△ Less
Submitted 7 June, 2021; v1 submitted 8 November, 2020;
originally announced November 2020.
-
ω-categorical structures avoiding height 1 identities
Authors:
Manuel Bodirsky,
Antoine Mottet,
Miroslav Olšák,
Jakub Opršal,
Michael Pinsker,
Ross Willard
Abstract:
The algebraic dichotomy conjecture for Constraint Satisfaction Problems (CSPs) of reducts of (infinite) finitely bounded homogeneous structures states that such CSPs are polynomial-time tractable if the model-complete core of the template has a pseudo-Siggers polymorphism, and NP-complete otherwise.
One of the important questions related to the dichotomy conjecture is whether, similarly to the c…
▽ More
The algebraic dichotomy conjecture for Constraint Satisfaction Problems (CSPs) of reducts of (infinite) finitely bounded homogeneous structures states that such CSPs are polynomial-time tractable if the model-complete core of the template has a pseudo-Siggers polymorphism, and NP-complete otherwise.
One of the important questions related to the dichotomy conjecture is whether, similarly to the case of finite structures, the condition of having a pseudo-Siggers polymorphism can be replaced by the condition of having polymorphisms satisfying a fixed set of identities of height 1, i.e., identities which do not contain any nesting of functional symbols. We provide a negative answer to this question by constructing for each non-trivial set of height 1 identities a structure within the range of the conjecture whose polymorphisms do not satisfy these identities, but whose CSP is tractable nevertheless.
An equivalent formulation of the dichotomy conjecture characterizes tractability of the CSP via the local satisfaction of non-trivial height 1 identities by polymorphisms of the structure. We show that local satisfaction and global satisfaction of non-trivial height 1 identities differ for $ω$-categorical structures with less than doubly exponential orbit growth, thereby resolving one of the main open problems in the algebraic theory of such structures.
△ Less
Submitted 11 January, 2021; v1 submitted 13 June, 2020;
originally announced June 2020.
-
Cores over Ramsey structures
Authors:
Antoine Mottet,
Michael Pinsker
Abstract:
We prove that if an $ω$-categorical structure has an $ω$-categorical homogeneous Ramsey expansion, then so does its model-complete core.
We prove that if an $ω$-categorical structure has an $ω$-categorical homogeneous Ramsey expansion, then so does its model-complete core.
△ Less
Submitted 10 January, 2021; v1 submitted 13 April, 2020;
originally announced April 2020.
-
When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems
Authors:
Pierre Gillibert,
Julius Jonušas,
Michael Kompatscher,
Antoine Mottet,
Michael Pinsker
Abstract:
We produce a class of $ω$-categorical structures with finite signature by applying a model-theoretic construction -- a refinement of the Hrushosvki-encoding -- to $ω$-categorical structures in a possibly infinite signature. We show that the encoded structures retain desirable algebraic properties of the original structures, but that the constraint satisfaction problems (CSPs) associated with these…
▽ More
We produce a class of $ω$-categorical structures with finite signature by applying a model-theoretic construction -- a refinement of the Hrushosvki-encoding -- to $ω$-categorical structures in a possibly infinite signature. We show that the encoded structures retain desirable algebraic properties of the original structures, but that the constraint satisfaction problems (CSPs) associated with these structures can be badly behaved in terms of computational complexity. This method allows us to systematically generate $ω$-categorical templates whose CSPs are complete for a variety of complexity classes of arbitrarily high complexity, and $ω$-categorical templates that show that membership in any given complexity class cannot be expressed by a set of identities on the polymorphisms. It moreover enables us to prove that recent results about the relevance of topology on polymorphism clones of $ω$-categorical structures also apply for CSP templates, i.e., structures in a finite language. Finally, we obtain a concrete algebraic criterion which could constitute a description of the delineation between tractability and NP-hardness in the dichotomy conjecture for first-order reducts of finitely bounded homogeneous structures.
△ Less
Submitted 10 January, 2021; v1 submitted 17 February, 2020;
originally announced February 2020.
-
Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)
Authors:
Manuel Bodirsky,
Antoine Mottet,
Miroslav Olšák,
Jakub Opršal,
Michael Pinsker,
Ross Willard
Abstract:
The algebraic dichotomy conjecture for Constraint Satisfaction Problems (CSPs) of reducts of (infinite) finitely bounded homogeneous structures states that such CSPs are polynomial-time tractable when the model-complete core of the template has a pseudo-Siggers polymorphism, and NP-complete otherwise.
One of the important questions related to this conjecture is whether, similarly to the case of…
▽ More
The algebraic dichotomy conjecture for Constraint Satisfaction Problems (CSPs) of reducts of (infinite) finitely bounded homogeneous structures states that such CSPs are polynomial-time tractable when the model-complete core of the template has a pseudo-Siggers polymorphism, and NP-complete otherwise.
One of the important questions related to this conjecture is whether, similarly to the case of finite structures, the condition of having a pseudo-Siggers polymorphism can be replaced by the condition of having polymorphisms satisfying a fixed set of identities of height 1, i.e., identities which do not contain any nesting of functional symbols. We provide a negative answer to this question by constructing for each non-trivial set of height 1 identities a structure whose polymorphisms do not satisfy these identities, but whose CSP is tractable nevertheless.
An equivalent formulation of the dichotomy conjecture characterizes tractability of the CSP via the local satisfaction of non-trivial height 1 identities by polymorphisms of the structure. We show that local satisfaction and global satisfaction of non-trivial height 1 identities differ for $ω$-categorical structures with less than double exponential orbit growth, thereby resolving one of the main open problems in the algebraic theory of such structures.
△ Less
Submitted 17 May, 2019; v1 submitted 14 January, 2019;
originally announced January 2019.
-
Pseudo-loop conditions
Authors:
Pierre Gillibert,
Julius Jonušas,
Michael Pinsker
Abstract:
We initiate the systematic study of loop conditions of arbitrary finite width. Each loop condition is a finite set of identities of a particular shape, and satisfaction of these identities in an algebra is characterized by it forcing a constant tuple into certain invariant relations on powers of the algebra.
By showing the equivalence of various loop conditions, we are able to provide a new and…
▽ More
We initiate the systematic study of loop conditions of arbitrary finite width. Each loop condition is a finite set of identities of a particular shape, and satisfaction of these identities in an algebra is characterized by it forcing a constant tuple into certain invariant relations on powers of the algebra.
By showing the equivalence of various loop conditions, we are able to provide a new and short proof of the recent celebrated result stating the existence of a weakest non-trivial idempotent strong Mal'cev condition.
We then consider pseudo-loop conditions, a modification suitable for oligomorphic algebras, and show the equivalence of various pseudo-loop conditions within this context. This allows us to provide a new and short proof of the fact that the satisfaction of non-trivial identities of height 1 in a closed oligomorphic core implies the satisfaction of a fixed single identity.
△ Less
Submitted 11 January, 2021; v1 submitted 2 December, 2018;
originally announced December 2018.
-
Equations in oligomorphic clones and the Constraint Satisfaction Problem for $ω$-categorical structures
Authors:
Libor Barto,
Michael Kompatscher,
Miroslav Olšák,
Trung Van Pham,
Michael Pinsker
Abstract:
There exist two conjectures for constraint satisfaction problems (CSPs) of reducts of finitely bounded homogeneous structures: the first one states that tractability of the CSP of such a structure is, when the structure is a model-complete core, equivalent to its polymorphism clone satisfying a certain non-trivial linear identity modulo outer embeddings. The second conjecture, challenging the appr…
▽ More
There exist two conjectures for constraint satisfaction problems (CSPs) of reducts of finitely bounded homogeneous structures: the first one states that tractability of the CSP of such a structure is, when the structure is a model-complete core, equivalent to its polymorphism clone satisfying a certain non-trivial linear identity modulo outer embeddings. The second conjecture, challenging the approach via model-complete cores by reflections, states that tractability is equivalent to the linear identities (without outer embeddings) satisfied by its polymorphisms clone, together with the natural uniformity on it, being non-trivial.
We prove that the identities satisfied in the polymorphism clone of a structure allow for conclusions about the orbit growth of its automorphism group, and apply this to show that the two conjectures are equivalent. We contrast this with a counterexample showing that $ω$-categoricity alone is insufficient to imply the equivalence of the two conditions above in a model-complete core.
Taking a different approach, we then show how the Ramsey property of a homogeneous structure can be utilized for obtaining a similar equivalence under different conditions.
We then prove that any polymorphism of sufficiently large arity which is totally symmetric modulo outer embeddings of a finitely bounded structure can be turned into a non-trivial system of linear identities, and obtain non-trivial linear identities for all tractable cases of reducts of the rational order, the random graph, and the random poset.
Finally, we provide a new and short proof, in the language of monoids, of the theorem stating that every $ω$-categorical structure is homomorphically equivalent to a model-complete core.
△ Less
Submitted 23 September, 2018; v1 submitted 22 December, 2016;
originally announced December 2016.
-
Canonical Functions: a proof via topological dynamics
Authors:
Manuel Bodirsky,
Michael Pinsker
Abstract:
Canonical functions are a powerful concept with numerous applications in the study of groups, monoids, and clones on countable structures with Ramsey-type properties. In this short note, we present a proof of the existence of canonical functions in certain sets using topological dynamics, providing a shorter alternative to the original combinatorial argument. We moreover present equivalent algebra…
▽ More
Canonical functions are a powerful concept with numerous applications in the study of groups, monoids, and clones on countable structures with Ramsey-type properties. In this short note, we present a proof of the existence of canonical functions in certain sets using topological dynamics, providing a shorter alternative to the original combinatorial argument. We moreover present equivalent algebraic characterisations of canonicity.
△ Less
Submitted 25 July, 2020; v1 submitted 30 October, 2016;
originally announced October 2016.
-
Constraint satisfaction problems for reducts of homogeneous graphs
Authors:
Manuel Bodirsky,
Barnaby Martin,
Michael Pinsker,
András Pongrácz
Abstract:
For $n\geq 3$, let $(H_n, E)$ denote the $n$-th Henson graph, i.e., the unique countable homogeneous graph with exactly those finite graphs as induced subgraphs that do not embed the complete graph on $n$ vertices. We show that for all structures $Γ$ with domain $H_n$ whose relations are first-order definable in $(H_n,E)$ the constraint satisfaction problem for $Γ$ is either in P or is NP-complete…
▽ More
For $n\geq 3$, let $(H_n, E)$ denote the $n$-th Henson graph, i.e., the unique countable homogeneous graph with exactly those finite graphs as induced subgraphs that do not embed the complete graph on $n$ vertices. We show that for all structures $Γ$ with domain $H_n$ whose relations are first-order definable in $(H_n,E)$ the constraint satisfaction problem for $Γ$ is either in P or is NP-complete.
We moreover show a similar complexity dichotomy for all structures whose relations are first-order definable in a homogeneous graph whose reflexive closure is an equivalence relation.
Together with earlier results, in particular for the random graph, this completes the complexity classification of constraint satisfaction problems of structures first-order definable in countably infinite homogeneous graphs: all such problems are either in P or NP-complete.
△ Less
Submitted 11 January, 2021; v1 submitted 18 February, 2016;
originally announced February 2016.
-
The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems
Authors:
Libor Barto,
Michael Pinsker
Abstract:
We prove that an $ω$-categorical core structure primitively positively interprets all finite structures with parameters if and only if some stabilizer of its polymorphism clone has a homomorphism to the clone of projections, and that this happens if and only if its polymorphism clone does not contain operations $α$, $β$, $s$ satisfying the identity $αs(x,y,x,z,y,z) \approx βs(y,x,z,x,z,y)$.
This…
▽ More
We prove that an $ω$-categorical core structure primitively positively interprets all finite structures with parameters if and only if some stabilizer of its polymorphism clone has a homomorphism to the clone of projections, and that this happens if and only if its polymorphism clone does not contain operations $α$, $β$, $s$ satisfying the identity $αs(x,y,x,z,y,z) \approx βs(y,x,z,x,z,y)$.
This establishes an algebraic criterion equivalent to the conjectured borderline between P and NP-complete CSPs over reducts of finitely bounded homogenous structures, and accomplishes one of the steps of a proposed strategy for reducing the infinite domain CSP dichotomy conjecture to the finite case.
Our theorem is also of independent mathematical interest, characterizing a topological property of any $ω$-categorical core structure (the existence of a continuous homomorphism of a stabilizer of its polymorphism clone to the projections) in purely algebraic terms (the failure of an identity as above).
△ Less
Submitted 13 February, 2016;
originally announced February 2016.
-
The wonderland of reflections
Authors:
Libor Barto,
Jakub Opršal,
Michael Pinsker
Abstract:
A fundamental fact for the algebraic theory of constraint satisfaction problems (CSPs) over a fixed template is that pp-interpretations between at most countable ω-categorical relational structures have two algebraic counterparts for their polymorphism clones: a semantic one via the standard algebraic operators H, S, P, and a syntactic one via clone homomorphisms (capturing identities). We provide…
▽ More
A fundamental fact for the algebraic theory of constraint satisfaction problems (CSPs) over a fixed template is that pp-interpretations between at most countable ω-categorical relational structures have two algebraic counterparts for their polymorphism clones: a semantic one via the standard algebraic operators H, S, P, and a syntactic one via clone homomorphisms (capturing identities). We provide a similar characterization which incorporates all relational constructions relevant for CSPs, that is, homomorphic equivalence and adding singletons to cores in addition to pp-interpretations. For the semantic part we introduce a new construction, called reflection, and for the syntactic part we find an appropriate weakening of clone homomorphisms, called h1 clone homomorphisms (capturing identities of height 1).
As a consequence, the complexity of the CSP of an at most countable $ω$-categorical structure depends only on the identities of height 1 satisfied in its polymorphism clone as well as the the natural uniformity thereon. This allows us in turn to formulate a new elegant dichotomy conjecture for the CSPs of reducts of finitely bounded homogeneous structures.
Finally, we reveal a close connection between h1 clone homomorphisms and the notion of compatibility with projections used in the study of the lattice of interpretability types of varieties.
△ Less
Submitted 24 January, 2017; v1 submitted 15 October, 2015;
originally announced October 2015.
-
A counterexample to the reconstruction of $ω$-categorical structures from their endomorphism monoids
Authors:
Manuel Bodirsky,
David Evans,
Michael Kompatscher,
Michael Pinsker
Abstract:
We present an example of two countable $ω$-categorical structures, one of which has a finite relational language, whose endomorphism monoids are isomorphic as abstract monoids, but not as topological monoids -- in other words, no isomorphism between these monoids is a homeomorphism. For the same two structures, the automorphism groups and polymorphism clones are isomorphic, but not topologically i…
▽ More
We present an example of two countable $ω$-categorical structures, one of which has a finite relational language, whose endomorphism monoids are isomorphic as abstract monoids, but not as topological monoids -- in other words, no isomorphism between these monoids is a homeomorphism. For the same two structures, the automorphism groups and polymorphism clones are isomorphic, but not topologically isomorphic. In particular, there exists a countable $ω$-categorical structure in a finite relational language which can neither be reconstructed up to first-order bi-interpretations from its automorphism group, nor up to existential positive bi-interpretations from its endomorphism monoid, nor up to primitive positive bi-interpretations from its polymorphism clone.
△ Less
Submitted 1 July, 2016; v1 submitted 1 October, 2015;
originally announced October 2015.
-
Algebraic and model theoretic methods in constraint satisfaction
Authors:
Michael Pinsker
Abstract:
This text is related to the tutorials I gave at the Banff International Research Station and within a "Doc-course" at Charles University Prague in the fall of 2014. It describes my current research and some of the most important open questions related to it.
This text is related to the tutorials I gave at the Banff International Research Station and within a "Doc-course" at Charles University Prague in the fall of 2014. It describes my current research and some of the most important open questions related to it.
△ Less
Submitted 3 July, 2015;
originally announced July 2015.
-
Projective clone homomorphisms
Authors:
Manuel Bodirsky,
Michael Pinsker,
András Pongrácz
Abstract:
It is known that a countable $ω$-categorical structure interprets all finite structures primitively positively if and only if its polymorphism clone maps to the clone of projections on a two-element set via a continuous clone homomorphism. We investigate the relationship between the existence of a clone homomorphism to the projection clone, and the existence of such a homomorphism which is continu…
▽ More
It is known that a countable $ω$-categorical structure interprets all finite structures primitively positively if and only if its polymorphism clone maps to the clone of projections on a two-element set via a continuous clone homomorphism. We investigate the relationship between the existence of a clone homomorphism to the projection clone, and the existence of such a homomorphism which is continuous and thus meets the above criterion.
△ Less
Submitted 10 January, 2021; v1 submitted 16 September, 2014;
originally announced September 2014.
-
The universal homogeneous binary tree
Authors:
Manuel Bodirsky,
David Bradley-Williams,
Michael Pinsker,
András Pongrácz
Abstract:
A partial order is called semilinear iff the upper bounds of each element are linearly ordered and any two elements have a common upper bound. There exists, up to isomorphism, a unique countable existentially closed semilinear order, which we denote by S2. We study the reducts of S2, that is, the relational structures with the same domain as S2 all of whose relations are first-order definable in S…
▽ More
A partial order is called semilinear iff the upper bounds of each element are linearly ordered and any two elements have a common upper bound. There exists, up to isomorphism, a unique countable existentially closed semilinear order, which we denote by S2. We study the reducts of S2, that is, the relational structures with the same domain as S2 all of whose relations are first-order definable in S2. Our main result is a classification of the model-complete cores of the reducts of S2. From this, we also obtain a classification of reducts up to first-order interdefinability, which is equivalent to a classification of all closed permutation groups that contain the automorphism group of S2.
△ Less
Submitted 12 November, 2016; v1 submitted 7 September, 2014;
originally announced September 2014.
-
Permutations on the random permutation
Authors:
Julie Linman,
Michael Pinsker
Abstract:
The random permutation is the Fraïssé limit of the class of finite structures with two linear orders. Answering a problem stated by Peter Cameron in 2002, we use a recent Ramsey-theoretic technique to show that there exist precisely 39 closed supergroups of the automorphism group of the random permutation, and thereby expose all symmetries of this structure. Equivalently, we classify all structure…
▽ More
The random permutation is the Fraïssé limit of the class of finite structures with two linear orders. Answering a problem stated by Peter Cameron in 2002, we use a recent Ramsey-theoretic technique to show that there exist precisely 39 closed supergroups of the automorphism group of the random permutation, and thereby expose all symmetries of this structure. Equivalently, we classify all structures which have a first-order definition in the random permutation.
△ Less
Submitted 1 June, 2014; v1 submitted 16 May, 2014;
originally announced May 2014.
-
Reconstructing the topology of clones
Authors:
Manuel Bodirsky,
Michael Pinsker,
András Pongrácz
Abstract:
Function clones are sets of functions on a fixed domain that are closed under composition and contain the projections. They carry a natural algebraic structure, provided by the laws of composition which hold in them, as well as a natural topological structure, provided by the topology of pointwise convergence, under which composition of functions becomes continuous. Inspired by recent results indi…
▽ More
Function clones are sets of functions on a fixed domain that are closed under composition and contain the projections. They carry a natural algebraic structure, provided by the laws of composition which hold in them, as well as a natural topological structure, provided by the topology of pointwise convergence, under which composition of functions becomes continuous. Inspired by recent results indicating the importance of the topological ego of function clones even for originally algebraic problems, we study questions of the following type: In which situations does the algebraic structure of a function clone determine its topological structure? We pay particular attention to function clones which contain an oligomorphic permutation group, and discuss applications of this situation in model theory and theoretical computer science.
△ Less
Submitted 14 May, 2016; v1 submitted 30 December, 2013;
originally announced December 2013.
-
The 42 reducts of the random ordered graph
Authors:
Manuel Bodirsky,
Michael Pinsker,
András Pongrácz
Abstract:
The random ordered graph is the up to isomorphism unique countable homogeneous linearly ordered graph that embeds all finite linearly ordered graphs. We determine the reducts of the random ordered graph up to first-order interdefinability.
The random ordered graph is the up to isomorphism unique countable homogeneous linearly ordered graph that embeds all finite linearly ordered graphs. We determine the reducts of the random ordered graph up to first-order interdefinability.
△ Less
Submitted 19 May, 2015; v1 submitted 9 September, 2013;
originally announced September 2013.
-
A new operation on partially ordered sets
Authors:
Péter Pál Pach,
Michael Pinsker,
András Pongrácz,
Csaba Szabó
Abstract:
Recently it has been shown that all non-trivial closed permutation groups containing the automorphism group of the random poset are generated by two types of permutations: the first type are permutations turning the order upside down, and the second type are permutations induced by so-called rotations. In this paper we introduce rotations for finite posets, which can be seen as the poset counterpa…
▽ More
Recently it has been shown that all non-trivial closed permutation groups containing the automorphism group of the random poset are generated by two types of permutations: the first type are permutations turning the order upside down, and the second type are permutations induced by so-called rotations. In this paper we introduce rotations for finite posets, which can be seen as the poset counterpart of Seidel-switch for finite graphs. We analyze some of their combinatorial properties, and investigate in particular the question of when two finite posets are rotation-equivalent. We moreover give an explicit combinatorial construction of a rotation of the random poset whose image is again isomorphic to the random poset. As an corollary of our results on rotations of finite posets, we obtain that the group of rotating permutations of the random poset is the automorphism group of a homogeneous structure in a finite language.
△ Less
Submitted 23 October, 2012; v1 submitted 16 August, 2012;
originally announced August 2012.
-
Topological Birkhoff
Authors:
Manuel Bodirsky,
Michael Pinsker
Abstract:
One of the most fundamental mathematical contributions of Garrett Birkhoff is the HSP theorem, which implies that a finite algebra B satisfies all equations that hold in a finite algebra A of the same signature if and only if B is a homomorphic image of a subalgebra of a finite power of A. On the other hand, if A is infinite, then in general one needs to take an infinite power in order to obtain a…
▽ More
One of the most fundamental mathematical contributions of Garrett Birkhoff is the HSP theorem, which implies that a finite algebra B satisfies all equations that hold in a finite algebra A of the same signature if and only if B is a homomorphic image of a subalgebra of a finite power of A. On the other hand, if A is infinite, then in general one needs to take an infinite power in order to obtain a representation of B in terms of A, even if B is finite.
We show that by considering the natural topology on the functions of A and B in addition to the equations that hold between them, one can do with finite powers even for many interesting infinite algebras A. More precisely, we prove that if A and B are at most countable algebras which are oligomorphic, then the mapping which sends each function from A to the corresponding function in B preserves equations and is continuous if and only if B is a homomorphic image of a subalgebra of a finite power of A.
Our result has the following consequences in model theory and in theoretical computer science: two ω-categorical structures are primitive positive bi-interpretable if and only if their topological polymorphism clones are isomorphic. In particular, the complexity of the constraint satisfaction problem of an ω-categorical structure only depends on its topological polymorphism clone.
△ Less
Submitted 2 December, 2012; v1 submitted 8 March, 2012;
originally announced March 2012.
-
A closed algebra with a non-Borel clone and an ideal with a Borel clone
Authors:
Martin Goldstern,
Michael Pinsker,
Saharon Shelah
Abstract:
Algebras on the natural numbers and their clones of term operations can be classified according to their descriptive complexity. We give an example of a closed algebra which has only unary operations and whose clone of term operations is not Borel. Moreover, we provide an example of a coatom in the clone lattice whose obvious definition via an ideal of subsets of natural numbers would suggest that…
▽ More
Algebras on the natural numbers and their clones of term operations can be classified according to their descriptive complexity. We give an example of a closed algebra which has only unary operations and whose clone of term operations is not Borel. Moreover, we provide an example of a coatom in the clone lattice whose obvious definition via an ideal of subsets of natural numbers would suggest that it is complete coanalytic, but which turns out to be a rather simple Borel set.
△ Less
Submitted 4 December, 2011;
originally announced December 2011.
-
Reducts of the random partial order
Authors:
Péter Pál Pach,
Michael Pinsker,
Gabriella Pluhár,
András Pongrácz,
Csaba Szabó
Abstract:
We determine, up to the equivalence of first-order interdefinability, all structures which are first-order definable in the random partial order. It turns out that these structures fall into precisely five equivalence classes. We achieve this result by showing that there exist exactly five closed permutation groups which contain the automorphism group of the random partial order, and thus expose a…
▽ More
We determine, up to the equivalence of first-order interdefinability, all structures which are first-order definable in the random partial order. It turns out that these structures fall into precisely five equivalence classes. We achieve this result by showing that there exist exactly five closed permutation groups which contain the automorphism group of the random partial order, and thus expose all symmetries of this structure. Our classification lines up with previous similar classifications, such as the structures definable in the random graph or the order of the rationals; it also provides further evidence for a conjecture due to Simon Thomas which states that the number of structures definable in a homogeneous structure in a finite relational language is, up to first-order interdefinability, always finite. The method we employ is based on a Ramsey-theoretic analysis of functions acting on the random partial order, which allows us to find patterns in such functions and make them accessible to finite combinatorial arguments.
△ Less
Submitted 29 April, 2012; v1 submitted 30 November, 2011;
originally announced November 2011.
-
Universality of the lattice of transformation monoids
Authors:
Michael Pinsker,
Saharon Shelah
Abstract:
The set of all transformation monoids on a fixed set of infinite cardinality λ, equipped with the order of inclusion, forms a complete algebraic lattice Mon(λ) with 2^λ compact elements. We show that this lattice is universal with respect to closed sublattices, i.e., the closed sublattices of Mon(λ) are, up to isomorphism, precisely the complete algebraic lattices with at most 2^λ compact elements…
▽ More
The set of all transformation monoids on a fixed set of infinite cardinality λ, equipped with the order of inclusion, forms a complete algebraic lattice Mon(λ) with 2^λ compact elements. We show that this lattice is universal with respect to closed sublattices, i.e., the closed sublattices of Mon(λ) are, up to isomorphism, precisely the complete algebraic lattices with at most 2^λ compact elements.
△ Less
Submitted 1 November, 2011; v1 submitted 20 July, 2011;
originally announced July 2011.
-
Reducts of Ramsey structures
Authors:
Manuel Bodirsky,
Michael Pinsker
Abstract:
One way of studying a relational structure is to investigate functions which are related to that structure and which leave certain aspects of the structure invariant. Examples are the automorphism group, the self-embedding monoid, the endomorphism monoid, or the polymorphism clone of a structure. Such functions can be particularly well understood when the relational structure is countably infinite…
▽ More
One way of studying a relational structure is to investigate functions which are related to that structure and which leave certain aspects of the structure invariant. Examples are the automorphism group, the self-embedding monoid, the endomorphism monoid, or the polymorphism clone of a structure. Such functions can be particularly well understood when the relational structure is countably infinite and has a first-order definition in another relational structure which has a finite language, is totally ordered and homogeneous, and has the Ramsey property. This is because in this situation, Ramsey theory provides the combinatorial tool for analyzing these functions -- in a certain sense, it allows to represent such functions by functions on finite sets.
This is a survey of results in model theory and theoretical computer science obtained recently by the authors in this context. In model theory, we approach the problem of classifying the reducts of countably infinite ordered homogeneous Ramsey structures in a finite language, and certain decidability questions connected with such reducts. In theoretical computer science, we use the same combinatorial methods in order to classify the computational complexity for various classes of infinite-domain constraint satisfaction problems. While the first set of applications is obviously of an infinitary character, the second set concerns genuinely finitary problems -- their unifying feature is that the same tools from Ramsey theory are used in their solution.
△ Less
Submitted 30 May, 2011;
originally announced May 2011.
-
Decidability of definability
Authors:
Manuel Bodirsky,
Michael Pinsker,
Todor Tsankov
Abstract:
For a fixed countably infinite structure Γ with finite relational signature τ, we study the following computational problem: input are quantifier-free τ-formulas φ_0,φ_1,...,φ_n that define relations R_0,R_1,...,R_n over Γ. The question is whether the relation R_0 is primitive positive definable from R_1,...,R_n, i.e., definable by a first-order formula that uses only relation symbols for R_1,...,…
▽ More
For a fixed countably infinite structure Γ with finite relational signature τ, we study the following computational problem: input are quantifier-free τ-formulas φ_0,φ_1,...,φ_n that define relations R_0,R_1,...,R_n over Γ. The question is whether the relation R_0 is primitive positive definable from R_1,...,R_n, i.e., definable by a first-order formula that uses only relation symbols for R_1,..., R_n, equality, conjunctions, and existential quantification (disjunction, negation, and universal quantification are forbidden).
We show decidability of this problem for all structures Γ that have a first-order definition in an ordered homogeneous structure Δ with a finite relational signature whose age is a Ramsey class and determined by finitely many forbidden substructures. Examples of structures Γ with this property are the order of the rationals, the random graph, the homogeneous universal poset, the random tournament, all homogeneous universal C-relations, and many more. We also obtain decidability of the problem when we replace primitive positive definability by existential positive, or existential definability. Our proof makes use of universal algebraic and model theoretic concepts, Ramsey theory, and a recent characterization of Ramsey classes in topological dynamics.
△ Less
Submitted 4 March, 2012; v1 submitted 10 December, 2010;
originally announced December 2010.
-
Schaefer's theorem for graphs
Authors:
Manuel Bodirsky,
Michael Pinsker
Abstract:
Schaefer's theorem is a complexity classification result for so-called Boolean constraint satisfaction problems: it states that every Boolean constraint satisfaction problem is either contained in one out of six classes and can be solved in polynomial time, or is NP-complete.
We present an analog of this dichotomy result for the propositional logic of graphs instead of Boolean logic. In this gen…
▽ More
Schaefer's theorem is a complexity classification result for so-called Boolean constraint satisfaction problems: it states that every Boolean constraint satisfaction problem is either contained in one out of six classes and can be solved in polynomial time, or is NP-complete.
We present an analog of this dichotomy result for the propositional logic of graphs instead of Boolean logic. In this generalization of Schaefer's result, the input consists of a set W of variables and a conjunction Φ of statements ("constraints") about these variables in the language of graphs, where each statement is taken from a fixed finite set Ψ of allowed quantifier-free first-order formulas; the question is whether Φ is satisfiable in a graph.
We prove that either Ψ is contained in one out of 17 classes of graph formulas and the corresponding problem can be solved in polynomial time, or the problem is NP-complete. This is achieved by a universal-algebraic approach, which in turn allows us to use structural Ramsey theory. To apply the universal-algebraic approach, we formulate the computational problems under consideration as constraint satisfaction problems (CSPs) whose templates are first-order definable in the countably infinite random graph. Our method to classify the computational complexity of those CSPs is based on a Ramsey-theoretic analysis of functions acting on the random graph, and we develop general tools suitable for such an analysis which are of independent mathematical interest.
△ Less
Submitted 17 May, 2015; v1 submitted 12 November, 2010;
originally announced November 2010.
-
More sublattices of the lattice of local clones
Authors:
Michael Pinsker
Abstract:
We investigate the complexity of the lattice of local clones over a countably infinite base set. In particular, we prove that this lattice contains all algebraic lattices with at most countably many compact elements as complete sublattices, but that the class of lattices embeddable into the local clone lattice is strictly larger than that: For example, the lattice $M_{2^ω}$ is a sublattice of the…
▽ More
We investigate the complexity of the lattice of local clones over a countably infinite base set. In particular, we prove that this lattice contains all algebraic lattices with at most countably many compact elements as complete sublattices, but that the class of lattices embeddable into the local clone lattice is strictly larger than that: For example, the lattice $M_{2^ω}$ is a sublattice of the local clone lattice.
△ Less
Submitted 4 September, 2010;
originally announced September 2010.
-
Distance Constraint Satisfaction Problems
Authors:
Manuel Bodirsky,
Victor Dalmau,
Barnaby Martin,
Antoine Mottet,
Michael Pinsker
Abstract:
We study the complexity of constraint satisfaction problems for templates $Γ$ that are first-order definable in $(\Bbb Z; succ)$, the integers with the successor relation. Assuming a widely believed conjecture from finite domain constraint satisfaction (we require the tractability conjecture by Bulatov, Jeavons and Krokhin in the special case of transitive finite templates), we provide a full clas…
▽ More
We study the complexity of constraint satisfaction problems for templates $Γ$ that are first-order definable in $(\Bbb Z; succ)$, the integers with the successor relation. Assuming a widely believed conjecture from finite domain constraint satisfaction (we require the tractability conjecture by Bulatov, Jeavons and Krokhin in the special case of transitive finite templates), we provide a full classification for the case that Gamma is locally finite (i.e., the Gaifman graph of $Γ$ has finite degree). We show that one of the following is true: The structure Gamma is homomorphically equivalent to a structure with a d-modular maximum or minimum polymorphism and $\mathrm{CSP}(Γ)$ can be solved in polynomial time, or $Γ$ is homomorphically equivalent to a finite transitive structure, or $\mathrm{CSP}(Γ)$ is NP-complete.
△ Less
Submitted 26 April, 2016; v1 submitted 22 April, 2010;
originally announced April 2010.
-
Minimal functions on the random graph
Authors:
Manuel Bodirsky,
Michael Pinsker
Abstract:
We show that there is a system of 14 non-trivial finitary functions on the random graph with the following properties: Any non-trivial function on the random graph generates one of the functions of this system by means of composition with automorphisms and by topological closure, and the system is minimal in the sense that no subset of the system has the same property. The theorem is obtained by p…
▽ More
We show that there is a system of 14 non-trivial finitary functions on the random graph with the following properties: Any non-trivial function on the random graph generates one of the functions of this system by means of composition with automorphisms and by topological closure, and the system is minimal in the sense that no subset of the system has the same property. The theorem is obtained by proving a Ramsey-type theorem for colorings of tuples in finite powers of the random graph, and by applying this to find regular patterns in the behavior of any function on the random graph. As model-theoretic corollaries of our methods we re-derive a theorem of Simon Thomas classifying the first-order closed reducts of the random graph, and prove some refinements of this theorem; also, we obtain a classification of the minimal reducts closed under primitive positive definitions, and prove that all reducts of the random graph are model-complete.
△ Less
Submitted 3 December, 2012; v1 submitted 21 March, 2010;
originally announced March 2010.
-
All reducts of the random graph are model-complete
Authors:
Manuel Bodirsky,
Michael Pinsker
Abstract:
We study locally closed transformation monoids which contain the automorphism group of the random graph. We show that such a transformation monoid is locally generated by the permutations in the monoid, or contains a constant operation, or contains an operation that maps the random graph injectively to an induced subgraph which is a clique or an independent set. As a corollary, our techniques yiel…
▽ More
We study locally closed transformation monoids which contain the automorphism group of the random graph. We show that such a transformation monoid is locally generated by the permutations in the monoid, or contains a constant operation, or contains an operation that maps the random graph injectively to an induced subgraph which is a clique or an independent set. As a corollary, our techniques yield a new proof of Simon Thomas' classification of the five closed supergroups of the automorphism group of the random graph; our proof uses different Ramsey-theoretic tools than the one given by Thomas, and is perhaps more straightforward. Since the monoids under consideration are endomorphism monoids of relational structures definable in the random graph, we are able to draw several model-theoretic corollaries: One consequence of our result is that all structures with a first-order definition in the random graph are model-complete. Moreover, we obtain a classification of these structures up to existential interdefinability.
△ Less
Submitted 12 April, 2010; v1 submitted 14 March, 2009;
originally announced March 2009.
-
The reducts of equality up to primitive positive interdefinability
Authors:
Manuel Bodirsky,
Hubie Chen,
Michael Pinsker
Abstract:
We initiate the study of reducts of relational structures up to primitive positive interdefinability: After providing the tools for such a study, we apply these tools in order to obtain a classification of the reducts of the logic of equality. It turns out that there exists a continuum of such reducts. Equivalently, expressed in the language of universal algebra, we classify those locally closed…
▽ More
We initiate the study of reducts of relational structures up to primitive positive interdefinability: After providing the tools for such a study, we apply these tools in order to obtain a classification of the reducts of the logic of equality. It turns out that there exists a continuum of such reducts. Equivalently, expressed in the language of universal algebra, we classify those locally closed clones over a countable domain which contain all permutations of the domain.
△ Less
Submitted 16 January, 2010; v1 submitted 13 October, 2008;
originally announced October 2008.
-
Ideal clones: Solution to a problem of Czedli and Heindorf
Authors:
Martin Goldstern,
Michael Pinsker
Abstract:
Given an infinite set X and an ideal I of subsets of X, the set of all finitary operations on X which map all (powers of) I-small sets to I-small sets is a clone. In a 2001 article, G. Czedli and L. Heindorf asked whether or not for two particular ideals I and J on a countably infinite set X, the corresponding ideal clones were a covering in the lattice of clones. We give an affirmative answer t…
▽ More
Given an infinite set X and an ideal I of subsets of X, the set of all finitary operations on X which map all (powers of) I-small sets to I-small sets is a clone. In a 2001 article, G. Czedli and L. Heindorf asked whether or not for two particular ideals I and J on a countably infinite set X, the corresponding ideal clones were a covering in the lattice of clones. We give an affirmative answer to this question.
△ Less
Submitted 20 June, 2008; v1 submitted 5 May, 2008;
originally announced May 2008.
-
Clones from ideals
Authors:
Mathias Beiglböck,
Martin Goldstern,
Lutz Heindorf,
Michael Pinsker
Abstract:
On an infinite base set X, every ideal of subsets of X can be associated with the clone of those operations on X which map small sets to small sets. We continue earlier investigations on the position of such clones in the clone lattice.
On an infinite base set X, every ideal of subsets of X can be associated with the clone of those operations on X which map small sets to small sets. We continue earlier investigations on the position of such clones in the clone lattice.
△ Less
Submitted 2 July, 2008; v1 submitted 26 February, 2008;
originally announced February 2008.
-
Sublattices of the lattice of local clones
Authors:
Michael Pinsker
Abstract:
We investigate the complexity of the lattice of local clones over a countably infinite base set. In particular, we prove that this lattice contains all algebraic lattices with at most countably many compact elements as complete sublattices, but that the class of lattices embeddable into the local clone lattice is strictly larger than that.
We investigate the complexity of the lattice of local clones over a countably infinite base set. In particular, we prove that this lattice contains all algebraic lattices with at most countably many compact elements as complete sublattices, but that the class of lattices embeddable into the local clone lattice is strictly larger than that.
△ Less
Submitted 15 January, 2008;
originally announced January 2008.
-
A survey of clones on infinite sets
Authors:
Martin Goldstern,
Michael Pinsker
Abstract:
A clone on a set X is a set of finitary operations on X which contains all projections and which is moreover closed under functional composition. Ordering all clones on X by inclusion, one obtains a complete algebraic lattice, called the clone lattice. We summarize what we know about the clone lattice on an infinite base set X and formulate what we consider the most important open problems.
A clone on a set X is a set of finitary operations on X which contains all projections and which is moreover closed under functional composition. Ordering all clones on X by inclusion, one obtains a complete algebraic lattice, called the clone lattice. We summarize what we know about the clone lattice on an infinite base set X and formulate what we consider the most important open problems.
△ Less
Submitted 15 January, 2008; v1 submitted 31 December, 2006;
originally announced January 2007.
-
Algebraic lattices are complete sublattices of the clone lattice over an infinite set
Authors:
Michael Pinsker
Abstract:
The clone lattice Cl(X) over an infinite set X is a complete algebraic lattice with 2^X compact elements. We show that every algebraic lattice with at most 2^X compact elements is a complete sublattice of Cl(X).
The clone lattice Cl(X) over an infinite set X is a complete algebraic lattice with 2^X compact elements. We show that every algebraic lattice with at most 2^X compact elements is a complete sublattice of Cl(X).
△ Less
Submitted 15 May, 2006;
originally announced May 2006.
-
The minimal clones above the permutations
Authors:
Hajime Machida,
Michael Pinsker
Abstract:
We determine the atoms of the interval of the clone lattice consisting of those clones which contain all permutations, on an infinite base set. This is equivalent to the description of the atoms of the lattice of transformation monoids above the permutations.
We determine the atoms of the interval of the clone lattice consisting of those clones which contain all permutations, on an infinite base set. This is equivalent to the description of the atoms of the lattice of transformation monoids above the permutations.
△ Less
Submitted 15 December, 2005;
originally announced December 2005.
-
Monoidal intervals of clones on infinite sets
Authors:
Michael Pinsker
Abstract:
We show that for an infinite set X, if L is a completely distributive algebraic lattice with not more completely join irreducible elements than the size of the power set of X, then there is a monoidal interval in the clone lattice on X which is isomorphic to 1+L, which is L plus a new smallest element added. Concerning cardinalities of monoidal intervals this result implies that there exist mono…
▽ More
We show that for an infinite set X, if L is a completely distributive algebraic lattice with not more completely join irreducible elements than the size of the power set of X, then there is a monoidal interval in the clone lattice on X which is isomorphic to 1+L, which is L plus a new smallest element added. Concerning cardinalities of monoidal intervals this result implies that there exist monoidal intervals of all cardinalities of at most the size of the power set of X, as well as monoidal intervals of cardinality 2^k, for all cardinals k which are not greater than the power set of X.
△ Less
Submitted 9 September, 2005;
originally announced September 2005.
