### Current browse context:

math.OC

### Change to browse by:

### References & Citations

# Mathematics > Optimization and Control

# Title: A convex form that is not a sum of squares

(Submitted on 18 May 2021 (v1), last revised 11 Jun 2021 (this version, v2))

Abstract: Every convex homogeneous polynomial (or form) is nonnegative. Blekherman has shown that there exist convex forms that are not sums of squares via a nonconstructive argument. We provide an explicit example of a convex form of degree four in 272 variables that is not a sum of squares. The form is related to the Cauchy-Schwarz inequality over the octonions. The proof uses symmetry reduction together with the fact (due to Blekherman) that forms of even degree, that are near-constant on the unit sphere, are convex. Using this same connection, we obtain improved bounds on the approximation quality achieved by the basic sum-of-squares relaxation for optimizing quaternary quartic forms on the sphere.

## Submission history

From: James Saunderson [view email]**[v1]**Tue, 18 May 2021 10:39:40 GMT (21kb,D)

**[v2]**Fri, 11 Jun 2021 08:14:35 GMT (22kb,D)

Link back to: arXiv, form interface, contact.