P
Initializing...
Theorem 8, p. 30 — if the quadratic eigenvalue multiplicity satisfies k ≥ m + 1, then conv(𝒟 ∩ H) = 𝒟_SDP ∩ H and Opt = Opt_SDP · Prove2Me