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.

A Reformulation of the Criteria for the Independence of Quadratic Functions in Normal Variables

Linear algebra of quadratic forms and polynomial identity

The FM and BCQ Qualifications for Inequality Systems of Convex Functions in Normed Linear Spaces

Vanishing of quasi-invariant generalized functions

Central Limit Theorems for Weighted Quadratic Forms of Dependent Processes with Applications in Specification Testing

Transforming A Nonlinear System To A P-Normal Form Via Coordinates Transformation

GLOBAL EXISTENCE OF SOLUTIONS FOR QUADRATIC QUASI-LINEAR KLEIN-GORDON SYSTEMS IN ONE SPACE DIMENSION

Two refined notions in quadratic form theory

Algebraic independence of values of quasi-modular forms

Universality criterion sets for quadratic forms over number fields

On n-universal quadratic forms over dyadic local fields

A central limit theorem for generalized quadratic forms

New notions of simultaneous diagonalizability of quadratic forms with applications to QCQPs

On Squared-Variable Formulations

Linear independence measures for values of certain q-series

Simultaneous symplectic reduction of quadratic forms into normal forms

On indefinite and potentially universal quadratic forms over number fields

Robust Stability of Polynomials and Strictly Positive Realness Invariance of Rational Functions in Coefficient Space

Hecke-type identities associated with definite quadratic forms

On postcritical sets of quadratic polynomials with a neutral fixed point

Congruent Numbers, Quadratic Forms and $$K_2$$