Showing 1–42 of 42 results for author: Hubička, J

Extension property for partial automorphisms of the $n$-partite and semigeneric tournaments

Authors: Jan Hubička, Colin Jahel, Matěj Konečný, Marcin Sabok

Abstract: We present a proof of the extension property for partial automorphisms (EPPA) for classes of finite $n$-partite tournaments for $n \in \{2,3,\ldots,ω\}$, and for the class of finite semigeneric tournaments. We also prove that the generic $ω$-partite tournament and the generic semigeneric tournament have ample generics. We present a proof of the extension property for partial automorphisms (EPPA) for classes of finite $n$-partite tournaments for $n \in \{2,3,\ldots,ω\}$, and for the class of finite semigeneric tournaments. We also prove that the generic $ω$-partite tournament and the generic semigeneric tournament have ample generics. △ Less

Submitted 22 January, 2024; originally announced January 2024.

EPPA numbers of graphs

Authors: David Bradley-Williams, Peter J. Cameron, Jan Hubička, Matěj Konečný

Abstract: If $G$ is a graph, $A$ and $B$ its induced subgraphs, and $f\colon A\to B$ an isomorphism, we say that $f$ is a partial automorphism of $G$. In 1992, Hrushovski proved that graphs have the extension property for partial automorphisms (EPPA, also called the Hrushovski property), that is, for every finite graph $G$ there is a finite graph $H$, its EPPA-witness, such that $G$ is an induced subgraph o… ▽ More If $G$ is a graph, $A$ and $B$ its induced subgraphs, and $f\colon A\to B$ an isomorphism, we say that $f$ is a partial automorphism of $G$. In 1992, Hrushovski proved that graphs have the extension property for partial automorphisms (EPPA, also called the Hrushovski property), that is, for every finite graph $G$ there is a finite graph $H$, its EPPA-witness, such that $G$ is an induced subgraph of $H$ and every partial automorphism of $G$ extends to an automorphism of $H$. The EPPA number of a graph $G$, denoted by $\mathop{\mathrm{eppa}}\nolimits(G)$, is the smallest number of vertices of an EPPA-witness for $G$, and we put $\mathop{\mathrm{eppa}}\nolimits(n) = \max\{\mathop{\mathrm{eppa}}\nolimits(G) : \lvert G\rvert = n\}$. In this note we review the state of the area, prove several lower bounds (in particular, we show that $\mathop{\mathrm{eppa}}\nolimits(n)\geq \frac{2^n}{\sqrt{n}}$, thereby identifying the correct base of the exponential) and pose many open questions. We also briefly discuss EPPA numbers of hypergraphs, directed graphs, and $K_k$-free graphs. △ Less

Submitted 10 December, 2023; v1 submitted 14 November, 2023; originally announced November 2023.

Comments: 16 pages

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.

Comments: 37 pages, 9 figures

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

Big Ramsey degrees in the metric setting

Authors: Tristan Bice, Noé de Rancourt, Jan Hubička, Matěj Konečný

Abstract: Oscillation stability is an important concept in Banach space theory which happens to be closely connected to discrete Ramsey theory. For example, Gowers proved oscillation stability for the Banach space $c_0$ using his now famous Ramsey theorem for $\mathrm{FIN}_k$ as the key ingredient. We develop the theory behind this connection and introduce the notion of compact big Ramsey degrees, extending… ▽ More Oscillation stability is an important concept in Banach space theory which happens to be closely connected to discrete Ramsey theory. For example, Gowers proved oscillation stability for the Banach space $c_0$ using his now famous Ramsey theorem for $\mathrm{FIN}_k$ as the key ingredient. We develop the theory behind this connection and introduce the notion of compact big Ramsey degrees, extending the theory of (discrete) big Ramsey degrees. We then prove existence of compact big Ramsey degrees for the Banach space $\ell_\infty$ and the Urysohn sphere, with an explicit characterization in the case of $\ell_\infty$. △ Less

Submitted 25 March, 2023; originally announced March 2023.

Comments: 6 pages; extended abstract

MSC Class: 05D10; 05C05; 05C55; 54E35; 46B20 ACM Class: G.2.2; F.4.1

Type-respecting amalgamation and big Ramsey degrees

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

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

Submitted 22 March, 2023; originally announced March 2023.

