arXiv++ Combinatorics

The Ramsey number $r_k(s,n)$ is the smallest integer $N$ such that every $N$-vertex $k$-graph contains either a copy of $K_s^{(k)}$ or an independent set of size $n$. A well-known conjecture of Erdős and Hajnal states that for any fixed $4\le k<s$, $r_k(s,n)\ge \operatorname{twr}_{k-1}(Ω(n)).$ At present, only the last two cases of this conjecture remain open, namely $r_4(5,n)\ge2^{2^{Ω(n)}}$ and $r_4(6,n)\ge2^{2^{Ω(n)}}$. Recently, Du, Hu, Liu, and Wang achieved a breakthrough by proving $r_4(5,n)\ge 2^{2^{Ω(n^{1/7})}}$, which is the first double-exponential lower bound for $r_4(5,n)$. In this note, we improve this to $2^{2^{Ω(n^{1/5})}}$ by modifying their construction and reducing the greedy selection of local maxima from seven layers to five, thereby making further progress towards the Erdős-Hajnal conjecture.

We prove that for all $k \ge 3$ and any integers $Δ, n$ with $n \ge 2^Δ,$ there exists a $k$-graph on $n$ vertices with maximum degree at most $Δ$ such that $r(H)\geq\tw_{k-1}(c_k Δ) \cdot n$ for some constant $c_k > 0$, where $\tw_k$ denotes the tower function. This makes the first progress toward a problem proposed by Conlon, Fox, and Sudakov (2009), who asked whether $r(H)\geq\tw_{k}(c_k Δ) \cdot n$ holds. Our proof relies on a novel construction of a $k$-graph on a growing number of vertices $n$ while keeping the maximum degree bounded by a fixed $Δ$.

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ős, Faudree, Rousseau, and Schelp (Trans. AMS 1982) addressed this problem, establishing bounds requiring $n = Ω(k^{10})$ for odd cycles and $n = Ω(k^{12})$ for paths. We settle the asymptotic version of this problem, proving that these bounds are essentially tight: $n = Ω(k)$ suffices for odd cycles and $n = Ω(k^2)$ (or $n = Ω(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 = Ω(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 - α' - γ\}$ for any connected $n$-vertex graph $G$ satisfying one of the following: (i) $n = Ω(k^2)$ and $e(G) \le (1 + O(1/k^2)) n$; (ii) $n = Ω(k)$, $δ(G)\ge2$, $α'\geq k/2$, and $e(G) \le (1 + O(1/k)) n$. In the above, $α'$ is the independence number of an appropriate subgraph of $G$ and $γ=0$ if $k-1$ divides $n+k-3-α'$, and $γ=1$ otherwise. Consequently, our results unify and generalize classical theorems on odd cycles due to Bondy and Erdős (1973), Faudree and Schelp (1974), and Rosta (1973), and on paths due to Gerencsér and Gyárfás (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.

We focus on two hypergraph Ramsey problems. First, we consider the Erdős-Hajnal function $r_k(k+1,t;n)$. In 1972, Erdős and Hajnal conjectured that the tower growth rate of $r_k(k+1,t;n)$ is $t-1$ for each $2\le t\le k$. To finish this conjecture, it remains to show that the tower growth rate of $r_4(5,4;n)$ is three. We prove a superexponential lower bound for $r_4(5,4;n)$, which improves the previous best lower bound $r_4(5,4;n)\geq 2^{Ω(n^2)}$ from Mubayi and Suk (\emph{J. Eur. Math. Soc., 2020}). Second, we prove an upper bound for the hypergraph Erdős-Rogers function $f^{(k)}_{k+1,k+2}(N)$ that is an iterated $(k-3)$-fold logarithm in $N$ for each $k\geq 5$. This improves the previous upper bound that is an iterated $(k-13)$-fold logarithm in $N$ for $k\ge14$ due to Mubayi and Suk (\emph{J. London Math. Soc., 2018}), in which they conjectured that $f^{(k)}_{k+1,k+2}(N)$ is an iterated $(k-2)$-fold logarithm in $N$ for each $k\ge3$.

For graphs $G$ and $H$, the Ramsey number $r(G,H)$ is the smallest positive integer $N$ such that any red/blue edge coloring of the complete graph $K_N$ contains either a red $G$ or a blue $H$. A book $B_n$ is a graph consisting of $n$ triangles all sharing a common edge. Recently, Conlon, Fox and Wigderson conjectured that for any $0<α<1$, the random lower bound $r(B_{\lceilαn\rceil},B_n)\ge (\sqrtα+1)^2n+o(n)$ is not tight. In other words, there exists some constant $β>(\sqrtα+1)^2$ such that $r(B_{\lceilαn\rceil},B_n)\ge βn$ for all sufficiently large $n$. This conjecture holds for every $α< 1/6$ by a result of Nikiforov and Rousseau from 2005, which says that in this range $r(B_{\lceilαn\rceil},B_n)=2n+3$ for all sufficiently large $n$. We disprove the conjecture of Conlon, Fox and Wigderson. Indeed, we show that the random lower bound is asymptotically tight for every $1/4\leq α\leq 1$. Moreover, we show that for any $1/6\leq α\le 1/4$ and large $n$, $r(B_{\lceilαn\rceil}, B_n)\le\left(\frac 32+3α\right) n+o(n)$, where the inequality is asymptotically tight when $α=1/6$ or $1/4$. We also give a lower bound of $r(B_{\lceilαn\rceil}, B_n)$ for $1/6\leα< \frac{52-16\sqrt{3}}{121}\approx0.2007$, showing that the random lower bound is not tight, i.e., the conjecture of Conlon, Fox and Wigderson holds in this interval.

In 1983, Burr and Erdős initiated the study of Ramsey goodness problems.Nikiforov and Rousseau (2009) resolved almost all goodness questions raised by Burr and Erdős, in which the bounds on the parameters are of tower type since their proofs rely on the regularity lemma. Let $B_{k,n}$ be the book graph on $n$ vertices which consists of $n-k$ copies of $K_{k+1}$ all sharing a common $K_k$, and let $H=K_p(a_1,\dots,a_{p})$ be the complete $p$-partite graph with parts of sizes $a_1,\dots,a_{p}$. Recently, avoiding use of the regularity lemma, Fox, He and Wigderson (2021) revisit several Ramsey goodness results involving books. They comment that it would be very interesting to see how far one can push these ideas. In particular, they conjecture that for all integers $k, p, t\ge 2$, there exists some $δ>0$ such that for all $n\ge 1$, $1\leq a_1\le\cdots\le a_{p-1}\le t$ and $a_p \le δn$, we have $r(H, B_{k,n})= (p-1)(n-1)+d_k(n,K_{a_1,a_2})+1,$ where $d_k(n,K_{a_1,a_2})$ is the maximum $d$ for which there is an $(n+d-1)$-vertex $K_{a_1,a_2}$-free graph in which at most $k-1$ vertices have degree less than $d$.They verify the conjecture when $a_1=a_2=1$. Building upon the work of Fox et al. (2021), we make a substantial step by showing that the conjecture "roughly" holds if $a_1=1$ and $a_2|(n-1-k)$, i.e. $a_2$ divides $n-1-k$. Moreover, avoiding use of the regularity lemma, we prove that for every $k, a\geq 1$ and $p\ge2$, there exists $δ>0$ such that for all large $n$ and $b\le δ\ln n$, $r(K_p(1,a,b,\dots,b), B_{k,n})= (p-1)(n-1)+k(p-1)(a-1)+1$ if $a|(n-1-k)$, where the case when $a=1$ has been proved by Nikiforov and Rousseau (2009) using the regularity lemma. The bounds on $1/δ$ we obtain are not of tower-type since our proofs do not rely on the regularity lemma.