Sharpness of n^{3/2} bound for C₅-free triangle-free
Optimality of the $o(n^{3/2})$ bound in Corollary 1.4 · arXiv:2004.10180
Status open high confidence
No follow-up work settling the question of whether the exponent $3/2$ in Corollary 1.4 is best possible was found in the literature. Corollary 1.4 of arXiv:2004.10180 asserts that every $n$-vertex $C_5$-free graph can be made triangle-free by deleting $o(n^{3/2})$ edges; the tightness of this exponent remains an open question as of 2026. Related work (PCMI 2025 lecture notes by Wigderson) discusses $C_5$-free graph structure and edge-deletion bounds for bipartiteness but does not directly address the triangle-free exponent.
Reviewer notes. No follow-up paper found that proves or disproves the optimality of the $3/2$ exponent. Searches covered the paper's arXiv ID, the authors' names, and the key mathematical terms; the conjecture appears to remain open. The PCMI 2025 lecture notes (Wigderson) mention $C_5$-free graphs and edge-deletion bounds but target bipartiteness rather than triangle-freeness and do not resolve this specific question.
Context
Immediately after stating Corollary 1.4, the authors note that they do not know whether the exponent $3/2$ is best possible. Proposition 1.5 shows that the hypothesis in the related Corollary 1.3 cannot be relaxed, but does not directly address the tightness of the exponent in Corollary 1.4. Proposition 1.7 shows the exponent $3/2$ in Theorem 1.6 is tight.
Source paper
The regularity method for graphs with few 4-cycles
David Conlon, Jacob Fox, Benny Sudakov, Yufei Zhao · 2021-09-25
https://arxiv.org/abs/2004.10180
PDF source