Theta Bodies for Polynomial Ideals
Author(s)Parrilo, Pablo A.; Thomas, Rekha R.; Gouveia, João
THETA BODIES FOR POLYNOMIAL IDEALS
MetadataShow full item record
Inspired by a question of Lovász, we introduce a hierarchy of nested semidefinite relaxations of the convex hull of real solutions to an arbitrary polynomial ideal called theta bodies of the ideal. These relaxations generalize Lovász's construction of the theta body of a graph. We establish a relationship between theta bodies and Lasserre's relaxations for real varieties which allows, in many cases, for theta bodies to be expressed as feasible regions of semidefinite programs. Examples from combinatorial optimization are given. Lovász asked to characterize ideals for which the first theta body equals the closure of the convex hull of its real variety. We answer this question for vanishing ideals of finite point sets via several equivalent characterizations. We also give a geometric description of the first theta body for all ideals.
DepartmentMassachusetts Institute of Technology. Department of Electrical Engineering and Computer Science; Massachusetts Institute of Technology. Laboratory for Information and Decision Systems
SIAM Journal on Optimization
Society for Industrial and Applied Mathematics
Gouveia, João, Pablo A. Parrilo, and Rekha R. Thomas. "Theta Bodies for Polynomial Ideals." SIAM J. Optim. Volume 20, Issue 4, pp. 2097-2118 (2010) ©2010 Society for Industrial and Applied Mathematics.
Final published version