23,138 research outputs found
Ramsey expansions of metrically homogeneous graphs
We discuss the Ramsey property, the existence of a stationary independence
relation and the coherent extension property for partial isometries (coherent
EPPA) for all classes of metrically homogeneous graphs from Cherlin's
catalogue, which is conjectured to include all such structures. 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 the coherent EPPA.
Our results can be seen as a new contribution to Ne\v{s}et\v{r}il's
classification programme of Ramsey classes and as empirical evidence of the
recent convergence in techniques employed to establish the Ramsey property, the
expansion (or lift or ordering) 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 and respectively the Ramsey
property.
The main results have numerous corollaries on the automorphism groups of the
Fra\"iss\'e limits of the classes, such as amenability, unique ergodicity,
existence of universal minimal flows, ample generics, small index property,
21-Bergman property and Serre's property (FA).Comment: 57 pages, 14 figures. Extends results of arXiv:1706.00295. Minor
revisio
Three-coloring triangle-free graphs on surfaces V. Coloring planar graphs with distant anomalies
We settle a problem of Havel by showing that there exists an absolute
constant d such that if G is a planar graph in which every two distinct
triangles are at distance at least d, then G is 3-colorable. In fact, we prove
a more general theorem. Let G be a planar graph, and let H be a set of
connected subgraphs of G, each of bounded size, such that every two distinct
members of H are at least a specified distance apart and all triangles of G are
contained in \bigcup{H}. We give a sufficient condition for the existence of a
3-coloring phi of G such that for every B\in H, the restriction of phi to B is
constrained in a specified way.Comment: 26 pages, no figures. Updated presentatio
Infinite graphs that do not contain cycles of length four
We construct a countable infinite graph G that does not contain cycles of
length four having the property that the sequence of graphs induced by
the first vertices has minimum degree .Comment: This paper has been withdrawn because we have found an easier proof
of the resul
- …