ramsey classes by partite construction iihubicka/slides/durham2015-2.pdf · j. hubickaˇ ramsey...

97
Ramsey Classes by Partite Construction II Honza Hubiˇ cka Mathematics and Statistics University of Calgary Calgary Institute of Computer Science Charles University Prague Joint work with Jaroslav Nešetˇ ril Permutation Groups and Transformation Semigroups 2015 J. Hubiˇ cka Ramsey Classes by Partite Construction II

Upload: others

Post on 25-Jul-2020

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Ramsey Classes by Partite Construction II

Honza Hubicka

Mathematics and StatisticsUniversity of Calgary

Calgary

Institute of Computer ScienceCharles University

Prague

Joint work with Jaroslav Nešetril

Permutation Groups and Transformation Semigroups 2015

J. Hubicka Ramsey Classes by Partite Construction II

Page 2: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Ramsey classes

We consider relational structures in language L without functionsymbols.

DefinitionA class C (of finite relational structures) is Ramsey iff

∀A,B∈C∃C∈C : C −→ (B)A2 .

(BA

)is set of all substructures of B isomorphic to A.

C −→ (B)A2 : For every 2-coloring of

(CA

)there exists B ∈

(CB

)such that

(BA

)is monochromatic.

A B

C

J. Hubicka Ramsey Classes by Partite Construction II

Page 3: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Ramsey classes

We consider relational structures in language L without functionsymbols.

DefinitionA class C (of finite relational structures) is Ramsey iff

∀A,B∈C∃C∈C : C −→ (B)A2 .(B

A

)is set of all substructures of B isomorphic to A.

C −→ (B)A2 : For every 2-coloring of

(CA

)there exists B ∈

(CB

)such that

(BA

)is monochromatic.

A B

C

J. Hubicka Ramsey Classes by Partite Construction II

Page 4: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Ramsey classes

We consider relational structures in language L without functionsymbols.

DefinitionA class C (of finite relational structures) is Ramsey iff

∀A,B∈C∃C∈C : C −→ (B)A2 .(B

A

)is set of all substructures of B isomorphic to A.

C −→ (B)A2 : For every 2-coloring of

(CA

)there exists B ∈

(CB

)such that

(BA

)is monochromatic.

A B

C

J. Hubicka Ramsey Classes by Partite Construction II

Page 5: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Ramsey classes

We consider relational structures in language L without functionsymbols.

DefinitionA class C (of finite relational structures) is Ramsey iff

∀A,B∈C∃C∈C : C −→ (B)A2 .(B

A

)is set of all substructures of B isomorphic to A.

C −→ (B)A2 : For every 2-coloring of

(CA

)there exists B ∈

(CB

)such that

(BA

)is monochromatic.

A B

C

J. Hubicka Ramsey Classes by Partite Construction II

Page 6: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Nešetril-Rödl Theorem

A structure A is called complete (or irreducible) if every pair ofdistinct vertices belong to a relation of A.

ForbE(E) is a class of all finite structures A such that there is noembedding from E ∈ E to A.

Theorem (Nešetril-Rödl Theorem, 1977)Let L be a finite relational language.Let E be a set of complete ordered L-structures.The then class ForbE(E) is a Ramsey class.

Proof by partite construction.

J. Hubicka Ramsey Classes by Partite Construction II

Page 7: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Nešetril-Rödl Theorem

A structure A is called complete (or irreducible) if every pair ofdistinct vertices belong to a relation of A.

ForbE(E) is a class of all finite structures A such that there is noembedding from E ∈ E to A.

Theorem (Nešetril-Rödl Theorem, 1977)Let L be a finite relational language.Let E be a set of complete ordered L-structures.The then class ForbE(E) is a Ramsey class.

Proof by partite construction.

J. Hubicka Ramsey Classes by Partite Construction II

Page 8: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Unary closures = relations with out-degree 1

Unary closure description C is a set of pairs (RU ,RB) where RU

is unary relation and RB is binary relation.

We say that structure A is C-closed if for every pair (RU ,RB)the B-outdegree of every vertex of A that is in U is 1.

Theorem (H., Nešetril, 2015)Let E be a family of complete ordered structures and U anunary closure description. Then the class of all C-closedstructures in ForbE(E) has Ramsey lift.

All Cherlin Shelah Shi classes with unary closure can bedescribed this way!

J. Hubicka Ramsey Classes by Partite Construction II

Page 9: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Unary closures = relations with out-degree 1

Unary closure description C is a set of pairs (RU ,RB) where RU

is unary relation and RB is binary relation.

We say that structure A is C-closed if for every pair (RU ,RB)the B-outdegree of every vertex of A that is in U is 1.

Theorem (H., Nešetril, 2015)Let E be a family of complete ordered structures and U anunary closure description. Then the class of all C-closedstructures in ForbE(E) has Ramsey lift.

All Cherlin Shelah Shi classes with unary closure can bedescribed this way!

J. Hubicka Ramsey Classes by Partite Construction II

Page 10: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

J. Hubicka Ramsey Classes by Partite Construction II

Page 11: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

J. Hubicka Ramsey Classes by Partite Construction II

Page 12: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

J. Hubicka Ramsey Classes by Partite Construction II

Page 13: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

J. Hubicka Ramsey Classes by Partite Construction II

Page 14: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

J. Hubicka Ramsey Classes by Partite Construction II

Page 15: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

J. Hubicka Ramsey Classes by Partite Construction II

Page 16: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Map of Ramsey Classes

freerestricted

linear orders

cyclic orders

graphs

unions of complete graphs

interval graphs

permutations

Kn-free graphspartial orders

acyclic graphs

metric spaces

boolean algebras Unary CSS classes

J. Hubicka Ramsey Classes by Partite Construction II

Page 17: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Further applications

Known Cherlin-Shelah-Shi classes:bouquetsbowties extended by pathknown examples without unary closure

n-ary functions(structures with a function symbol (A, f ) where f : An → A)

Consider (A, f ) as a relational structure with (n + 1)-aryrelation where every n-tuple has a closure vertexBecause the algebraic closure is not locally finite Fraïssélimit is not ω-categorical

In some cases algebraic closure is introduced as ascaffolding and does not appear in the final Ramsey class:

Structures with infinitely many equivalence classesQQ

J. Hubicka Ramsey Classes by Partite Construction II

Page 18: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Further applications

Known Cherlin-Shelah-Shi classes:bouquetsbowties extended by pathknown examples without unary closure

n-ary functions(structures with a function symbol (A, f ) where f : An → A)

