{"id":"arxiv/2611.06315","url":"https://arxiv.org/abs/2611.06315","tags":["cs.SC","math.OC"],"score":0,"title":"Exact certification for conic optimization over quadratic modules: partitions of unity and recession directions","domain":"cs.SC","source":"arxiv","authors":["Didier Henrion","Alaa Ibrahim","Victor Magron"],"reviews":0,"subject":"cs.SC","summary":"We consider linear conic problems whose cone is a product of truncated quadratic modules, the sum-of-squares (SOS) side of the moment-SOS hierarchy. A floating-point solution is turned into an exact rational certificate in three steps: rounding, repair of each block residual by a constant, and absorption of the constants along a recession direction of the problem. The repair relies on strict partitions of unity in the quadratic modules. We characterize their existence, relate the canonical one to the analytic center of the dual pseudo-moment cone, Christoffel-Darboux polynomials and Pell…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-11-04","reactions":{}}