arXiv++ Combinatorics

Lehel's conjecture states that every 2-edge-colouring of K_n admits a partition of its vertex set into two monochromatic cycles. It was proven for sufficiently large n by Łuczak, Rödl, and Szemerédi in 1998, later improved by Allen in 2008, and fully resolved by Bessy and Thomassé in 2010. In this paper, we consider a rainbow analogue of Lehel's conjecture in the setting of properly edge-coloured complete graphs. We prove that, for sufficiently large n, every properly edge-coloured Kn admits a partition of its vertex set into two vertex-disjoint rainbow cycles

Given graphs $G$ and $H$, we say that $G$ is $H$-$good$ if the Ramsey number $R(G,H)$ equals the trivial lower bound $(|G| - 1)(χ(H) - 1) + σ(H)$, where $χ(H)$ denotes the usual chromatic number of $H$, and $σ(H)$ denotes the minimum size of a color class in a $χ(H)$-coloring of $H$. Pokrovskiy and Sudakov [Ramsey goodness of paths. Journal of Combinatorial Theory, Series B, 122:384-390, 2017.] proved that $P_n$ is $H$-good whenever $n\geq 4|H|$. In this paper, given $\varepsilon>0$, we show that if $H$ satisfy a special unbalance condition, then $P_n$ is $H$-good whenever $n \geq (2 + \varepsilon)|H|$. More specifically, we show that if $m_1,\ldots, m_k$ are such that $\varepsilon\cdot m_i \geq 2m_{i-1}^2$ for $2\leq i\leq k$, and $n \geq (2 + \varepsilon)(m_1 + \cdots + m_k)$, then $P_n$ is $K_{m_1,\ldots,m_k}$-good.

For graphs $G$ and $H$, we write $G \overset{\mathrm{rb}}{\longrightarrow} H $ if any proper edge-coloring of $G$ contains a rainbow copy of $H$, i.e., a copy where no color appears more than once. Kohayakawa, Konstadinidis and the last author proved that the threshold for $G(n,p) \overset{\mathrm{rb}}{\longrightarrow}H$ is at most $n^{-1/m_2(H)}$. Previous results have matched the lower bound for this anti-Ramsey threshold for cycles and complete graphs with at least 5 vertices. Kohayakawa, Konstadinidis and the last author also presented an infinite family of graphs $H$ for which the anti-Ramsey threshold is asymptotically smaller than $n^{-1/m_2(H)}$. In this paper, we devise a framework that provides a richer and more complex family of such graphs that includes all the previously known examples.

For a graph $G$, we write $G\rightarrow \big(K_{r+1},\mathcal{T}(n,D)\big)$ if every blue-red colouring of the edges of $G$ contains either a blue copy of $K_{r+1}$, or a red copy of each tree with $n$ edges and maximum degree at most $D$. In 1977, Chvátal proved that for any integers $r,n,D \ge 2$, $K_N \rightarrow \big(K_{r+1},\mathcal{T}(n,D)\big)$ if and only if $N \ge rn+1$. We prove a random analogue of Chvátal's theorem for bounded degree trees, that is, we show that for each $r,D\ge 2$ there exist constants $C,C'>0$ such that if $p \ge C{n}^{-2/(r+2)}$ and $N \geq rn + C'/p$, then \[G(N,p) \rightarrow \big(K_{r+1},\mathcal{T}(n,D)\big)\] with high probability as $n\to \infty$. The proof combines a stability argument with the embedding of trees in expander graphs. Furthermore, the proof of the stability result is based on a sparse random analogue of the Erdős--Sós conjecture for trees with linear size and bounded maximum degree, which may be of independent interest.

We say that a graph $G$ is Ramsey for $H_1$ versus $H_2$, and write $G \to (H_1,H_2)$, if every red-blue colouring of the edges of $G$ contains either a red copy of $H_1$ or a blue copy of $H_2$. In this paper we study the threshold for the event that the Erdős--Rényi random graph $G(N,p)$ is Ramsey for a clique versus a path. We show that $$G\big( (1 + \varepsilon) rn,p \big) \to (K_{r+1},P_n)$$ with high probability if $p \gg n^{-2 / (r + 1)}$, and $$G\big( rn + t, p \big) \to (K_{r+1},P_n)$$ with high probability if $p \gg n^{-2 / (r + 2)}$ and $t \gg 1/p$. Both of these results are sharp (in different ways), since with high probability $G(Cn,p) \not\to (K_{r+1}, P_n)$ for any constant $C > 0$ if $p \ll n^{-2/(r + 1)}$, and $G(rn + t, p) \not\to (K_{r+1}, P_n)$ if $t \ll 1/p$, for any $0 < p \le 1$.