EPPA for two-graphs and antipodal metric spaces

DOI10.1090/PROC/14872MaRDI QIDQ5221334zbMATH OpenOpenAlexWikidataFDO

Authors David M. Evans, Jan Hubička, Matěj Konečný, J. Nešetřil

Publication date 25 March 2020

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1812.11157

zbMATH Keywords

extension property for partial automorphismsHrushovski propertyHerwig-Lascar theorem

Mathematics Subject Classification ID

Finite automorphism groups of algebraic, geometric, or combinatorial structures (20B25) Groups as automorphisms of other structures (22F50) Group actions on combinatorial structures (05E18) Model theory of denumerable and separable structures (03C15) Properties of classes of models (03C52)

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 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.

Recommendations

• Extending partial isometries of antipodal graphs
• All those EPPA classes (strengthenings of the Herwig-Lascar theorem)
• Completing graphs to metric spaces
• scientific article; zbMATH DE number 7406821
• Ramsey properties and extending partial automorphisms for classes of finite structures

Cites work

• scientific article; zbMATH DE number 3536154 (Why is no real title available?)
• scientific article; zbMATH DE number 3547309 (Why is no real title available?)
• scientific article; zbMATH DE number 1261512 (Why is no real title available?)
• A combinatorial proof of the extension property for partial isometries
• A structural generalization of the Ramsey theorem
• A survey on structural Ramsey theory and topological dynamics with the Kechris-Pestov-Todorcevic correspondence in mind
• All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms)
• Coherent extension of partial automorphisms, free amalgamation and automorphism groups
• Completing graphs to metric spaces
• Extending partial automorphisms and the profinite topology on free groups
• Extending partial isometries
• Extending partial isometries of antipodal graphs
• Extending partial isometries of generalized metric spaces
• Extending partial isomorphisms for the small index property of many \(\omega\)-categorical structures
• Extending partial isomorphisms of graphs
• Extending partial isomorphisms on finite structures
• Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures
• For graphs there are only four types of hereditary Ramsey classes
• Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
• Globalization of the partial isometries of metric spaces and local approximation of the group of isometries of Urysohn space
• Graphs with Monochromatic Complete Subgraphs in Every Edge Coloring
• Loosely guarded fragment of first-order logic has the finite model property
• Metrically homogeneous graphs of diameter \(3\)
• Partitions of finite relational and set systems
• Ramsey Classes and Homogeneous Structures
• Ramsey properties and extending partial automorphisms for classes of finite structures
• Reducts of the random graph
• The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph

Cited in

(8)

• Set‐homogeneous hypergraphs
• All those EPPA classes (strengthenings of the Herwig-Lascar theorem)
• Extending partial isometries of antipodal graphs
• Simplicity of the automorphism groups of generalised metric spaces
• Metrically homogeneous graphs of diameter \(3\)
• The Hrushovski property for hypertournaments and profinite topologies
• A combinatorial proof of the extension property for partial isometries
• EPPA numbers of graphs

This page was built for publication: EPPA for two-graphs and antipodal metric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5221334)