Comments: 5 pages. Extended abstract

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

Characterisation of the big Ramsey degrees of the generic partial order

Authors: Martin Balko, David Chodounský, Natasha Dobrinen, Jan Hubička, Matěj Konečný, Lluis Vena, Andy Zucker

Abstract: As a result of 33 intercontinental Zoom calls, we characterise big Ramsey degrees of the generic partial order. This is an infinitary extension of the well known fact that finite partial orders endowed with linear extensions form a Ramsey class (this result was announced by Nešetřil and Rödl in 1984 with first published proof by Paoli, Trotter and Walker in 1985). Towards this, we refine earlier u… ▽ More As a result of 33 intercontinental Zoom calls, we characterise big Ramsey degrees of the generic partial order. This is an infinitary extension of the well known fact that finite partial orders endowed with linear extensions form a Ramsey class (this result was announced by Nešetřil and Rödl in 1984 with first published proof by Paoli, Trotter and Walker in 1985). Towards this, we refine earlier upper bounds obtained by Hubička based on a new connection of big Ramsey degrees to the Carlson-Simpson theorem and we also introduce a new technique of giving lower bounds using an iterated application of the upper-bound theorem. △ Less

Submitted 17 June, 2024; v1 submitted 17 March, 2023; originally announced March 2023.

Comments: 34 pages, 7 figures. Minor revision incorporating suggestions of the anonymous referee. Fixed typo in Definition 1.5

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

Big Ramsey degrees and infinite languages

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

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

Submitted 14 November, 2023; v1 submitted 30 January, 2023; originally announced January 2023.

Comments: 21 pages. Newest update corrects a mistake in a funding acknowledgment

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

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.

Comments: 6 pages, 1 figure. Extended abstract for Eurocomb 2021; corrected title

MSC Class: 05C05; 05C38; 05C20; 06A06 ACM Class: G.2.2; F.4.1

Journal ref: In: Extended Abstracts EuroComb 2021. Trends in Mathematics, vol 14. Birkhäuser, Cham (2021)

Exact big Ramsey degrees for finitely constrained binary free amalgamation classes

Authors: Martin Balko, David Chodounský, Natasha Dobrinen, Jan Hubička, Matěj Konečný, Lluis Vena, Andy Zucker

Abstract: We characterize the big Ramsey degrees of free amalgamation classes in finite binary languages defined by finitely many forbidden irreducible substructures, thus refining the recent upper bounds given by Zucker. Using this characterization, we show that the Fraïssé limit of each such class admits a strong big Ramsey structure, implying that the automorphism group of the Fraïssé limit has a metriza… ▽ More We characterize the big Ramsey degrees of free amalgamation classes in finite binary languages defined by finitely many forbidden irreducible substructures, thus refining the recent upper bounds given by Zucker. Using this characterization, we show that the Fraïssé limit of each such class admits a strong big Ramsey structure, implying that the automorphism group of the Fraïssé limit has a metrizable universal completion flow. △ Less

Submitted 19 September, 2023; v1 submitted 15 October, 2021; originally announced October 2021.

Comments: Revised version; formerly titled "Exact big Ramsey degrees via coding trees."

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.

Comments: Extended abstract accepted to EUROCOMB 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.

Comments: 6 pages, extended abstract accepted to EUROCOMB 2021

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

Big Ramsey degrees of the generic partial order

Authors: Martin Balko, David Chodounský, Natasha Dobrinen, Jan Hubička, Matěj Konečný, Lluis Vena, Andy Zucker

Abstract: As a result of 33 intercontinental Zoom calls, we characterise big Ramsey degrees of the generic partial order in a similar way as Devlin characterised big Ramsey degrees of the generic linear order (the order of rationals). As a result of 33 intercontinental Zoom calls, we characterise big Ramsey degrees of the generic partial order in a similar way as Devlin characterised big Ramsey degrees of the generic linear order (the order of rationals). △ Less

Submitted 21 May, 2021; originally announced May 2021.

Comments: 6 pages, extended abstract accepted to EUROCOMB 2021

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

Structural Ramsey Theory and the Extension Property for Partial Automorphisms

Authors: Jan Hubička