Consider (A, f ) as a relational structure with (n + 1)-aryrelation where every n-tuple has a closure vertexBecause the algebraic closure is not locally finite Fraïssélimit is not ω-categorical

In some cases algebraic closure is introduced as ascaffolding and does not appear in the final Ramsey class:

Structures with infinitely many equivalence classesQQ

J. Hubicka Ramsey Classes by Partite Construction II

Page 19: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Further applications

Known Cherlin-Shelah-Shi classes:bouquetsbowties extended by pathknown examples without unary closure

n-ary functions(structures with a function symbol (A, f ) where f : An → A)

Consider (A, f ) as a relational structure with (n + 1)-aryrelation where every n-tuple has a closure vertexBecause the algebraic closure is not locally finite Fraïssélimit is not ω-categorical

In some cases algebraic closure is introduced as ascaffolding and does not appear in the final Ramsey class:

Structures with infinitely many equivalence classes

QQ

J. Hubicka Ramsey Classes by Partite Construction II

Page 20: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Further applications

Known Cherlin-Shelah-Shi classes:bouquetsbowties extended by pathknown examples without unary closure

n-ary functions(structures with a function symbol (A, f ) where f : An → A)

Consider (A, f ) as a relational structure with (n + 1)-aryrelation where every n-tuple has a closure vertexBecause the algebraic closure is not locally finite Fraïssélimit is not ω-categorical

In some cases algebraic closure is introduced as ascaffolding and does not appear in the final Ramsey class:

Structures with infinitely many equivalence classesQQ

J. Hubicka Ramsey Classes by Partite Construction II

Page 21: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Structures with forbidden homomorphisms

Let F be a family of relational structures. We denote byForbH(F) the class of all finite structures A such that there is noF ∈ F having a homomorphism F→ A.

Theorem (Cherlin,Shelah,Shi 1998)For every finite family F of finite connected relational structuresthere is an ω-categorical structure that is universal for ForbH(F).

Every ω-categorical structure can be lifted tohomogeneous.Explicit homogenization is given by H. and Nešetril (2009).

Theorem (Nešetril, 2010)For every finite family F of finite connected relational structuresthere is a Ramsey lift of ForbH(F).

J. Hubicka Ramsey Classes by Partite Construction II

Page 22: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Structures with forbidden homomorphisms

Let F be a family of relational structures. We denote byForbH(F) the class of all finite structures A such that there is noF ∈ F having a homomorphism F→ A.

Theorem (Cherlin,Shelah,Shi 1998)For every finite family F of finite connected relational structuresthere is an ω-categorical structure that is universal for ForbH(F).

Every ω-categorical structure can be lifted tohomogeneous.Explicit homogenization is given by H. and Nešetril (2009).

Theorem (Nešetril, 2010)For every finite family F of finite connected relational structuresthere is a Ramsey lift of ForbH(F).

J. Hubicka Ramsey Classes by Partite Construction II

Page 23: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Structures with forbidden homomorphisms

Let F be a family of relational structures. We denote byForbH(F) the class of all finite structures A such that there is noF ∈ F having a homomorphism F→ A.

Theorem (Cherlin,Shelah,Shi 1998)For every finite family F of finite connected relational structuresthere is an ω-categorical structure that is universal for ForbH(F).

Every ω-categorical structure can be lifted tohomogeneous.Explicit homogenization is given by H. and Nešetril (2009).

Theorem (Nešetril, 2010)For every finite family F of finite connected relational structuresthere is a Ramsey lift of ForbH(F).

J. Hubicka Ramsey Classes by Partite Construction II

Page 24: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Structures with forbidden homomorphisms

Let F be a family of relational structures. We denote byForbH(F) the class of all finite structures A such that there is noF ∈ F having a homomorphism F→ A.

Theorem (Cherlin,Shelah,Shi 1998)For every finite family F of finite connected relational structuresthere is an ω-categorical structure that is universal for ForbH(F).

Every ω-categorical structure can be lifted tohomogeneous.Explicit homogenization is given by H. and Nešetril (2009).

Theorem (Nešetril, 2010)For every finite family F of finite connected relational structuresthere is a Ramsey lift of ForbH(F).

J. Hubicka Ramsey Classes by Partite Construction II

Page 25: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Explicit homogenization of ForbH(C5)

Basic concept:Amalgamation of two structures in ForbH(F) fails iff the freeamalgam contains a homomorphic copy of structure F ∈ F .Use extra relations to prevent such amalgams

F

J. Hubicka Ramsey Classes by Partite Construction II

Page 26: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Explicit homogenization of ForbH(C5)

Basic concept:Amalgamation of two structures in ForbH(F) fails iff the freeamalgam contains a homomorphic copy of structure F ∈ F .Use extra relations to prevent such amalgams

F +

J. Hubicka Ramsey Classes by Partite Construction II

Page 27: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Explicit homogenization of ForbH(C5)

Basic concept:Amalgamation of two structures in ForbH(F) fails iff the freeamalgam contains a homomorphic copy of structure F ∈ F .Use extra relations to prevent such amalgams

F +

J. Hubicka Ramsey Classes by Partite Construction II

Page 28: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Explicit homogenization of ForbH(C5)

Basic concept:Amalgamation of two structures in ForbH(F) fails iff the freeamalgam contains a homomorphic copy of structure F ∈ F .Use extra relations to prevent such amalgams

F +

J. Hubicka Ramsey Classes by Partite Construction II

Page 29: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Explicit homogenization of ForbH(C5)

Basic concept:Amalgamation of two structures in ForbH(F) fails iff the freeamalgam contains a homomorphic copy of structure F ∈ F .Use extra relations to prevent such amalgams

F +

J. Hubicka Ramsey Classes by Partite Construction II

Page 30: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Explicit homogenization of ForbH(C5)

Basic concept:Amalgamation of two structures in ForbH(F) fails iff the freeamalgam contains a homomorphic copy of structure F ∈ F .Use extra relations to prevent such amalgams

F

J. Hubicka Ramsey Classes by Partite Construction II

Page 31: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Explicit homogenization of ForbH(C5)

Basic concept:Amalgamation of two structures in ForbH(F) fails iff the freeamalgam contains a homomorphic copy of structure F ∈ F .Use extra relations to prevent such amalgams

F

J. Hubicka Ramsey Classes by Partite Construction II

Page 32: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Explicit homogenization of ForbH(F)

DefinitionLet C be a vertex cut in structure A. Let A1 6= A2 be twocomponents of A produced by cut C. We call C minimalseparating cut for A1 and A2 in A if C = NA(A1) = NA(A2).

A rooted structure P is a pair (P,−→R ) where P is a relational

