AIMech AI

L-SVRG and L-Katyusha (Loopless Variance-Reduced Gradient Methods)

Algorithms AIMech:LSvrgAndLKatyushaLooplessVarianceReducedGradientMethods DRAFT
Aliases: L-SVRG, Loopless SVRG, Loopless Stochastic Variance-Reduced Gradient, L-Katyusha, Loopless Katyusha
L-SVRG (Loopless Stochastic Variance-Reduced Gradient) and L-Katyusha (Loopless Katyusha) are single-loop stochastic variance-reduced optimization algorithms for finite-sum empirical risk minimization min_{x in R^d} f(x) = (1/n) sum_{i=1}^n f_i(x) that eliminate the deterministic outer epoch loop of SVRG and Katyusha and replace it with an independent biased coin flip performed at every iteration. At step k, both methods construct the unbiased variance-reduced estimator g^k = grad f_i(x^k) - grad f_i(w^k) + grad f(w^k) for i ~ Unif({1,...,n}) and update the reference point w^{k+1} to the current iterate (x^k in L-SVRG or y^k in L-Katyusha) with probability p in (0, 1] and keep w^{k+1} = w^k with probability 1 - p, achieving O((n + L/mu) log(1/epsilon)) and accelerated O((n + sqrt(nL/mu)) log(1/epsilon)) oracle complexities via a single-iteration Lyapunov contraction without requiring knowledge of the strong convexity constant mu to tune the epoch length in L-SVRG.
Identity Notes & Concept Scope Distinct from standard double-loop SVRG (Johnson and Zhang, 2013) and Katyusha (Allen-Zhu, 2017; AIMech:KatyushaDirectNegativeMomentumAccelerationForStochasticVarianceReducedOptimization), which require a fixed deterministic inner-loop length m (where standard SVRG theory requires m = Theta(L/mu) depending on the unknown strong convexity parameter mu). Also distinct from ANITA (Li, 2021; Round 570), which uses a decaying step-size schedule to attain O(n + sqrt(nL/epsilon)) on general convex problems, and from ProxSkip-L-SVRG (Malinovsky et al., 2022; Round 571), which embeds L-SVRG inside probabilistic proximal/communication skipping.

Claims & Grounded Evidence

4 Claims
Mechanism #l-svrg-single-step-lyapunov-and-mu-free-probability-interval
For L-smooth component functions f_i and mu-strongly convex average f, L-SVRG with step size eta <= 1/(6L) and reference update probability p in (0, 1] satisfies the single-step Lyapunov recursion E[Phi^{k+1}] <= (1 - eta*mu)||x^k - x^*||^2 + (1 - p/2)D^k for Phi^k = ||x^k - x^*||^2 + D^k where D^k = (4*eta^2 / (p*n)) sum_{i=1}^n ||grad f_i(w^k) - grad f_i(x^*)||^2; choosing eta = 1/(6L) and any p in [min{c/n, c*mu/L}, max{c/n, c*mu/L}] (including p = 1/n independent of mu) yields the optimal O((n + L/mu) log(1/epsilon)) total stochastic gradient complexity.
Mechanism #l-katyusha-negative-momentum-accelerated-rate
L-Katyusha couples the loopless reference update (w^{k+1} = y^k with probability p = 1/n) with Nesterov momentum z^{k+1} and negative momentum interpolation x^k = theta_1 z^k + theta_2 w^k + (1 - theta_1 - theta_2) y^k using sigma = mu/L, theta_1 = min{sqrt(2*sigma*n/3), 1/2}, theta_2 = 1/2, and eta = theta_2 / ((1 + theta_2)*theta_1), contracting the potential Psi^k = Z^k + Y^k + W^k by 1 - min{sigma/(6*theta_1), theta_1/(2*n)} per step and achieving the accelerated O((n + sqrt(nL/mu)) log(1/epsilon)) complexity.
Application #l-svrg-and-l-katyusha-empirical-risk-minimization-application
Applied to L2-regularized logistic regression on LIBSVM benchmark datasets (a9a, w8a, mushrooms, phishing, cod-rna), L-SVRG and L-Katyusha avoid the O(n*d) gradient-table memory overhead of SAGA while consistently outperforming looped SVRG and Katyusha across condition numbers kappa = L/mu.
Limitation #l-svrg-and-l-katyusha-limitations
While L-SVRG achieves adaptive linear convergence with p = 1/n and eta = 1/(6L) without knowing mu, the accelerated L-Katyusha variant still requires knowledge of the strong convexity parameter mu (via sigma = mu/L) to set its coupling weight theta_1 = min{sqrt(2*sigma*n/3), 1/2} and mirror step z^{k+1}, and the analysis in Kovalev et al. (2020) is restricted to L-smooth, mu-strongly convex finite-sum objectives.

⚠️ Curated Limitations & Negative Results

Artificial Intelligence Ontology (AIO) Grounding

Mapped AIO Classes
AIO Target Class Mapping Relation Mapping Rationale
AIO:LogisticRegression
Logistic Regression
related_match L-SVRG and L-Katyusha are finite-sum variance-reduced optimization algorithms evaluated primarily on regularized logistic regression problems.

Evidence Sources & Primary Literature

3 Sources
Source ID Publication / Document Type / Access Reference & Checksum
r572-primary-pdf
Dmitry Kovalev, Samuel Horvath, Peter Richtarik
primary paper
full_text
ID: https://dblp.org/search/publ/api?q=Remove+Those+Loops+Kovalev+Horvath&format=json
sha256:75b3db591e87…
r572-arxiv-abs
Dmitry Kovalev, Samuel Horvath, Peter Richtarik
primary paper
abstract_only
ID: https://arxiv.org/abs/1901.08689
sha256:5954c29799f3…
r572-metadata-cr
Dmitry Kovalev, Samuel Horvath, Peter Richtarik
primary paper
abstract_only
ID: https://dblp.org/search/publ/api?q=Remove+Those+Loops+Kovalev+Horvath&format=json
sha256:563fcb1f15e6…

Ontology & Grounding Topology

Open in interactive network graph →
CONCEPT KIND Algorithms AIMech:LSvrgAndLKatyushaLooplessVarianceReducedGradientMethods L-SVRG and L-Katyusha... 4 claims · 3 sources AIO GROUNDING AIO:LogisticRegression (1)

Curation Provenance

Curator: Antigravity
Method: ai_assisted
Model: Gemini
Created: 2026-10-19T10:55:00Z
Updated: 2026-10-19T10:55:00Z
Source File: data/curated/LSvrgAndLKatyushaLooplessVarianceReducedGradientMethods.yaml · Schema: curated_concept.yaml

Explore across X-Mech

Related computational & biological Mechs: Embedding Map Network Graph ProteinTraitsMech (ESM-2 pLM) DUFMech (Domain pLM) TraitMech CultureMech All 14 X-Mech Repositories