On Polyhedral Approximations of the Positive Semidefinite Cone

It is well known that state-of-the-art linear programming solvers are more efficient than their semidefinite programming counterparts and can scale to much larger problem sizes. This leads us to consider the question, how well can we approximate semidefinite programs with linear programs? In this paper, we prove lower bounds on the size of linear programs that approximate the positive semidefinite cone. Let D be the set of n × n positive semidefinite matrices of trace equal to one. We prove two results on the hardness of approximating D with polytopes. We show that if 0 < ε < 1and A is an arbitrary matrix of trace equal to one, any polytope P such that (1-ε) (D-A) ⊂ P ⊂ D-A must have linear programming extension complexity at least [Formula: see text], where c > 0 is a constant that depends on ε. Second, we show that any polytope P such that D ⊂ P and such that the Gaussian width of P is at most twice the Gaussian width of D must have extension complexity at least [Formula: see text]. Our bounds are both superpolynomial in n and demonstrate that there is no generic way of approximating semidefinite programs with compact linear programs. The main ingredient of our proofs is hypercontractivity of the noise operator on the hypercube.