Constrained Nonconvex Stochastic Optimization with One Projection 4X2SAM9HR2

URI	`m2://res/4X2SAM9HR2`
Kind	preprint
Creators	Yuyang Deng, Mohammadreza M. Kalan, Eitan J. Neugut, Mehrdad Mahdavi
Date	2026-09-28
MSC	49-XX, 90-XX, 93-XX
Subjects	arxiv math.OC
Scope	in

Expressions

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

Item	Kind	Where	Source
Error bound induced by the convex defining function	statement	lemma 2	arxiv
\textbf{Smooth objective with convex constraints	statement	theorem 1	arxiv
Outer descent with infeasible iterates	statement	lemma 4	arxiv
Properties of the convex constrained proximal map	statement	lemma 5	arxiv
Average penalty residual	statement	lemma 9	arxiv
Inner accuracy, infeasibility, and proximal accuracy	statement	lemma 3	arxiv
Strongly convex stochastic subgradient subroutine	statement	lemma 1	arxiv
The final projection preserves a stationarity certificate	statement	lemma 6	arxiv
A small penalty residual has a feasible KKT witness	statement	lemma 8	arxiv
\textbf{Nonsmooth objective with convex constraints	statement	theorem 2	arxiv
X3VBJNSNB8	definition	definition	arxiv
A projection tube derived from $g$	statement	lemma 7	arxiv
\textbf{Nonsmooth objective with nonconvex constraints	statement	theorem 3	arxiv