Abstract:We revisit a formulation technique for inequality constrained optimization problems that has been known for decades: the substitution of squared variables for nonnegative variables. Using this technique, inequality constraints are converted to equality constraints via the introduction of a squared-slack variable. Such formulations have the superficial advantage that inequality constraints can be dispensed with altogether. But there are clear disadvantages, not least being that first-order optimal points for the squared-variable reformulation may not correspond to first-order optimal points for the original problem, because the Lagrange multipliers may have the wrong sign. Extending previous results, this paper shows that points satisfying approximate second-order optimality conditions for the squared-variable reformulation also, under certain conditions, satisfy approximate second-order optimality conditions for the original formulation, and vice versa. Such results allow us to adapt complexity analysis of methods for equality constrained optimization to account for inequality constraints. On the algorithmic side, we examine squared-variable formulations for several interesting problem classes, including bound-constrained quadratic programming and linear programming. We show that algorithms built on these formulations are surprisingly competitive with standard methods. For linear programming, we examine the relationship between the squared-variable approach and primal-dual interior-point methods.

On the Second Order Sufficient Optimality Conditions for a Problem of Mathematical Programming

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

Optimality Conditions of Strict Minimality in Optimization Problems under Inclusion Constraints.

Second-order Optimality Conditions for Mathematical Program with Semidefinite Cone Complementarity Constraints and Applications

On some optimality conditions for a class of problems in mathematical programming with equilibrium constraints

The Second Order Optimality Conditions for Multiobjective Programming with Set Functions

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

First and Second Order Optimality Conditions of a Class of Bilevel Programming Problems in Hilbert Spaces

Second-order optimality conditions for general nonconvex optimization problems and variational analysis of disjunctive systems

Second-Order Optimality Conditions for Mathematical Programs with Equilibrium Constraints

On the weak second-order optimality condition for nonlinear semidefinite and second-order cone programming

Optimality Conditions for Vector Optimization Problems

First Order Necessary Optimality Conditions for Mathematical Programs with Second-Order Cone Complementarity Constraints

Second-order sufficient conditions in optimal control of evolution systems

On Constraint Qualification for an Infinite System of Convex Inequalities in a Banach Space.

On Squared-Variable Formulations

Second-Order Optimality Conditions for Multiobjective Optimization Whose Order Induced by Second-Order Cone

Second-order sufficient optimality conditions in the calculus of variations

An Inexact Newton Method for Stationary Points of Mathematical Programs Constrained by Parameterized Quasi-Variational Inequalities

Second-Order Necessary/Sufficient Conditions for Optimal Control Problems in the Absence of Linear Structure

Second- Order Optimality Conditions for Strict Efficiency of Vector Optimization Problems