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

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 tt\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.

Sources & referencesView supporting material

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.