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

  • r1,…,rm∈ℝn are independent random vectors, whose support has ≤2 points

Then
𝔼det⁡(xI−∑j=1mrjrj⊤⁡)

is real rooted.