Convex Ternary Quartics Are SOS-Convex
Amir Ali Ahmadi, Grigoriy Blekherman, Pablo A. Parrilo

TL;DR
This paper proves that convex ternary quartic forms are necessarily sum-of-squares-convex, establishing a convex analogue to Hilbert's classical theorem on nonnegative ternary quartic forms, highlighting the importance of Hessian matrix structure.
Contribution
It establishes that convex ternary quartic forms are sos-convex, providing a new convex analogue to Hilbert's theorem and emphasizing the role of Hessian matrix structure in the proof.
Findings
Convex ternary quartic forms are sos-convex.
Hessian matrix structure is crucial in the proof.
Analogy to Hilbert's theorem on nonnegative forms.
Abstract
We prove that convex ternary quartic forms are sum-of-squares-convex (sos-convex). This result is in a meaningful sense the ``convex analogue'' a celebrated theorem of Hilbert from 1888, where he proves that nonnegative ternary quartic forms are sums of squares. We show by an appropriate construction that exploiting the structure of the Hessian matrix is crucial in any possible proof of our result.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsRings, Modules, and Algebras · Advanced Algebra and Logic · Fuzzy and Soft Set Theory
