Kühn–Osthus lower-bound conjecture for complete-graph subdivisions

Less than 1 year old · traced to

Let d(t)d(t) be the smallest real number such that every graph with average degree more than d(t)d(t) contains a subdivision of KtK_t. Kühn–Osthus lower-bound conjecture. As t→∞t\to\infty,

d(t)=(964+o(1))t2.d(t)=\left(\frac{9}{64}+o(1)\right)t^2.

The source presents this as the conjectured correct asymptotic lower bound, while the exact implicit constant remains unresolved.

References

Primary source

Richard Montgomery, “Recent progress in graph theory using expansion”, arXiv:2607.26049 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.