-
Ramsey theorem for trees with successor operation
Authors:
Martin Balko,
David Chodounský,
Natasha Dobrinen,
Jan Hubička,
Matěj Konečný,
Jaroslav Nešetřil,
Andy Zucker
Abstract:
We prove a general Ramsey theorem for trees with a successor operation. This theorem is a common generalization of the Carlson-Simpson Theorem and the Milliken Tree Theorem for regularly branching trees.
Our theorem has a number of applications both in finite and infinite combinatorics. For example, we give a short proof of the unrestricted Nešetřil-Rödl theorem, and we recover the Graham-Rothsc…
▽ More
We prove a general Ramsey theorem for trees with a successor operation. This theorem is a common generalization of the Carlson-Simpson Theorem and the Milliken Tree Theorem for regularly branching trees.
Our theorem has a number of applications both in finite and infinite combinatorics. For example, we give a short proof of the unrestricted Nešetřil-Rödl theorem, and we recover the Graham-Rothschild theorem. Our original motivation came from the study of big Ramsey degrees - various trees used in the study can be viewed as trees with a successor operation. To illustrate this, we give a non-forcing proof of a theorem of Zucker on big Ramsey degrees.
△ Less
Submitted 12 November, 2023;
originally announced November 2023.
-
Structural convergence and algebraic roots
Authors:
David Hartman,
Tomáš Hons,
Jaroslav Nešetřil
Abstract:
Structural convergence is a framework for convergence of graphs by Nešetřil and Ossona de Mendez that unifies the dense (left) graph convergence and Benjamini-Schramm convergence. They posed a problem asking whether for a given sequence of graphs $(G_n)$ converging to a limit $L$ and a vertex $r$ of $L$ it is possible to find a sequence of vertices $(r_n)$ such that $L$ rooted at $r$ is the limit…
▽ More
Structural convergence is a framework for convergence of graphs by Nešetřil and Ossona de Mendez that unifies the dense (left) graph convergence and Benjamini-Schramm convergence. They posed a problem asking whether for a given sequence of graphs $(G_n)$ converging to a limit $L$ and a vertex $r$ of $L$ it is possible to find a sequence of vertices $(r_n)$ such that $L$ rooted at $r$ is the limit of the graphs $G_n$ rooted at $r_n$. A counterexample was found by Christofides and Král', but they showed that the statement holds for almost all vertices $r$ of $L$. We offer another perspective to the original problem by considering the size of definable sets to which the root $r$ belongs. We prove that if $r$ is an algebraic vertex (i.e. belongs to a finite definable set), the sequence of roots $(r_n)$ always exists.
△ Less
Submitted 10 October, 2023;
originally announced October 2023.
-
Duality and $χ$-Boundedness of Ordered Graphs
Authors:
Michal Čertík,
Jaroslav Nešetřil
Abstract:
We shall show that there exists only one duality pair for ordered graphs. We will also define a corresponding definition of $χ$-boundedness for ordered graphs and show that all ordered graphs are $χ$-bounded and prove an analogy of Gyarfás-Sumner conjecture for ordered graphs. We shall conclude with showing that these results hold for directed ordered graphs, but they do not hold for oriented orde…
▽ More
We shall show that there exists only one duality pair for ordered graphs. We will also define a corresponding definition of $χ$-boundedness for ordered graphs and show that all ordered graphs are $χ$-bounded and prove an analogy of Gyarfás-Sumner conjecture for ordered graphs. We shall conclude with showing that these results hold for directed ordered graphs, but they do not hold for oriented ordered graphs.
△ Less
Submitted 1 October, 2023;
originally announced October 2023.
-
Type-respecting amalgamation and big Ramsey degrees
Authors:
Andrés Aranda,
Samuel Braunfeld,
David Chodounský,
Jan Hubička,
Matěj Konečný,
Jaroslav Nešetřil,
Andy Zucker
Abstract:
We give an infinitary extension of the Nešetřil-Rödl theorem for category of relational structures with special type-respecting embeddings.
We give an infinitary extension of the Nešetřil-Rödl theorem for category of relational structures with special type-respecting embeddings.
△ Less
Submitted 22 March, 2023;
originally announced March 2023.
-
The Mathematics of László Lovász
Authors:
Martin Grötschel,
Jaroslav Nešetřil
Abstract:
This is an exposition of the contributions of László Lovász to mathematics and computer science written on the occasion of the bestowal of the Abel Prize~2021 to him. Our survey, of course, cannot be exhaustive. We sketch remarkable results that solved well-known open and important problems and that -- in addition -- had lasting impact on the development of subsequent research and even started who…
▽ More
This is an exposition of the contributions of László Lovász to mathematics and computer science written on the occasion of the bestowal of the Abel Prize~2021 to him. Our survey, of course, cannot be exhaustive. We sketch remarkable results that solved well-known open and important problems and that -- in addition -- had lasting impact on the development of subsequent research and even started whole new theories. Although discrete mathematics is what one can call the Lovász home turf, his interests were, from the beginning of his academic career, much broader. He employed algebra, geometry, topology, analysis, stochastics, statistical physics, optimization, and complexity theory, to name a few, to contribute significantly to the explosive growth of combinatorics; but he also exported combinatorial techniques to many other fields, and thus built enduring bridges between several branches of mathematics and computer science. Topics such as computational convexity or topological combinatorics, for example, would not exist without his fundamental results. We also briefly mention his substantial influence on various developments in applied mathematics such as the optimization of real-world applications and cryptography.
△ Less
Submitted 15 March, 2023; v1 submitted 6 March, 2023;
originally announced March 2023.
-
Gadget construction and structural convergence
Authors:
David Hartman,
Tomáš Hons,
Jaroslav Nešetřil
Abstract:
Nešetřil and Ossona de Mendez recently proposed a new definition of graph convergence called structural convergence. The structural convergence framework is based on the probability of satisfaction of logical formulas from a fixed fragment of first-order formulas. The flexibility of choosing the fragment allows to unify the classical notions of convergence for sparse and dense graphs. Since the fi…
▽ More
Nešetřil and Ossona de Mendez recently proposed a new definition of graph convergence called structural convergence. The structural convergence framework is based on the probability of satisfaction of logical formulas from a fixed fragment of first-order formulas. The flexibility of choosing the fragment allows to unify the classical notions of convergence for sparse and dense graphs. Since the field is relatively young, the range of examples of convergent sequences is limited and only a few methods of construction are known. Our aim is to extend the variety of constructions by considering the gadget construction. We show that, when restricting to the set of sentences, the application of gadget construction on elementarily convergent sequences yields an elementarily convergent sequence. On the other hand, we show counterexamples witnessing that a generalization to the full first-order convergence is not possible without additional assumptions. We give several different sufficient conditions to ensure the full convergence. One of them states that the resulting sequence is first-order convergent if the replaced edges are dense in the original sequence of structures.
△ Less
Submitted 6 September, 2023; v1 submitted 21 December, 2022;
originally announced December 2022.
-
Modulo-Counting First-Order Logic on Bounded Expansion Classes
Authors:
J. Nesetril,
P. Ossona de Mendez,
S. Siebertz
Abstract:
We prove that, on bounded expansion classes, every first-order formula with modulo counting is equivalent, in a linear-time computable monadic expansion, to an existential first-order formula. As a consequence, we derive, on bounded expansion classes, that first-order transductions with modulo counting have the same encoding power as existential first-order transductions. Also, modulo-counting fir…
▽ More
We prove that, on bounded expansion classes, every first-order formula with modulo counting is equivalent, in a linear-time computable monadic expansion, to an existential first-order formula. As a consequence, we derive, on bounded expansion classes, that first-order transductions with modulo counting have the same encoding power as existential first-order transductions. Also, modulo-counting first-order model checking and computation of the size of sets definable in modulo-counting first-order logic can be achieved in linear time on bounded expansion classes. As an application, we prove that a class has structurally bounded expansion if and only if it is a class of bounded depth vertex-minors of graphs in a bounded expansion class. We also show how our results can be used to implement fast matrix calculus on bounded expansion matrices over a finite field.
△ Less
Submitted 23 March, 2023; v1 submitted 7 November, 2022;
originally announced November 2022.
-
Decomposition horizons and a characterization of stable hereditary classes of graphs
Authors:
Samuel Braunfeld,
Jaroslav Nešetřil,
Patrice Ossona de Mendez,
Sebastian Siebertz
Abstract:
The notions of bounded-size and quasibounded-size decompositions with bounded treedepth base classes are central to the structural theory of graph sparsity introduced by two of the authors years ago, and provide a characterization of both classes with bounded expansions and nowhere dense classes.
In this paper, we first prove that the model theoretic notions of dependence and stability are, for…
▽ More
The notions of bounded-size and quasibounded-size decompositions with bounded treedepth base classes are central to the structural theory of graph sparsity introduced by two of the authors years ago, and provide a characterization of both classes with bounded expansions and nowhere dense classes.
In this paper, we first prove that the model theoretic notions of dependence and stability are, for hereditary classes of graphs, compatible with quasibounded-size decompositions, in the following sense: every hereditary class with quasibounded-size decompositions with dependent (resp.\ stable) base classes is itself dependent (resp.\ stable). This result is obtained in a more general study of ``decomposition horizons'', which are class properties compatible with quasibounded-size decompositions.
We deduce that hereditary classes with quasibounded-size decompositions with bounded shrubdepth base classes are stable. In the second part of the paper, we prove the converse. Thus, we characterize stable hereditary classes of graphs as those hereditary classes that admit quasibounded-size decompositions with bounded shrubdepth base classes. This result is obtained by proving that every hereditary stable class of graphs admits almost nowhere dense quasi-bush representations, thus answering positively a conjecture of Dreier et al.
These results have several consequences. For example, we show that every graph $G$ in a stable, hereditary class of graphs $\mathscr C$ has a clique or a stable set of size $Ω_{\mathscr C,ε}(|G|^{1/2-ε})$, for every $ε>0$, which is tight in the sense that it cannot be improved to $Ω_{\mathscr C}(|G|^{1/2})$.
△ Less
Submitted 18 January, 2024; v1 submitted 15 September, 2022;
originally announced September 2022.
-
On the first-order transduction quasiorder of hereditary classes of graphs
Authors:
Samuel Braunfeld,
Jaroslav Nešetřil,
Patrice Ossona de Mendez,
Sebastian Siebertz
Abstract:
We study various aspects of the first-order transduction quasi-order, which provides a way of measuring the relative complexity of classes of structures based on whether one can encode the other using a formula of first-order (FO) logic. In contrast with the conjectured simplicity of the transduction quasi-order for monadic second-order logic, the FO-transduction quasi-order is very complex; in pa…
▽ More
We study various aspects of the first-order transduction quasi-order, which provides a way of measuring the relative complexity of classes of structures based on whether one can encode the other using a formula of first-order (FO) logic. In contrast with the conjectured simplicity of the transduction quasi-order for monadic second-order logic, the FO-transduction quasi-order is very complex; in particular, we prove that the quotient partial order is not a lattice, although it is a bounded distributive join-semilattice, as is the subposet of additive classes. Many standard properties from structural graph theory and model theory naturally appear in this quasi-order. For example, we characterize transductions of paths, cubic graphs, and cubic trees in terms of bandwidth, bounded degree, and treewidth. We establish that the classes of all graphs with pathwidth at most~$k$, for $k\geq 1$, form a strict hierarchy in the FO-transduction quasi-order and leave open whether same is true for treewidth. This leads to considering whether properties admit maximum or minimum classes in this quasi-order. We prove that many properties do not admit a maximum class, and that star forests are the minimum class that is not a transduction of a class with bounded degree, which can be seen as an instance of transduction duality. We close with a notion of dense analogues of sparse classes, and discuss several related conjectures. As a ubiquitous tool in our results, we prove a normal form for FO-transductions that manifests the locality of FO logic. This is among several other technical results about FO-transductions which we anticipate being broadly useful.
△ Less
Submitted 25 August, 2023; v1 submitted 30 August, 2022;
originally announced August 2022.
-
On the Homomorphism Order of Oriented Paths and Trees
Authors:
Jan Hubička,
Jaroslav Nešetřil,
Pablo Oviedo,
Oriol Serra
Abstract:
A partial order is universal if it contains every countable partial order as a suborder. In 2017, Fiala, Hubička, Long and Nešetřil showed that every interval in the homomorphism order of graphs is universal, with the only exception being the trivial gap $[K_1,K_2]$. We consider the homomorphism order restricted to the class of oriented paths and trees. We show that every interval between two orie…
▽ More
A partial order is universal if it contains every countable partial order as a suborder. In 2017, Fiala, Hubička, Long and Nešetřil showed that every interval in the homomorphism order of graphs is universal, with the only exception being the trivial gap $[K_1,K_2]$. We consider the homomorphism order restricted to the class of oriented paths and trees. We show that every interval between two oriented paths or oriented trees of height at least 4 is universal. The exceptional intervals coincide for oriented paths and trees and are contained in the class of oriented paths of height at most 3, which forms a chain.
△ Less
Submitted 25 January, 2022; v1 submitted 23 January, 2022;
originally announced January 2022.
-
Minimal asymmetric hypergraphs
Authors:
Yiting Jiang,
Jaroslav Nesetril
Abstract:
In this paper, we prove that for any $k\ge 3$, there exist infinitely many minimal asymmetric $k$-uniform hypergraphs. This is in a striking contrast to $k=2$, where it has been proved recently that there are exactly $18$ minimal asymmetric graphs.
We also determine, for every $k\ge 1$, the minimum size of an asymmetric $k$-uniform hypergraph.
In this paper, we prove that for any $k\ge 3$, there exist infinitely many minimal asymmetric $k$-uniform hypergraphs. This is in a striking contrast to $k=2$, where it has been proved recently that there are exactly $18$ minimal asymmetric graphs.
We also determine, for every $k\ge 1$, the minimum size of an asymmetric $k$-uniform hypergraph.
△ Less
Submitted 18 September, 2023; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Ramsey expansions of 3-hypertournaments
Authors:
Gregory Cherlin,
Jan Hubička,
Matěj Konečný,
Jaroslav Nešetřil
Abstract:
We study Ramsey expansions of certain homogeneous 3-hypertournaments. We show that they exhibit an interesting behaviour and, in one case, they seem not to submit to current gold-standard methods for obtaining Ramsey expansions. This makes these examples very interesting from the point of view of structural Ramsey theory as there is a large demand for novel examples.
We study Ramsey expansions of certain homogeneous 3-hypertournaments. We show that they exhibit an interesting behaviour and, in one case, they seem not to submit to current gold-standard methods for obtaining Ramsey expansions. This makes these examples very interesting from the point of view of structural Ramsey theory as there is a large demand for novel examples.
△ Less
Submitted 26 May, 2021;
originally announced May 2021.
-
Big Ramsey degrees and forbidden cycles
Authors:
Martin Balko,
David Chodounský,
Jan Hubička,
Matěj Konečný,
Jaroslav Nešetřil,
Lluís Vena
Abstract:
Using the Carlson-Simpson theorem, we give a new general condition for a structure in a finite binary relational language to have finite big Ramsey degrees
Using the Carlson-Simpson theorem, we give a new general condition for a structure in a finite binary relational language to have finite big Ramsey degrees
△ Less
Submitted 25 May, 2021;
originally announced May 2021.
-
On asymmetric hypergraphs
Authors:
Yiting Jiang,
Jaroslav Nešetřil
Abstract:
In this paper, we prove that for any $k\ge 3$, there exist infinitely many minimal asymmetric $k$-uniform hypergraphs. This is in a striking contrast to $k=2$, where it has been proved recently that there are exactly $18$ minimal asymmetric graphs.
We also determine, for every $k\ge 1$, the minimum size of an asymmetric $k$-uniform hypergraph.
In this paper, we prove that for any $k\ge 3$, there exist infinitely many minimal asymmetric $k$-uniform hypergraphs. This is in a striking contrast to $k=2$, where it has been proved recently that there are exactly $18$ minimal asymmetric graphs.
We also determine, for every $k\ge 1$, the minimum size of an asymmetric $k$-uniform hypergraph.
△ Less
Submitted 31 March, 2023; v1 submitted 20 May, 2021;
originally announced May 2021.
-
Füredi-Hajnal and Stanley-Wilf conjectures in higher dimensions
Authors:
Y. Jang,
J. Nesetril,
P. Ossona de Mendez
Abstract:
In this paper we discuss analogs of Füredi-Hajnal and Stanley-Wilf conjectures for $t$-dimensional matrices with $t>2$.
In this paper we discuss analogs of Füredi-Hajnal and Stanley-Wilf conjectures for $t$-dimensional matrices with $t>2$.
△ Less
Submitted 26 March, 2021;
originally announced March 2021.
-
Twin-width and permutations
Authors:
Édouard Bonnet,
Jaroslav Nešetřil,
Patrice Ossona de Mendez,
Sebastian Siebertz,
Stéphan Thomassé
Abstract:
Inspired by a width invariant on permutations defined by Guillemot and Marx, Bonnet, Kim, Thomassé, and Watrigant introduced the twin-width of graphs, which is a parameter describing its structural complexity. This invariant has been further extended to binary structures, in several (basically equivalent) ways. We prove that a class of binary relational structures (that is: edge-colored partially…
▽ More
Inspired by a width invariant on permutations defined by Guillemot and Marx, Bonnet, Kim, Thomassé, and Watrigant introduced the twin-width of graphs, which is a parameter describing its structural complexity. This invariant has been further extended to binary structures, in several (basically equivalent) ways. We prove that a class of binary relational structures (that is: edge-colored partially directed graphs) has bounded twin-width if and only if it is a first-order transduction of a~proper permutation class. As a by-product, we show that every class with bounded twin-width contains at most $2^{O(n)}$ pairwise non-isomorphic $n$-vertex graphs.
△ Less
Submitted 4 July, 2024; v1 submitted 13 February, 2021;
originally announced February 2021.
-
Structural properties of the first-order transduction quasiorder
Authors:
Jaroslav Nesetril,
Patrice Ossona de Mendez,
Sebastian Siebertz
Abstract:
Logical transductions provide a very useful tool to encode classes of structures inside other classes of structures. In this paper we study first-order (FO) transductions and the quasiorder they induce on infinite classes of finite graphs. Surprisingly, this quasiorder is very complex, though shaped by the locality properties of first-order logic. This contrasts with the conjectured simplicity of…
▽ More
Logical transductions provide a very useful tool to encode classes of structures inside other classes of structures. In this paper we study first-order (FO) transductions and the quasiorder they induce on infinite classes of finite graphs. Surprisingly, this quasiorder is very complex, though shaped by the locality properties of first-order logic. This contrasts with the conjectured simplicity of the monadic second order (MSO) transduction quasiorder.
We first establish a local normal form for FO transductions, which is of independent interest. Then we prove that the quotient partial order is a bounded distributive join-semilattice, and that the subposet of \emph{additive} classes is also a bounded distributive join-semilattice. The FO transduction quasiorder has a great expressive power, and many well studied class properties can be defined using it. We apply these structural properties to prove, among other results, that FO transductions of the class of paths are exactly perturbations of classes with bounded bandwidth, that the local variants of monadic stability and monadic dependence are equivalent to their (standard) non-local versions, and that the classes with pathwidth at most $k$, for $k\geq 1$ form a strict hierarchy in the FO transduction quasiorder.
△ Less
Submitted 13 July, 2021; v1 submitted 6 October, 2020;
originally announced October 2020.
-
From $χ$- to $χ_p$-bounded classes
Authors:
Y. Jiang,
J. Nesetril,
P. Ossona de Mendez
Abstract:
$χ$-bounded classes are studied here in the context of star colorings and more generally $χ_p…
▽ More
$χ$-bounded classes are studied here in the context of star colorings and more generally $χ_p$-colorings. This leads to natural extensions of the notion of bounded expansion class and to structural characterization of these. In this paper we solve two conjectures related to star coloring boundedness. One of the conjectures is disproved and in fact we determine which weakening holds true. We give structural characterizations of (strong and weak) $χ_p$-bounded classes. On the way, we generalize a result of Wood relating the chromatic number of a graph to the star chromatic number of its $1$-subdivision. As an application of our characterizations, among other things, we show that for every odd integer $g>3$ even hole-free graphs $G$ contain at most $\varphi(g,ω(G))\,|G|$ holes of length $g$.
△ Less
Submitted 27 February, 2021; v1 submitted 7 September, 2020;
originally announced September 2020.
-
Rankwidth meets stability
Authors:
Jaroslav Nesetril,
Patrice Ossona de Mendez,
Michal Pilipczuk,
Roman Rabinovich,
Sebastian Siebertz
Abstract:
We study two notions of being well-structured for classes of graphs that are inspired by classic model theory. A class of graphs $C$ is monadically stable if it is impossible to define arbitrarily long linear orders in vertex-colored graphs from $C$ using a fixed first-order formula. Similarly, monadic dependence corresponds to the impossibility of defining all graphs in this way. Examples of mona…
▽ More
We study two notions of being well-structured for classes of graphs that are inspired by classic model theory. A class of graphs $C$ is monadically stable if it is impossible to define arbitrarily long linear orders in vertex-colored graphs from $C$ using a fixed first-order formula. Similarly, monadic dependence corresponds to the impossibility of defining all graphs in this way. Examples of monadically stable graph classes are nowhere dense classes, which provide a robust theory of sparsity. Examples of monadically dependent classes are classes of bounded rankwidth (or equivalently, bounded cliquewidth), which can be seen as a dense analog of classes of bounded treewidth. Thus, monadic stability and monadic dependence extend classical structural notions for graphs by viewing them in a wider, model-theoretical context. We explore this emerging theory by proving the following:
- A class of graphs $C$ is a first-order transduction of a class with bounded treewidth if and only if $C$ has bounded rankwidth and a stable edge relation (i.e. graphs from $C$ exclude some half-graph as a semi-induced subgraph).
- If a class of graphs $C$ is monadically dependent and not monadically stable, then $C$ has in fact an unstable edge relation.
As a consequence, we show that classes with bounded rankwidth excluding some half-graph as a semi-induced subgraph are linearly $χ$-bounded. Our proofs are effective and lead to polynomial time algorithms.
△ Less
Submitted 15 July, 2020;
originally announced July 2020.
-
Regular partitions of gentle graphs
Authors:
Yiting Jiang,
Jaroslav Nesetril,
Patrice Ossona de Mendez,
Sebastian Siebertz
Abstract:
Szemeredi's Regularity Lemma is a very useful tool of extremal combinatorics. Recently, several refinements of this seminal result were obtained for special, more structured classes of graphs. We survey these results in their rich combinatorial context. In particular, we stress the link to the theory of (structural) sparsity, which leads to alternative proofs, refinements and solutions of open pro…
▽ More
Szemeredi's Regularity Lemma is a very useful tool of extremal combinatorics. Recently, several refinements of this seminal result were obtained for special, more structured classes of graphs. We survey these results in their rich combinatorial context. In particular, we stress the link to the theory of (structural) sparsity, which leads to alternative proofs, refinements and solutions of open problems. It is interesting to note that many of these classes present challenging problems. Nevertheless, from the point of view of regularity lemma type statements, they appear as "gentle" classes.
△ Less
Submitted 29 March, 2020; v1 submitted 25 March, 2020;
originally announced March 2020.
-
Clustering powers of sparse graphs
Authors:
Jaroslav Nešetřil,
Patrice Ossona de Mendez,
Michał Pilipczuk,
Xuding Zhu
Abstract:
We prove that if $G$ is a sparse graph --- it belongs to a fixed class of bounded expansion $\mathcal{C}$ --- and $d\in \mathbb{N}$ is fixed, then the $d$th power of $G$ can be partitioned into cliques so that contracting each of these clique to a single vertex again yields a sparse graph. This result has several graph-theoretic and algorithmic consequences for powers of sparse graphs, including b…
▽ More
We prove that if $G$ is a sparse graph --- it belongs to a fixed class of bounded expansion $\mathcal{C}$ --- and $d\in \mathbb{N}$ is fixed, then the $d$th power of $G$ can be partitioned into cliques so that contracting each of these clique to a single vertex again yields a sparse graph. This result has several graph-theoretic and algorithmic consequences for powers of sparse graphs, including bounds on their subchromatic number and efficient approximation algorithms for the chromatic number and the clique number.
△ Less
Submitted 7 March, 2020;
originally announced March 2020.
-
Linear rankwidth meets stability
Authors:
Jaroslav Nesetril,
Patrice Ossona de Mendez,
Roman Rabinovich,
Sebastian Siebertz
Abstract:
Classes with bounded rankwidth are MSO-transductions of trees and classes with bounded linear rankwidth are MSO-transductions of paths. These results show a strong link between the properties of these graph classes considered from the point of view of structural graph theory and from the point of view of finite model theory. We take both views on classes with bounded linear rankwidth and prove str…
▽ More
Classes with bounded rankwidth are MSO-transductions of trees and classes with bounded linear rankwidth are MSO-transductions of paths. These results show a strong link between the properties of these graph classes considered from the point of view of structural graph theory and from the point of view of finite model theory. We take both views on classes with bounded linear rankwidth and prove structural and model theoretic properties of these classes: 1) Graphs with linear rankwidth at most $r$ are linearly \mbox{$χ$-bounded}. Actually, they have bounded $c$-chromatic number, meaning that they can be colored with $f(r)$ colors, each color inducing a cograph. 2) Based on a Ramsey-like argument, we prove for every proper hereditary family $\mathcal F$ of graphs (like cographs) that there is a class with bounded rankwidth that does not have the property that graphs in it can be colored by a bounded number of colors, each inducing a subgraph in~$\mathcal F$. 3) For a class $\mathcal C$ with bounded linear rankwidth the following conditions are equivalent: a) $\mathcal C$~is~stable, b)~$\mathcal C$~excludes some half-graph as a semi-induced subgraph, c) $\mathcal C$ is a first-order transduction of a class with bounded pathwidth. These results open the perspective to study classes admitting low linear rankwidth covers.
△ Less
Submitted 15 November, 2019;
originally announced November 2019.
-
Classes of graphs with low complexity: the case of classes with bounded linear rankwidth
Authors:
Jaroslav Nesetril,
Patrice Ossona de Mendez,
Roman Rabinovich,
Sebastian Siebertz
Abstract:
Classes with bounded rankwidth are MSO-transductions of trees and classes with bounded linear rankwidth are MSO-transductions of paths -- a result that shows a strong link between the properties of these graph classes considered from the point of view of structural graph theory and from the point of view of finite model theory. We take both views on classes with bounded linear rankwidth and prove…
▽ More
Classes with bounded rankwidth are MSO-transductions of trees and classes with bounded linear rankwidth are MSO-transductions of paths -- a result that shows a strong link between the properties of these graph classes considered from the point of view of structural graph theory and from the point of view of finite model theory. We take both views on classes with bounded linear rankwidth and prove structural and model theoretic properties of these classes. The structural results we obtain are the following.
1) The number of unlabeled graphs of order $n$ with linear rank-width at most~$r$ is at most $\bigl[(r/2)!\,2^{\binom{r}{2}}3^{r+2}\bigr]^n$.
2) Graphs with linear rankwidth at most $r$ are linearly $χ$-bounded. Actually, they have bounded $c$-chromatic number, meaning that they can be colored with $f(r)$ colors, each color inducing a cograph.
3) To the contrary, based on a Ramsey-like argument, we prove for every proper hereditary family $F$ of graphs (like cographs) that there is a class with bounded rankwidth that does not have the property that graphs in it can be colored by a bounded number of colors, each inducing a subgraph in $F$.
From the model theoretical side we obtain the following results:
1) A direct short proof that graphs with linear rankwidth at most $r$ are first-order transductions of linear orders. This result could also be derived from Colcombet's theorem on first-order transduction of linear orders and the equivalence of linear rankwidth with linear cliquewidth.
2) For a class $C$ with bounded linear rankwidth the following conditions are equivalent: a) $C$ is stable, b) $C$ excludes some half-graph as a semi-induced subgraph, c) $C$ is a first-order transduction of a class with bounded pathwidth.
These results open the perspective to study classes admitting low linear rankwidth covers.
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
Density and Fractal Property of the Class of Oriented Trees
Authors:
Jan Hubička,
Jaroslav Nešetřil,
Pablo Oviedo
Abstract:
We show the density theorem for the class of finite oriented trees ordered by the homomorphism order. We also show that every interval of oriented trees, in addition to be dense, is in fact universal. We end by considering the fractal property in the class of all finite digraphs.
We show the density theorem for the class of finite oriented trees ordered by the homomorphism order. We also show that every interval of oriented trees, in addition to be dense, is in fact universal. We end by considering the fractal property in the class of all finite digraphs.
△ Less
Submitted 10 June, 2019; v1 submitted 23 March, 2019;
originally announced March 2019.
-
All those EPPA classes (Strengthenings of the Herwig-Lascar theorem)
Authors:
Jan Hubička,
Matěj Konečný,
Jaroslav Nešetřil
Abstract:
In this paper we prove a general theorem showing the extension property for partial automorphisms (EPPA, also called the Hrushovski property) for classes of structures containing relations and unary functions, optionally equipped with a permutation group of the language. The proof is elementary, combinatorial and fully self-contained. Our result is a common strengthening of the Herwig-Lascar theor…
▽ More
In this paper we prove a general theorem showing the extension property for partial automorphisms (EPPA, also called the Hrushovski property) for classes of structures containing relations and unary functions, optionally equipped with a permutation group of the language. The proof is elementary, combinatorial and fully self-contained. Our result is a common strengthening of the Herwig-Lascar theorem on EPPA for relational classes with forbidden homomorphisms, the Hodkinson-Otto theorem on EPPA for relational free amalgamation classes, its strengthening for unary functions by Evans, Hubička and Nešetřil and their coherent variants by Siniora and Solecki. We also prove an EPPA analogue of the main results of J. Hubička and J. Nešetřil: All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms), thereby establishing a common framework for proving EPPA and the Ramsey property.
Our results have numerous applications, we include a solution of a problem related to a class constructed by the Hrushovski predimension construction.
△ Less
Submitted 23 January, 2022; v1 submitted 11 February, 2019;
originally announced February 2019.
-
EPPA for two-graphs and antipodal metric spaces
Authors:
David Evans,
Jan Hubička,
Matěj Konečný,
Jaroslav Nešetřil
Abstract:
We prove that the class of finite two-graphs has the extension property for partial automorphisms (EPPA, or Hrushovski property), thereby answering a question of Macpherson. In other words, we show that the class of graphs has the extension property for switching automorphisms. We present a short, self-contained, purely combinatorial proof which also proves EPPA for the class of integer valued ant…
▽ More
We prove that the class of finite two-graphs has the extension property for partial automorphisms (EPPA, or Hrushovski property), thereby answering a question of Macpherson. In other words, we show that the class of graphs has the extension property for switching automorphisms. We present a short, self-contained, purely combinatorial proof which also proves EPPA for the class of integer valued antipodal metric spaces of diameter 3, answering a question of Aranda et al.
The class of two-graphs is an important new example which behaves differently from all the other known classes with EPPA: Two-graphs do not have the amalgamation property with automorphisms (APA), their Ramsey expansion has to add a graph, it is not known if they have coherent EPPA and even EPPA itself cannot be proved using the Herwig--Lascar theorem.
△ Less
Submitted 11 September, 2019; v1 submitted 28 December, 2018;
originally announced December 2018.
-
First-order interpretations of bounded expansion classes
Authors:
Jakub Gajarský,
Stephan Kreutzer,
Jaroslav Nešetřil,
Patrice Ossona de Mendez,
Michał Pilipczuk,
Sebastian Siebertz,
Szymon Toruńczyk
Abstract:
The notion of bounded expansion captures uniform sparsity of graph classes and renders various algorithmic problems that are hard in general tractable. In particular, the model-checking problem for first-order logic is fixed-parameter tractable over such graph classes. With the aim of generalizing such results to dense graphs, we introduce classes of graphs with structurally bounded expansion, def…
▽ More
The notion of bounded expansion captures uniform sparsity of graph classes and renders various algorithmic problems that are hard in general tractable. In particular, the model-checking problem for first-order logic is fixed-parameter tractable over such graph classes. With the aim of generalizing such results to dense graphs, we introduce classes of graphs with structurally bounded expansion, defined as first-order interpretations of classes of bounded expansion. As a first step towards their algorithmic treatment, we provide their characterization analogous to the characterization of classes of bounded expansion via low treedepth decompositions, replacing treedepth by its dense analogue called shrubdepth.
△ Less
Submitted 4 October, 2018;
originally announced October 2018.
-
A combinatorial proof of the extension property for partial isometries
Authors:
Jan Hubička,
Matěj Konečný,
Jaroslav Nešetřil
Abstract:
We present a short and self-contained proof of the extension property for partial isometries of the class of all finite metric spaces.
We present a short and self-contained proof of the extension property for partial isometries of the class of all finite metric spaces.
△ Less
Submitted 28 August, 2018; v1 submitted 28 July, 2018;
originally announced July 2018.
-
Approximations of Map**s
Authors:
Jaroslav Nesetril,
Patrice Ossona de Mendez
Abstract:
We consider map**s, which are structure consisting of a single function (and possibly some number of unary relations) and address the problem of approximating a continuous map** by a finite map**. This problem is the inverse problem of the construction of a continuous limit for first-order convergent sequences of finite map**s. We solve the approximation problem and, consequently, the full…
▽ More
We consider map**s, which are structure consisting of a single function (and possibly some number of unary relations) and address the problem of approximating a continuous map** by a finite map**. This problem is the inverse problem of the construction of a continuous limit for first-order convergent sequences of finite map**s. We solve the approximation problem and, consequently, the full characterization of limit objects for map**s for first-order (i.e. ${\rm FO}$) convergence and local (i.e. ${\rm FO}^{\rm local}$) convergence.
This work can be seen both as a first step in the resolution of inverse problems (like Aldous-Lyons conjecture) and a strengthening of the classical decidability result for finite satisfiability in Rabin class (which consists of first-order logic with equality, one unary function, and an arbitrary number of monadic predicates).
The proof involves model theory and analytic techniques.
△ Less
Submitted 13 May, 2018;
originally announced May 2018.
-
Local-Global Convergence, an analytic and structural approach
Authors:
Jaroslav Nesetril,
Patrice Ossona de Mendez
Abstract:
Based on methods of structural convergence we provide a unifying view of local-global convergence, fitting to model theory and analysis. The general approach outlined here provides a possibility to extend the theory of local-global convergence to graphs with unbounded degrees. As an application, we extend previous results on continuous clustering of local convergent sequences and prove the existen…
▽ More
Based on methods of structural convergence we provide a unifying view of local-global convergence, fitting to model theory and analysis. The general approach outlined here provides a possibility to extend the theory of local-global convergence to graphs with unbounded degrees. As an application, we extend previous results on continuous clustering of local convergent sequences and prove the existence of modeling quasi-limits for local-global convergent sequences of nowhere dense graphs.
△ Less
Submitted 16 October, 2018; v1 submitted 5 May, 2018;
originally announced May 2018.
-
Automorphism groups and Ramsey properties of sparse graphs
Authors:
David M. Evans,
Jan Hubička,
Jaroslav Nešetřil
Abstract:
We study automorphism groups of sparse graphs from the viewpoint of topological dynamics and the Kechris, Pestov, Todorčević correspondence. We investigate amenable and extremely amenable subgroups of these groups using the space of orientations of the graph and results from structural Ramsey theory. Resolving one of the open questions in the area, we show that Hrushovski's example of an $ω$-categ…
▽ More
We study automorphism groups of sparse graphs from the viewpoint of topological dynamics and the Kechris, Pestov, Todorčević correspondence. We investigate amenable and extremely amenable subgroups of these groups using the space of orientations of the graph and results from structural Ramsey theory. Resolving one of the open questions in the area, we show that Hrushovski's example of an $ω$-categorical sparse graph has no $ω$-categorical expansion with extremely amenable automorphism group.
△ Less
Submitted 16 January, 2019; v1 submitted 3 January, 2018;
originally announced January 2018.
-
Conant's generalised metric spaces are Ramsey
Authors:
Jan Hubička,
Matěj Konečný,
Jaroslav Nešetřil
Abstract:
We give Ramsey expansions of classes of generalised metric spaces where distances come from a linearly ordered commutative monoid. This complements results of Conant about the extension property for partial automorphisms and extends an earlier result of the first and the last author giving the Ramsey property of convexly ordered $S$-metric spaces. Unlike Conant's approach, our analysis does not re…
▽ More
We give Ramsey expansions of classes of generalised metric spaces where distances come from a linearly ordered commutative monoid. This complements results of Conant about the extension property for partial automorphisms and extends an earlier result of the first and the last author giving the Ramsey property of convexly ordered $S$-metric spaces. Unlike Conant's approach, our analysis does not require the monoid to be semi-archimedean.
△ Less
Submitted 17 September, 2019; v1 submitted 12 October, 2017;
originally announced October 2017.
-
Shrub-depth: Capturing Height of Dense Graphs
Authors:
Robert Ganian,
Petr Hliněný,
Jaroslav Nešetřil,
Jan Obdržálek,
Patrice Ossona de Mendez
Abstract:
The recent increase of interest in the graph invariant called tree-depth and in its applications in algorithms and logic on graphs led to a natural question: is there an analogously useful "depth" notion also for dense graphs (say; one which is stable under graph complementation)? To this end, in a 2012 conference paper, a new notion of shrub-depth has been introduced, such that it is related to t…
▽ More
The recent increase of interest in the graph invariant called tree-depth and in its applications in algorithms and logic on graphs led to a natural question: is there an analogously useful "depth" notion also for dense graphs (say; one which is stable under graph complementation)? To this end, in a 2012 conference paper, a new notion of shrub-depth has been introduced, such that it is related to the established notion of clique-width in a similar way as tree-depth is related to tree-width. Since then shrub-depth has been successfully used in several research papers. Here we provide an in-depth review of the definition and basic properties of shrub-depth, and we focus on its logical aspects which turned out to be most useful. In particular, we use shrub-depth to give a characterization of the lower $ω$ levels of the MSO1 transduction hierarchy of simple graphs.
△ Less
Submitted 30 January, 2019; v1 submitted 2 July, 2017;
originally announced July 2017.
-
Ramsey theorem for designs
Authors:
Jan Hubička,
Jaroslav Nešetřil
Abstract:
We prove that for any choice of parameters $k,t,λ$ the class of all finite ordered designs with parameters $k,t,λ$ is a Ramsey class.
We prove that for any choice of parameters $k,t,λ$ the class of all finite ordered designs with parameters $k,t,λ$ is a Ramsey class.
△ Less
Submitted 8 May, 2017;
originally announced May 2017.
-
Ramsey properties and extending partial automorphisms for classes of finite structures
Authors:
David M. Evans,
Jan Hubička,
Jaroslav Nešetřil
Abstract:
We show that every free amalgamation class of finite structures with relations and (symmetric) partial functions is a Ramsey class when enriched by a free linear ordering of vertices. This is a common strengthening of the Nešetřil-Rödl Theorem and the second and third authors' Ramsey theorem for finite models (that is, structures with both relations and functions). We also find subclasses with the…
▽ More
We show that every free amalgamation class of finite structures with relations and (symmetric) partial functions is a Ramsey class when enriched by a free linear ordering of vertices. This is a common strengthening of the Nešetřil-Rödl Theorem and the second and third authors' Ramsey theorem for finite models (that is, structures with both relations and functions). We also find subclasses with the ordering property. For languages with relational symbols and unary functions we also show the extension property for partial automorphisms (EPPA) of free amalgamation classes. These general results solve several conjectures and provide an easy Ramseyness test for many classes of structures.
△ Less
Submitted 29 March, 2020; v1 submitted 5 May, 2017;
originally announced May 2017.
-
Ramsey Classes with Closure Operations (Selected Combinatorial Applications)
Authors:
Jan Hubička,
Jaroslav Nešetřil
Abstract:
We state the Ramsey property of classes of ordered structures with closures and given local properties. This generalises many old and new results: the Nešetřil-Rödl Theorem, the author's Ramsey lift of bowtie-free graphs as well as the Ramsey Theorem for Finite Models (i.e. structures with both functions and relations) thus providing the ultimate generalisation of Structural Ramsey Theorem. We giv…
▽ More
We state the Ramsey property of classes of ordered structures with closures and given local properties. This generalises many old and new results: the Nešetřil-Rödl Theorem, the author's Ramsey lift of bowtie-free graphs as well as the Ramsey Theorem for Finite Models (i.e. structures with both functions and relations) thus providing the ultimate generalisation of Structural Ramsey Theorem. We give here a more concise reformulation of recent authors paper "All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms)" and the main purpose of this paper is to show several applications. Particularly we prove the Ramsey property of ordered sets with equivalences on the power set, Ramsey theorem for Steiner systems, Ramsey theorem for resolvable designs and a partial Ramsey type results for $H$-factorizable graphs. All of these results are natural, easy to state, yet proofs involve most of the theory developed.
△ Less
Submitted 6 June, 2017; v1 submitted 4 May, 2017;
originally announced May 2017.
-
Ramsey Partial Orders from Acyclic Graphs
Authors:
Jaroslav Nešetřil,
Vojtěch Rödl
Abstract:
We prove that finite partial orders with a linear extension form a Ramsey class. Our proof is based on the fact that class of acyclic graphs has the Ramsey property and uses the partite construction.
We prove that finite partial orders with a linear extension form a Ramsey class. Our proof is based on the fact that class of acyclic graphs has the Ramsey property and uses the partite construction.
△ Less
Submitted 1 March, 2017; v1 submitted 16 August, 2016;
originally announced August 2016.
-
Towards a Characterization of Universal Categories
Authors:
J. Nesetril,
P. Ossona de Mendez
Abstract:
In this note we characterize, within the framework of the theory of finite set, those categories of graphs that are {\em algebraic universal} in the sense that every concrete category embeds in them. The proof of the characterization is based on the sparse--dense dichotomy and its model theoretic equivalent.
In this note we characterize, within the framework of the theory of finite set, those categories of graphs that are {\em algebraic universal} in the sense that every concrete category embeds in them. The proof of the characterization is based on the sparse--dense dichotomy and its model theoretic equivalent.
△ Less
Submitted 3 August, 2016;
originally announced August 2016.
-
Existence of Modeling Limits for Sequences of Sparse Structures
Authors:
J. Nesetril,
P. Ossona de Mendez
Abstract:
A sequence of graphs is FO-convergent if the probability of satisfaction of every first-order formula converges. A graph modeling is a graph, whose domain is a standard probability space, with the property that every definable set is Borel. It was known that FO-convergent sequence of graphs do not always admit a modeling limit, and it was conjectured that this is the case if the graphs in the sequ…
▽ More
A sequence of graphs is FO-convergent if the probability of satisfaction of every first-order formula converges. A graph modeling is a graph, whose domain is a standard probability space, with the property that every definable set is Borel. It was known that FO-convergent sequence of graphs do not always admit a modeling limit, and it was conjectured that this is the case if the graphs in the sequence are sufficiently sparse. Precisely, two conjectures were proposed:
* If a FO-convergent sequence of graphs is residual, that is if for every integer $d$ the maximum relative size of a ball of radius $d$ in the graphs of the sequence tends to zero, then the sequence has a modeling limit.
* A monotone class of graphs $\mathcal C$ has the property that every FO-convergent sequence of graphs from $\mathcal C$ has a modeling limit if and only if $\mathcal C$ is nowhere dense, that is if and only if for each integer $p$ there is $N(p)$ such that no graph in $\mathcal C$ contains the $p$th subdivision of a complete graph on $N(p)$ vertices as a subgraph.
△ Less
Submitted 13 May, 2018; v1 submitted 30 July, 2016;
originally announced August 2016.
-
A Ramsey Class for Steiner Systems
Authors:
Vindya Bhat,
Jaroslav Nešetřil,
Christian Reiher,
Vojtěch Rödl
Abstract:
We construct a Ramsey class whose objects are Steiner systems. In contrast to the situation with general $r$-uniform hypergraphs, it turns out that simply putting linear orders on their sets of vertices is not enough for this purpose: one also has to strengthen the notion of subobjects used from "induced subsystems" to something we call "strongly induced subsystems".
Moreover we study the Ramsey…
▽ More
We construct a Ramsey class whose objects are Steiner systems. In contrast to the situation with general $r$-uniform hypergraphs, it turns out that simply putting linear orders on their sets of vertices is not enough for this purpose: one also has to strengthen the notion of subobjects used from "induced subsystems" to something we call "strongly induced subsystems".
Moreover we study the Ramsey properties of other classes of Steiner systems obtained from this class by either forgetting the order or by working with the usual notion of subsystems. This leads to a perhaps surprising induced Ramsey theorem in which designs get coloured.
△ Less
Submitted 21 September, 2017; v1 submitted 10 July, 2016;
originally announced July 2016.
-
All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms)
Authors:
Jan Hubička,
Jaroslav Nešetřil
Abstract:
We prove the Ramsey property for classes of ordered structures with closures and given local properties. This generalises earlier results: the Nešetřil-Rödl Theorem, the Ramsey property of partial orders and metric spaces as well as the authors' Ramsey lift of bowtie-free graphs. We use this framework to solve several open problems and give new examples of Ramsey classes. Among others, we find Ram…
▽ More
We prove the Ramsey property for classes of ordered structures with closures and given local properties. This generalises earlier results: the Nešetřil-Rödl Theorem, the Ramsey property of partial orders and metric spaces as well as the authors' Ramsey lift of bowtie-free graphs. We use this framework to solve several open problems and give new examples of Ramsey classes. Among others, we find Ramsey lifts of convexly ordered $S$-metric spaces and prove the Ramsey theorem for finite models (i.e. structures with both functions and relations) thus providing the ultimate generalisation of the structural Ramsey theorem. Both of these results are natural, and easy to state, yet their proofs involve most of the theory developed here.
We also characterise Ramsey lifts of classes of structures defined by finitely many forbidden homomorphisms and extend this to special cases of classes with closures. This has numerous applications. For example, we find Ramsey lifts of many Cherlin-Shelah-Shi classes.
△ Less
Submitted 3 September, 2019; v1 submitted 25 June, 2016;
originally announced June 2016.
-
Fractal property of the graph homomorphism order
Authors:
Jiří Fiala,
Jan Hubička,
Yang**g Long,
Jaroslav Nešetřil
Abstract:
We show that every interval in the homomorphism order of finite undirected graphs is either universal or a gap. Together with density and universality this "fractal" property contributes to the spectacular properties of the homomorphism order.
We first show the fractal property by using Sparse Incomparability Lemma and then by more involved elementary argument.
We show that every interval in the homomorphism order of finite undirected graphs is either universal or a gap. Together with density and universality this "fractal" property contributes to the spectacular properties of the homomorphism order.
We first show the fractal property by using Sparse Incomparability Lemma and then by more involved elementary argument.
△ Less
Submitted 16 May, 2017; v1 submitted 25 June, 2016;
originally announced June 2016.
-
Limits of Map**s
Authors:
L. Hosseini,
J. Nesetril,
P. Ossona de Mendez
Abstract:
In this paper we consider a simple algebraic structure --- sets with a single endofunction. We shall see that from the point of view of limits, even this simplest case is both interesting and difficult. Nevertheless we obtain the shape of limit objects in the full generality, and we prove the inverse theorem in the easiest case of quantifier-free limits.
In this paper we consider a simple algebraic structure --- sets with a single endofunction. We shall see that from the point of view of limits, even this simplest case is both interesting and difficult. Nevertheless we obtain the shape of limit objects in the full generality, and we prove the inverse theorem in the easiest case of quantifier-free limits.
△ Less
Submitted 5 May, 2017; v1 submitted 23 February, 2016;
originally announced February 2016.
-
Cluster Analysis of Local Convergent Sequences of Structures
Authors:
Jaroslav Nesetril,
Patrice Ossona de Mendez
Abstract:
The cluster analysis of very large objects is an important problem, which spans several theoretical as well as applied branches of mathematics and computer science. Here we suggest a novel approach: under assumption of local convergence of a sequence of finite structures we derive an asymptotic clustering. This is achieved by a blend of analytic and geometric techniques, and particularly by a new…
▽ More
The cluster analysis of very large objects is an important problem, which spans several theoretical as well as applied branches of mathematics and computer science. Here we suggest a novel approach: under assumption of local convergence of a sequence of finite structures we derive an asymptotic clustering. This is achieved by a blend of analytic and geometric techniques, and particularly by a new interpretation of the authors' representation theorem for limits of local convergent sequences, which serves as a guidance for the whole process. Our study may be seen as an effort to describe connectivity structure at the limit (without having a defined explicit limit structure) and to pull this connectivity structure back to the finite structures in the sequence in a continuous way.
△ Less
Submitted 27 October, 2015;
originally announced October 2015.
-
First-order limits, an analytical perspective
Authors:
Jaroslav Nesetril,
Patrice Ossona de Mendez
Abstract:
In this paper we present a novel approach to graph (and structural) limits based on model theory and analysis. The role of Stone and Gelfand dualities is displayed prominently and leads to a general theory, which we believe is naturally emerging. This approach covers all the particular examples of structural convergence and it put the whole in new context. As an application, it leads to new interm…
▽ More
In this paper we present a novel approach to graph (and structural) limits based on model theory and analysis. The role of Stone and Gelfand dualities is displayed prominently and leads to a general theory, which we believe is naturally emerging. This approach covers all the particular examples of structural convergence and it put the whole in new context. As an application, it leads to new intermediate examples of structural convergence and to a "grand conjecture" dealing with sparse graphs. We survey the recent developments.
△ Less
Submitted 26 March, 2015;
originally announced March 2015.
-
On Low Tree-Depth Decompositions
Authors:
Jaroslav Nesetril,
Patrice Ossona De Mendez
Abstract:
The theory of sparse structures usually uses tree like structures as building blocks. In the context of sparse/dense dichotomy this role is played by graphs with bounded tree depth. In this paper we survey results related to this concept and particularly explain how these graphs are used to decompose and construct more complex graphs and structures. In more technical terms we survey some of the pr…
▽ More
The theory of sparse structures usually uses tree like structures as building blocks. In the context of sparse/dense dichotomy this role is played by graphs with bounded tree depth. In this paper we survey results related to this concept and particularly explain how these graphs are used to decompose and construct more complex graphs and structures. In more technical terms we survey some of the properties and applications of low tree depth decomposition of graphs.
△ Less
Submitted 4 December, 2014;
originally announced December 2014.
-
Strongly polynomial sequences as interpretations
Authors:
Andrew Goodall,
Jaroslav Nesetril,
Patrice Ossona de Mendez
Abstract:
A strongly polynomial sequence of graphs $(G_n)$ is a sequence $(G_n)_{n\in\mathbb{N}}$ of finite graphs such that, for every graph $F$, the number of homomorphisms from $F$ to $G_n$ is a fixed polynomial function of $n$ (depending on $F$). For example, $(K_n)$ is strongly polynomial since the number of homomorphisms from $F$ to $K_n$ is the chromatic polynomial of $F$ evaluated at $n$. In earlier…
▽ More
A strongly polynomial sequence of graphs $(G_n)$ is a sequence $(G_n)_{n\in\mathbb{N}}$ of finite graphs such that, for every graph $F$, the number of homomorphisms from $F$ to $G_n$ is a fixed polynomial function of $n$ (depending on $F$). For example, $(K_n)$ is strongly polynomial since the number of homomorphisms from $F$ to $K_n$ is the chromatic polynomial of $F$ evaluated at $n$. In earlier work of de la Harpe and Jaeger, and more recently of Averbouch, Garijo, Godlin, Goodall, Makowsky, Nešetřil, Tittmann, Zilber and others, various examples of strongly polynomial sequences and constructions for families of such sequences have been found.
We give a new model-theoretic method of constructing strongly polynomial sequences of graphs that uses interpretation schemes of graphs in more general relational structures. This surprisingly easy yet general method encompasses all previous constructions and produces many more. We conjecture that, under mild assumptions, all strongly polynomial sequences of graphs can be produced by the general method of quantifier-free interpretation of graphs in certain basic relational structures (essentially disjoint unions of transitive tournaments with added unary relations). We verify this conjecture for strongly polynomial sequences of graphs with uniformly bounded degree.
△ Less
Submitted 10 May, 2014;
originally announced May 2014.
-
On First-Order Definable Colorings
Authors:
Jaroslav Nesetril,
Patrice Ossona De Mendez
Abstract:
We address the problem of characterizing $H$-coloring problems that are first-order definable on a fixed class of relational structures. In this context, we give several characterizations of a homomorphism dualities arising in a class of structure.
We address the problem of characterizing $H$-coloring problems that are first-order definable on a fixed class of relational structures. In this context, we give several characterizations of a homomorphism dualities arising in a class of structure.
△ Less
Submitted 8 June, 2014; v1 submitted 8 March, 2014;
originally announced March 2014.
-
A note on circular chromatic number of graphs with large girth and similar problems
Authors:
Jaroslav Nesetril,
Patrice Ossona De Mendez
Abstract:
In this short note, we extend the result of Galluccio, Goddyn, and Hell, which states that graphs of large girth excluding a minor are nearly bipartite. We also prove a similar result for the oriented chromatic number, from which follows in particular that graphs of large girth excluding a minor have oriented chromatic number at most $5$, and for the $p$th chromatic number $χ_p$, from which follow…
▽ More
In this short note, we extend the result of Galluccio, Goddyn, and Hell, which states that graphs of large girth excluding a minor are nearly bipartite. We also prove a similar result for the oriented chromatic number, from which follows in particular that graphs of large girth excluding a minor have oriented chromatic number at most $5$, and for the $p$th chromatic number $χ_p$, from which follows in particular that graphs $G$ of large girth excluding a minor have $χ_p(G)\leq p+2$.
△ Less
Submitted 13 February, 2014;
originally announced February 2014.
-
Bowtie-free graphs have a Ramsey lift
Authors:
Jan Hubička,
Jaroslav Nešetřil
Abstract:
A bowtie is a graph consisting of two triangles with one vertex identified. We show that the class of all (countable) graphs not containing a bowtie as a subgraph has a Ramsey lift (expansion). This solves one of the old problems in the area and it is the first non-trivial Ramsey class with a non-trivial algebraic closure.
A bowtie is a graph consisting of two triangles with one vertex identified. We show that the class of all (countable) graphs not containing a bowtie as a subgraph has a Ramsey lift (expansion). This solves one of the old problems in the area and it is the first non-trivial Ramsey class with a non-trivial algebraic closure.
△ Less
Submitted 11 December, 2017; v1 submitted 11 February, 2014;
originally announced February 2014.
