Nonnegative Polynomials and Moment Problems on Algebraic Curves

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Baldi, Lorenzo, Blekherman, Grigoriy, Sinn, Rainer
Format: Preprint
Publié: 2024
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866912930288631808
author Baldi, Lorenzo
Blekherman, Grigoriy
Sinn, Rainer
author_facet Baldi, Lorenzo
Blekherman, Grigoriy
Sinn, Rainer
contents 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 $\pos$ on a smooth real projective curve $X$. We show that there is a duality between its faces and totally real effective divisors on $X$. This allows us to fully describe the face lattice in case $X$ has genus one. We compute the Carathéodory number of the dual moment cone $\pos^\vee$ for an elliptic normal curve $X$, which measures the complexity of quadrature rules of measures supported on $X$. Interestingly, the topology of the real locus of $X$ influences the Carathéodory number of $\pos^\vee$. We apply our results to truncated moment problems on affine cubic curves, where we deduce sharp bounds on the flat extension degree.
format Preprint
id arxiv_https___arxiv_org_abs_2407_06017
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Nonnegative Polynomials and Moment Problems on Algebraic Curves
Baldi, Lorenzo
Blekherman, Grigoriy
Sinn, Rainer
Algebraic Geometry
Functional Analysis
Optimization and Control
14P99, 14P25, 44A60, 14H52
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 $\pos$ on a smooth real projective curve $X$. We show that there is a duality between its faces and totally real effective divisors on $X$. This allows us to fully describe the face lattice in case $X$ has genus one. We compute the Carathéodory number of the dual moment cone $\pos^\vee$ for an elliptic normal curve $X$, which measures the complexity of quadrature rules of measures supported on $X$. Interestingly, the topology of the real locus of $X$ influences the Carathéodory number of $\pos^\vee$. We apply our results to truncated moment problems on affine cubic curves, where we deduce sharp bounds on the flat extension degree.
title Nonnegative Polynomials and Moment Problems on Algebraic Curves
topic Algebraic Geometry
Functional Analysis
Optimization and Control
14P99, 14P25, 44A60, 14H52
url https://arxiv.org/abs/2407.06017