Hamiltonicity of mildly pseudorandom regular graphs

Let GG be an (n,d,λ)(n,d,\lambda)-graph, meaning a dd-regular graph on nn vertices whose nontrivial adjacency eigenvalues have absolute value at most λ\lambda. For every δ>0\delta>0, if λ≤(1−δ)d\lambda\leq (1-\delta)d and d≫δ−6(log⁡n)3d\gg \delta^{-6}(\log n)^3, then GG contains a Hamilton cycle.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed solved

A new preprint claims to prove Hamilton cycles under a substantially weaker pseudorandomness requirement, but the result has not been independently checked.

The problem concerns conditions forcing a Hamilton cycle in regular graphs whose nontrivial eigenvalues are small. The latest claim targets graphs satisfying λ≤(1−δ)d\lambda\leq(1-\delta)d with degree substantially above δ−6(log⁡n)3\delta^{-6}(\log n)^3.

Known results

  • Ferber, Han, Mao, and Vershynin: Hamiltonicity when d≥(log⁡n)6d\geq(\log n)^6 and λ≤cd\lambda\leq cd for a sufficiently small absolute constant cc.
  • Glock, Correia, and Sudakov: Hamiltonicity when d/λ≥C(log⁡n)1/3d/\lambda\geq C(\log n)^{1/3}, and for polynomial degree with constant spectral ratio.

September 28, 2026 claimed threshold improvement

Alp Müyesser's new unrefereed preprint is reported to prove Hamiltonicity for (n,d,λ)(n,d,\lambda)-graphs whenever λ≤(1−δ)d\lambda\leq(1-\delta)d and d≫δ−6(log⁡n)3d\gg\delta^{-6}(\log n)^3. If correct, this lowers the degree requirement in the mildly pseudorandom regime; the claim is not independently verified.

Current status (as of September 2026): The stated theorem is claimed in a new preprint, but remains unverified; no public counterexample or refutation was found.

Sources

Solutions 0

No solutions have been posted yet.