{"id":"arxiv/2601.20418","url":"https://arxiv.org/abs/2601.20418","tags":["math.OC","math.AG"],"score":0,"title":"Sufficiently Regularized Nonnegative Quartic Polynomials are Sum-of-Squares","domain":"math.OC","source":"arxiv","authors":["Wenqi Zhu","Coralia Cartis"],"reviews":0,"subject":"math.OC","summary":"A polynomial that is nonnegative need not be a sum of squares of polynomials. This classical gap, identified by Hilbert in 1888, lies at the heart of why the global optimization of multivariate quartic polynomials is NP-hard. Yet we show that this gap is closed when using (sufficient) regularization, which fundamentally alters the algebraic structure of the problem. Namely, we investigate a class of quartically-regularized cubic polynomials which arise naturally in polynomial optimization and higher-order tensor methods for nonconvex problems. We show that, under mild assumptions and for…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-28","reactions":{}}