Abstract:Decades of advances in mixed-integer linear programming (MILP) and recent development in mixed-integer second-order-cone programming (MISOCP) have translated very mildly to progresses in global solving nonconvex mixed-integer quadratically constrained programs (MIQCP). In this paper we propose a new approach, namely Compact Disjunctive Approximation (CDA), to approximate nonconvex MIQCP to arbitrary precision by \textit{convex} MIQCPs, which can be solved by MISOCP solvers. For nonconvex MIQCP with $n$ variables and $m$ general quadratic constraints, our method yields relaxations with at most $O(n\log(1/\varepsilon))$ number of continuous/binary variables and linear constraints, together with $m$ \textit{convex} quadratic constraints, where $\varepsilon$ is the approximation accuracy. The main novelty of our method lies in a very compact lifted mixed-integer formulation for approximating the (scalar) square function. This is derived by first embedding the square function into the boundary of a three-dimensional second-order cone, and then exploiting rotational symmetry in a similar way as in the construction of BenTal-Nemirovski approximation. We further show that this lifted formulation characterize the union of finite number of simple convex sets, which naturally relax the square function in a piecewise manner with properly placed knots. We implement (with JuMP) a simple adaptive refinement algorithm. Numerical experiments on synthetic instances used in the literature show that our prototypical implementation (with hundreds of lines of Julia code) can already close a significant portion of gap left by various state-of-the-art global solvers on more difficult instances, indicating strong promises of our proposed approach.

Simultaneous Diagonalization of Matrices and Its Applications in Quadratically Constrained Quadratic Programming

New notions of simultaneous diagonalizability of quadratic forms with applications to QCQPs

Projectively and Weakly Simultaneously Diagonalizable Matrices and their Applications

On semidefinite descriptions for convex hulls of quadratic programs

Improving the Performance of MIQP Solvers for Quadratic Programs with Cardinality and Minimum Threshold Constraints: A Semidefinite Program Approach.

Convex Relaxations for Nonconvex Quadratically Constrained Quadratic Programming: Matrix Cone Decomposition and Polyhedral Approximation

Simultaneous Diagonalization Under Weak Regularity and a Characterization

Nonconvex Quadratically Constrained Quadratic Programming: Best D.C. Decompositions and Their SDP Representations.

Equivalent Sufficient Conditions for Global Optimality of Quadratically Constrained Quadratic Program

On the tightness of an SDP relaxation for homogeneous QCQP with three real or four complex homogeneous constraints

Second Order Cone Constrained Convex Relaxations for Nonconvex Quadratically Constrained Quadratic Programming

Separable Relaxation for Nonconvex Quadratic Integer Programming: Integer Diagonalization Approach

On the Reduction of Duality Gap in Box Constrained Nonconvex Quadratic Program

Lagrangian Decomposition and Mixed-Integer Quadratic Programming Reformulations for Probabilistically Constrained Quadratic Programs

Exact SDP relaxations for a class of quadratic programs with finite and infinite quadratic constraints

Compact Disjunctive Approximations to Nonconvex Quadratically Constrained Programs

On the Equivalence of SDP Feasibility and a Convex Hull Relaxation for System of Quadratic Equations

Globally Solving Quadratic Programs with Convex Objective and Complementarity Constraints Via Completely Positive Programming

On zero duality gap in nonconvex quadratic programming problems

A block symmetric Gauss-Seidel decomposition theorem for convex composite quadratic programming and its applications

A Distributed Algorithm for High-Dimension Convex Quadratically Constrained Quadratic Programs