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

Abstract

For graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the smallest integer $N$ such that every graph $Γ$ on $N$ vertices contains $G$ or its complement $\overlineΓ$ 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$?

Figures (3)

• Figure 1: Existence of $C_m$ in $\overline{G}$ when $\overline{G}[X']$ is disconnected
• Figure 2: Existence of $C_m$ in $\overline{G}$ when $\kappa(\overline{G}[X'])=1$
• Figure 3: Existence of $C_m$ in $\overline{G}$ when $\kappa(\overline{G}[X'])=2$

Theorems & Definitions (25)

• Theorem 1: Lawrence SLLawrence1973
• Theorem 2: Zhang et al. zhang2016narrowing
• Theorem 3
• Theorem 4
• Remark 1
• Lemma 2.1: Dirac dirac1952some
• Lemma 2.2: Zhang et al. zhang2014ramsey
• Lemma 2.3: Wei wei1997longestcycle3connected
• Lemma 2.4: Nash-Williams nash1971Hamiltonian
• Lemma 2.5: Bondy bondy1971pancyclic