Title:Theta Bodies for Polynomial Ideals

Abstract: A polynomial ideal I is TH_k-exact if every linear polynomial that is non-negative over the real variety of I is a sum of squares of polynomials of degree at most k modulo I. Lovasz recognized that a graph is perfect if and only if the vanishing ideal of the characteristic vectors of its stable sets is TH_1-exact, and asked for a characterization of ideals which are TH_1-exact. We characterize finite point sets whose vanishing ideals are TH_1-exact answering Lovasz's question for zero-dimensional varieties instead of ideals. Several properties and examples follow. Lovasz's question leads to a hierarchy of relaxations for the convex hull of V_R(I) that generalizes the theta body of a graph to a sequence of theta bodies for polynomial ideals. We prove that these theta bodies are a version of Lasserre's relaxations, and are thus feasible regions of semidefinite programs. When V_R(I) is contained in {0,1}^n, we show how these theta bodies relate to the Lovasz-Schrijver relaxations of the convex hull of V_R(I). As an application we derive a (new) canonical set of semidefinite relaxations for the cut polytope of an arbitrary graph. We also determine the structure of the first theta body of an arbitrary ideal which yields examples of non-zero-dimensional TH_1-exact ideals.