A complete characterization of disjunctive conic cuts for mixed integer second order cone optimization

We study the convex hull of the intersection of a disjunctive set defined by parallel hyperplanes and the feasible set of a mixed integer second order cone optimization (MISOCO) problem. We extend our prior work on disjunctive conic cuts (DCCs), which has thus far been restricted to the case in which the intersection of the hyperplanes and the feasible set is bounded. Using a similar technique, we show that one can extend our previous results to the case in which that intersection is unbounded. We provide a complete characterization in closed form of the conic inequalities required to describe the convex hull when the hyperplanes defining the disjunction are parallel.

[1]  S. Ulbrich,et al.  MIXED INTEGER SECOND ORDER CONE PROGRAMMING , 2008 .

[2]  Daniel Dadush,et al.  The split closure of a strictly convex body , 2011, Oper. Res. Lett..

[3]  Julio C. Góez,et al.  A Conic Representation of the Convex Hull of Disjunctive Sets and Conic Cuts for Integer Second Order Cone Optimization , 2015 .

[4]  Mehmet Tolga Çezik,et al.  Cuts for mixed 0-1 conic programming , 2005, Math. Program..

[5]  Juan Pablo Vielma,et al.  Intersection cuts for nonlinear integer programming: convexification techniques for structured sets , 2013, Mathematical Programming.

[6]  Kent Andersen,et al.  Intersection Cuts for Mixed Integer Conic Quadratic Sets , 2013, IPCO.

[7]  Pietro Belotti,et al.  On families of quadratic surfaces having fixed intersections with two hyperplanes , 2013, Discret. Appl. Math..

[8]  Juan Pablo Vielma,et al.  Split cuts and extended formulations for Mixed Integer Conic Quadratic Programming , 2015, Oper. Res. Lett..

[9]  Gene H. Golub,et al.  Some modified matrix eigenvalue problems , 1973, Milestones in Matrix Computation.

[10]  S. R. Searle,et al.  Matrix Algebra Useful for Statistics , 1982 .

[11]  Julio C. Góez,et al.  Mixed Integer Second Order Cone Optimization, Disjunctive Conic Cuts: Theory and experiments , 2013 .

[12]  Ralph E. Gomory,et al.  Outline of an Algorithm for Integer Solutions to Linear Programs and An Algorithm for the Mixed Integer Problem , 2010, 50 Years of Integer Programming.

[13]  Fatma Kln,et al.  Two-Term Disjunctions on the Second-Order Cone , 2015 .

[14]  Sercan Yildiz,et al.  Two-term disjunctions on the second-order cone , 2014, IPCO.

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

[16]  Gérard Cornuéjols,et al.  Valid inequalities for mixed integer linear programs , 2007, Math. Program..

[17]  Sanjay Mehrotra,et al.  A branch-and-cut method for 0-1 mixed convex programming , 1999, Math. Program..