English

On polyhedral approximations of the positive semidefinite cone

Optimization and Control 2022-06-14 v1 Computational Complexity Quantum Physics

Abstract

Let DD be the set of n×nn\times n positive semidefinite matrices of trace equal to one, also known as the set of density matrices. We prove two results on the hardness of approximating DD with polytopes. First, we show that if 0<ϵ<10 < \epsilon < 1 and AA is an arbitrary matrix of trace equal to one, any polytope PP such that (1ϵ)(DA)PDA(1-\epsilon)(D-A) \subset P \subset D-A must have linear programming extension complexity at least exp(cn)\exp(c\sqrt{n}) where c>0c > 0 is a constant that depends on ϵ\epsilon. Second, we show that any polytope PP such that DPD \subset P and such that the Gaussian width of PP is at most twice the Gaussian width of DD must have extension complexity at least exp(cn1/3)\exp(cn^{1/3}). The main ingredient of our proofs is hypercontractivity of the noise operator on the hypercube.

Keywords

Cite

@article{arxiv.1811.09649,
  title  = {On polyhedral approximations of the positive semidefinite cone},
  author = {Hamza Fawzi},
  journal= {arXiv preprint arXiv:1811.09649},
  year   = {2022}
}

Comments

12 pages