Spielman–Teng conjecture on bounded-genus graph eigenvalues

∃C>0 ∀g≥1 ∀n≥1 ∀G\exists C>0\ \forall g\ge 1\ \forall n\ge 1\ \forall G, if GG is an nn-vertex graph embeddable on an orientable surface of genus gg and has maximum degree Δ\Delta, then 4λ2(LG)≤C Δ g/n4\lambda_2(L_G)\le C\,\Delta\,g/n, where λ2(LG)\lambda_2(L_G) is the second-smallest eigenvalue of the Laplacian matrix of GG.

References

Progress summary

Refreshed
Claimed solved

A new preprint claims to settle the conjecture, but its proof and optimality claims have not yet been independently confirmed.

The conjecture asks for a sharp upper bound on the second Laplacian eigenvalue of an nn-vertex graph embedded on a surface of genus gg, namely 4λ2(G)≲Δg/n0˘00244\lambda_2(G)\lesssim \Delta g/n\u00024. Earlier work established weaker genus-dependent and minor-free estimates, but did not clearly prove this sharp form.

Known results

  • The 2008 literature records 4λ2(G)=O((g+1)3Δ/n)0˘00244\lambda_2(G)=O((g+1)^3\Delta/n)\u00024 and, for KhK_h-minor-free graphs, 4λ2(G)=O(h6(log⁡h)Δ/n)0˘00244\lambda_2(G)=O(h^6(\log h)\Delta/n)\u00024.
  • A 2010 preprint gives higher-eigenvalue bounds 4λk=O(Δkg(log⁡g)2/n)0˘00244\lambda_k=O(\Delta k g(\log g)^2/n)\u00024 for genus-gg graphs and corresponding minor-free estimates.

August 27, 2026 claimed resolution

The preprint On Eigenvalue Bounds for Bounded Genus Graphs and Minor-Free Graphs claims to establish the conjectured genus-dependent bound and related bounds for minor-free graphs. The resolution and optimality assertions remain unverified.

Current status (as of August 2026): The sharp bound is claimed by a new preprint, while earlier weaker estimates are established and independent verification of the claimed resolution remains open.

Sources

Solutions 0

No solutions have been posted yet.