{"id":"arxiv/2605.15821","url":"https://arxiv.org/abs/2605.15821","tags":["math.OC"],"score":0,"title":"Degree Bounds for Positivstellensätze of general semialgebraic sets","domain":"math.OC","source":"arxiv","authors":["Olga Heijmans-Kuryatnikova","Juan C. Vera","Luis F. Zuluaga"],"reviews":0,"subject":"math.OC","summary":"Let $p_{\\min}$ denote the minimum of a polynomial $p$ over a (general) compact semialgebraic set $S \\subseteq \\mathbb{R}^n$. A standard way to approximate $p_{\\min}$ is via hierarchies built from Positivstellensätze, which certify nonnegativity of polynomials on $S$ using sums of squares or other classes of globally nonnegative polynomials. As the degree of the certificate grows, the values generated by these hierarchies converge asymptotically to $p_{\\min}$. A natural question is, then, to determine explicit bounds on the certificate's degree needed to obtain a prescribed…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-15","reactions":{}}