Nonnegative Polynomials and Moment Problems on Algebraic Curves
Lorenzo Baldi, Grigoriy Blekherman, Rainer Sinn

TL;DR
This paper explores the structure of nonnegative polynomials on algebraic curves, revealing dualities and computing complexity measures, with applications to moment problems on cubic curves.
Contribution
It systematically characterizes the facial structure of nonnegative polynomial cones on algebraic curves and computes the Carathéodory number for elliptic curves.
Findings
Complete description of face lattice for genus one curves
Carathéodory number computed for elliptic normal curves
Bounds on flat extension degree for moment problems on cubic curves
Abstract
The cone of nonnegative polynomials is of fundamental importance in real algebraic geometry, but its facial structure is understood in very few cases. We initiate a systematic study of the facial structure of the cone of nonnegative polynomials on a smooth real projective curve . We show that there is a duality between its faces and totally real effective divisors on . This allows us to fully describe the face lattice in case has genus one. We compute the Carath\'{e}odory number of the dual moment cone for an elliptic normal curve , which measures the complexity of quadrature rules of measures supported on . Interestingly, the topology of the real locus of influences the Carath\'{e}odory number of . We apply our results to truncated moment problems on affine cubic curves, where we deduce sharp bounds on the flat extension degree.
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
TopicsPolynomial and algebraic computation · Algebraic Geometry and Number Theory · Advanced Numerical Analysis Techniques
