Räty–Sudakov–Tomon bisection-width conjecture

For every ε>0\varepsilon>0, there exists a constant cε>0c_{\varepsilon}>0 such that, for every sufficiently large nn, every integer d≤(1−ε)n/2d\leq (1-\varepsilon)n/2, and every dd-regular graph GG on nn vertices, the bisection width satisfies bw⁡(G)≤dn/4−cεd1/3n\operatorname{bw}(G)\leq dn/4-c_{\varepsilon}d^{1/3}n, where bw⁡(G)=min⁡eG(S,V(G)∖S)\operatorname{bw}(G)=\min e_G(S,V(G)\setminus S) and the minimum is over all S⊆V(G)S\subseteq V(G) with ∣∣S∣−∣V(G)∖S∣∣≤1\bigl||S|-|V(G)\setminus S|\bigr|\leq 1.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed solved

A new preprint claims the conjecture is settled in the dense case, but the claim has not been independently checked.

The conjecture concerns the largest possible bisection width of dense regular graphs. A September 2026 preprint by Oliver Janzer, István Tomon, and Fredy Yip claims the sharp dense-regime deficit and presents it as resolving the conjecture.

Known results

  • Räty, Sudakov, and Tomon proved positive-discrepancy lower bounds of order Ω(d n)\Omega(\sqrt{d}\,n) for d≤n2/3d\le n^{2/3}, Ω(n2/d)\Omega(n^2/d) for n2/3≤d≤n4/5n^{2/3}\le d\le n^{4/5}, and Ω(d1/4n/log⁡n)\Omega(d^{1/4}n/\log n) up to the dense range.
  • For regular graphs with n3/4<d≤(1/2−ε)nn^{3/4}<d\le (1/2-\varepsilon)n, they proved disc⁡+(G)=Ωε(d1/3n)\operatorname{disc}^{+}(G)=\Omega_{\varepsilon}(d^{1/3}n), while identifying the matching bisection-width behavior as conjectural.

September 2026 claimed resolution

The new preprint claims that every dd-regular nn-vertex graph with d≤(1−ε)n/2d\le (1-\varepsilon)n/2 has bisection width at most dn/4−Ωε(d1/3n)dn/4-\Omega_{\varepsilon}(d^{1/3}n), with optimal order in the dense regime. No independent verification, referee report, or error assessment was found.

Current status (as of September 2026): The dense-regime bound is claimed in a new preprint but remains unverified; the conjecture is not independently established.

Sources

Solutions 0

No solutions have been posted yet.