Theorem 4.21 (Marcusm, Spielman, Srivastava). Assuming that:

Then there exists a signing with eigenvalues

λ

with

λ \leq 2 \sqrt{d - 1}