dorsal/arxiv
View SchemaStratification for Nonlinear Semidefinite Programming
| Authors | Chenglong Bao, Chao Ding, Fuxiaoyue Feng, Jingyu Li |
|---|---|
| Categories | |
| ArXiv ID | 2601.08362vv1 |
| URL | https://arxiv.org/abs/2601.08362 |
| License | http://arxiv.org/licenses/nonexclusive-distrib/1.0/ |
Abstract
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 \emph{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, which provides its genericity over ambient space and stability along strata. The interactions of these properties across neighboring strata are further examined, leading to the conclusion that classical strong-form regularity conditions correspond to the local uniform validity of stratum-restricted counterparts. On the algorithmic side, a stratified Gauss--Newton method with normal steps and a correction mechanism is proposed for globally solving the KKT equation through a least-squares merit function. We demonstrate that the algorithm converges globally to directional stationary points. Moreover, under the W-SOC and the strict Robinson constraint qualification (SRCQ), it achieves local quadratic convergence to KKT pairs and eventually identifies the active stratum.
{
"annotation_id": "c2a6da09-2d6e-49a2-98ab-93ab8eea3284",
"date_created": "2026-02-17T05:53:15.838000Z",
"date_modified": "2026-02-17T05:53:15.838000Z",
"file_hash": "0ef9b625d7fbf1ca2997a9c01c9472f89e832bc3fbafbe12818914a6ba47a237",
"private": false,
"record": {
"abstract": "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 \\emph{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, which provides its genericity over ambient space and stability along strata. The interactions of these properties across neighboring strata are further examined, leading to the conclusion that classical strong-form regularity conditions correspond to the local uniform validity of stratum-restricted counterparts. On the algorithmic side, a stratified Gauss--Newton method with normal steps and a correction mechanism is proposed for globally solving the KKT equation through a least-squares merit function. We demonstrate that the algorithm converges globally to directional stationary points. Moreover, under the W-SOC and the strict Robinson constraint qualification (SRCQ), it achieves local quadratic convergence to KKT pairs and eventually identifies the active stratum.",
"arxiv_id": "2601.08362",
"authors": [
"Chenglong Bao",
"Chao Ding",
"Fuxiaoyue Feng",
"Jingyu Li"
],
"categories": [
"math.OC"
],
"license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
"title": "Stratification for Nonlinear Semidefinite Programming",
"url": "https://arxiv.org/abs/2601.08362",
"version": "v1"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "07b9b827-49e3-4716-bb76-bc1167995ff2",
"id": "arXiv Dataset",
"type": "Model",
"variant": "snapshot-2026-01-17",
"version": "0.1.0"
},
"user_id": 1000002
}