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
- L-Katyusha requires knowledge of the strong convexity parameter mu (via sigma = mu/L) to set the momentum weight theta_1 = min{sqrt(2*sigma*n/3), 1/2}.
- Each coin-flip success (occurring with probability p = 1/n) triggers a full O(n) pass over the dataset, introducing random per-iteration compute spikes.
- Theoretical guarantees in Kovalev et al. (2020) require L-smoothness of all components f_i and mu-strong convexity of the average objective f.
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
|
Don't Jump Through Hoops and Remove Those Loops: SVRG and Katyusha are Better Without the Outer Loop
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 →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