{"id":"arxiv/2601.08362","url":"https://arxiv.org/abs/2601.08362","tags":["math.OC"],"score":0,"title":"Stratification for Nonlinear Semidefinite Programming","domain":"math.OC","source":"arxiv","authors":["Chenglong Bao","Chao Ding","Fuxiaoyue Feng","Jingyu Li"],"reviews":0,"subject":"math.OC","summary":"This paper introduces a stratification framework for nonlinear semidefinite programming (NLSDP) that reveals and utilizes the geometry behind the nonsmooth KKT system. Based on the index stratification of $\\mathbb{S}^n$ and its lift to the primal-dual space, a stratified variational analysis is developed. Specifically, we define the stratum-restricted regularity property, characterize it by the verifiable weak second order condition (W-SOC) and weak strict Robinson constraint qualification (W-SRCQ), and interpret the W-SRCQ geometrically via transversality, with stability along strata. The…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-13","reactions":{}}