On sums of squares of $k$-nomials

TL;DR

This paper investigates the geometric properties of matrices with bounded factor width and their implications for polynomial nonnegativity certificates, revealing limitations of sum of $k$-nomial squares in certain cases.

Contribution

It provides new geometric insights into cones of matrices with bounded factor width and demonstrates the limitations of sum of $k$-nomial squares for certifying nonnegativity.

Findings

Sum of $k$-nomial squares do not help for symmetric quadratics.

Sum of $k$-nomial squares are ineffective for any quadratic when $k=2$.

Limitations extend to any quaternary quadratic when $k=3$.

Abstract

In 2005, Boman et al introduced the concept of factor width for a real symmetric positive semidefinite matrix. This is the smallest positive integer $k$ for which the matrix $A$ can be written as $A=VV^T$ with each column of $V$ containing at most $k$ non-zeros. The cones of matrices of bounded factor width give a hierarchy of inner approximations to the PSD cone. In the polynomial optimization context, a Gram matrix of a polynomial having factor width $k$ corresponds to the polynomial being a sum of squares of polynomials of support at most $k$. Recently, Ahmadi and Majumdar, explored this connection for case $k=2$ and proposed to relax the reliance on sum of squares polynomials in semidefinite programming to sum of binomial squares polynomials (sobs; which they call sdsos), for which semidefinite programming can be reduced to second order programming to gain scalability at the cost of some tolerable loss of precision. With this they tap into the study of sobs that goes back to Reznick and Hurwitz. In this paper, we will prove some results on the geometry of the cones of matrices with bounded factor widths and their duals, and use them to derive new results on the limitations of certificates of nonnegativity of quadratic forms by sums of $k$-nomial squares using standard multipliers. In particular we will show that they never help for symmetric quadratics, for any quadratic if $k=2$, and any quaternary quadratic if $k=3$. Furthermore we give some evidence that those are a complete list of such cases.