Theorem 1, p. 13 — for polyhedral Γ with dim 𝒱(ℱ) ≥ aff dim{b(γ) : γ ∈ ℱ} + 1 on every semidefinite face, conv(𝒟) = 𝒟_SDP and Opt = Opt_SDP

Initializing...

Theorem 1, p. 13 — for polyhedral Γ with dim 𝒱(ℱ) ≥ aff dim{b(γ) : γ ∈ ℱ} + 1 on every semidefinite face, conv(𝒟) = 𝒟_SDP and Opt = Opt_SDP · Prove2Me