Räty–Sudakov–Tomon conjecture on graph surplus and least eigenvalues

For every ε>0\varepsilon>0, there exist constants cε>0c_{\varepsilon}>0 and n0(ε)n_{0}(\varepsilon) such that, for every n≥n0(ε)n\geq n_{0}(\varepsilon) and every nn-vertex graph GG that is ε\varepsilon-far in edit distance from every disjoint union of cliques, one has disc⁡+(G)≥cεn5/4\operatorname{disc}^{+}(G)\geq c_{\varepsilon}n^{5/4}, sp⁡(G)≥cεn5/4\operatorname{sp}(G)\geq c_{\varepsilon}n^{5/4}, and ∣λn(G)∣≥cεn1/4|\lambda_{n}(G)|\geq c_{\varepsilon}n^{1/4}, where λn(G)\lambda_{n}(G) is the least adjacency eigenvalue of GG.

References

Progress summary

Refreshed
Claimed solved

An October 2026 preprint claims to prove the conjecture with stronger bounds, but the result has not been independently verified.

Räty, Sudakov, and Tomon conjectured that graphs far from cluster-like structures must have large positive discrepancy, surplus, and least-eigenvalue magnitude. The conjecture connects structural distance from Turán graphs or disjoint unions of cliques with quantitative spectral and extremal bounds.

Known results

  • Jin, Milojević, Tomon, and Zhang proved a weaker bound disc⁡+(G)≥Ωδ(n1+c)\operatorname{disc}^{+}(G)\geq \Omega_{\delta}(n^{1+c}) for some absolute c>0c>0.
  • Janzer, Tomon, and Yip proved disc⁡+(G)≥n5/4−o(1)\operatorname{disc}^{+}(G)\geq n^{5/4-o(1)}.
  • The same work established sp⁡(G)≥n5/4−o(1)\operatorname{sp}(G)\geq n^{5/4-o(1)} for graphs far from disjoint unions of cliques.

October 2026 claimed resolution

An October 1, 2026 report on Fredy Yip's preprint claims fixed-constant bounds disc⁡+(G),sp⁡(G)≥Ωϵ(n5/4)\operatorname{disc}^{+}(G),\operatorname{sp}(G)\geq \Omega_{\epsilon}(n^{5/4}) and ∣λn∣≥Ωϵ(n1/4)|\lambda_n|\geq \Omega_{\epsilon}(n^{1/4}), removing the earlier o(1)o(1) losses. Under an n−o(1)n^{-o(1)} distance assumption it also reports n1/4−o(1)n^{1/4-o(1)} and n5/4−o(1)n^{5/4-o(1)} bounds. These are claims from an unrefereed preprint.

Current status (as of October 2026): Earlier asymptotic bounds are established, while the full fixed-constant conjecture is only claimed in an unrefereed preprint and remains unverified.

Sources

Solutions 0

No solutions have been posted yet.