Degree Bounds for Positivstellensätze of general semialgebraic sets
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.15821
curl -X POST /api/v1/records/arxiv/2605.15821/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.15821/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'