A step towards the Ramsey-Tur\'{a}n conjecture for $K_3$ and $K_6$

TL;DR

This paper advances understanding of the Ramsey-Turán conjecture for specific parameters by establishing an upper bound on the Ramsey-Turán number using regularity and stability methods.

Contribution

It provides the first known upper bound on a ho(3,6,a) for small a, moving closer to the conjectured exact value.

Findings

Established an upper bound a ho(3,6,a) b1 arac{5}{12} + rac{a}{2} + 2.1025aa^2.

Used Szemere9di's regularity lemma and stability arguments.

Progressed towards confirming the conjecture for small a.

Abstract

Ramsey-Tur\'{a}n type problems were initiated by Erd\H{o}s and S\'{o}s in 1969. Given integers $p, q\ge2$, a graph $G$ is $(K_p,K_q)$-free if there exists a red/blue edge coloring of $G$ such that it contains neither a red $K_p$ nor a blue $K_q$. For any $\delta>0$, the Ramsey-Tur\'{a}n number $RT( {n,p,q,\delta n)} $ is the maximum number of edges in an $n$-vertex $(K_p,K_q)$-free graph with independence number at most $\delta n$. Let $\rho (p, q,\delta ) = \mathop {\lim }\limits_{n \to \infty } \frac{RT(n,p, q,\delta n)}{n^2}$. Kim, Kim and Liu (2019) showed that $\rho(3,6,\delta)\ge \frac{5}{12}+\frac{\delta}{2}+2\delta^2$ via a skillful construction and conjectured the equality holds for sufficiently small $\delta>0$. Using Szemer\'{e}di's regularity lemma and a stability argument, we make the first step towards the conjecture by showing that $\rho(3,6,\delta)$ is at most $\frac{5}{{12}} + \frac{\delta }{2}+ 2.1025\delta ^2$.