Theorem 4.28 (Marcus, Spielman, Srivastava (real rooted)). For every ρ1,,ρm[1,1] the following polynomial is real rooted

χρ1,,ρm(x)=S{±1}mdet(xIAs)J:sJ=1(1+ρJ2)J:SJ=1(1ρJ2).