Adaptive Variance-Reduced Stochastic Sequential (Quadratic Constrained) Quadratic Programming 6BGSQT7SV8

URI	`m2://res/6BGSQT7SV8`
Kind	preprint
Creators	Gopal Tiwari, Md Abu Talhamainuddin Ansary
Date	2026-10-13
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
Eventual SQP selection	statement	theorem 4.5	arxiv
SPIDER error recursion and conditional variance	statement	lemma 1	arxiv
Coupled stochastic Lyapunov descent	statement	theorem 4.3	arxiv
Finite construction of an effective merit-descent direction	statement	lemma 4	arxiv
Almost-sure consistency of the SPIDER estimator	statement	theorem 4.1	arxiv
Estimator-error energy recursion	statement	lemma 8	arxiv
Uniform merit descent on the stabilized tail	statement	lemma 7	arxiv
Stochastic merit-function remainder	statement	lemma 3	arxiv
Local SQP--SQCQP direction stability	statement	lemma 2	arxiv
Vanishing direction and primal infeasibility	statement	lemma 10	arxiv
Vanishing RCMCI	statement	lemma 13	arxiv
Almost-sure summability and estimator consistency	statement	corollary 2	arxiv
Uniform lower bound on accepted step sizes	statement	lemma 9	arxiv
Stochastic Lagrangian-gradient consistency	statement	corollary 1	arxiv
Asymptotic dual feasibility and complementarity	statement	lemma 11	arxiv
Global KKT convergence	statement	theorem 4.4	arxiv
Boundedness of multiplier estimates	statement	lemma 6	arxiv
Armijo backtracking termination	statement	lemma 5	arxiv
Vanishing SQP probe	statement	lemma 12	arxiv
Vanishing asymptotic SQCQP frequency	statement	corollary 3	arxiv
Finite stabilization of the penalty parameter	statement	theorem 4.2	arxiv