Ramsey expansions of metrically homogeneous graphs

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Aranda, Andrés, Bradley-Williams, David, Hubička, Jan, Karamanlis, Miltiadis, Kompatscher, Michael, Konečný, Matěj, Pawliuk, Micheal
Format: Preprint
Publié: 2017
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866918179701260288
author Aranda, Andrés
Bradley-Williams, David
Hubička, Jan
Karamanlis, Miltiadis
Kompatscher, Michael
Konečný, Matěj
Pawliuk, Micheal
author_facet Aranda, Andrés
Bradley-Williams, David
Hubička, Jan
Karamanlis, Miltiadis
Kompatscher, Michael
Konečný, Matěj
Pawliuk, Micheal
contents We investigate Ramsey expansions, the coherent extension property for partial isometries (EPPA), and the existence of a stationary independence relation for all classes of metrically homogeneous graphs from Cherlin's catalogue. We show that, with the exception of tree-like graphs, all metric spaces in the catalogue have precompact Ramsey expansions (or lifts) with the expansion property. With two exceptions we can also characterise the existence of a stationary independence relation and coherent EPPA. Our results are a contribution to Nešetřil's classification programme of Ramsey classes and can be seen as empirical evidence of the recent convergence in techniques employed to establish the Ramsey property, the expansion property, EPPA and the existence of a stationary independence relation. At the heart of our proof is a canonical way of completing edge-labelled graphs to metric spaces in Cherlin's classes. The existence of such a ``completion algorithm'' then allows us to apply several strong results in the areas that imply EPPA or the Ramsey property. The main results have numerous consequences for the automorphism groups of the Fraisse limits of the classes. As corollaries, we prove amenability, unique ergodicity, existence of universal minimal flows, ample generics, small index property, 21-Bergman property and Serre's property (FA).
format Preprint
id arxiv_https___arxiv_org_abs_1707_02612
institution arXiv
publishDate 2017
record_format arxiv
spellingShingle Ramsey expansions of metrically homogeneous graphs
Aranda, Andrés
Bradley-Williams, David
Hubička, Jan
Karamanlis, Miltiadis
Kompatscher, Michael
Konečný, Matěj
Pawliuk, Micheal
Combinatorics
Discrete Mathematics
Logic
Primary: 05D10, 20B27, 54E35, Secondary: 03C15, 22F50, 37B05
G.2.2; F.4.1
We investigate Ramsey expansions, the coherent extension property for partial isometries (EPPA), and the existence of a stationary independence relation for all classes of metrically homogeneous graphs from Cherlin's catalogue. We show that, with the exception of tree-like graphs, all metric spaces in the catalogue have precompact Ramsey expansions (or lifts) with the expansion property. With two exceptions we can also characterise the existence of a stationary independence relation and coherent EPPA. Our results are a contribution to Nešetřil's classification programme of Ramsey classes and can be seen as empirical evidence of the recent convergence in techniques employed to establish the Ramsey property, the expansion property, EPPA and the existence of a stationary independence relation. At the heart of our proof is a canonical way of completing edge-labelled graphs to metric spaces in Cherlin's classes. The existence of such a ``completion algorithm'' then allows us to apply several strong results in the areas that imply EPPA or the Ramsey property. The main results have numerous consequences for the automorphism groups of the Fraisse limits of the classes. As corollaries, we prove amenability, unique ergodicity, existence of universal minimal flows, ample generics, small index property, 21-Bergman property and Serre's property (FA).
title Ramsey expansions of metrically homogeneous graphs
topic Combinatorics
Discrete Mathematics
Logic
Primary: 05D10, 20B27, 54E35, Secondary: 03C15, 22F50, 37B05
G.2.2; F.4.1
url https://arxiv.org/abs/1707.02612