{"id":"arxiv/2608.22739","url":"https://arxiv.org/abs/2608.22739","tags":["math.OC"],"score":0,"title":"The Cone Generated by Positive Semidefinite Mean Polynomials","domain":"math.OC","source":"arxiv","authors":["Mehdi Ghasemi","Salma Kuhlmann"],"reviews":0,"subject":"math.OC","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-24","reactions":{}}