Abstract: We survey recent developments concerning two properties of classes of finite structures: the Ramsey property and the extension property for partial automorphisms (EPPA). We survey recent developments concerning two properties of classes of finite structures: the Ramsey property and the extension property for partial automorphisms (EPPA). △ Less

Submitted 10 October, 2020; originally announced October 2020.

Comments: 31 pages, 5 figures; written as introduction chapter for habilitation thesis

MSC Class: 05E18; 20B25; 22F50; 03C52 (Primary) 05D10 (Secondary) ACM Class: G.2.2; F.4.1

Big Ramsey degrees using parameter spaces

Authors: Jan Hubička

Abstract: We show that the universal homogeneous partial order has finite big Ramsey degrees and discuss several corollaries. Our proof uses parameter spaces and the Carlson-Simpson theorem rather than (a strengthening of) the Halpern-Läuchli theorem and the Milliken tree theorem, which are the primary tools used to give bounds on big Ramsey degrees elsewhere (originating from work of Laver and Milliken).… ▽ More We show that the universal homogeneous partial order has finite big Ramsey degrees and discuss several corollaries. Our proof uses parameter spaces and the Carlson-Simpson theorem rather than (a strengthening of) the Halpern-Läuchli theorem and the Milliken tree theorem, which are the primary tools used to give bounds on big Ramsey degrees elsewhere (originating from work of Laver and Milliken). This new technique has many additional applications. To demonstrate this, we show that the homogeneous universal triangle-free graph has finite big Ramsey degrees, thus giving a short proof of a recent result of Dobrinen. △ Less

Submitted 2 September, 2020; originally announced September 2020.

Comments: 19 pages, 2 figures

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

Big Ramsey degrees of 3-uniform hypergraphs are finite

Authors: Martin Balko, David Chodounský, Jan Hubička, Matěj Konečný, Lluis Vena

Abstract: We prove that the universal homogeneous 3-uniform hypergraph has finite big Ramsey degrees. This is the first case where big Ramsey degrees are known to be finite for structures in a non-binary language. Our proof is based on the vector (or product) form of Milliken's Tree Theorem and demonstrates a general method to carry existing results on structures in binary relational languages to higher a… ▽ More We prove that the universal homogeneous 3-uniform hypergraph has finite big Ramsey degrees. This is the first case where big Ramsey degrees are known to be finite for structures in a non-binary language. Our proof is based on the vector (or product) form of Milliken's Tree Theorem and demonstrates a general method to carry existing results on structures in binary relational languages to higher arities. △ Less

Submitted 3 July, 2021; v1 submitted 1 August, 2020; originally announced August 2020.

Comments: 10 pages, 2 figures. Minor corrections and presentation improvements suggested by the referees

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

Simplicity of the automorphism groups of generalised metric spaces

Authors: David M. Evans, Jan Hubička, Matěj Konečný, Yibei Li, Martin Ziegler

Abstract: Tent and Ziegler proved that the automorphism group of the Urysohn sphere is simple and that the automorphism group of the Urysohn space is simple modulo bounded automorphisms. A key component of their proof is the definition of a stationary independence relation (SIR). In this paper we prove that the existence of a SIR satisfying some extra axioms is enough to prove simplicity of the automorphism… ▽ More Tent and Ziegler proved that the automorphism group of the Urysohn sphere is simple and that the automorphism group of the Urysohn space is simple modulo bounded automorphisms. A key component of their proof is the definition of a stationary independence relation (SIR). In this paper we prove that the existence of a SIR satisfying some extra axioms is enough to prove simplicity of the automorphism group of a countable structure. The extra axioms are chosen with applications in mind, namely homogeneous structures which admit a "metric-like amalgamation", for example all primitive 3-constrained metrically homogeneous graphs of finite diameter from Cherlin's list. △ Less

Submitted 3 April, 2021; v1 submitted 30 July, 2019; originally announced July 2019.

Comments: Accepted to Journal of Algebra

MSC Class: 20B27

Big Ramsey degrees of 3-uniform hypergraphs

Authors: Martin Balko, David Chodounský, Jan Hubička, Matěj Konečný, Lluis Vena

