The split closure of a strictly convex body

The Chvatal-Gomory closure and the split closure of a rational polyhedron are rational polyhedra. It has been recently shown that the Chvatal-Gomory closure of a strictly convex body is also a rational polytope. In this note, we show that the split closure of a strictly convex body is defined by a finite number of split disjunctions, but is not necessarily polyhedral. We also give a closed form expression in the original variable space of a split cut for full-dimensional ellipsoids.

[1]  Egon Balas.  Disjunctive Programming , 2010, 50 Years of Integer Programming.

[2]  Jon Lee,et al.  Convex relaxations of non-convex mixed integer quadratically constrained programs: extended formulations , 2010, Math. Program..

[3]  Kent Andersen,et al.  Split closure and intersection cuts , 2002, Math. Program..

[4]  William J. Cook,et al.  Chvátal closures for mixed integer programming problems , 1990, Math. Program..

[5]  M. Jünger,et al.  50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art , 2010 .

[6]  Alper Atamtürk,et al.  Lifting for conic mixed-integer programming , 2011, Math. Program..

[7]  R. Tyrrell Rockafellar,et al.  Convex Analysis , 1970, Princeton Landmarks in Mathematics and Physics.

[8]  Jon Lee,et al.  Convex relaxations of non-convex mixed integer quadratically constrained programs: projected formulations , 2011, Math. Program..

[9]  Juan Pablo Vielma,et al.  The Chvátal-Gomory Closure of an Ellipsoid Is a Polyhedron , 2010, IPCO.

[10]  Laurence A. Wolsey,et al.  Mixed Integer Programming , 2008, Wiley Encyclopedia of Computer Science and Engineering.

[11]  Arkadi Nemirovski,et al.  Lectures on modern convex optimization - analysis, algorithms, and engineering applications , 2001, MPS-SIAM series on optimization.

[12]  David K. Smith.  Theory of Linear and Integer Programming , 1987 .

[13]  Alexander Schrijver,et al.  On Cutting Planes , 1980 .

[14]  Andrea Lodi,et al.  MIR closures of polyhedral sets , 2009, Math. Program..

[15]  Juan Pablo Vielma.  A constructive characterization of the split closure of a mixed integer linear program , 2007, Oper. Res. Lett..

[16]  Andrea Lodi,et al.  Mixed Integer Programming Computation , 2010, 50 Years of Integer Programming.

[17]  Daniel Dadush,et al.  The Chvátal-Gomory Closure of a Strictly Convex Body , 2011, Math. Oper. Res..