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.

Solving a Class of Nonconvex Quadratic Programs by Inertial DC Algorithms

Solving Convex Quadratic Programming by Potential-Reduction Interior-Point Algorithm

Improved DC Programming Approaches for Solving the Quadratic Eigenvalue Complementarity Problem

A hybrid algorithm for quadratically constrained quadratic optimization problems

A New Active Set Scheme for Quadratic Programing

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

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

Compact Disjunctive Approximations to Nonconvex Quadratically Constrained Programs

Efficient Use of Quantum Linear System Algorithms in Inexact Infeasible IPMs for Linear Optimization

Successive convex approximations to cardinality-constrained convex programs: a piecewise-linear DC approach

Inertial primal-dual algorithms for structured convex optimization

A Canonical Dual Approach for Solving Linearly Constrained Quadratic Programs

A New Algorithm for Finding Global Solution of Indefinite Quadratic Programming Problems

Convex Relaxation and Lagrangian Decomposition for Indefinite Integer Quadratic Programming

Parabolic Relaxation for Quadratically-constrained Quadratic Programming -- Part II: Theoretical & Computational Results

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

An Inexact Feasible Quantum Interior Point Method for Linearly Constrained Quadratic Optimization

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

Efficient DC Algorithm for Constrained Sparse Optimization

An Inexact Proximal Linearized DC Algorithm with Provably Terminating Inner Loop