2023/11/13 by Wenqing Ouyang, Ouyang, Wenqing, Andre Milzarek +1 · 1 citation
Computer Science · Engineering · Mathematics · #65K05 #90C06 #90C30 #90C53 #Advanced Optimization Algorithms Research #Control and Dynamics of Mobile Robots #FOS: Mathematics #Optimization and Control (math.OC) #Optimization and Variational Analysis
paper · pdf · doi:10.48550/arxiv.2311.07276
openalex publication_date 2023/11/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 (SSOSC) for composite problems whose nonsmooth part has a generalized conic-quadratic second subderivative. We discuss the relationship between the 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 C2-strictly decomposable functions. Finally, it is shown that the SSOSC is further equivalent to the strong metric regularity of the subdifferential, the normal map, and the natural residual.