arXiv++ Combinatorics

We determine the size Ramsey number of a two-component star forest versus an arbitrary star forest. Let $q,a,b,n_1,\ldots,n_q$ be positive integers with $a\ge b$ and $n_1\ge\cdots\ge n_q$. We prove that \[ \begin{split} \rhat\left(K_{1,a}\sq K_{1,b}, \bigsqcup_{i=1}^{q}K_{1,n_i}\right) ={}&(a+n_1-1) +\sum_{i=1}^{q-1}\max\{a+n_{i+1}-1,b+n_i-1\}\\ &+(b+n_q-1). \end{split} \] This proves the conjecture of Burr, Erdős, Faudree, Rousseau and Schelp (Erdős Problem~\#561) in the case where one of the two star forests has exactly two components. The formula holds without any restriction on the parity of the star sizes. The proof combines vertex deletion, iterated matching deletion, and Lovász's factor theorem.

For ordered graphs $H_1,\ldots,H_t$, let $\rt(H_1,\ldots,H_t)$ denote the least integer $N$ such that every $t$-coloring of the edges of the naturally ordered complete graph on $[N]$ contains an ordered copy of $H_i$ in color $i$ for some $i\in[t]$. We prove that a uniformly random ordered matching $M$ on $n$ vertices with interval chromatic number two asymptotically almost surely satisfies \[ \rt(K_3,M) =Ω\left(\frac{n^{4/3}}{(\log n)^{1/3}}\right). \] This strengthens the lower bound $Ω((n/\log n)^{5/4})$ of Balko and Poljak for such random matchings and improves the general existential lower bound of Conlon, Fox, Lee and Sudakov by a factor of $\log n$. The proof combines pseudorandom triangle-free graphs, a coarse encoding of order-preserving embeddings, and a permutation avoidance estimate derived from Brègman's inequality.

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.