structure and−→R is a tuple consisting of distinct vertices of P.

−→R

is called the root of P.

DefinitionLet A be a connected relational structure and R a minimalseparating cut for component C in A. A piece of a relationalstructure A is then a rooted structure P = (P,

−→R ), where the

tuple−→R consists of the vertices of the cut R in a (fixed) linear

order and P is a structure induced by A on C ∪ R.

J. Hubicka Ramsey Classes by Partite Construction II

Page 33: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Explicit homogenization of ForbH(F)

DefinitionLet C be a vertex cut in structure A. Let A1 6= A2 be twocomponents of A produced by cut C. We call C minimalseparating cut for A1 and A2 in A if C = NA(A1) = NA(A2).

A rooted structure P is a pair (P,−→R ) where P is a relational

structure and−→R is a tuple consisting of distinct vertices of P.

−→R

is called the root of P.

DefinitionLet A be a connected relational structure and R a minimalseparating cut for component C in A. A piece of a relationalstructure A is then a rooted structure P = (P,

−→R ), where the

tuple−→R consists of the vertices of the cut R in a (fixed) linear

order and P is a structure induced by A on C ∪ R.

J. Hubicka Ramsey Classes by Partite Construction II

Page 34: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Explicit homogenization of ForbH(F)

DefinitionLet C be a vertex cut in structure A. Let A1 6= A2 be twocomponents of A produced by cut C. We call C minimalseparating cut for A1 and A2 in A if C = NA(A1) = NA(A2).

A rooted structure P is a pair (P,−→R ) where P is a relational

structure and−→R is a tuple consisting of distinct vertices of P.

−→R

is called the root of P.

DefinitionLet A be a connected relational structure and R a minimalseparating cut for component C in A. A piece of a relationalstructure A is then a rooted structure P = (P,

−→R ), where the

tuple−→R consists of the vertices of the cut R in a (fixed) linear

order and P is a structure induced by A on C ∪ R.

J. Hubicka Ramsey Classes by Partite Construction II

Page 35: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Pieces of Petersen graph

J. Hubicka Ramsey Classes by Partite Construction II

Page 36: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Explicit homogenization of ForbH(F)

Enumerate by P1, . . .PN all isomorphism types of piecesstructures in F .Add lifted relations E1, E2,. . . EN where arities correspondto sizes of roots of pieces P1, . . .PN .

Canonical lift of structure A, denoted by A, adds~t ∈ E iA if

and only if there is a rooted homomorphism from P to Amapping root of the piece to~t .A sublift X of A is maximal if there is no extend A toB ∈ ForbH(F) such that B induces more lifted relations onX . In this case also A is call a witness of X.

LemmaThe class of all maximal sublifts of canonical lifts of structuresin ForbH(F) is an strong amalgamation class.

J. Hubicka Ramsey Classes by Partite Construction II

Page 37: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Explicit homogenization of ForbH(F)

Enumerate by P1, . . .PN all isomorphism types of piecesstructures in F .Add lifted relations E1, E2,. . . EN where arities correspondto sizes of roots of pieces P1, . . .PN .Canonical lift of structure A, denoted by A, adds~t ∈ E i

A ifand only if there is a rooted homomorphism from P to Amapping root of the piece to~t .

A sublift X of A is maximal if there is no extend A toB ∈ ForbH(F) such that B induces more lifted relations onX . In this case also A is call a witness of X.

LemmaThe class of all maximal sublifts of canonical lifts of structuresin ForbH(F) is an strong amalgamation class.

J. Hubicka Ramsey Classes by Partite Construction II

Page 38: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Explicit homogenization of ForbH(F)

Enumerate by P1, . . .PN all isomorphism types of piecesstructures in F .Add lifted relations E1, E2,. . . EN where arities correspondto sizes of roots of pieces P1, . . .PN .Canonical lift of structure A, denoted by A, adds~t ∈ E i

A ifand only if there is a rooted homomorphism from P to Amapping root of the piece to~t .A sublift X of A is maximal if there is no extend A toB ∈ ForbH(F) such that B induces more lifted relations onX . In this case also A is call a witness of X.

LemmaThe class of all maximal sublifts of canonical lifts of structuresin ForbH(F) is an strong amalgamation class.

J. Hubicka Ramsey Classes by Partite Construction II

Page 39: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Explicit homogenization of ForbH(F)

Enumerate by P1, . . .PN all isomorphism types of piecesstructures in F .Add lifted relations E1, E2,. . . EN where arities correspondto sizes of roots of pieces P1, . . .PN .Canonical lift of structure A, denoted by A, adds~t ∈ E i

A ifand only if there is a rooted homomorphism from P to Amapping root of the piece to~t .A sublift X of A is maximal if there is no extend A toB ∈ ForbH(F) such that B induces more lifted relations onX . In this case also A is call a witness of X.

LemmaThe class of all maximal sublifts of canonical lifts of structuresin ForbH(F) is an strong amalgamation class.

J. Hubicka Ramsey Classes by Partite Construction II

Page 40: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Explicit homogenization of Petersen-free graph

Homogenization will consist of two ternary relations and onequaternary relation denoting the rooted homomorphisms fromthe pieces above.

J. Hubicka Ramsey Classes by Partite Construction II

Page 41: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Infinitely many pieces

Example

Let Co be the class of odd cycles.

The pieces are even and odd paths rooted by the end

Only two lifted relations needed: all even paths can be tracked by E1

and all odd by E2.

A piece P = (P,−→R ) is incompatible with a rooted structure A if

there is a free amalgam of P and A unifying the roots it isisomorphic to some F ∈ F .

IP is set of all rooted structures incompatible with P.

For two pieces P1 and P2 put P1 ∼ P2 if and only if IP1 = IP2 and putP1 � P2 if and only if IP2 ⊆ IP1 .

DefinitionA family of finite structures F is called regular if ∼ is locally finite.

J. Hubicka Ramsey Classes by Partite Construction II

Page 42: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Infinitely many pieces

Example

Let Co be the class of odd cycles.

The pieces are even and odd paths rooted by the end

Only two lifted relations needed: all even paths can be tracked by E1

and all odd by E2.

A piece P = (P,−→R ) is incompatible with a rooted structure A if

there is a free amalgam of P and A unifying the roots it isisomorphic to some F ∈ F .

IP is set of all rooted structures incompatible with P.

For two pieces P1 and P2 put P1 ∼ P2 if and only if IP1 = IP2 and putP1 � P2 if and only if IP2 ⊆ IP1 .

DefinitionA family of finite structures F is called regular if ∼ is locally finite.

J. Hubicka Ramsey Classes by Partite Construction II

