Erdős–Stone problem

For an integer r≥2r\ge 2 and a real number 0<δ<1/r0<\delta<1/r, let bn(r,δ)b_n(r,\delta) be the largest integer bb such that every graph GG on nn vertices satisfying e(G)≥(1−1/r+δ)(n2)e(G)\geq (1-1/r+\delta)\binom{n}{2} contains a copy of the balanced complete (r+1)(r+1)-partite graph Kr+1(b)K_{r+1}(b), with bb vertices in each part. Determine the asymptotic order of bn(r,δ)b_n(r,\delta) as n→∞n\to\infty. The cited preprint claims that, for every fixed rr and δ\delta in this range, bn(r,δ)=Θ ⁣(log⁡n(1/r−δ)rlog⁡(1/δ))b_n(r,\delta)=\Theta\!\left(\frac{\log n}{(1/r-\delta)r\log(1/\delta)}\right), completing the bound for all edge densities; this claim is presently unverified.

References

Primary source

arXiv

Progress summary

Refreshed
Claimed solved

A September 2026 preprint claims to complete the tight bound for balanced multipartite patterns in graphs of every density, but the result has not been checked.

The problem concerns the asymptotic number of balanced complete multipartite subgraphs in graphs, seeking the correct bound across all edge densities. The reported development claims to settle the remaining high-density regime and combine it with earlier work.

September 2026 claimed completion

On September 1, 2026, a preprint titled A Tight Erdős–Stone Bound for All Graph Densities claimed the correct asymptotic order in the remaining high-density regime, thereby completing a tight bound for every density. The theorem is presented in an unrefereed preprint and remains unverified.

Current status (as of September 2026): A preprint claims the Erdős–Stone problem is solved for all densities, but the claimed theorem remains unverified.

Sources

Solutions 0

No solutions have been posted yet.