Abstract: Given a countably infinite hypergraph $\mathcal R$ and a finite hypergraph $\mathcal A$, the big Ramsey degree of $\mathcal A$ in $\mathcal R$ is the least number $L$ such that, for every finite $k$ and every $k$-colouring of the embeddings of $\mathcal A$ to $\mathcal R$, there exists an embedding $f$ from $\mathcal R$ to $\mathcal R$ such that all the embeddings of $\mathcal A$ to the image… ▽ More Given a countably infinite hypergraph $\mathcal R$ and a finite hypergraph $\mathcal A$, the big Ramsey degree of $\mathcal A$ in $\mathcal R$ is the least number $L$ such that, for every finite $k$ and every $k$-colouring of the embeddings of $\mathcal A$ to $\mathcal R$, there exists an embedding $f$ from $\mathcal R$ to $\mathcal R$ such that all the embeddings of $\mathcal A$ to the image $f(\mathcal R)$ have at most $L$ different colours. We describe the big Ramsey degrees of the random countably infinite 3-uniform hypergraph, thereby solving a question of Sauer. We also give a new presentation of the results of Devlin and Sauer on, respectively, big Ramsey degrees of the order of the rationals and the countably infinite random graph. Our techniques generalise (in a natural way) to relational structures and give new examples of Ramsey structures (a concept recently introduced by Zucker with applications to topological dynamics). △ Less

Submitted 10 June, 2019; originally announced June 2019.

Comments: 8 pages, 3 figures, extended abstract for Eurocomb 2019

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

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.

Comments: 5 pages, 4 figures. Extended abstract for Eurocomb 2019. Minor revision

MSC Class: 05C05; 05C38; 05C20; 06A06 ACM Class: G.2.2; F.4.1

Extending partial automorphisms of $n$-partite tournaments

Authors: Jan Hubička, Colin Jahel, Matěj Konečný, Marcin Sabok

Abstract: We prove that for every $n\geq 2$ the class of all finite $n$-partite tournaments (orientations of complete $n$-partite graphs) has the extension property for partial automorphisms, that is, for every finite $n$-partite tournament $G$ there is a finite $n$-partite tournament $H$ such that every isomorphism of induced subgraphs of $G$ extends to an automorphism of $H$. Our constructions are purely… ▽ More We prove that for every $n\geq 2$ the class of all finite $n$-partite tournaments (orientations of complete $n$-partite graphs) has the extension property for partial automorphisms, that is, for every finite $n$-partite tournament $G$ there is a finite $n$-partite tournament $H$ such that every isomorphism of induced subgraphs of $G$ extends to an automorphism of $H$. Our constructions are purely combinatorial (whereas many earlier EPPA results use deep results from group theory) and extend to other classes such as the class of all finite semi-generic tournaments. △ Less

Submitted 18 March, 2019; originally announced March 2019.

Comments: 5 pages, extended abstract

MSC Class: Primary: 05C20; 05C60; 05E18; Secondary: 20B25 ACM Class: G.2.2; F.4.1

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.

Comments: 63 pages, 3 figures. Minor revision addressing comments of the referee

MSC Class: 05E18; 20B25; 22F50; 03C52 (Primary) 05D10 (Secondary) ACM Class: G.2.2; F.4.1

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.

Comments: 14 pages, 3 figures

MSC Class: 05E18; 20B25; 22F50; 03C15; 03C52 ACM Class: G.2.2; F.4.1

Journal ref: Proc. Amer. Math. Soc. 148 (2020), 1901-1915

Forbidden cycles in metrically homogeneous graphs

Authors: Jan Hubička, Michael Kompatscher, Matěj Konečný

Abstract: In a recent paper by a superset of the authors it was proved that for every primitive 3-constrained space $Γ$ of finite diameter $δ$ from Cherlin's catalogue of metrically homogeneous graphs, there exists a finite family $\mathcal F$ of $\{1,\ldots, δ\}$-edge-labelled cycles such that a $\{1,\ldots, δ\}$-edge-labelled graph is a subgraph of $Γ$ if and only if it contains no homomorphic images of c… ▽ More In a recent paper by a superset of the authors it was proved that for every primitive 3-constrained space $Γ$ of finite diameter $δ$ from Cherlin's catalogue of metrically homogeneous graphs, there exists a finite family $\mathcal F$ of $\{1,\ldots, δ\}$-edge-labelled cycles such that a $\{1,\ldots, δ\}$-edge-labelled graph is a subgraph of $Γ$ if and only if it contains no homomorphic images of cycles from $\mathcal F$. However, the cycles in the families $\mathcal F$ were not described explicitly as it was not necessary for the analysis of Ramsey expansions and the extension property for partial automorphisms. This paper fills this gap by providing an explicit description of the cycles in the families $\mathcal F$, heavily using the previous result in the process. Additionally, we explore the potential applications of this result, such as interpreting the graphs as semigroup-valued metric spaces or homogenizations of $ω$-categorical $\{1,δ\}$-edge-labelled graphs. △ Less