Page 43: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Infinitely many pieces

Example

Let Co be the class of odd cycles.

The pieces are even and odd paths rooted by the end

Only two lifted relations needed: all even paths can be tracked by E1

and all odd by E2.

A piece P = (P,−→R ) is incompatible with a rooted structure A if

there is a free amalgam of P and A unifying the roots it isisomorphic to some F ∈ F .

IP is set of all rooted structures incompatible with P.

For two pieces P1 and P2 put P1 ∼ P2 if and only if IP1 = IP2 and putP1 � P2 if and only if IP2 ⊆ IP1 .

DefinitionA family of finite structures F is called regular if ∼ is locally finite.

J. Hubicka Ramsey Classes by Partite Construction II

Page 44: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Infinitely many pieces

Example

Let Co be the class of odd cycles.

The pieces are even and odd paths rooted by the end

Only two lifted relations needed: all even paths can be tracked by E1

and all odd by E2.

A piece P = (P,−→R ) is incompatible with a rooted structure A if

there is a free amalgam of P and A unifying the roots it isisomorphic to some F ∈ F .

IP is set of all rooted structures incompatible with P.

For two pieces P1 and P2 put P1 ∼ P2 if and only if IP1 = IP2 and putP1 � P2 if and only if IP2 ⊆ IP1 .

DefinitionA family of finite structures F is called regular if ∼ is locally finite.

J. Hubicka Ramsey Classes by Partite Construction II

Page 45: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Infinitely many pieces

Example

Let Co be the class of odd cycles.

The pieces are even and odd paths rooted by the end

Only two lifted relations needed: all even paths can be tracked by E1

and all odd by E2.

A piece P = (P,−→R ) is incompatible with a rooted structure A if

there is a free amalgam of P and A unifying the roots it isisomorphic to some F ∈ F .

IP is set of all rooted structures incompatible with P.

For two pieces P1 and P2 put P1 ∼ P2 if and only if IP1 = IP2 and putP1 � P2 if and only if IP2 ⊆ IP1 .

DefinitionA family of finite structures F is called regular if ∼ is locally finite.

J. Hubicka Ramsey Classes by Partite Construction II

Page 46: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The existence of ω-categorical universal graph

Theorem (H., Nešetril, 2015)

Let F be class of connected structures that is closed forhomomorphic images. Then there is an ω-categorical universalstructure in ForbH(F) if and only if F is regular.

The finite case:

Cherlin, Shelah, Shi, 1999: Universal graphs with forbiddensubgraphs and algebraic closure

Covington, 1990: Homogenizable relational structures

The finite case of relational trees:

Nešetril, Tardif, 2000: Duality theorems for finite structures(characterising gaps and good characterisations)

The infinite case of relational trees:

P. L. Erdös, Pálvölgyi, Tardif, Tardos, 2012: On infinite-finitetree-duality pairs of relational structures

J. Hubicka Ramsey Classes by Partite Construction II

Page 47: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The existence of ω-categorical universal graph

Theorem (H., Nešetril, 2015)

Let F be class of connected structures that is closed forhomomorphic images. Then there is an ω-categorical universalstructure in ForbH(F) if and only if F is regular.

The finite case:

Cherlin, Shelah, Shi, 1999: Universal graphs with forbiddensubgraphs and algebraic closure

Covington, 1990: Homogenizable relational structures

The finite case of relational trees:

Nešetril, Tardif, 2000: Duality theorems for finite structures(characterising gaps and good characterisations)

The infinite case of relational trees:

P. L. Erdös, Pálvölgyi, Tardif, Tardos, 2012: On infinite-finitetree-duality pairs of relational structures

J. Hubicka Ramsey Classes by Partite Construction II

Page 48: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The existence of ω-categorical universal graph

Theorem (H., Nešetril, 2015)

Let F be class of connected structures that is closed forhomomorphic images. Then there is an ω-categorical universalstructure in ForbH(F) if and only if F is regular.

The finite case:

Cherlin, Shelah, Shi, 1999: Universal graphs with forbiddensubgraphs and algebraic closure

Covington, 1990: Homogenizable relational structures

The finite case of relational trees:

Nešetril, Tardif, 2000: Duality theorems for finite structures(characterising gaps and good characterisations)

The infinite case of relational trees:

P. L. Erdös, Pálvölgyi, Tardif, Tardos, 2012: On infinite-finitetree-duality pairs of relational structures

J. Hubicka Ramsey Classes by Partite Construction II

Page 49: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The existence of ω-categorical universal graph

Theorem (H., Nešetril, 2015)

Let F be class of connected structures that is closed forhomomorphic images. Then there is an ω-categorical universalstructure in ForbH(F) if and only if F is regular.

The finite case:

Cherlin, Shelah, Shi, 1999: Universal graphs with forbiddensubgraphs and algebraic closure

Covington, 1990: Homogenizable relational structures

The finite case of relational trees:

Nešetril, Tardif, 2000: Duality theorems for finite structures(characterising gaps and good characterisations)

The infinite case of relational trees:

P. L. Erdös, Pálvölgyi, Tardif, Tardos, 2012: On infinite-finitetree-duality pairs of relational structures

J. Hubicka Ramsey Classes by Partite Construction II

Page 50: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The existence of ω-categorical universal graph

Theorem (H., Nešetril, 2015)

Let F be class of connected structures that is closed forhomomorphic images. Then there is an ω-categorical universalstructure in ForbH(F) if and only if F is regular.

The finite case:

Cherlin, Shelah, Shi, 1999: Universal graphs with forbiddensubgraphs and algebraic closure

Covington, 1990: Homogenizable relational structures

The finite case of relational trees:

Nešetril, Tardif, 2000: Duality theorems for finite structures(characterising gaps and good characterisations)

The infinite case of relational trees:

P. L. Erdös, Pálvölgyi, Tardif, Tardos, 2012: On infinite-finitetree-duality pairs of relational structures

J. Hubicka Ramsey Classes by Partite Construction II

Page 51: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Ramsey PropertyConsider special case of ForbH(C5).

The homogenization is a metric space with distances 1,2,3.

Describe the metric space by forbidden triangles implying imageof 5-cycle

1− 1− 1, 1− 2− 2, 3− 1− 1

and non-metric triangles:

3− 1− 1

Let A and B be such metric spaces. Applying Nešetril-Rödltheorem obtain C −→ (B)A

2 .

Little trouble: C is not a complete structure and may not becomplete to a metric space at all!

1

1

1

2

1

1

11

1

J. Hubicka Ramsey Classes by Partite Construction II

Page 52: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Ramsey PropertyConsider special case of ForbH(C5).

