IEEE Transactions on Automatic Control, Vol.54, No.5, 1054-1057, 2009
Positivity, Complete Positivity, and SOS Representation
The gap between positive multivariate polynomials and the sum-of-squares (SOS) representation has resurfaced as a problem of importance and interest in control theory. A representation theorem for a bihermitian form is proved. A linear map and its dual are associated with this unique form. Complete positivity and not just positivity of the linear maps is necessary as well as sufficient for SOS representation of the form.
Keywords:Bihermitian form;complete positivity;control;optimization;polynomial positivity (nonnegativity);sum-of-squares (SOS)