
arXiv: 1409.4379
handle: 1721.1/121531 , 1721.1/121531.2
Given a polytope P ⊂ ℝn, we say that P has a positive semidefinite lift (psd lift) of size d if one can express P as the projection of an affine slice of the d × d positive semidefinite cone. Such a representation allows us to solve linear optimization problems over P using a semidefinite program of size d and can be useful in practice when d is much smaller than the number of facets of P. If a polytope P has symmetry, we can consider equivariant psd lifts, i.e., those psd lifts that respect the symmetries of P. One of the simplest families of polytopes with interesting symmetries is regular polygons in the plane. In this paper, we give tight lower and upper bounds on the size of equivariant psd lifts for regular polygons. We give an explicit construction of an equivariant psd lift of the regular 2n-gon of size 2n − 1, and we prove that our construction is essentially optimal by proving a lower bound on the size of any equivariant psd lift of the regular N-gon that is logarithmic in N. Our construction is exponentially smaller than the (equivariant) psd lift obtained from the Lasserre/sum-of-squares hierarchy, and it also gives the first example of a polytope with an exponential gap between equivariant psd lifts and equivariant linear programming lifts.
Computational Geometry (cs.CG), FOS: Computer and information sciences, math.OC, cs.CC, Computational Complexity (cs.CC), cs.CG, Computer Science - Computational Complexity, Optimization and Control (math.OC), FOS: Mathematics, Computer Science - Computational Geometry, Mathematics - Combinatorics, Combinatorics (math.CO), math.CO, Mathematics - Optimization and Control
Computational Geometry (cs.CG), FOS: Computer and information sciences, math.OC, cs.CC, Computational Complexity (cs.CC), cs.CG, Computer Science - Computational Complexity, Optimization and Control (math.OC), FOS: Mathematics, Computer Science - Computational Geometry, Mathematics - Combinatorics, Combinatorics (math.CO), math.CO, Mathematics - Optimization and Control
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