Submitted 22 March, 2023; v1 submitted 15 August, 2018; originally announced August 2018.

Comments: 25 pages. Minor revisions, accepted to European Journal of Combinatorics

MSC Class: 05C75; 54E35 (Primary); 22F50 (Secondary) ACM Class: G.2.2; F.4.1

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.

Comments: 7 pages, 1 figure. Minor revision. Accepted to Commentationes Mathematicae Universitatis Carolinae

MSC Class: 20B27; 05E18; 54E35; 20F05 (Primary) 22F50; 37B05 (Secondary) ACM Class: G.2.2; F.4.1

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.

Comments: 41 pages, 2 figures, minor revision

MSC Class: 05D10; 20B27; 37B05 (Primary); 03C15; 05C55; 22F50; 54H20 (Secondary) ACM Class: G.2.2; F.4.1

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.

Comments: 25 pages, 4 figures. Corrected proof of Lemma 6.20. Accepted to Contributions to Discrete Mathematics

MSC Class: 05D10; 20B27; 54E35 (Primary) 03C15; 22F50; 37B05 (Secondary) ACM Class: G.2.2; F.4.1

Journal ref: Contributions to Discrete Mathematics, Vol. 16 No. 2 (2021), 46-70

Ramsey expansions of metrically homogeneous graphs

Authors: Andrés Aranda, David Bradley-Williams, Jan Hubička, Miltiadis Karamanlis, Michael Kompatscher, Matěj Konečný, Micheal Pawliuk

Abstract: We investigate Ramsey expansions, the coherent extension property for partial isometries (EPPA), and the existence of a stationary independence relation for all classes of metrically homogeneous graphs from Cherlin's catalogue. We show that, with the exception of tree-like graphs, all metric spaces in the catalogue have precompact Ramsey expansions (or lifts) with the expansion property. With two… ▽ More We investigate Ramsey expansions, the coherent extension property for partial isometries (EPPA), and the existence of a stationary independence relation for all classes of metrically homogeneous graphs from Cherlin's catalogue. We show that, with the exception of tree-like graphs, all metric spaces in the catalogue have precompact Ramsey expansions (or lifts) with the expansion property. With two exceptions we can also characterise the existence of a stationary independence relation and coherent EPPA. Our results are a contribution to Nešetřil's classification programme of Ramsey classes and can be seen as empirical evidence of the recent convergence in techniques employed to establish the Ramsey property, the expansion property, EPPA and the existence of a stationary independence relation. At the heart of our proof is a canonical way of completing edge-labelled graphs to metric spaces in Cherlin's classes. The existence of such a ``completion algorithm'' then allows us to apply several strong results in the areas that imply EPPA or the Ramsey property. The main results have numerous consequences for the automorphism groups of the Fraisse limits of the classes. As corollaries, we prove amenability, unique ergodicity, existence of universal minimal flows, ample generics, small index property, 21-Bergman property and Serre's property (FA). △ Less

Submitted 8 March, 2024; v1 submitted 9 July, 2017; originally announced July 2017.

Comments: 59 pages, 14 figures. Minor revision, added "symmetric" qualifier to canonical amalgamation operator

MSC Class: Primary: 05D10; 20B27; 54E35; Secondary: 03C15; 22F50; 37B05 ACM Class: G.2.2; F.4.1

Completing graphs to metric spaces

Authors: Andrés Aranda, David Bradley-Williams, Eng Keat Hng, Jan Hubička, Miltiadis Karamanlis, Michael Kompatscher, Matěj Konečný, Micheal Pawliuk

Abstract: We prove that certain classes of metrically homogeneous graphs omitting triangles of odd short perimeter as well as triangles of long perimeter have the extension property for partial automorphisms and we describe their Ramsey expansions. We prove that certain classes of metrically homogeneous graphs omitting triangles of odd short perimeter as well as triangles of long perimeter have the extension property for partial automorphisms and we describe their Ramsey expansions. △ Less

