Theorem 4.20 (Bilu, Linial). Can find signings S with eigenvalues λ satisfying |λ|=O(d(log⁡d)3).