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.

Compact mixed-integer programming formulations in quadratic optimization

Compact Disjunctive Approximations to Nonconvex Quadratically Constrained Programs

Enhancements of Discretization Approaches for Non-Convex Mixed-Integer Quadratically Constraint Quadratic Programming: Part I

Enhancements of discretization approaches for non-convex mixed-integer quadratically constrained quadratic programming: Part I

Global solutions of nonconvex standard quadratic programs via mixed integer linear programming reformulations

All You Need is a Paraboloid: Quadratic Cuts for Non-Convex MINLP

Global optimization algorithm for mixed integer quadratically constrained quadratic program

A mixed-integer branching approach for very small formulations of disjunctive constraints

A Slightly Lifted Convex Relaxation for Nonconvex Quadratic Programming with Ball Constraints

A Perturbation Approach for an Inverse Quadratic Programming Problem

An exact solution method for unconstrained quadratic 0–1 programming: a geometric approach

A novel dual-decomposition method for non-convex mixed integer quadratically constrained quadratic problems

Convex Relaxation and Lagrangian Decomposition for Indefinite Integer Quadratic Programming

Quadratic Convex Reformulation for Nonconvex Binary Quadratically Constrained Quadratic Programming Via Surrogate Constraint

Compact Linearization for Binary Quadratic Problems subject to Linear Equations

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

Quadratic Convex Reformulations for Integer and Mixed-Integer Quadratic Programs

Tight MIQP Reformulations for Semi-Continuous Quadratic Programming: Lift-and-Convexification Approach

Tight MIQP Reformulations for Semi-Continuous Quadratic Programming: Lift-and-Convexification Approach

On Squared-Variable Formulations

Biquadratic Optimization over Unit Spheres and Semidefinite Programming Relaxations