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.

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

Kkt Solution And Conic Relaxation For Solving Quadratically Constrained Quadratic Programming Problems

The robust isolated calmness of spectral norm regularized convex matrix optimization problems

On the robust isolated calmness of a class of nonsmooth optimizations on Riemannian manifolds and its applications

Isolated calmness of perturbation mappings in generalized nonlinear programming and local superlinear convergence of Newton-type methods

Perturbation analysis of a class of composite optimization problems

Stability for Nash Equilibrium Problems

A new problem qualification based on approximate KKT conditions for Lipschitzian optimization with application to bilevel programming

Local Stabilizing Control for Polynomial Nonlinear Systems

STABLE LAGRANGE DUALITIES FOR ROBUST CONICAL PROGRAMMING

Calmness and Stability of Cone-Weakly Efficient Solution for Vector Optimization Problems of Set-Valued Maps

A Constrained Optimization Approach for Lcp

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

Error bounds, PL condition, and quadratic growth for weakly convex functions, and linear convergences of proximal point methods

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

On singularly perturbed systems that are monotone with respect to a matrix cone of rank $k$

On Enhanced KKT Optimality Conditions for Smooth Nonlinear Optimization

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

Learning deep Koopman operators with convex stability constraints

A Canonical Dual Approach for Solving Linearly Constrained Quadratic Programs