AIMech AI

Variance-Reduced Stochastic PCA and SVD with Exponential Convergence (VR-PCA)

Algorithms AIMech:VarianceReducedStochasticPCAWithExponentialConvergence DRAFT
Aliases: Shamir VR-PCA Algorithm, Variance-Reduced Oja Iteration for Principal Component Analysis, Epoch-Anchored Stochastic Power Iteration for PCA and SVD
Variance-Reduced Stochastic PCA and SVD with Exponential Convergence (VR-PCA) is an epoch-based stochastic spectral optimization algorithm introduced and analyzed by Ohad Shamir (2015) for computing the leading eigenvector(s) of an empirical covariance matrix A = (1/n) sum_{i=1}^n x_i x_i^T from a data matrix X = (x_1, ..., x_n) in R^{d x n}. In each outer epoch s, VR-PCA computes the exact full-pass anchor vector u_tilde = A w_tilde_{s-1} = (1/n) sum_{i=1}^n x_i (x_i^T w_tilde_{s-1}) and performs m inner stochastic updates w_t' = w_{t-1} + eta*(x_{i_t}(x_{i_t}^T w_{t-1} - x_{i_t}^T w_tilde_{s-1}) + u_tilde) = (I + eta*A)w_{t-1} + eta*(x_{i_t} x_{i_t}^T - A)(w_{t-1} - w_tilde_{s-1}), w_t = w_t' / ||w_t'||_2 with a fixed step size eta, driving the stochastic gradient variance ||w_{t-1} - w_tilde_{s-1}||_2^2 to zero across epochs and achieving linear/exponential convergence in O(d_s (n + (r/lambda)^2) log(1/epsilon)) total runtime.
Identity Notes & Concept Scope Distinct from generic PrincipalComponentAnalysis (AIO:PrincipalComponentAnalysis) and DimensionalityReduction (AIO:DimensionalityReduction), which do not specify SVRG-style variance-reduced stochastic power updates on the unit sphere. Distinct from AIMech:StreamingPCANearOptimalFiniteSampleOjaAlgorithm (Round 357), which is a single-pass streaming Oja algorithm with decaying step size eta_t = O(1/t) and sub-exponential O(1/n) convergence rate due to non-vanishing stochastic update variance. Also distinct from AIMech:ShiftAndInvertPreconditioningForFasterEigenvectorComputation (Round 354), which applies SVRG to solve shifted linear systems (lambda I - A)x = b rather than directly iterating normalized variance-reduced power steps on the non-convex unit-sphere Rayleigh quotient.

Claims & Grounded Evidence

3 Claims
Mechanism #r358-claim-variance-reduced-power-step-and-sparse-amortized-implementation
Rewriting each inner VR-PCA iteration (Algorithm 1) as w_t' = (I + eta*A)w_{t-1} + eta*(x_{i_t} x_{i_t}^T - A)(w_{t-1} - w_tilde_{s-1}), w_t = w_t' / ||w_t'||_2 replaces the O(1)-variance stochastic noise of Oja's algorithm with a zero-mean perturbation whose variance is bounded by O(eta^2 ||w_{t-1} - w_tilde_{s-1}||_2^2) (Section 2, Equations 4-5); moreover, representing w_t = alpha*g + beta*u_tilde alongside scalar invariants gamma = ||alpha*g||^2, delta = <alpha*g, u_tilde>, and zeta = ||u_tilde||^2 enables exact unit-sphere normalization and sparse vector updates in O(d_s) time per inner step and O(d_s(m + n)) total time per epoch, where d_s is the average sparsity of x_i (Remark 2, p. 4; Appendix A, pp. 17-18).
Mechanism #r358-claim-second-order-taylor-one-step-stochastic-recurrence
For normalized data max_i ||x_i||^2 <= 1 and eigengap lambda = s_1 - s_2 > 0, whenever <w_t, v_1> >= 1/2, <w_tilde_{s-1}, v_1> >= 0, and eta <= c*lambda, a second-order Taylor expansion of the ratio f(x, y) = x / (x + y) for x = (a_1 + z_1)^2 and y = sum_{i=2}^d (a_i + z_i)^2 establishes that the squared cosine residual b_t = 1 - <w_t, v_1>^2 satisfies the conditional expectation recurrence E[b_{t+1} | w_t] <= (1 - eta*lambda / 16)*b_t + c*eta^2*b_tilde where b_tilde = 1 - <w_tilde_{s-1}, v_1>^2 (Section 4, Part I, Lemma 1, Equations 8-17).
Mechanism #r358-claim-hoeffding-azuma-epoch-contraction-and-exponential-runtime
Given max_i ||x_i||^2 <= r, eigengap s_1 - s_2 = lambda > 0, and initial alignment <w_tilde_0, v_1> >= 1/sqrt(2), running VR-PCA with step size eta <= (c_1 delta^2 / r^2)*lambda and epoch length m >= (c_2 log(2/delta))/(eta*lambda) satisfying m*eta^2*r^2 + r*sqrt(m*eta^2*log(2/delta)) <= c_3 ensures via the maximal Hoeffding-Azuma inequality (Lemmas 2-4) that after T = ceil(log(1/epsilon)/log(2/delta)) epochs, <w_tilde_T, v_1>^2 >= 1 - epsilon with probability at least 1 - 2*log(1/epsilon)*delta in total runtime O(d_s (n + (r/lambda)^2) log(1/epsilon)), decoupling the sample size n from the condition-number factor (r/lambda)^2 (Theorem 1).

⚠️ Curated Limitations & Negative Results

Artificial Intelligence Ontology (AIO) Grounding

Mapped AIO Classes
AIO Target Class Mapping Relation Mapping Rationale
AIO:PrincipalComponentAnalysis
Principal Component Analysis
related_match Solves empirical PCA and SVD with an exponentially convergent variance-reduced stochastic iteration.
AIO:DimensionalityReduction
Dimensionality Reduction
related_match Extracts top-k singular subspaces for large-scale dimensionality reduction.

Evidence Sources & Primary Literature

3 Sources
Source ID Publication / Document Type / Access Reference & Checksum
r358-primary-pdf
Ohad Shamir
primary paper
full_text
ID: https://proceedings.mlr.press/v37/shamir15.html
sha256:d649996a0524…
r358-arxiv-abs
Ohad Shamir
primary paper
abstract_only
ID: https://arxiv.org/abs/1409.2848
sha256:b3f340ea7dcf…
r358-metadata-cr
Ohad Shamir
primary paper
abstract_only
ID: https://proceedings.mlr.press/v37/shamir15.html
sha256:95caf807ecac…

Ontology & Grounding Topology

Open in interactive network graph →
CONCEPT KIND Algorithms AIMech:VarianceReducedStochasticPCAWithExponentialConvergence Variance-Reduced... 3 claims · 3 sources AIO GROUNDING AIO:PrincipalComponentAnalysis (2)

Curation Provenance

Curator: Antigravity
Method: ai_assisted
Model: Gemini
Created: 2026-10-19T07:21:00Z
Updated: 2026-10-19T07:21:00Z
Source File: data/curated/VarianceReducedStochasticPCAWithExponentialConvergence.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