The homogenization is a metric space with distances 1,2,3.

Describe the metric space by forbidden triangles implying imageof 5-cycle

1− 1− 1, 1− 2− 2, 3− 1− 1

and non-metric triangles:

3− 1− 1

Let A and B be such metric spaces. Applying Nešetril-Rödltheorem obtain C −→ (B)A

2 .

Little trouble: C is not a complete structure and may not becomplete to a metric space at all!

1

1

1

2

1

1

11

1

J. Hubicka Ramsey Classes by Partite Construction II

Page 53: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Ramsey PropertyConsider special case of ForbH(C5).

The homogenization is a metric space with distances 1,2,3.

Describe the metric space by forbidden triangles implying imageof 5-cycle

1− 1− 1, 1− 2− 2, 3− 1− 1

and non-metric triangles:

3− 1− 1

Let A and B be such metric spaces. Applying Nešetril-Rödltheorem obtain C −→ (B)A

2 .

Little trouble: C is not a complete structure and may not becomplete to a metric space at all!

1

1

1

2

1

1

11

1

J. Hubicka Ramsey Classes by Partite Construction II

Page 54: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Ramsey PropertyConsider special case of ForbH(C5).

The homogenization is a metric space with distances 1,2,3.

Describe the metric space by forbidden triangles implying imageof 5-cycle

1− 1− 1, 1− 2− 2, 3− 1− 1

and non-metric triangles:

3− 1− 1

Let A and B be such metric spaces. Applying Nešetril-Rödltheorem obtain C −→ (B)A

2 .

Little trouble: C is not a complete structure and may not becomplete to a metric space at all!

1

1

1

2

1

1

11

1

J. Hubicka Ramsey Classes by Partite Construction II

Page 55: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Induced Partite Construction

Nešetril-Rödl Theorem:C0 −→ (B)A

2 .By mean of forbidden irreduciblesubstructures force C0 to be3-colored graph without triangles111,122,311

Construct C0-partite P0

Enumerate by A1, . . .AN all possibleprojections of copies of A in P0

Construct C0-partite P1 . . .PN :

Bi : partite system induced onPi−1 by all copies of all withprojection to AiPartite lemma: Ci −→ (Bi)

Ai2

Pi is built by repeating the freeamalgamation of Pi over allcopies of Bi in Ci

J. Hubicka Ramsey Classes by Partite Construction II

Page 56: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Induced Partite Construction

Nešetril-Rödl Theorem:C0 −→ (B)A

2 .By mean of forbidden irreduciblesubstructures force C0 to be3-colored graph without triangles111,122,311

Construct C0-partite P0

Enumerate by A1, . . .AN all possibleprojections of copies of A in P0

Construct C0-partite P1 . . .PN :

Bi : partite system induced onPi−1 by all copies of all withprojection to AiPartite lemma: Ci −→ (Bi)

Ai2

Pi is built by repeating the freeamalgamation of Pi over allcopies of Bi in Ci

J. Hubicka Ramsey Classes by Partite Construction II

Page 57: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Induced Partite Construction

Nešetril-Rödl Theorem:C0 −→ (B)A

2 .By mean of forbidden irreduciblesubstructures force C0 to be3-colored graph without triangles111,122,311

Construct C0-partite P0

Enumerate by A1, . . .AN all possibleprojections of copies of A in P0

Construct C0-partite P1 . . .PN :

Bi : partite system induced onPi−1 by all copies of all withprojection to AiPartite lemma: Ci −→ (Bi)

Ai2

Pi is built by repeating the freeamalgamation of Pi over allcopies of Bi in Ci

J. Hubicka Ramsey Classes by Partite Construction II

Page 58: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Induced Partite Construction

Nešetril-Rödl Theorem:C0 −→ (B)A

2 .By mean of forbidden irreduciblesubstructures force C0 to be3-colored graph without triangles111,122,311

Construct C0-partite P0

Enumerate by A1, . . .AN all possibleprojections of copies of A in P0

Construct C0-partite P1 . . .PN :

Bi : partite system induced onPi−1 by all copies of all withprojection to AiPartite lemma: Ci −→ (Bi)

Ai2

Pi is built by repeating the freeamalgamation of Pi over allcopies of Bi in Ci

J. Hubicka Ramsey Classes by Partite Construction II

Page 59: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Induced Partite Construction

The problematic forbidden subgraphs:

1

1

1

2

1

1

11

1

Can we prove by induction that C0-partite pictures 1,. . . , N will omitthese given that C0 do not contain triangles 111,122,311?

A

Pi+1Pi Pi

Ci −→ (Bi )A2

C0

J. Hubicka Ramsey Classes by Partite Construction II

Page 60: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Induced Partite Construction

The problematic forbidden subgraphs:

1

1

1

2

1

1

11

1

Can we prove by induction that C0-partite pictures 1,. . . , N will omitthese given that C0 do not contain triangles 111,122,311?

A

Pi+1Pi Pi

Ci −→ (Bi )A2

C0

J. Hubicka Ramsey Classes by Partite Construction II

Page 61: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Induced Partite Construction

The problematic forbidden subgraphs:

1

1

1

2

1

1

11

1

Can we prove by induction that C0-partite pictures 1,. . . , N will omitthese given that C0 do not contain triangles 111,122,311?

A

Pi+1Pi Pi

Ci −→ (Bi )A2

A

C0

J. Hubicka Ramsey Classes by Partite Construction II

Page 62: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Induced Partite Construction

The problematic forbidden subgraphs:

1

1

1

2

1

1

11

1

Can we prove by induction that C0-partite pictures 1,. . . , N will omitthese given that C0 do not contain triangles 111,122,311?

A

Homomorphism (projection) π to A

Pi+1Pi Pi

Ci −→ (Bi )A2

A

C0

J. Hubicka Ramsey Classes by Partite Construction II

Page 63: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Induced Partite Construction

The problematic forbidden subgraphs:

1

1

1

2

1

1

11

1

Can we prove by induction that C0-partite pictures 1,. . . , N will omitthese given that C0 do not contain triangles 111,122,311?

A

Pi+1Pi Pi

Ci −→ (Bi )A2

A

C0

J. Hubicka Ramsey Classes by Partite Construction II

Page 64: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Induced Partite Construction

The problematic forbidden subgraphs:

1

1

1

2

1

1

11

1

Can we prove by induction that C0-partite pictures 1,. . . , N will omitthese given that C0 do not contain triangles 111,122,311?

A

Pi+1Pi Pi

Ci −→ (Bi )A2

A

C0

J. Hubicka Ramsey Classes by Partite Construction II

