Clique Ramsey minimizer K_t-Ramsey graphs

Conjecture 1.2 · arXiv:2312.06895

arXiv Conjecture high confidence— first stated 2025-10-01

Authors: Jacob Fox, Jonathan Tidor, Shengtong Zhang

Status partial high confidence

Conjecture 1.2 posits that for all $s \leq t$, $r_{K_s}(K_t) = \binom{r(K_t)}{s}$. The case $s = 2$ is classical (Chv\u00e1tal). The source paper itself resolves $s = 3$ for all sufficiently large $t$ as its main result (Theorem 1.3), via a chromatic-graph lemma: every $r$-chromatic graph in which every edge lies in at least $K$ triangles contains at least $\binom{r}{3}$ triangles. No subsequent work extending the result to $s \geq 4$ was found in the indexed literature as of May 2026.

Reviewer notes. The conjecture is partially settled in the source paper itself ($s = 3$ proved for all sufficiently large $t$). The general case ($s \geq 4$) remains open. The paper was published in Journal of Combinatorial Theory, Series B, vol. 176 (2026), pp. 268–286. No follow-up paper resolving additional cases was found.

Auto-reviewed 2026-05-14 with claude-sonnet-4-6 (web search enabled).

Conjecture. For all $s \leq t$, $r_{K_s}(K_t) = \binom{r(K_t)}{s}$.

Context

Motivated by a question of Sam Spiro asking whether an analogue of Chvatal's theorem holds for $r_{K_s}(K_t)$, the authors conjecture that the complete graph on $r(K_t)$ vertices minimises the number of $K_s$ copies among all $K_t$-Ramsey graphs. The paper verifies this conjecture for $s = 3$ and all sufficiently large $t$ as its main result (Theorem 1.3).

Source paper

Triangle Ramsey numbers of complete graphs
Jacob Fox, Jonathan Tidor, Shengtong Zhang · 2025-10-01
https://arxiv.org/abs/2312.06895 PDF source