Abstract:SIAM Journal on Optimization, Volume 34, Issue 2, Page 1515-1539, June 2024. The Fritz John (FJ) and Karush–Kuhn–Tucker (KKT) conditions are fundamental tools for characterizing minimizers and form the basis of almost all methods for constrained optimization. Since the seminal works of Fritz John, Karush, Kuhn, and Tucker, FJ/KKT conditions have been enhanced by adding extra necessary conditions. Such an extension was initially proposed by Hestenes in the 1970s and later extensively studied by Bertsekas and collaborators. In this work, we revisit enhanced KKT stationarity for standard (smooth) nonlinear programming. We argue that every KKT point satisfies the usual enhanced versions found in the literature. Therefore, enhanced KKT stationarity only concerns the Lagrange multipliers. We then analyze some properties of the corresponding multipliers under the quasi-normality constraint qualification (QNCQ), showing in particular that the set of so-called quasinormal multipliers is compact under QNCQ. Also, we report some consequences of introducing an extra abstract constraint to the problem. Given that enhanced FJ/KKT concepts are obtained by aggregating sequential conditions to FJ/KKT, we discuss the relevance of our findings with respect to the well-known sequential optimality conditions, which have been crucial in generalizing the global convergence of a well-established safeguarded augmented Lagrangian method. Finally, we apply our theory to mathematical programs with complementarity constraints and multiobjective problems, improving and elucidating previous results in the literature.

Properties of Equation Reformulation of the Karush–Kuhn–Tucker Condition for Nonlinear Second Order Cone Optimization Problems

A GLOBALLY AND SUPERLIEARLY CONVERGENT FEASIBLE SQP ALGORITHM FOR DEGENERATE CONSTRAINED OPTIMIZATION

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

A second-order sequential optimality condition for nonlinear second-order cone programming problems

Second-order Karush/Kuhn–Tucker conditions and duality for constrained multiobjective optimization problems

Strong calmness of perturbed KKT system for a class of conic programming with degenerate solutions

Efficiency Conditions for Nonsmooth Vector Equilibrium Problems with Constraints via Generalized Subdifferentials

A Unified Convergence Analysis of a Second-Order Method of Multipliers for Nonlinear Conic Programming

On Enhanced KKT Optimality Conditions for Smooth Nonlinear Optimization

Perturbation analysis of a class of composite optimization problems

Second Order Cone Constrained Convex Relaxations for Nonconvex Quadratically Constrained Quadratic Programming

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

Dual Kuhn-Tucker necessary conditions for strict minima of order two for nonsmooth vector optimization problems with inequality and equality constraints

Optimization Condition and Algorithm of Optimization with Convertible Nonconvex Function

A Krylov Subspace Method for Large-Scale Second-Order Cone Linear Complementarity Problem

Global and local convergence of a nonmonotone SQP method for constrained nonlinear optimization

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

Second-Order Strong Optimality and Second-Order Duality for Nonsmooth Constrained Multiobjective Fractional Programming Problems

Optimality Conditions for Problems over Symmetric Cones and a Simple Augmented Lagrangian Method

Computation Algorithm for Convex Semi-infinite Program with Second-Order Cones: Special Analyses for Affine and Quadratic Case

Conic Approximation to Quadratic Optimization with Linear Complementarity Constraints.