Page 65: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Induced Partite Construction

The problematic forbidden subgraphs:

1

1

1

2

1

1

11

1

Can we prove by induction that C0-partite pictures 1,. . . , N will omitthese given that C0 do not contain triangles 111,122,311?

A

Pi+1Pi Pi

Ci −→ (Bi )A2

A

C0

J. Hubicka Ramsey Classes by Partite Construction II

Page 66: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Induced Partite Construction

The problematic forbidden subgraphs:

1

1

1

2

1

1

11

1

Can we prove by induction that C0-partite pictures 1,. . . , N will omitthese given that C0 do not contain triangles 111,122,311?

A

Pi+1Pi Pi

Ci −→ (Bi )A2

A

C0

J. Hubicka Ramsey Classes by Partite Construction II

Page 67: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Induced Partite Construction

The problematic forbidden subgraphs:

1

1

1

2

1

1

11

1

Can we prove by induction that C0-partite pictures 1,. . . , N will omitthese given that C0 do not contain triangles 111,122,311?

A

Pi+1Pi Pi

Ci −→ (Bi )A2

A

C0

J. Hubicka Ramsey Classes by Partite Construction II

Page 68: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Induced Partite Construction

The problematic forbidden subgraphs:

1

1

1

2

1

1

11

1

Can we prove by induction that C0-partite pictures 1,. . . , N will omitthese given that C0 do not contain triangles 111,122,311?

A

Pi+1Pi Pi

Ci −→ (Bi )A2

A

C0

J. Hubicka Ramsey Classes by Partite Construction II

Page 69: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Induced Partite Construction

The problematic forbidden subgraphs:

1

1

1

2

1

1

11

1

Can we prove by induction that C0-partite pictures 1,. . . , N will omitthese given that C0 do not contain triangles 111,122,311?

A

Pi+1Pi Pi

Ci −→ (Bi )A2

A

C0

J. Hubicka Ramsey Classes by Partite Construction II

Page 70: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Iterated Induced Partite Construction

Fix F .Produce ordered homogenizing lift for ForbH(F). Denoteby L the class of all maximal sublifts of canonical lifts ofstructures in ForbH(F).Fix A and B in the lifted language.

Produce forbidden configurations (“cuttings” of structuresF ∈ F) and sort them as F1, . . . ,FM in a way so number ofminimal separating cuts increase.Use Nešetril-Rödl theorem to find C0 −→ (B)A

2 that doesnot contain any irreducible structures not allowed in L.Repeat partite construction to obtain C1, . . .CM such thatCi −→ (B)A

2 . Ci is built from Ci−1.By whack-a-mole argument show that Ci does not containFi .Because Ci has homomorphism to Ci−1 we know that Cidoes not contain F1, . . . ,Fi .Turn Ci into an maximal lift C ∈ L.

J. Hubicka Ramsey Classes by Partite Construction II

Page 71: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Iterated Induced Partite Construction

Fix F .Produce ordered homogenizing lift for ForbH(F). Denoteby L the class of all maximal sublifts of canonical lifts ofstructures in ForbH(F).Fix A and B in the lifted language.Produce forbidden configurations (“cuttings” of structuresF ∈ F) and sort them as F1, . . . ,FM in a way so number ofminimal separating cuts increase.

Use Nešetril-Rödl theorem to find C0 −→ (B)A2 that does

not contain any irreducible structures not allowed in L.Repeat partite construction to obtain C1, . . .CM such thatCi −→ (B)A

2 . Ci is built from Ci−1.By whack-a-mole argument show that Ci does not containFi .Because Ci has homomorphism to Ci−1 we know that Cidoes not contain F1, . . . ,Fi .Turn Ci into an maximal lift C ∈ L.

J. Hubicka Ramsey Classes by Partite Construction II

Page 72: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Iterated Induced Partite Construction

Fix F .Produce ordered homogenizing lift for ForbH(F). Denoteby L the class of all maximal sublifts of canonical lifts ofstructures in ForbH(F).Fix A and B in the lifted language.Produce forbidden configurations (“cuttings” of structuresF ∈ F) and sort them as F1, . . . ,FM in a way so number ofminimal separating cuts increase.Use Nešetril-Rödl theorem to find C0 −→ (B)A

2 that doesnot contain any irreducible structures not allowed in L.

Repeat partite construction to obtain C1, . . .CM such thatCi −→ (B)A

2 . Ci is built from Ci−1.By whack-a-mole argument show that Ci does not containFi .Because Ci has homomorphism to Ci−1 we know that Cidoes not contain F1, . . . ,Fi .Turn Ci into an maximal lift C ∈ L.

J. Hubicka Ramsey Classes by Partite Construction II

Page 73: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Iterated Induced Partite Construction

Fix F .Produce ordered homogenizing lift for ForbH(F). Denoteby L the class of all maximal sublifts of canonical lifts ofstructures in ForbH(F).Fix A and B in the lifted language.Produce forbidden configurations (“cuttings” of structuresF ∈ F) and sort them as F1, . . . ,FM in a way so number ofminimal separating cuts increase.Use Nešetril-Rödl theorem to find C0 −→ (B)A

2 that doesnot contain any irreducible structures not allowed in L.Repeat partite construction to obtain C1, . . .CM such thatCi −→ (B)A

2 . Ci is built from Ci−1.

By whack-a-mole argument show that Ci does not containFi .Because Ci has homomorphism to Ci−1 we know that Cidoes not contain F1, . . . ,Fi .Turn Ci into an maximal lift C ∈ L.

J. Hubicka Ramsey Classes by Partite Construction II

Page 74: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Iterated Induced Partite Construction

Fix F .Produce ordered homogenizing lift for ForbH(F). Denoteby L the class of all maximal sublifts of canonical lifts ofstructures in ForbH(F).Fix A and B in the lifted language.Produce forbidden configurations (“cuttings” of structuresF ∈ F) and sort them as F1, . . . ,FM in a way so number ofminimal separating cuts increase.Use Nešetril-Rödl theorem to find C0 −→ (B)A

2 that doesnot contain any irreducible structures not allowed in L.Repeat partite construction to obtain C1, . . .CM such thatCi −→ (B)A

2 . Ci is built from Ci−1.By whack-a-mole argument show that Ci does not containFi .

Because Ci has homomorphism to Ci−1 we know that Cidoes not contain F1, . . . ,Fi .Turn Ci into an maximal lift C ∈ L.

J. Hubicka Ramsey Classes by Partite Construction II

Page 75: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Iterated Induced Partite Construction

