{"id":"arxiv/2610.24638","url":"https://arxiv.org/abs/2610.24638","tags":["math.OC"],"score":0,"title":"Optimal degree bounds for sum-of-squares representations","domain":"math.OC","source":"arxiv","authors":["Alexander Taveira Blomenhofer","Sander Gribling","Didier Henrion","Milan Korda","Poornendu Kumar","Victor Magron","Lucas Slot","Luis Felipe Vargas","Juan Vera"],"reviews":0,"subject":"math.OC","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-17","reactions":{}}