2018/06/22 by Averkov, Gennadiy · 1 citation
#Algebraic Geometry (math.AG) #Combinatorics (math.CO) #FOS: Mathematics #Metric Geometry (math.MG) #Optimization and Control (math.OC)
paper · doi:10.48550/arxiv.1806.08656
The abbreviations LMI and SOS stand for `linear matrix inequality' and `sum of squares', respectively. The cone Σn,2d of SOS polynomials in n variables of degree at most 2d is known to have a semidefinite extended formulation with one LMI of size \binomn+dn. In other words, Σn,2d is a linear image of a set described by one LMI of size \binomn+dn. We show that Σn,2d has no semidefinite extended formulation with finitely many LMIs of size less than \binomn+dn. Thus, the standard extended formulation of Σn,2d is optimal in terms of the size of the LMIs. As a direct consequence, it follows that the cone of k × k symmetric positive semidefinite matrices has no extended formulation with finitely many LMIs of size less than k. We also derive analogous results for further cones considered in polynomial optimization such as truncated quadratic modules, the cones of copositive and completely positive matrices and the cone of sums of non-negative circuit polynomials.