We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Optimization and Control

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

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.
Comments: 19 pages, minor edits
Subjects: Optimization and Control (math.OC); Algebraic Geometry (math.AG)
DOI: 10.1287/moor.2022.1273
Cite as: arXiv:2105.08432 [math.OC]
  (or arXiv:2105.08432v2 [math.OC] for this version)

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.