English

Ramsey equivalence for asymmetric pairs of graphs

Combinatorics 2022-06-09 v1

Abstract

A graph FF is Ramsey for a pair of graphs (G,H)(G,H) if any red/blue-coloring of the edges of FF yields a copy of GG with all edges colored red or a copy of HH with all edges colored blue. Two pairs of graphs are called Ramsey equivalent if they have the same collection of Ramsey graphs. The symmetric setting, that is, the case G=HG=H, received considerable attention. This led to the open question whether there are connected graphs GG and GG' such that (G,G)(G,G) and (G,G)(G',G') are Ramsey equivalent. We make progress on the asymmetric version of this question and identify several non-trivial families of Ramsey equivalent pairs of connected graphs. Certain pairs of stars provide a first, albeit trivial, example of Ramsey equivalent pairs of connected graphs. Our first result characterizes all Ramsey equivalent pairs of stars. The rest of the paper focuses on pairs of the form (T,Kt)(T,K_t), where TT is a tree and KtK_t is a complete graph. We show that, if TT belongs to a certain family of trees, including all non-trivial stars, then (T,Kt)(T,K_t) is Ramsey equivalent to a family of pairs of the form (T,H)(T,H), where HH is obtained from KtK_t by attaching disjoint smaller cliques to some of its vertices. In addition, we establish that for (T,H)(T,H) to be Ramsey equivalent to (T,Kt)(T,K_t), HH must have roughly this form. On the other hand, we prove that for many other trees TT, including all odd-diameter trees, (T,Kt)(T,K_t) is not equivalent to any such pair, not even to the pair (T,KtK2)(T, K_t\cdot K_2), where KtK2K_t\cdot K_2 is a complete graph KtK_t with a single edge attached.

Keywords

Cite

@article{arxiv.2206.03898,
  title  = {Ramsey equivalence for asymmetric pairs of graphs},
  author = {Simona Boyadzhiyska and Dennis Clemens and Pranshu Gupta and Jonathan Rollin},
  journal= {arXiv preprint arXiv:2206.03898},
  year   = {2022}
}

Comments

22 pages, 7 figures