Submitted 4 March, 2019; v1 submitted 1 June, 2017; originally announced June 2017.

Comments: 19 pages, 7 figures; to appear in Contributions to Discrete Mathematics

MSC Class: Primary: 05D10; 20B27; 54E35; Secondary: 03C15; 22F50; 37B05 ACM Class: G.2.2; F.4.1

Journal ref: Contributions to Discrete Mathematics, Vol. 16 No. 2 (2021), 71-89

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.

Comments: 8 pages, extended abstract for Eurocomb 2017

MSC Class: Primary: 05D10 Secondary: 03C15; 22F50; 51E05 ACM Class: G.2.2; F.4.1

Gaps in full homomorphism order

Authors: Jiří Fiala, Jan Hubička, Yang**g Long

Abstract: We characterise gaps in the full homomorphism order of graphs. We characterise gaps in the full homomorphism order of graphs. △ Less

Submitted 7 May, 2017; originally announced May 2017.

Comments: 9 pages, extended abstract for Eurocomb 2017

MSC Class: 05C60; 06A06 ACM Class: G.2.2; F.4.1

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.

Comments: 30 pages, 9 figures; corrections and presentation improvements suggested by the referee. Functions in structures are now set-valued

MSC Class: Primary: 05D10; 20B27; Secondary: 03C15; 22F50; 37B05 ACM Class: G.2.2; F.4.1

Journal ref: Fundamenta Mathematicae 253 (2021), 121-153

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.

Comments: 16 pages, 2 figures. Minor correction according to referees comments. arXiv admin note: text overlap with arXiv:1606.07979. Author note: main theorem of arXiv:1606.07979 is used here

MSC Class: Primary: 05D10; Secondary: 03C15; 03E02; 22F50; 51E10 ACM Class: G.2.2; F.4.1

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.

Comments: 91 pages, 21 figures. Accepted to Advances in Mathematics. Reformatted to match journal recommendations. Changed numbering of Theorems. Theorem 2.1 in the previous draft is now Theorem 2.11. Theorem 2.2 in the previous draft is now Theorem 2.18

MSC Class: 05D10 (Primary); 03C15; 03E02; 22F50 (Secondary) ACM Class: G.2.2; F.4.1

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.

Comments: 8 pages, 5 figures. Minor corrections and reformatting. Accepted to European Journal of Combinatorics

MSC Class: 05C60; 06A06; 28A80; 05C15 ACM Class: G.2.2

Universality of intervals of line graph order

Authors: Jiří Fiala, Jan Hubička, Yang**g Long

Abstract: We prove that for every $d\geq 3$ the homomorphism order of the class of line graphs of finite graphs with maximal degree $d$ is universal. This means that every finite or countably infinite partially ordered set may be represented by line graphs of graphs with maximal degree $d$ ordered by the existence of a homomorphism. We prove that for every $d\geq 3$ the homomorphism order of the class of line graphs of finite graphs with maximal degree $d$ is universal. This means that every finite or countably infinite partially ordered set may be represented by line graphs of graphs with maximal degree $d$ ordered by the existence of a homomorphism. △ Less

Submitted 18 April, 2014; v1 submitted 15 February, 2014; originally announced February 2014.

Comments: 13 pages, 8 figures, accepted to European Journal of Combinatorics

MSC Class: 05C60; 05C76; 06A06 ACM Class: G.2.2

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.

Comments: 32 pages, 5 figures. Minor corrections; reformatted to elsarticle; accepted to Advances in Applied Mathematics

MSC Class: 05C55; 05C15; 05D10; 03C35 ACM Class: G.2.1; G.2.2

Journal ref: Advances in Applied Mathematics Volume 96, May 2018, Pages 286-311

Complexities of relational structures

Authors: David Hartman, Jan Hubicka, Jaroslav Nesetril