Fix F .Produce ordered homogenizing lift for ForbH(F). Denoteby L the class of all maximal sublifts of canonical lifts ofstructures in ForbH(F).Fix A and B in the lifted language.Produce forbidden configurations (“cuttings” of structuresF ∈ F) and sort them as F1, . . . ,FM in a way so number ofminimal separating cuts increase.Use Nešetril-Rödl theorem to find C0 −→ (B)A

2 that doesnot contain any irreducible structures not allowed in L.Repeat partite construction to obtain C1, . . .CM such thatCi −→ (B)A

2 . Ci is built from Ci−1.By whack-a-mole argument show that Ci does not containFi .Because Ci has homomorphism to Ci−1 we know that Cidoes not contain F1, . . . ,Fi .

Turn Ci into an maximal lift C ∈ L.

J. Hubicka Ramsey Classes by Partite Construction II

Page 76: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

The Iterated Induced Partite Construction

Fix F .Produce ordered homogenizing lift for ForbH(F). Denoteby L the class of all maximal sublifts of canonical lifts ofstructures in ForbH(F).Fix A and B in the lifted language.Produce forbidden configurations (“cuttings” of structuresF ∈ F) and sort them as F1, . . . ,FM in a way so number ofminimal separating cuts increase.Use Nešetril-Rödl theorem to find C0 −→ (B)A

2 that doesnot contain any irreducible structures not allowed in L.Repeat partite construction to obtain C1, . . .CM such thatCi −→ (B)A

2 . Ci is built from Ci−1.By whack-a-mole argument show that Ci does not containFi .Because Ci has homomorphism to Ci−1 we know that Cidoes not contain F1, . . . ,Fi .Turn Ci into an maximal lift C ∈ L.

J. Hubicka Ramsey Classes by Partite Construction II

Page 77: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Infinite families of forbidden substructures

DefinitionClass F (of relational structures) is locally finite in class C if forevery A ∈ C there is only finitely many structures F ∈ F , F→ A.

Theorem (H., Nešetril, 2015)Let E be a family of complete ordered structures, F be a regularfamily of connected structures. Assume that F is locally finite inForbE(E). Then class ForbE(E) ∩ ForbH(F) has Ramsey lift.

J. Hubicka Ramsey Classes by Partite Construction II

Page 78: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Infinite families of forbidden substructures

DefinitionClass F (of relational structures) is locally finite in class C if forevery A ∈ C there is only finitely many structures F ∈ F , F→ A.

Theorem (H., Nešetril, 2015)Let E be a family of complete ordered structures, F be a regularfamily of connected structures. Assume that F is locally finite inForbE(E). Then class ForbE(E) ∩ ForbH(F) has Ramsey lift.

J. Hubicka Ramsey Classes by Partite Construction II

Page 79: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Example

Theorem (Nešetril Rödl, 1984)Partial orders have Ramsey lift.

P = (V ,≤,≺,⊥)

Forbidden complete substructures E :

Forbidden homomorphic images F :

. . .Structures in ForbE(E) ∪ ForbH(F) can be completed into partialorders without affecting existing ≺ and ⊥ relations.

J. Hubicka Ramsey Classes by Partite Construction II

Page 80: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Example

Theorem (Nešetril Rödl, 1984)Partial orders have Ramsey lift.

P = (V ,≤,≺,⊥)Forbidden complete substructures E :

Forbidden homomorphic images F :

. . .Structures in ForbE(E) ∪ ForbH(F) can be completed into partialorders without affecting existing ≺ and ⊥ relations.

J. Hubicka Ramsey Classes by Partite Construction II

Page 81: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Example

Theorem (Nešetril Rödl, 1984)Partial orders have Ramsey lift.

P = (V ,≤,≺,⊥)Forbidden complete substructures E :

Forbidden homomorphic images F :

. . .

Structures in ForbE(E) ∪ ForbH(F) can be completed into partialorders without affecting existing ≺ and ⊥ relations.

J. Hubicka Ramsey Classes by Partite Construction II

Page 82: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Example

Theorem (Nešetril Rödl, 1984)Partial orders have Ramsey lift.

P = (V ,≤,≺,⊥)Forbidden complete substructures E :

Forbidden homomorphic images F :

. . .Structures in ForbE(E) ∪ ForbH(F) can be completed into partialorders without affecting existing ≺ and ⊥ relations.

J. Hubicka Ramsey Classes by Partite Construction II

Page 83: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

General statement

DefinitionLet R be a Ramsey class, H be a family of finite ordered connectedstructures, and, C an closure description.K is (R,F , C)-multiamalgamation class if:

1 K is a subclass of the class of all C-closed structures inR∩ ForbH(F).

2 F is regular and locally finite in R3 Completetion property: Let B be structure from K, C beC-semi-closed structure with homomorphism to some structurein R∩ ForbH(F) such that every vertex of C as well as everytuple in every relation of C is contained in a copy of B. Thenthere exists C ∈ K and a homomorphism h : C→ C such that his an embedding on every copy of B.

Theorem (H. Nešetril, 2015)

Every (R,F , C)-multiamalgamation class K has a Ramsey lift.

J. Hubicka Ramsey Classes by Partite Construction II

Page 84: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

General statement

DefinitionLet R be a Ramsey class, H be a family of finite ordered connectedstructures, and, C an closure description.K is (R,F , C)-multiamalgamation class if:

1 K is a subclass of the class of all C-closed structures inR∩ ForbH(F).

2 F is regular and locally finite in R

3 Completetion property: Let B be structure from K, C beC-semi-closed structure with homomorphism to some structurein R∩ ForbH(F) such that every vertex of C as well as everytuple in every relation of C is contained in a copy of B. Thenthere exists C ∈ K and a homomorphism h : C→ C such that his an embedding on every copy of B.

Theorem (H. Nešetril, 2015)

Every (R,F , C)-multiamalgamation class K has a Ramsey lift.

J. Hubicka Ramsey Classes by Partite Construction II

Page 85: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

General statement

DefinitionLet R be a Ramsey class, H be a family of finite ordered connectedstructures, and, C an closure description.K is (R,F , C)-multiamalgamation class if:

1 K is a subclass of the class of all C-closed structures inR∩ ForbH(F).

2 F is regular and locally finite in R3 Completetion property: Let B be structure from K, C beC-semi-closed structure with homomorphism to some structurein R∩ ForbH(F) such that every vertex of C as well as everytuple in every relation of C is contained in a copy of B. Thenthere exists C ∈ K and a homomorphism h : C→ C such that his an embedding on every copy of B.

Theorem (H. Nešetril, 2015)

Every (R,F , C)-multiamalgamation class K has a Ramsey lift.

