the 42 reducts of the random ordered graph
play

The 42 reducts of the random ordered graph Michael Pinsker - PowerPoint PPT Presentation

The 42 reducts of the random ordered graph Michael Pinsker Technische Universitt Wien / Universit Diderot - Paris 7 4th Novi Sad Algebraic Conference, 2013 42 Michael Pinsker Outline Part I: The setting of The Answer Part II: The 42


  1. Reducts up to first-order equivalence For reducts Γ , Γ ′ of ∆ set Γ ≤ Γ ′ iff Γ is a reduct of Γ ′ . Quasiorder. 42 Michael Pinsker

  2. Reducts up to first-order equivalence For reducts Γ , Γ ′ of ∆ set Γ ≤ Γ ′ iff Γ is a reduct of Γ ′ . Quasiorder. Consider reducts Γ , Γ ′ equivalent iff Γ ≤ Γ ′ and Γ ′ ≤ Γ . 42 Michael Pinsker

  3. Reducts up to first-order equivalence For reducts Γ , Γ ′ of ∆ set Γ ≤ Γ ′ iff Γ is a reduct of Γ ′ . Quasiorder. Consider reducts Γ , Γ ′ equivalent iff Γ ≤ Γ ′ and Γ ′ ≤ Γ . Factoring out we get a complete lattice. 42 Michael Pinsker

  4. Reducts up to first-order equivalence For reducts Γ , Γ ′ of ∆ set Γ ≤ Γ ′ iff Γ is a reduct of Γ ′ . Quasiorder. Consider reducts Γ , Γ ′ equivalent iff Γ ≤ Γ ′ and Γ ′ ≤ Γ . Factoring out we get a complete lattice. Multiple choice: Equivalent or not? 42 Michael Pinsker

  5. Reducts up to first-order equivalence For reducts Γ , Γ ′ of ∆ set Γ ≤ Γ ′ iff Γ is a reduct of Γ ′ . Quasiorder. Consider reducts Γ , Γ ′ equivalent iff Γ ≤ Γ ′ and Γ ′ ≤ Γ . Factoring out we get a complete lattice. Multiple choice: Equivalent or not? ( Q ; < ) and ( Q ; > ) 42 Michael Pinsker

  6. Reducts up to first-order equivalence For reducts Γ , Γ ′ of ∆ set Γ ≤ Γ ′ iff Γ is a reduct of Γ ′ . Quasiorder. Consider reducts Γ , Γ ′ equivalent iff Γ ≤ Γ ′ and Γ ′ ≤ Γ . Factoring out we get a complete lattice. Multiple choice: Equivalent or not? ( Q ; < ) and ( Q ; > ) ( Q ; < ) and ( Q ; Between ( x , y , z )) 42 Michael Pinsker

  7. Reducts up to first-order equivalence For reducts Γ , Γ ′ of ∆ set Γ ≤ Γ ′ iff Γ is a reduct of Γ ′ . Quasiorder. Consider reducts Γ , Γ ′ equivalent iff Γ ≤ Γ ′ and Γ ′ ≤ Γ . Factoring out we get a complete lattice. Multiple choice: Equivalent or not? ( Q ; < ) and ( Q ; > ) ( Q ; < ) and ( Q ; Between ( x , y , z )) random poset ( P ; ≤ ) and ( P ; ⊥ ( x , y )) 42 Michael Pinsker

  8. Reducts up to first-order equivalence For reducts Γ , Γ ′ of ∆ set Γ ≤ Γ ′ iff Γ is a reduct of Γ ′ . Quasiorder. Consider reducts Γ , Γ ′ equivalent iff Γ ≤ Γ ′ and Γ ′ ≤ Γ . Factoring out we get a complete lattice. Multiple choice: Equivalent or not? ( Q ; < ) and ( Q ; > ) ( Q ; < ) and ( Q ; Between ( x , y , z )) random poset ( P ; ≤ ) and ( P ; ⊥ ( x , y )) random graph ( V ; E ) and ( V ; K 3 ( x , y , z )) 42 Michael Pinsker

  9. Reducts up to first-order equivalence For reducts Γ , Γ ′ of ∆ set Γ ≤ Γ ′ iff Γ is a reduct of Γ ′ . Quasiorder. Consider reducts Γ , Γ ′ equivalent iff Γ ≤ Γ ′ and Γ ′ ≤ Γ . Factoring out we get a complete lattice. Multiple choice: Equivalent or not? ( Q ; < ) and ( Q ; > ) ( Q ; < ) and ( Q ; Between ( x , y , z )) random poset ( P ; ≤ ) and ( P ; ⊥ ( x , y )) random graph ( V ; E ) and ( V ; K 3 ( x , y , z )) Question How many inequivalent reducts? 42 Michael Pinsker

  10. Examples 42 Michael Pinsker

  11. Examples ( Q ; < ) : 5 (Cameron ’76) 42 Michael Pinsker

  12. Examples ( Q ; < ) : 5 (Cameron ’76) random graph ( V ; E ) : 5 (Thomas ’91) 42 Michael Pinsker

  13. Examples ( Q ; < ) : 5 (Cameron ’76) random graph ( V ; E ) : 5 (Thomas ’91) random k-hypergraph: 2 k + 1 (Thomas ’96) 42 Michael Pinsker

  14. Examples ( Q ; < ) : 5 (Cameron ’76) random graph ( V ; E ) : 5 (Thomas ’91) random k-hypergraph: 2 k + 1 (Thomas ’96) random tournament: 5 (Bennett ’97) 42 Michael Pinsker

  15. Examples ( Q ; < ) : 5 (Cameron ’76) random graph ( V ; E ) : 5 (Thomas ’91) random k-hypergraph: 2 k + 1 (Thomas ’96) random tournament: 5 (Bennett ’97) ( Q ; <, 0 ) : 116 (Junker+Ziegler ’08) 42 Michael Pinsker

  16. Examples ( Q ; < ) : 5 (Cameron ’76) random graph ( V ; E ) : 5 (Thomas ’91) random k-hypergraph: 2 k + 1 (Thomas ’96) random tournament: 5 (Bennett ’97) ( Q ; <, 0 ) : 116 (Junker+Ziegler ’08) random partial order: 5 (Pach+MP+Pongrácz+Szabó ’11) 42 Michael Pinsker

  17. Examples ( Q ; < ) : 5 (Cameron ’76) random graph ( V ; E ) : 5 (Thomas ’91) random k-hypergraph: 2 k + 1 (Thomas ’96) random tournament: 5 (Bennett ’97) ( Q ; <, 0 ) : 116 (Junker+Ziegler ’08) random partial order: 5 (Pach+MP+Pongrácz+Szabó ’11) Conjecture (Thomas ’91) Homogeneous structures in finite relational language have finitely many reducts. 42 Michael Pinsker

  18. Permutation groups 42 Michael Pinsker

  19. Permutation groups A permutation group is closed : ↔ it contains all permutations which it can interpolate on finite subsets. 42 Michael Pinsker

  20. Permutation groups A permutation group is closed : ↔ it contains all permutations which it can interpolate on finite subsets. Theorem (Corollary of Ryll-Nardzewski, Engeler, Svenonius) Let ∆ be homogeneous in a finite relational language. Then the mapping Γ �→ Aut (Γ) 42 Michael Pinsker

  21. Permutation groups A permutation group is closed : ↔ it contains all permutations which it can interpolate on finite subsets. Theorem (Corollary of Ryll-Nardzewski, Engeler, Svenonius) Let ∆ be homogeneous in a finite relational language. Then the mapping Γ �→ Aut (Γ) is an anti-isomorphism from the lattice of reducts to the lattice of closed supergroups of Aut (∆) . 42 Michael Pinsker

  22. The rationals ( Q ; < ) 42 Michael Pinsker

  23. The rationals ( Q ; < ) Let ↔ be any permutation of Q which reverses the order. 42 Michael Pinsker

  24. The rationals ( Q ; < ) Let ↔ be any permutation of Q which reverses the order. Let � be any permutation of Q which for some irrational π puts ( −∞ ; π ) behind ( π ; ∞ ) and preserves the order otherwise. 42 Michael Pinsker

  25. The rationals ( Q ; < ) Let ↔ be any permutation of Q which reverses the order. Let � be any permutation of Q which for some irrational π puts ( −∞ ; π ) behind ( π ; ∞ ) and preserves the order otherwise. Theorem (Cameron ’76) The closed supergroups of Aut ( Q ; < ) are precisely: 42 Michael Pinsker

  26. The rationals ( Q ; < ) Let ↔ be any permutation of Q which reverses the order. Let � be any permutation of Q which for some irrational π puts ( −∞ ; π ) behind ( π ; ∞ ) and preserves the order otherwise. Theorem (Cameron ’76) The closed supergroups of Aut ( Q ; < ) are precisely: Aut ( Q ; < ) 42 Michael Pinsker

  27. The rationals ( Q ; < ) Let ↔ be any permutation of Q which reverses the order. Let � be any permutation of Q which for some irrational π puts ( −∞ ; π ) behind ( π ; ∞ ) and preserves the order otherwise. Theorem (Cameron ’76) The closed supergroups of Aut ( Q ; < ) are precisely: Aut ( Q ; < ) �{↔} ∪ Aut ( Q ; < ) � 42 Michael Pinsker

  28. The rationals ( Q ; < ) Let ↔ be any permutation of Q which reverses the order. Let � be any permutation of Q which for some irrational π puts ( −∞ ; π ) behind ( π ; ∞ ) and preserves the order otherwise. Theorem (Cameron ’76) The closed supergroups of Aut ( Q ; < ) are precisely: Aut ( Q ; < ) �{↔} ∪ Aut ( Q ; < ) � �{ � } ∪ Aut ( Q ; < ) � 42 Michael Pinsker

  29. The rationals ( Q ; < ) Let ↔ be any permutation of Q which reverses the order. Let � be any permutation of Q which for some irrational π puts ( −∞ ; π ) behind ( π ; ∞ ) and preserves the order otherwise. Theorem (Cameron ’76) The closed supergroups of Aut ( Q ; < ) are precisely: Aut ( Q ; < ) �{↔} ∪ Aut ( Q ; < ) � �{ � } ∪ Aut ( Q ; < ) � �{↔ , � } ∪ Aut ( Q ; < ) � 42 Michael Pinsker

  30. The rationals ( Q ; < ) Let ↔ be any permutation of Q which reverses the order. Let � be any permutation of Q which for some irrational π puts ( −∞ ; π ) behind ( π ; ∞ ) and preserves the order otherwise. Theorem (Cameron ’76) The closed supergroups of Aut ( Q ; < ) are precisely: Aut ( Q ; < ) �{↔} ∪ Aut ( Q ; < ) � �{ � } ∪ Aut ( Q ; < ) � �{↔ , � } ∪ Aut ( Q ; < ) � Sym ( Q ) 42 Michael Pinsker

  31. The rationals ( Q ; < ) Let ↔ be any permutation of Q which reverses the order. Let � be any permutation of Q which for some irrational π puts ( −∞ ; π ) behind ( π ; ∞ ) and preserves the order otherwise. Theorem (Cameron ’76) The closed supergroups of Aut ( Q ; < ) are precisely: Aut ( Q ; < ) �{↔} ∪ Aut ( Q ; < ) � = Aut ( Q ; Between ( x , y , z )) �{ � } ∪ Aut ( Q ; < ) � �{↔ , � } ∪ Aut ( Q ; < ) � Sym ( Q ) 42 Michael Pinsker

  32. The rationals ( Q ; < ) Let ↔ be any permutation of Q which reverses the order. Let � be any permutation of Q which for some irrational π puts ( −∞ ; π ) behind ( π ; ∞ ) and preserves the order otherwise. Theorem (Cameron ’76) The closed supergroups of Aut ( Q ; < ) are precisely: Aut ( Q ; < ) �{↔} ∪ Aut ( Q ; < ) � = Aut ( Q ; Between ( x , y , z )) �{ � } ∪ Aut ( Q ; < ) � = Aut ( Q ; Cyclic ( x , y , z )) �{↔ , � } ∪ Aut ( Q ; < ) � Sym ( Q ) 42 Michael Pinsker

  33. The rationals ( Q ; < ) Let ↔ be any permutation of Q which reverses the order. Let � be any permutation of Q which for some irrational π puts ( −∞ ; π ) behind ( π ; ∞ ) and preserves the order otherwise. Theorem (Cameron ’76) The closed supergroups of Aut ( Q ; < ) are precisely: Aut ( Q ; < ) �{↔} ∪ Aut ( Q ; < ) � = Aut ( Q ; Between ( x , y , z )) �{ � } ∪ Aut ( Q ; < ) � = Aut ( Q ; Cyclic ( x , y , z )) �{↔ , � } ∪ Aut ( Q ; < ) � = Aut ( Q ; Separate ( x , y , u , v )) Sym ( Q ) 42 Michael Pinsker

  34. The random graph ( V ; E ) 42 Michael Pinsker

  35. The random graph ( V ; E ) Let − be any permutation of V which switches edges and non-edges. 42 Michael Pinsker

  36. The random graph ( V ; E ) Let − be any permutation of V which switches edges and non-edges. Let sw be any permutation which for some finite A ⊆ V switches edges and non-edges between A and V \ A and preserves the graph relation on A and V \ A . 42 Michael Pinsker

  37. The random graph ( V ; E ) Let − be any permutation of V which switches edges and non-edges. Let sw be any permutation which for some finite A ⊆ V switches edges and non-edges between A and V \ A and preserves the graph relation on A and V \ A . Theorem (Thomas ’91) The closed supergroups of Aut ( V ; E ) are precisely: 42 Michael Pinsker

  38. The random graph ( V ; E ) Let − be any permutation of V which switches edges and non-edges. Let sw be any permutation which for some finite A ⊆ V switches edges and non-edges between A and V \ A and preserves the graph relation on A and V \ A . Theorem (Thomas ’91) The closed supergroups of Aut ( V ; E ) are precisely: Aut ( V ; E ) 42 Michael Pinsker

  39. The random graph ( V ; E ) Let − be any permutation of V which switches edges and non-edges. Let sw be any permutation which for some finite A ⊆ V switches edges and non-edges between A and V \ A and preserves the graph relation on A and V \ A . Theorem (Thomas ’91) The closed supergroups of Aut ( V ; E ) are precisely: Aut ( V ; E ) �{ sw } ∪ Aut ( V ; E ) � 42 Michael Pinsker

  40. The random graph ( V ; E ) Let − be any permutation of V which switches edges and non-edges. Let sw be any permutation which for some finite A ⊆ V switches edges and non-edges between A and V \ A and preserves the graph relation on A and V \ A . Theorem (Thomas ’91) The closed supergroups of Aut ( V ; E ) are precisely: Aut ( V ; E ) �{ sw } ∪ Aut ( V ; E ) � �{−} ∪ Aut ( V ; E ) � 42 Michael Pinsker

  41. The random graph ( V ; E ) Let − be any permutation of V which switches edges and non-edges. Let sw be any permutation which for some finite A ⊆ V switches edges and non-edges between A and V \ A and preserves the graph relation on A and V \ A . Theorem (Thomas ’91) The closed supergroups of Aut ( V ; E ) are precisely: Aut ( V ; E ) �{ sw } ∪ Aut ( V ; E ) � �{−} ∪ Aut ( V ; E ) � �{− , sw } ∪ Aut ( V ; E ) � 42 Michael Pinsker

  42. The random graph ( V ; E ) Let − be any permutation of V which switches edges and non-edges. Let sw be any permutation which for some finite A ⊆ V switches edges and non-edges between A and V \ A and preserves the graph relation on A and V \ A . Theorem (Thomas ’91) The closed supergroups of Aut ( V ; E ) are precisely: Aut ( V ; E ) �{ sw } ∪ Aut ( V ; E ) � �{−} ∪ Aut ( V ; E ) � �{− , sw } ∪ Aut ( V ; E ) � Sym ( V ) 42 Michael Pinsker

  43. The random graph ( V ; E ) Let − be any permutation of V which switches edges and non-edges. Let sw be any permutation which for some finite A ⊆ V switches edges and non-edges between A and V \ A and preserves the graph relation on A and V \ A . Theorem (Thomas ’91) The closed supergroups of Aut ( V ; E ) are precisely: Aut ( V ; E ) �{ sw } ∪ Aut ( V ; E ) � �{−} ∪ Aut ( V ; E ) � �{− , sw } ∪ Aut ( V ; E ) � Sym ( V ) For k ≥ 1, let R ( k ) consist of the k -tuples of distinct elements of V which induce an odd number of edges. 42 Michael Pinsker

  44. The random graph ( V ; E ) Let − be any permutation of V which switches edges and non-edges. Let sw be any permutation which for some finite A ⊆ V switches edges and non-edges between A and V \ A and preserves the graph relation on A and V \ A . Theorem (Thomas ’91) The closed supergroups of Aut ( V ; E ) are precisely: Aut ( V ; E ) = Aut ( V ; R ( 3 ) ) �{ sw } ∪ Aut ( V ; E ) � �{−} ∪ Aut ( V ; E ) � �{− , sw } ∪ Aut ( V ; E ) � Sym ( V ) For k ≥ 1, let R ( k ) consist of the k -tuples of distinct elements of V which induce an odd number of edges. 42 Michael Pinsker

  45. The random graph ( V ; E ) Let − be any permutation of V which switches edges and non-edges. Let sw be any permutation which for some finite A ⊆ V switches edges and non-edges between A and V \ A and preserves the graph relation on A and V \ A . Theorem (Thomas ’91) The closed supergroups of Aut ( V ; E ) are precisely: Aut ( V ; E ) = Aut ( V ; R ( 3 ) ) �{ sw } ∪ Aut ( V ; E ) � = Aut ( V ; R ( 4 ) ) �{−} ∪ Aut ( V ; E ) � �{− , sw } ∪ Aut ( V ; E ) � Sym ( V ) For k ≥ 1, let R ( k ) consist of the k -tuples of distinct elements of V which induce an odd number of edges. 42 Michael Pinsker

  46. The random graph ( V ; E ) Let − be any permutation of V which switches edges and non-edges. Let sw be any permutation which for some finite A ⊆ V switches edges and non-edges between A and V \ A and preserves the graph relation on A and V \ A . Theorem (Thomas ’91) The closed supergroups of Aut ( V ; E ) are precisely: Aut ( V ; E ) = Aut ( V ; R ( 3 ) ) �{ sw } ∪ Aut ( V ; E ) � = Aut ( V ; R ( 4 ) ) �{−} ∪ Aut ( V ; E ) � = Aut ( V ; R ( 5 ) ) �{− , sw } ∪ Aut ( V ; E ) � Sym ( V ) For k ≥ 1, let R ( k ) consist of the k -tuples of distinct elements of V which induce an odd number of edges. 42 Michael Pinsker

  47. Part II: The 42 reducts of the random ordered graph 42 Michael Pinsker

  48. The random ordered graph Definition The random ordered graph ( D ; <, E ) is the unique countable linearly ordered graph which contains all finite linearly ordered graphs is homogeneous. 42 Michael Pinsker

  49. The random ordered graph Definition The random ordered graph ( D ; <, E ) is the unique countable linearly ordered graph which contains all finite linearly ordered graphs is homogeneous. Observation ( D ; < ) is the order of the rationals ( D ; E ) is the random graph 42 Michael Pinsker

  50. The random ordered graph Definition The random ordered graph ( D ; <, E ) is the unique countable linearly ordered graph which contains all finite linearly ordered graphs is homogeneous. Observation ( D ; < ) is the order of the rationals ( D ; E ) is the random graph This is because the two structures are superposed freely, i.e., in all possible ways. 42 Michael Pinsker

  51. Strong amalgamation 42 Michael Pinsker

  52. Strong amalgamation Definition A class C has strong amalgamation : ↔ for all A , B , C ∈ C and embeddings e B : A → B and e C : A → C there is D ∈ C and embeddings f B : B → D and f C : C → D such that f B ◦ e B = f C ◦ e C and f B [ B ] ∩ f C [ C ] = f B ◦ e B [ A ] . D B C A 42 Michael Pinsker

  53. Mixing 42 Michael Pinsker

  54. Mixing Let τ 1 , τ 2 be disjoint languages. Let C 1 , C 2 Fraïssé classes in those languages, ∆ 1 , ∆ 2 be their limits. 42 Michael Pinsker

  55. Mixing Let τ 1 , τ 2 be disjoint languages. Let C 1 , C 2 Fraïssé classes in those languages, ∆ 1 , ∆ 2 be their limits. Free superposition Assume that C 1 , C 2 have strong amalgamation. 42 Michael Pinsker

Recommend


More recommend