Asymptotically optimal Ramsey goodness of sparse graphs versus odd cycles and paths

TL;DR

This paper establishes tight asymptotic bounds for the Ramsey goodness of sparse graphs with respect to odd cycles and paths, significantly improving previous bounds and unifying classical theorems.

Contribution

It proves that minimal vertex counts for Ramsey goodness are linear or quadratic in k, depending on the graph type, and introduces new proof techniques for these results.

Findings

For odd cycles, $r(G, C_k) = 2n-1$ under relaxed conditions.

For paths, $r(G, P_k)$ is characterized by a formula depending on $n$, $k$, and graph parameters.

Results unify and extend classical theorems on cycles and paths.

Abstract

A fundamental problem in graph Ramsey theory is to determine, for sparse graphs $G$ on $n$ vertices, the minimal $n$ such that $G$ is Ramsey-good for odd cycles $C_k$ and paths $P_k$. Burr, Erd\H{o}s, Faudree, Rousseau, and Schelp (Trans. AMS 1982) addressed this problem, establishing bounds requiring $n = \Omega(k^{10})$ for odd cycles and $n = \Omega(k^{12})$ for paths. We settle the asymptotic version of this problem, proving that these bounds are essentially tight: $n = \Omega(k)$ suffices for odd cycles and $n = \Omega(k^2)$ (or $n = \Omega(k)$ under additional conditions) for paths. Specifically, we prove: (1) For odd cycles $C_k$ ($k\ge3$), we prove $r(G, C_k) = 2n-1$ for any connected $n$-vertex graph $G$ satisfying the relaxed conditions $n = \Omega(k)$ and $e(G) \le (1 + O(1/k^2)) n$. (2) For paths $P_k$ ($k\ge2$), we prove $r(G, P_k) = \max\{ n + \lfloor k/2\rfloor - 1, n + k - 2 - \alpha' - \gamma \}$ for any connected $n$-vertex graph $G$ satisfying one of the following: (i) $n = \Omega(k^2)$ and $e(G) \le (1 + O(1/k^2)) n$; (ii) $n = \Omega(k)$, $\delta(G)\ge2$, $\alpha'\geq k/2$, and $e(G) \le (1 + O(1/k)) n$. In the above, $\alpha'$ is the independence number of an appropriate subgraph of $G$ and $\gamma=0$ if $k-1$ divides $n+k-3-\alpha'$, and $\gamma=1$ otherwise. Consequently, our results unify and generalize classical theorems on odd cycles due to Bondy and Erd\H{o}s (1973), Faudree and Schelp (1974), and Rosta (1973), and on paths due to Gerencs\'er and Gy\'arf\'as (1967), Faudree, Lawrence, Parsons and Schelp (1974), and Parsons (1974). The proofs feature two key innovations: a novel reconstruction of the end-edge matching and an enhancement of Burr et al.'s dichotomy lemma.