Abstract:In this paper, we consider the problem of minimizing a nonconvex quadratic function, subject to two quadratic inequality constraints. As an application, such a quadratic program plays an important role in the trust region method for nonlinear optimization; such a problem is known as the Celis, Dennis, and Tapia (CDT) subproblem in the literature. The Lagrangian dual of the CDT subproblem is a semidefinite program (SDP), hence convex and solvable. However, a positive duality gap may exist between the CDT subproblem and its Lagrangian dual because the CDT subproblem itself is nonconvex. In this paper, we present a necessary and sufficient condition to characterize when the CDT subproblem and its Lagrangian dual admits no duality gap (i.e., the strong duality holds). This necessary and sufficient condition is easy verifiable and involves only one (any) optimal solution of the SDP relaxation for the CDT subproblem. Moreover, the condition reveals that it is actually rare to render a positive duality gap for the CDT subproblems in general. Moreover, if the strong duality holds, then an optimal solution for the CDT problem can be retrieved from an optimal solution of the SDP relaxation, by means of a matrix rank-one decomposition procedure. The same analysis is extended to the framework where the necessary and sufficient condition is presented in terms of the Lagrangian multipliers at a KKT point. Furthermore, we show that the condition is numerically easy to work with approximatively.

Duality Gap Estimation Of Linear Equality Constrained Binary Quadratic Programming

On Duality Gap in Binary Quadratic Programming

Improved Estimation of Duality Gap in Binary Quadratic Programming Using a Weighted Distance Measure

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

On zero duality gap in nonconvex quadratic programming problems

On Reduction of Duality Gap in Quadratic Knapsack Problems

Towards Strong Duality in Integer Programming

Convexifiability of Continuous and Discrete Nonnegative Quadratic Programs for Gap-Free Duality

Tightening a Copositive Relaxation for Standard Quadratic Optimization Problems

Constraint Qualifications for Optimality Conditions and Total Lagrange Dualities in Convex Infinite Programming

Parametric Lagrangian Dual for the Binary Quadratic Programming Problem

New Dual Formulations In Constrained Integer Programming

Exact Augmented Lagrangian Duality for Mixed Integer Quadratic Programming

Strong Duality for the Cdt Subproblem: A Necessary and Sufficient Condition

Eliminating duality gap in integer programming via objective cuts

Asymptotic Strong Duality for Bounded Integer Programming: A Logarithmic-Exponential Dual Formulation

A subspace SQP method for equality constrained optimization

Dual Problems Based on a Class of Nonlinear Lagrange Functions

Lagrangian Duality and Saddle Points for Sparse Linear Programming

Complete Theory for E47 and 94lvi Algorithms Solving Inequality-And-Bound Constrained Quadratic Program Efficiently

Convex Relaxation and Lagrangian Decomposition for Indefinite Integer Quadratic Programming