Theorem 4.29 (Marcus, Spielman, Srivastava (matrix)). Assuming that:

  • r1,,rmn are independent random vectors, whose support has 2 points

Then
𝔼det(xIj=1mrjrj)

is real rooted.