J. Hubicka Ramsey Classes by Partite Construction II

Page 86: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

General statement

DefinitionLet R be a Ramsey class, H be a family of finite ordered connectedstructures, and, C an closure description.K is (R,F , C)-multiamalgamation class if:

1 K is a subclass of the class of all C-closed structures inR∩ ForbH(F).

2 F is regular and locally finite in R3 Completetion property: Let B be structure from K, C beC-semi-closed structure with homomorphism to some structurein R∩ ForbH(F) such that every vertex of C as well as everytuple in every relation of C is contained in a copy of B. Thenthere exists C ∈ K and a homomorphism h : C→ C such that his an embedding on every copy of B.

Theorem (H. Nešetril, 2015)

Every (R,F , C)-multiamalgamation class K has a Ramsey lift.

J. Hubicka Ramsey Classes by Partite Construction II

Page 87: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Example

Example

Consider relational structure with two relations R1 and R2

where both relations forms an acyclic graph. Further forbid allcycles consisting of one segment in R1 and other in R2.

Show that acyclic graphs in R1 with linear extension formsan Ramsey classShow that acyclic graphs in R2 with linear extension formsan Ramsey classUse the fact that strong amalgamation Ramsey classescan be interposed freely to build Ramsey class R.R now has two independent linear orders.Show that the family of all bi-colored oriented cycles B isregularShow that the class in question is(R,B, ∅)-multiamalgamation class

J. Hubicka Ramsey Classes by Partite Construction II

Page 88: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Example

Example

Consider relational structure with two relations R1 and R2

where both relations forms an acyclic graph. Further forbid allcycles consisting of one segment in R1 and other in R2.

Show that acyclic graphs in R1 with linear extension formsan Ramsey classShow that acyclic graphs in R2 with linear extension formsan Ramsey class

Use the fact that strong amalgamation Ramsey classescan be interposed freely to build Ramsey class R.R now has two independent linear orders.Show that the family of all bi-colored oriented cycles B isregularShow that the class in question is(R,B, ∅)-multiamalgamation class

J. Hubicka Ramsey Classes by Partite Construction II

Page 89: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Example

Example

Consider relational structure with two relations R1 and R2

where both relations forms an acyclic graph. Further forbid allcycles consisting of one segment in R1 and other in R2.

Show that acyclic graphs in R1 with linear extension formsan Ramsey classShow that acyclic graphs in R2 with linear extension formsan Ramsey classUse the fact that strong amalgamation Ramsey classescan be interposed freely to build Ramsey class R.R now has two independent linear orders.

Show that the family of all bi-colored oriented cycles B isregularShow that the class in question is(R,B, ∅)-multiamalgamation class

J. Hubicka Ramsey Classes by Partite Construction II

Page 90: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Example

Example

Consider relational structure with two relations R1 and R2

where both relations forms an acyclic graph. Further forbid allcycles consisting of one segment in R1 and other in R2.

Show that acyclic graphs in R1 with linear extension formsan Ramsey classShow that acyclic graphs in R2 with linear extension formsan Ramsey classUse the fact that strong amalgamation Ramsey classescan be interposed freely to build Ramsey class R.R now has two independent linear orders.Show that the family of all bi-colored oriented cycles B isregularShow that the class in question is(R,B, ∅)-multiamalgamation class

J. Hubicka Ramsey Classes by Partite Construction II

Page 91: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

How complex can be Ramsey lift?

. . . it contains at least an homogenizing liftfree linear order:graphs, digraphs, ForbH(F) classes, metric spaces, . . .convex linear order:classes with unary relationsunary predicate and convex linear order:n-partite graphs, dense cyclic orderlinear extension:acyclic graphs, partial orders and variantsmultiple linear extensions:two freely overlapped acyclic graphs possibly withadditional constraintsordered digraph:a structure with ternary relations where neighborhood ofevery vertex forms a bipartite graph

J. Hubicka Ramsey Classes by Partite Construction II

Page 92: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Map of Ramsey Classes

freerestricted

linear orders

cyclic orders

graphs

unions of complete graphs

interval graphs

permutations

Kn-free graphspartial orders

acyclic graphs

metric spaces

boolean algebras Unary CSS classes

J. Hubicka Ramsey Classes by Partite Construction II

Page 93: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Map of Ramsey Classes

Forb homo and degrees

freerestricted

linear orders

cyclic orders

graphs

unions of complete graphs

interval graphs

permutations

Kn-free graphspartial orders

acyclic graphs

metric spaces

boolean algebras Unary CSS classes

J. Hubicka Ramsey Classes by Partite Construction II

Page 94: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Open problems

Can we use techniques above to find Ramsey lift of thefollowing?

all (non-unary) Cherlin-Shelah-Shi classes,classes produced by Hrusovski construction,C4-free graphs where very pair of vertices has closuredenoting the only vertex connected to both,semilattices, lattices and boolean algebras

Can the notion of multiamalgamation be extended to handlemore algebraic structures, such as groups and semigroups?

. . . Can we find examples of Ramsey classes without Ramseylift or does all homogeneous classes with finite closures permitRamsey lifts?

J. Hubicka Ramsey Classes by Partite Construction II

Page 95: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Open problems

Can we use techniques above to find Ramsey lift of thefollowing?

all (non-unary) Cherlin-Shelah-Shi classes,classes produced by Hrusovski construction,C4-free graphs where very pair of vertices has closuredenoting the only vertex connected to both,semilattices, lattices and boolean algebras

Can the notion of multiamalgamation be extended to handlemore algebraic structures, such as groups and semigroups?

. . . Can we find examples of Ramsey classes without Ramseylift or does all homogeneous classes with finite closures permitRamsey lifts?

J. Hubicka Ramsey Classes by Partite Construction II

Page 96: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Open problems

Can we use techniques above to find Ramsey lift of thefollowing?

all (non-unary) Cherlin-Shelah-Shi classes,classes produced by Hrusovski construction,C4-free graphs where very pair of vertices has closuredenoting the only vertex connected to both,semilattices, lattices and boolean algebras

Can the notion of multiamalgamation be extended to handlemore algebraic structures, such as groups and semigroups?

. . . Can we find examples of Ramsey classes without Ramseylift or does all homogeneous classes with finite closures permitRamsey lifts?

J. Hubicka Ramsey Classes by Partite Construction II

Page 97: Ramsey Classes by Partite Construction IIhubicka/slides/durham2015-2.pdf · J. Hubickaˇ Ramsey Classes by Partite Construction II. Structures with forbidden homomorphisms Let Fbe

Thank you!

J. Hubicka Ramsey Classes by Partite Construction II