Abstract:Local superlinear convergence of the semismooth Newton method usually necessitates assumptions on the uniform invertibility of the utilized, generalized Jacobian matrices, such as, e.g., BD- or CD-regularity. For certain composite-type problems and nonlinear programs (for which explicit representations of the generalized Jacobians of the associated stationarity equations are available), such regularity assumptions are closely connected to strong second-order sufficient conditions. However, general characterizations are not well understood. In this paper, we investigate a strong second-order sufficient condition ($\mathrm{SSOSC}$) for composite problems whose nonsmooth part has a generalized conic-quadratic second subderivative. We discuss the relationship between the $\mathrm{SSOSC}$ and other second order-type conditions that involve the generalized Jacobians of the normal map. In particular, these two conditions are equivalent under certain structural assumptions on the generalized Jacobian matrix of the proximity operator. Leveraging second-order variational techniques and properties, we then verify that the introduced structural conditions hold for a broad class of $C^2$-strictly decomposable functions. Finally, it is shown that the $\mathrm{SSOSC}$ is further equivalent to the strong metric regularity of the subdifferential, the normal map, and the natural residual.

Strong Metric Subregularity of the optimality mapping and second-order sufficient optimality conditions in extremal problems with constraints

Strong metric (sub)regularity in optimal control

Optimality Conditions for Vector Optimization Problems

A Strong Sequential Optimality Condition for Cardinality-Constrained Optimization Problems.

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

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

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

Optimality Conditions for Minimizing the Difference of Nonconvex Vector-Valued Mappings

Generalized Metric Subregularity with Applications to High-Order Regularized Newton Methods

Strong variational sufficiency of nonsmooth optimization problems on Riemannian manifolds

A Weak Maximum Principle for Discrete Optimal Control Problems with Mixed Constraints

Subdifferentials of Optimal Value Functions under Metric Qualification Conditions

BCQ and Strong BCQ for Nonconvex Generalized Equations with Applications to Metric Subregularity

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

First- and second-order optimality conditions of nonsmooth sparsity multiobjective optimization via variational analysis

Optimality conditions for robust weakly efficient solutions in uncertain optimization

Metric Subregularity of Subdifferential and KL Property of Exponent 1/2.

Variational Properties of Decomposable Functions. Part II: Strong Second-Order Theory

Constraint Qualifications and Optimality Conditions for Nonsmooth Semidefinite Multiobjective Programming Problems with Mixed Constraints Using Convexificators

Constraint Qualifications for Constrained Lipschitz Optimization Problems and Applications to A Mpcc

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