Optimal degree bounds for sum-of-squares representations

Alexander Taveira Blomenhofer, Sander Gribling, Didier Henrion, Milan Korda, Poornendu Kumar, Victor Magron, Lucas Slot, Luis Felipe Vargas, Juan Vera

arXivarxiv/2610.24638Oct 17, 2026math.OCscore 0

The moment-sum-of-squares (SOS) hierarchy provides a sequence of bounds on the minimum of a polynomial over a basic closed semialgebraic set, i.e., a subset of $\mathbb{R}^n$ defined by finitely many polynomial constraints. We establish optimal bounds on the error of the SOS hierarchy in the following settings: 1. If the constraints define an Archimedean quadratic module: the error of the Putinar-based hierarchy at level $k$ is $Θ((\log k)^4/k^2)$ in the worst case. 2. If the constraints define a compact semialgebraic set: the error of the Schmüdgen-based hierarchy at level $k$ is $Θ((\log…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2610.24638
curl -X POST /api/v1/records/arxiv/2610.24638/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.24638/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'