On Minimal Valid Inequalities for Mixed Integer Conic Programs

We study disjunctive conic sets involving a general regular (closed, convex, full dimensional, and pointed) cone (K-script) such as the nonnegative orthant, the Lorentz cone, or the positive semidefinite cone. In a unified framework, we introduce (K-script) -minimal inequalities and show that, under mild assumptions, these inequalities together with the trivial cone-implied inequalities are sufficient to describe the convex hull. We focus on the properties of (K-script) -minimal inequalities by establishing algebraic necessary conditions for an inequality to be (K-script) -minimal. This characterization leads to a broader algebraically defined class of (K-script) -sublinear inequalities. We demonstrate a close connection between (K-script) -sublinear inequalities and the support functions of convex sets with a particular structure. This connection results in practical ways of verifying (K-script) -sublinearity and/or (K-script) -minimality of inequalities.Our study generalizes some of the results from the mixed integer linear case. It is well known that the minimal inequalities for mixed integer linear programs are generated by sublinear (positively homogeneous, subadditive, and convex) functions that are also piecewise linear. Our analysis easily recovers this result. However, in the case of general regular cones other than the nonnegative orthant, our study reveals that such a cut-generating function view, which treats the data associated with each individual variable independently, is far from sufficient.