Odd cycle Ramsey multiplicity exact formula

Conjecture 4 · arXiv:2108.00987

arXiv Conjecture high confidence— first stated 2021-09-20

Authors: David Conlon, Jacob Fox, Benny Sudakov, Fan Wei

Status open high confidence

Conjecture 4 from arXiv:2108.00987 asserts that m(C_k) = (k-1)!/2 for all sufficiently large odd k. The source paper establishes a lower bound m(C_k) >= (ck)^k (Theorem 3), while the upper bound (k-1)!/2 is achieved by the extremal coloring chi(k, k-1) of K_{2k-1}; the conjecture claims these match asymptotically. No follow-up paper proving or disproving the conjecture was found in a targeted web search across 2022–2026. The conjecture remains open.

Reviewer notes. No follow-up paper resolving the conjecture was found. The source paper was published in Revista de la Union Matematica Argentina (2022). The companion paper arXiv:2108.00991 addresses paths and even cycles but not this conjecture. The single internal reference (arXiv:2105.03956) is a fuzzy-match false positive unrelated to Ramsey multiplicity.

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

Conjecture. For any sufficiently large odd integer $k$, $m(C_k) = (k-1)!/2$.

Context

The extremal coloring $\chi(k, k-1)$ of $K_{2k-1}$ contains exactly $(k-1)!/2$ monochromatic copies of $C_k$ (all in the blue clique of order $k$), giving an upper bound on $m(C_k)$. The authors suggest this upper bound is in fact tight for all sufficiently large odd $k$, strengthening the $(ck)^k$ lower bound proved as Theorem 3.

Source paper

Threshold Ramsey multiplicity for odd cycles
David Conlon, Jacob Fox, Benny Sudakov, Fan Wei · 2021-09-20
https://arxiv.org/abs/2108.00987 PDF source