Abstract: The relational complexity, introduced by G. Cherlin, G. Martin, and D. Saracino, is a measure of ultrahomogeneity of a relational structure. It provides an information on minimal arity of additional invariant relations needed to turn given structure into an ultrahomogeneous one. The original motivation was group theory. This work focuses more on structures and provides an alternative approach. Our… ▽ More The relational complexity, introduced by G. Cherlin, G. Martin, and D. Saracino, is a measure of ultrahomogeneity of a relational structure. It provides an information on minimal arity of additional invariant relations needed to turn given structure into an ultrahomogeneous one. The original motivation was group theory. This work focuses more on structures and provides an alternative approach. Our study is motivated by related concept of lift complexity studied by Hubicka and Nesetril. △ Less

Submitted 17 September, 2013; originally announced September 2013.

Comments: 18 pages, submitted to Mathematica Slovaca

MSC Class: 05C75

Relations Between Graphs

Authors: Jan Hubicka, Jürgen Jost, Yang**g Long, Peter F. Stadler, Ling Yang

Abstract: Given two graphs G and H, we ask under which conditions there is a relation R that generates the edges of H given the structure of graph G. This construction can be seen as a form of multihomomorphism. It generalizes surjective homomorphisms of graphs and naturally leads to notions of R-retractions, R-cores, and R-cocores of graphs. Both R-cores and R-cocores of graphs are unique up to isomorphism… ▽ More Given two graphs G and H, we ask under which conditions there is a relation R that generates the edges of H given the structure of graph G. This construction can be seen as a form of multihomomorphism. It generalizes surjective homomorphisms of graphs and naturally leads to notions of R-retractions, R-cores, and R-cocores of graphs. Both R-cores and R-cocores of graphs are unique up to isomorphism and can be computed in polynomial time. △ Less

Submitted 16 October, 2012; v1 submitted 17 May, 2012; originally announced May 2012.

Comments: accepted by Ars Mathematica Contemporanea

MSC Class: 05C75 ACM Class: G.2.2

Homomorphism-homogeneous L-colored graphs

Authors: David Hartman, Jan Hubicka, Dragan Masulovic

Abstract: A relational structure is homomorphism-homogeneous (HH-homogeneous for short) if every homomorphism between finite induced substructures of the structure can be extended to a homomorphism over the whole domain of the structure. Similarly, a structure is monomorphism-homogeneous (MH-homogeneous for short) if every monomorphism between finite induced substructures of the structure can be extended to… ▽ More A relational structure is homomorphism-homogeneous (HH-homogeneous for short) if every homomorphism between finite induced substructures of the structure can be extended to a homomorphism over the whole domain of the structure. Similarly, a structure is monomorphism-homogeneous (MH-homogeneous for short) if every monomorphism between finite induced substructures of the structure can be extended to a homomorphism over the whole domain of the structure. In this paper we consider L-colored graphs, that is, undirected graphs without loops where sets of colors selected from L are assigned to vertices and edges. A full classification of finite MH-homogeneous L-colored graphs where L is a chain is provided, and we show that the classes MH and HH coincide. When L is a diamond, that is, a set of pairwise incomparable elements enriched with a greatest and a least element, the situation turns out to be much more involved. We show that in the general case the classes MH and HH do not coincide. △ Less

Submitted 26 April, 2012; originally announced April 2012.

Comments: Submitted to European Journal of Combinatorics

MSC Class: 05C75; 03C13

Combinatorial Properties of Finite Models

Authors: Jan Hubicka

Abstract: We study countable embedding-universal and homomorphism-universal structures and unify results related to both of these notions. We show that many universal and ultrahomogeneous structures allow a concise description (called here a finite presentation). Extending classical work of Rado (for the random graph), we find a finite presentation for each of the following classes: homogeneous undirected g… ▽ More We study countable embedding-universal and homomorphism-universal structures and unify results related to both of these notions. We show that many universal and ultrahomogeneous structures allow a concise description (called here a finite presentation). Extending classical work of Rado (for the random graph), we find a finite presentation for each of the following classes: homogeneous undirected graphs, homogeneous tournaments and homogeneous partially ordered sets. We also give a finite presentation of the rational Urysohn metric space and some homogeneous directed graphs. We survey well known structures that are finitely presented. We focus on structures endowed with natural partial orders and prove their universality. These partial orders include partial orders on sets of words, partial orders formed by geometric objects, grammars, polynomials and homomorphism orders for various combinatorial objects. We give a new combinatorial proof of the existence of embedding-universal objects for homomorphism-defined classes of structures. This relates countable embedding-universal structures to homomorphism dualities (finite homomorphism-universal structures) and Urysohn metric spaces. Our explicit construction also allows us to show several properties of these structures. △ Less

