Proof of strong duality: Slater's theorem

In this video, I discuss the criteria for ensuring primal optimal value is equal to dual optimal value. The criteria is provided by Slater's theorem which states that if both sets are non-empty and one of the sets contains a feasible point interior to the set then the primal optimal value is equal to the dual optimal value. I discuss this in great detail. The proof provided follows that given in lecture notes by John Watrous.
#quantuminformation #conicprogram #mathematics