{"id":"arxiv/2605.28674","url":"https://arxiv.org/abs/2605.28674","tags":["math.OC","cs.DS","eess.SY","math.AG"],"score":0,"title":"Disjunctive Sum of Squares","domain":"math.OC","source":"arxiv","authors":["Amir Ali Ahmadi","Sanjeeb Dash","Yixuan Hua","Bartolomeo Stellato"],"reviews":0,"subject":"math.OC","summary":"We introduce the concept of disjunctive sum of squares for certifying nonnegativity of polynomials. Unlike the popular sum of squares approach where nonnegativity is certified by a single algebraic identity, the disjunctive sum of squares approach certifies nonnegativity with multiple algebraic identities which can be found in parallel. Our main result is a disjunctive Positivstellensatz proving that we can keep the degree of each algebraic identity as low as the degree of the polynomial whose nonnegativity is in question. Based on this result, we construct a semidefinite programming based…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-27","reactions":{}}