A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs

The theta bodies of a polynomial ideal are a series of semidefinite programming relaxations of the convex hull of the real variety of the ideal. In this paper we construct the theta bodies of the vanishing ideal of cycles in a binary matroid. Applied to cuts in graphs, this yields a new hierarchy of...

Full description

Bibliographic Details
Main Authors: Gouveia, João (Author), Laurent, Monique (Author), Parrilo, Pablo A. (Contributor), Thomas, Rekha (Author)
Other Authors: Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor), Massachusetts Institute of Technology. Laboratory for Information and Decision Systems (Contributor)
Format: Article
Language:English
Published: Springer, 2011-05-13T21:46:59Z.
Subjects:
Online Access:Get fulltext
LEADER 01674 am a22002533u 4500
001 62821
042 |a dc 
100 1 0 |a Gouveia, João  |e author 
100 1 0 |a Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science  |e contributor 
100 1 0 |a Massachusetts Institute of Technology. Laboratory for Information and Decision Systems  |e contributor 
100 1 0 |a Parrilo, Pablo A.  |e contributor 
100 1 0 |a Parrilo, Pablo A.  |e contributor 
700 1 0 |a Laurent, Monique  |e author 
700 1 0 |a Parrilo, Pablo A.  |e author 
700 1 0 |a Thomas, Rekha  |e author 
245 0 0 |a A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs 
260 |b Springer,   |c 2011-05-13T21:46:59Z. 
856 |z Get fulltext  |u http://hdl.handle.net/1721.1/62821 
520 |a The theta bodies of a polynomial ideal are a series of semidefinite programming relaxations of the convex hull of the real variety of the ideal. In this paper we construct the theta bodies of the vanishing ideal of cycles in a binary matroid. Applied to cuts in graphs, this yields a new hierarchy of semidefinite programming relaxations of the cut polytope of the graph. If the binary matroid avoids certain minors we can characterize when the first theta body in the hierarchy equals the cycle polytope of the matroid. Specialized to cuts in graphs, this result solves a problem posed by Lovász. 
520 |a National Science Foundation (U.S.). Focused Research Group (Grant DMS-0757371) 
520 |a National Science Foundation (U.S.). Focused Research Group (Grant DMS-0757207) 
546 |a en_US 
655 7 |a Article 
773 |t Mathematical programming