Show simple item record

dc.contributor.authorFawzi, Hamzaen
dc.contributor.authorSaunderson, Jen
dc.contributor.authorParrilo, PAen
dc.date.accessioned2017-08-15T10:39:38Z
dc.date.available2017-08-15T10:39:38Z
dc.date.issued2017-05en
dc.identifier.issn0364-765X
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/266381
dc.description.abstractGiven a polytope P in $\mathbb{R}^n$, we say that P has a positive semidefinite lift (psd lift) of size d if one can express P as the linear projection of an affine slice of the positive semidefinite cone $\mathbf{S}^d_+$. If a polytope P has symmetry, we can consider equivariant psd lifts, i.e. those psd lifts that respect the symmetry of P. One of the simplest families of polytopes with interesting symmetries are regular polygons in the plane, which have played an important role in the study of linear programming lifts (or extended formulations). In this paper we study equivariant psd lifts of regular polygons. We first show that the standard Lasserre/sum-of-squares hierarchy for the regular N-gon requires exactly ceil(N/4) iterations and thus yields an equivariant psd lift of size linear in N. In contrast we show that one can construct an equivariant psd lift of the regular 2^n-gon of size 2n-1, which is exponentially smaller than the psd lift of the sum-of-squares hierarchy. Our construction relies on finding a sparse sum-of-squares certificate for the facet-defining inequalities of the regular 2^n-gon, i.e., one that only uses a small (logarithmic) number of monomials. Since any equivariant LP lift of the regular 2^n-gon must have size 2^n, this gives the first example of a polytope with an exponential gap between sizes of equivariant LP lifts and equivariant psd lifts. Finally we prove that our construction is essentially optimal by showing that any equivariant psd lift of the regular N-gon must have size at least logarithmic in N.
dc.description.sponsorshipThis work was supported by the Air Force Office of Scientific Research [Grants FA9550-11-1-0305 and FA9550-12-1-0287].
dc.language.isoenen
dc.publisherInstitute for Operations Research and the Management Sciences
dc.subjectmath.OCen
dc.subjectmath.OCen
dc.subjectcs.CCen
dc.subjectcs.CGen
dc.subjectmath.COen
dc.titleEquivariant semidefinite lifts of regular polygonsen
dc.typeArticle
prism.endingPage494
prism.issueIdentifier2en
prism.publicationDate2017en
prism.publicationNameMathematics of Operations Researchen
prism.startingPage472
prism.volume42en
dc.identifier.doi10.17863/CAM.9715
dcterms.dateAccepted2016-06-14en
rioxxterms.versionofrecord10.1287/moor.2016.0813en
rioxxterms.versionAMen
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserveden
rioxxterms.licenseref.startdate2017-05en
dc.contributor.orcidFawzi, Hamza [0000-0001-6026-4102]
dc.identifier.eissn1526-5471
rioxxterms.typeJournal Article/Reviewen
cam.issuedOnline2016-11-16en
dc.identifier.urlhttps://pubsonline.informs.org/doi/10.1287/moor.2016.0813en
rioxxterms.freetoread.startdate2018-08-24


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record