On Ramsey number of $K_{2,n}$ versus even cycles

TL;DR

This paper determines the exact Ramsey number for $K_{2,n}$ versus even cycles within a specific range of parameters, advancing understanding in graph Ramsey theory.

Contribution

It provides an exact value for $R(K_{2,n}, C_{m})$ for certain even $m$ and large $n$, and shows equality with $R(K_{1,n}, C_{m})$ in that range.

Findings

Exact value of $R(K_{2,n}, C_{m})$ for even $m$ in [n, 2n-4008] and $n extgreater= 4516$

Proves $R(K_{1,n}, C_{m})= R(K_{2,n}, C_{m})$ for the specified range

Raises open question about the existence of $n_0(t)$ for fixed $t$

Abstract

For graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the smallest integer $N$ such that every graph $\Gamma$ on $N$ vertices contains $G$ or its complement $\overline{\Gamma}$ contains $H$ as a subgraph. In graph Ramsey theory, the star-cycle Ramsey number is well-studied throughout the years. Whereas the Ramsey number of $K_{2,n}$ versus cycle is challenging to determine due to increased structural complexity. In this article, we have obtained an exact value of the Ramsey number $R(K_{2,n}, C_{m})$ for even $m\in [n, 2n-4008]$ and $n\geq 4516$. In particular, we show that $$R(K_{1,n}, C_{m})= R(K_{2,n}, C_{m})$$ for all even $m\in [n, 2n-4008]$ and $n\geq 4516$. This leads to an interesting question: For fixed $t$, does there exist $n_0(t)\in \mathbb{N}$ such that $R(K_{1,n}, C_m)=R(K_{t,n}, C_m)$ for all $n \geq n_0(t)$ and for a given range of even $m$?