EPPA for two-graphs and antipodal metric spaces

DOI10.1090/PROC/14872zbMATH Open1435.05238arXiv1812.11157OpenAlexW3000421593WikidataQ126345157 ScholiaQ126345157MaRDI QIDQ5221334FDOQ5221334

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)

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.

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

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

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)

Cites Work

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

Cited In (8)

• 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
• EPPA numbers of graphs
• A combinatorial proof of the extension property for partial isometries
• Set‐homogeneous hypergraphs

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)