Submitted 2 September, 2010; originally announced September 2010.

Comments: PhD thesis, unofficial version (missing apple font)

MSC Class: 05E15; 05C60; 05C80; 05C63; 05C55; 06A06; 03C13; 03C30

Some examples of universal and generic partial orders

Authors: Jaroslav Nesetril, Jan Hubicka

Abstract: We survey structures endowed with natural partial orderings and prove their universality. These partial orders include partial orders on sets of words, partial orders formed by geometric objects, grammars, polynomials and homomorphism order for various combinatorial objects. We survey structures endowed with natural partial orderings and prove their universality. These partial orders include partial orders on sets of words, partial orders formed by geometric objects, grammars, polynomials and homomorphism order for various combinatorial objects. △ Less

Submitted 18 June, 2010; v1 submitted 8 February, 2010; originally announced February 2010.

Comments: 31 pages, 5 figures. Updated version with many grammar fixes and also few minor corrections in proof in Section 3. Accepted for Model theoretic methods in finite Combinatorics

MSC Class: 06A06

Homomorphism and embedding universal structures for restricted classes

Authors: Jan Hubička, Jaroslav Nešetřil

Abstract: This paper unifies problems and results related to (embedding) universal and homomorphism universal structures. On the one side we give a new combinatorial proof of the existence of universal objects for homomorphism defined classes of structures (thus reproving a result of Cherlin, Shelah and Shi) and on the other side this leads to the new proof of the existence of dual objects (established by N… ▽ More This paper unifies problems and results related to (embedding) universal and homomorphism universal structures. On the one side we give a new combinatorial proof of the existence of universal objects for homomorphism defined classes of structures (thus reproving a result of Cherlin, Shelah and Shi) and on the other side this leads to the new proof of the existence of dual objects (established by Nešetřil and Tardif). Our explicite approach has further applications to special structures such as variants of the rational Urysohn space. We also solve a related extremal problem which shows the optimality (of the used lifted arities) of our construction (and a related problem of A. Atserias). △ Less

Submitted 10 June, 2014; v1 submitted 27 September, 2009; originally announced September 2009.

Comments: 27 pages, 4 figures. Reworked version to appear in Journal of Multiple-Valued Logic and Soft Computing

MSC Class: 05C99; 03C50; 03D05 ACM Class: G.2.1; F.4.3; F.4.1

Universal structures with forbidden homomorphisms

Authors: Jan Hubička, Jaroslav Nešetřil

Abstract: We relate the existence problem of universal objects to the properties of corresponding enriched categories (lifts or expansions). In particular, extending earlier results, we prove that for every (possibly infinite) regular set F of finite connected structures there exists a (countable) ω-categorical universal structure U for the class Forb(F) (of all countable structures not containing any homom… ▽ More We relate the existence problem of universal objects to the properties of corresponding enriched categories (lifts or expansions). In particular, extending earlier results, we prove that for every (possibly infinite) regular set F of finite connected structures there exists a (countable) ω-categorical universal structure U for the class Forb(F) (of all countable structures not containing any homomorphic image of a member of F). We employ a technique known as homogenization: The universal object U is the shadow (reduct) of an ultrahomogeneous structure U'. We also put the results of this paper in the context of homomorphism dualities and constraint satisfaction problems. This leads to an alternative proof of the characterization of finite dualities (given by Tardif and Nešetřil) as well as of the characterization of infinite-finite dualities for classes of relational trees given by P. L. Erdős, Pálvölgyi, Tardif and Tardos. The notion of regular families of structures is motivated by the recent characterization of infinite-finite dualities for classes of relational forests (itself related to regular languages). We show how the notion of a regular family of relational trees can be extended to regular families of relational structures. This gives a partial characterization of the existence of a (countable) ω-categorical universal object for classes Forb(F). △ Less

Submitted 2 March, 2013; v1 submitted 23 July, 2009; originally announced July 2009.

Comments: 26 pages, 6 figures. Language corrections, version as accepted for publication

MSC Class: 05C99; 03C50; 03D05 ACM Class: G.2.1; F.4.3; F.4.1