{"id":"arxiv/2606.27551","url":"https://arxiv.org/abs/2606.27551","tags":["math.AG","math.FA","math.OC"],"score":0,"title":"Any-dimensional Positivstellensätze for symmetric functions","domain":"math.AG","source":"arxiv","authors":["Sebastian Debus","Robin Schabert"],"reviews":0,"subject":"math.AG","summary":"Positivstellensätze provide certificates of positivity for polynomials. Extending these certificates to symmetric functions, uniformly across all dimensions, presents structural challenges. For instance, the underlying domain is not semialgebraic. In this paper, we prove two Positivstellensätze for symmetric functions that are uniformly bounded below by some $\\varepsilon > 0$. These are infinite-dimensional analogs of theorems of Pólya and Reznick. The proof relates evaluations of the (truncated) power sum map $(p_2,p_3,\\dots)$ to moments of discrete probability measures on the compact…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-25","reactions":{}}