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.

Strong duality for a problem of linear copositive programming

On the Uniform Duality in Copositive Optimization

Explicit criterion of uniform LP duality for linear problems of copositive optimization

Face reduction and the immobile indices approaches to regularization of linear Copositive Programming problems

A new proof of the strong duality theorem for semidefinite programming

STABLE LAGRANGE DUALITIES FOR ROBUST CONICAL PROGRAMMING

On duality in linear fractional programming

Towards Strong Duality in Integer Programming

The Dual Normal Chip and Linear Regularity for Infinite Systems of Convex Sets in Banach Spaces

Constraint Qualifications for Extended Farkas'S Lemmas and Lagrangian Dualities in Convex Infinite Programming

An approach to duality via image space analysis and applications to linear vector optimization problems

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

Lossless Convexification and Duality

Strong duality for robust minimax fractional programming problems

A duality theorem for a homogeneous fractional programming problem

Stable and Total Fenchel Duality for Convex Optimization Problems in Locally Convex Spaces

On the equivalence between the minimax theorem and strong duality of conic linear programming

Extended canonical duality and conic programming for solving 0-1 quadratic programming problems

Second Order Duality for Nonlinear Programming

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

On equivalent representations and properties of faces of the cone of copositive matrice