The Cone Generated by Positive Semidefinite Mean Polynomials
We study the cone $\mathcal{M}_{n,2d}$ of nonnegative mean polynomials---real $n$-variate forms of degree $2d$ that can be expressed as weighted power means $M_{q,p}(Y,w)$ with $q>p$. This cone simultaneously generalises the cone of sums of squares $Σ_{n,2d}$ and the cone of sums of nonnegative circuit polynomials $\mathcal{C}_{n,2d}$. We prove that every square of an arbitrary polynomial belongs to the mean polynomial preprime $T_{\mathrm{mean}}$, that $T_{\mathrm{mean}}$ is strongly generating, and consequently that every polynomial strictly positive on a compact semialgebraic set admits a…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.22739
curl -X POST /api/v1/records/arxiv/2608.22739/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.22739/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'