Abstract:Modeling parts of an optimization problem as an optimal value function that depends on a top-level decision variable is a regular occurrence in optimization and an essential ingredient for methods such as Benders Decomposition. It often allows for the disentanglement of computational complexity and exploitation of special structures in the lower-level problem that define the optimal value functions. If this problem is convex, duality theory can be used to build piecewise affine models of the optimal value function over which the top-level problem can be optimized efficiently. In this text, we are interested in the optimal value function of an all-quadratic problem (also called quadratically constrained quadratic problem, QCQP) which is not necessarily convex, so that duality theory can not be applied without introducing a generally unquantifiable relaxation error. This issue can be bypassed by employing copositive reformulations of the underlying QCQP. We investigate two ways to parametrize these by the top-level variable. The first one leads to a copositive characterization of an underestimator that is sandwiched between the convex envelope of the optimal value function and that envelope's lower-semicontinuous hull. The dual of that characterization allows us to derive affine underestimators. The second parametrization yields an alternative characterization of the optimal value function itself, which other than the original version has an exact dual counterpart. From the latter, we can derive convex and nonconvex quadratic underestimators of the optimal value function. In fact, we can show that any quadratic underestimator is associated with a dual feasible solution in a certain sense.

Canonical Dual Solutions to Quadratic Optimization over One Quadratic Constraint.

A Canonical Dual Approach for Solving Linearly Constrained Quadratic Programs

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

Canonical Solutions to Nonconvex Minimization Problems over Lorentz Cone

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

Global optimization for a class of fractional programming problems

Global Solutions to Large-Scale Spherical Constrained Quadratic Minimization via Canonical Dual Approach

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

Conic Approximation to Quadratic Optimization with Linear Complementarity Constraints.

On the Global Optimality of Generalized Trust Region Subproblems

On Local Minimizers of Quadratically Constrained Nonconvex Homogeneous Quadratic Optimization with at Most Two Constraints

Global Extremal Conditions for Multi-Integer Quadratic Programming

Quadratic Optimization over a Second-Order Cone with Linear Equality Constraints

On Indefinite Quadratic Optimization over the Intersection of Balls and Linear Constraints

Quadratic Optimization over One First-Order Cone

Finding quadratic underestimators for optimal value functions of nonconvex all-quadratic problems via copositive optimization

Optimality and duality in nonsmooth multiobjective fractional programming problem with constraints

Stochastic Linear-quadratic Control Problems with Affine Constraints

A dual gradient-projection method for large-scale strictly convex quadratic problems

Second Order Optimality Conditions and Reformulations for Nonconvex Quadratically Constrained Quadratic Programming Problems

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