arXiv++ Combinatorics

A longstanding fundamental problem of Burr, Erdős, Faudree, Rousseau and Schelp (\emph{Trans. Amer. Math. Soc.}, 1982) is to determine the exact value of the least integer $f(m)$, for odd $m\ge3$, such that every tree $T_n$ on $n\ge f(m)$ vertices satisfies $R(T_n,C_m)=2n-1$. We settle this problem for all sufficiently large odd $m$. Indeed, we establish $$f(m)=\left\lceil \frac{2m-1}{3} \right\rceil$$ for all such $m$, where the lower bound follows from a result by Faudree, Lawrence, Parsons and Schelp. This also confirms a conjecture of Huang, Zhang and Chen for all such $m$.

Recently, Aragão, Marciano, and Mendonça [\emph{European J. Combin.}, 2025] conjectured that for any graph $G$ on $n$ vertices satisfying $(r-1)(t-1)k < n \le (r-1)(t-1)(k+1)$, the minimum degree condition $δ(G) \ge n - \left\lceil \frac{k}{k+1} \left\lceil \frac{n}{r-1} \right\rceil \right\rceil$ guarantees that $G \rightarrow (K_r, P_t)$. In this paper, we prove their conjecture for the regime $k \ge t-3$. Because the parameter $k$ scales linearly with the host graph order $n$, our result establishes the asymptotic truth of the conjecture.

For graphs $F$ and $H$, the Ramsey number $R(F, H)$ is the smallest positive integer $N$ such that any red/blue edge coloring of $K_N$ contains either a red $F$ or a blue $H$. Let $C_n$ be a cycle of length $n$ and $F_n$ be a fan consisting of $n$ triangles all sharing a common vertex. In this paper, we prove that for all sufficiently large $n$, \[ R(C_{2\lfloor an\rfloor}, F_n)= \left\{ \begin{array}{ll} (2+2a+o(1))n & \textrm{if $1/2\leq a< 1$,}\\ (4a+o(1))n & \textrm{if $ a\geq 1$.} \end{array} \right. \]

A graph $\mathcal{H}=(W,E_\mathcal{H})$ is said to have {\em bandwidth} at most $b$ if there exists a labeling of $W$ as $w_1,w_2,\dots,w_n$ such that $|i-j|\leq b$ for every edge $w_iw_j\in E_\mathcal{H}$. We say that $\mathcal{H}$ is a {\em balanced $(β,Δ)$-graph} if it is a bipartite graph with bandwidth at most $β|W|$ and maximum degree at most $Δ$, and it also has a proper 2-coloring $χ:W\rightarrow[2]$ such that $||χ^{-1}(1)|-|χ^{-1}(2)||\leqβ|χ^{-1}(2)|$. In this paper, we prove that for every $γ>0$ and every natural number $Δ$, there exists a constant $β>0$ such that for every balanced $(β,Δ)$-graph $\mathcal{H}$ on $n$ vertices we have $$R(\mathcal{H}, \mathcal{H}, C_n) \leq (3+γ)n$$ for all sufficiently large odd $n$. The upper bound is sharp for several classes of graphs. Let $θ_{n,t}$ be the graph consisting of $t$ internally disjoint paths of length $n$ all sharing the same endpoints. As a corollary, for each fixed $t\geq 1$, $R(θ_{n, t},θ_{n, t}, C_{nt+λ})=(3t+o(1))n,$ where $λ=0$ if $nt$ is odd and $λ=1$ if $nt$ is even. In particular, we have $R(C_{2n},C_{2n}, C_{2n+1})=(6+o(1))n$, which is a special case of a result of Figaj and Łuczak (2018).

A book $B_n$ is a graph which consists of $n$ triangles sharing a common edge. In 1978, Rousseau and Sheehan conjectured that the Ramsey number satisfies $r(B_m,B_n)\le 2(m+n)+c$ for some constant $c>0$. In this paper, we obtain that $r(B_m, B_n)\le 2(m+n)+o(n)$ for all $m\le n$ and $n$ large, which confirms the conjecture of Rousseau and Sheehan asymptotically. As a corollary, our result implies that a related conjecture of Faudree, Rousseau and Sheehan (1982) on strongly regular graph holds asymptotically.

Let $r\geq3$ be an integer such that $r-2$ is a prime power and let $H$ be a connected graph on $n$ vertices with average degree at least $d$ and $α(H)\leqβn$, where $0<β<1$ is a constant. We prove that the size Ramsey number \[ \hat{R}({H};r) > \frac{nd}{2}{(r - 2)^2} - C\sqrt n \] for all sufficiently large $n$, where $C$ is a constant depending only on $r$ and $d$. In particular, for integers $k\ge1$, and $r\ge3$ such that $r-2$ is a prime power, we have that there exists a constant $C$ depending only on $r$ and $d$ such that $\hat{R}(P_{n}^{k}; r)> kn{(r - 2)^2}-C\sqrt n -\frac{{({k^2} + k)}}{2}{(r - 2)^2}$ for all sufficiently large $n$, where $P_{n}^{k}$ is the $kth$ power of $P_n$. We also prove that $\hat{R}(P_n,P_n,P_n)<764.1n$ for sufficiently large $n$. This result improves some results of Dudek and Prałat (\emph{SIAM J. Discrete Math.}, 31 (2017), 2079--2092 and \emph{Electron. J. Combin.}, 25 (2018), no.3, # P3.35).

Let $C_{n}$ be a cycle of length $n$. As an application of Szemerédi's regularity lemma, Łuczak ($R(C_n,C_n,C_n)\leq (4+o(1))n$, J. Combin. Theory Ser. B, 75 (1999), 174--187) in fact established that $K_{(8+o(1))n}\to(C_{2n+1},C_{2n+1},C_{2n+1})$. In this paper, we strengthen several results involving cycles. Let $\mathcal{G}(n,p)$ be the random graph. We prove that for fixed $0<p\le1$, and integers $n_1$, $n_2$ and $n_3$ with $n_1\ge n_2\ge n_3$, it holds that for any sufficiently small $δ>0$, there exists an integer $n_0$ such that for all integer $n_3>n_0$, we have a.a.s. that \begin{align*} \mathcal{G}((8+δ)n_1,p) \to (C_{2n_1+1},C_{2n_2+1},C_{2n_3+1}). \end{align*} Moreover, we prove that for fixed $0<p\le1$ and integers $n_1\ge n_2\ge n_3>0$ with same order, i.e. $n_2=Θ(n_1)$ and $n_3=Θ(n_1)$, we have a.a.s. that \begin{align*} \mathcal{G}(2n_1+n_2+n_3+o(1)n_1,p) \to (C_{2n_1},C_{2n_2},C_{2n_3}). \end{align*} Similar results for the two color case are also obtained.