Gerbner–Győri–Methuku–Vizer generalized Turán conjecture

For all integers l>k≥2l>k\ge 2, let C2k={C3,C4,…,C2k}\mathscr{C}_{2k}=\{C_3,C_4,\ldots,C_{2k}\}. Then

ex⁡(n,C2k+1,C2k∪{C2l+1})=o(n2)as n→∞,\operatorname{ex}\bigl(n,C_{2k+1},\mathscr{C}_{2k}\cup\{C_{2l+1}\}\bigr)=o(n^2)\qquad\text{as }n\to\infty,

where ex⁡(n,H,F)\operatorname{ex}(n,H,\mathcal{F}) is the maximum number of copies of HH in an nn-vertex graph containing no member of F\mathcal{F}, and CiC_i denotes the cycle of length ii.

References

Primary source

arXiv

Progress summary

Refreshed
Claimed solved

A new unrefereed preprint claims to prove the conjecture, but the result has not yet been independently verified.

The conjecture, posed by Gerbner, Győri, Methuku, and Vizer in 2017, predicts a subquadratic bound for counting one odd cycle while forbidding an even cycle and a longer odd cycle.

Known results

  • Gerbner, Győri, Methuku, and Vizer (2017) proved only the quadratic upper bound O(n2)O(n^2) for k<lk<l, with lower bound Ω(n1+1/(2l+2))\Omega(n^{1+1/(2l+2)}).

August 24, 2026 claimed proof

A preprint, A subquadratic bound for generalized Turán numbers of odd cycles, claims that for all l>k≥2l>k\ge 2 the conjectured subquadratic generalized Turán bound holds. This would settle the conjecture, but the preprint is unrefereed and the claim remains unverified.

Current status (as of August 2026): the conjecture has a claimed proof in an unrefereed preprint, but independent verification is absent.

Sources

Solutions 0

No solutions have been posted yet.