Minimal ordered Ramsey graphs

Jonathan Rollin

DOI: https://doi.org/10.1016/j.disc.2020.112023

IF: 0.961

2020-10-01

Discrete Mathematics

Abstract:<p>An <em>ordered graph</em> is a graph equipped with a linear ordering of its vertex set. A pair of ordered graphs is <em>Ramsey finite</em> if it has only finitely many minimal ordered Ramsey graphs and <em>Ramsey infinite</em> otherwise. Here an ordered graph <span class="math"><math>F</math></span> is an <em>ordered Ramsey graph</em> of a pair <span class="math"><math>(H,H′)</math></span> of ordered graphs if for any coloring of the edges of <span class="math"><math>F</math></span> in colors red and blue there is either a copy of <span class="math"><math>H</math></span> with all edges colored red or a copy of <span class="math"><math>H′</math></span> with all edges colored blue (where copies are not necessarily induced subgraphs). Such an ordered Ramsey graph is <em>minimal</em> if neither of its proper subgraphs is an ordered Ramsey graph of <span class="math"><math>(H,H′)</math></span>. If <span class="math"><math>H=H′</math></span> then <span class="math"><math>H</math></span> itself is called Ramsey finite.</p><p>We show that a connected ordered graph is Ramsey finite if and only if it is a star with center being the first or the last vertex in the linear order. In general we prove that each Ramsey finite (not necessarily connected) ordered graph <span class="math"><math>H</math></span> has a pseudoforest as a Ramsey graph and therefore is a star forest with strong restrictions on the positions of the centers of the stars. In the asymmetric case we show that <span class="math"><math>(H,H′)</math></span> is Ramsey finite whenever <span class="math"><math>H</math></span> is a so-called monotone matching. Among several further results we show that there are Ramsey finite pairs of ordered stars and ordered caterpillars of arbitrary size and diameter. This is in contrast to the unordered setting where for any Ramsey finite pair <span class="math"><math>(H,H′)</math></span> of forests either one of <span class="math"><math>H</math></span> or <span class="math"><math>H′</math></span> is a matching or both are star forests (with additional constraints).</p><p>Several of our results give a relation between Ramsey finiteness and the existence of sparse ordered Ramsey graphs. Motivated by these relations we characterize all pairs of ordered graphs that have a forest as an ordered Ramsey graph and all pairs of ordered graphs that have a pseudoforest as a Ramsey graph.</p><p>Our results show similarities between the ordered and the unordered setting for graphs containing cycles and significant differences for forests.</p>

mathematics