Abstract:In this paper, we consider an SDP relaxation of the quadratic knapsack problem (QKP). After using the Burer-Monteiro factorization, we get a non-convex optimization problem, whose feasible region is an algebraic variety. Although there might be non-regular points on the algebraic variety, we prove that the algebraic variety is a smooth manifold except for a trivial point for a generic input data. We also analyze the local geometric properties of non-regular points on this algebraic variety. In order to maintain the equivalence between the SDP problem and its non-convex formulation, we derive a new rank condition under which these two problems are equivalent. This new rank condition can be much weaker than the classical rank condition if the coefficient matrix has certain special structures. We also prove that under an appropriate rank condition, any second order stationary point of the non-convex problem is also a global optimal solution without any regularity assumption. This result is distinguished from previous results based on LICQ-like smoothness assumption. With all these theoretical properties, we design an algorithm that equip a manifold optimization method with a strategy to escape from non-optimal non-regular points. Our algorithm can also be used as a heuristic for solving the quadratic knapsack problem. Numerical experiments are conducted to verify the high efficiency and robustness of our algorithm as compared to other SDP solvers and a heuristic method based on dynamic programming. In particular, our algorithm is able to solve the SDP relaxation of a one-million dimensional QKP with a sparse cost matrix very accurately in about 20 minutes on a modest desktop computer.

A new variable reduction technique for convex integer quadratic programs

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

A GLOBALLY AND SUPERLIEARLY CONVERGENT FEASIBLE SQP ALGORITHM FOR DEGENERATE CONSTRAINED OPTIMIZATION

Quadratic Convex Reformulations for Integer and Mixed-Integer Quadratic Programs

A new bound-and-reduce approach of nonconvex quadratic programming problems

Convex Relaxation and Lagrangian Decomposition for Indefinite Integer Quadratic Programming

Separable Relaxation for Nonconvex Quadratic Integer Programming: Integer Diagonalization Approach

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

An Approximate Dynamic Programming Approach to Convex Quadratic Knapsack Problems

An Eigenvalue Decomposition Based Branch-and-bound Algorithm for Nonconvex Quadratic Programming Problems with Convex Quadratic Constraints

Compact mixed-integer programming formulations in quadratic optimization

Variable Reduction For Quadratic Unconstrained Binary Optimization

A New Global Optimization Method Based on Simplex Branching for Solving a Class of Non-Convex QCQP Problems

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

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

Improving the Solution of Indefinite Quadratic Programs and Linear Programs with Complementarity Constraints by a Progressive MIP Method

An Outer Approximation Method for Solving Mixed-Integer Convex Quadratic Programs with Indicators

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

A Mixed-Binary Convex Quadratic Reformulation for Box-Constrained Nonconvex Quadratic Integer Program

A feasible method for solving an SDP relaxation of the quadratic knapsack problem

Computational Study of Branch-and-Bound Method for Concave Integer Programming