Semidefinite Programming
Duality Theory
Theorem (Slater conditions): If both primal and dual SDPs are striclty feasible then strong duality holds.
Spectrahedral Lifts
When does it help us to work with spectrahedral lifts, instead of the spectrahedral itself?