The structure of Gram matrices of sum of squares polynomials with restricted harmonic support

Some sum of squares (SOS) polynomials admit decomposition certificates, or positive semidefinite Gram matrices, with additional structure. In this work, we use the structure of Gram matrices to relate the representation theory of SL(2) to SO(2). Informally, we prove that if p is a sum of squares and lives in... Show more