Benign Degeneracy for First-Order Methods in Exact Boolean Moment-SOS Relaxations GV0QGZH67P

URI	`m2://res/GV0QGZH67P`
Kind	preprint
Creators	Shucheng Kang
Date	2026-10-14
MSC	49-XX, 90-XX, 93-XX
Subjects	arxiv math.OC
Scope	in

Expressions

e1: version, preprint

Language	en
Date	2026-10-14
Ids	arXiv 2610.20270

Items in this resource

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
A firmly nonexpansive map with a flat boundary normal	example	example D.3	arxiv
A parameter-dependent metric for the shadow map	statement	proposition F.2	arxiv
Generic benign degeneracy	statement	theorem 6.3	arxiv
Boolean subspace geometry	statement	lemma 4.1	arxiv
Primal degeneracy at every order $d\ge2$	statement	proposition 2.2	arxiv
PSD off-block bound	statement	lemma C.5	arxiv
ADMM and sGS--ADMM	statement	corollary 5.1	arxiv
Trace identity and compactness	statement	lemma B.2	arxiv
Exact PDHG transfer	statement	proposition F.3	arxiv
Fixed-order SC genericity	statement	theorem 6.2	arxiv
Endpoint cones	statement	proposition C.4	arxiv
Simultaneous SC at every uniquely rank-one exact order	statement	proposition G.1	arxiv
Optimal affine slice	statement	lemma C.2	arxiv
Projection lower bound	statement	lemma C.6	arxiv
PDHG parameter-dependent metric	statement	proposition F.4	arxiv
Deterministic Boolean benign degeneracy	statement	theorem 4.3	arxiv
Boundary-stable directions	statement	lemma D.2	arxiv
Uniform relative-interior modulus	statement	proposition 4.2	arxiv
MTENH6R0GH	statement	corollary 5.2	arxiv
DR and KKT encoding	statement	lemma C.1	arxiv
Setwise error bound plus averagedness	statement	lemma F.1	arxiv
Exact standard SDP encoding	statement	proposition B.1	arxiv
Benign degeneracy, informal	statement	theorem 1.1	arxiv
Uniformly bounded normal decompositions	statement	lemma D.1	arxiv
Sylvester form in fixed coarse coordinates	statement	lemma C.3	arxiv
YHQ5TS59HT	problem	problem	arxiv
Rigidity of the canonical residual field	statement	theorem 3.2	arxiv
Full-order structure	statement	proposition 6.1	arxiv
ZSMEHQ6PFQ	definition	definition	arxiv
ZY08WYXYRT	definition	definition	arxiv

Catalogue records

arxiv: 2610.20270 (work)
arxiv_text: 2610.20270 (work)