AIMech AI

PowerSGD Low-Rank Subspace Iteration Gradient Compression with Error Feedback

Algorithms AIMech:PowerSgdLowRankGradientCompressionWithErrorFeedback DRAFT
Aliases: PowerSGD, Low-Rank Gradient Compression via Subspace Iteration, Warm-Start Power Iteration SGD with Error Feedback
A distributed low-rank gradient compression algorithm (PowerSGD) that reshapes each parameter tensor's error-compensated gradient matrix Delta_w = g_{t,w} + e_{t,w} in R^{n x m} on worker w in [W], computes a single warm-started rank-r block power iteration step via P_w = Delta_w Q, all-reduces P = (1/W) sum_{w=1}^W P_w, orthonormalizes the columns of P via Gram-Schmidt, computes Q_w = Delta_w^T P, all-reduces Q = (1/W) sum_{w=1}^W Q_w, reconstructs the rank-r update Delta_hat = P Q^T, and stores the local post-compression residual e_{t+1,w} = Delta_w - P Q_w^T, exploiting the linearity of matrix-subspace projections to aggregate compressed updates via all_reduce in O((n + m)*r) communication with exact single-worker equivalence.
Identity Notes & Concept Scope Distinct from coordinate-wise sparse or quantized gradient compressors (AIMech:SparsifiedSgdWithErrorMemoryForKContractiveGradientCompression, AIMech:QsgdQuantizedStochasticGradientDescentWithEliasCoding, and AIMech:SignSgdAndMajorityVoteCompressedNonconvexOptimization, which require all_gather or hierarchical re-compression because non-linear sparse/quantized codes are not closed under addition), and from randomized SVD batch matrix sketching (AIMech:RandomizedSingularValueDecompositionViaSubspaceIteration). No pinned AIO class covers PowerSGD or linear all-reduce low-rank gradient compression with error feedback.

Claims & Grounded Evidence

4 Claims
Mechanism #r381-single-multi-worker-allreduce-linearity-equivalence
Lemma 3 proves that because both projection steps P_w = Delta_w Q and Q_w = Delta_w^T P are linear in Delta_w for shared right and left factors Q and P, averaging P_w and Q_w via two all_reduce operations yields P Q^T = (1/W) sum_{w=1}^W P Q_w^T = C((1/W) sum_{w=1}^W Delta_w) and average error (1/W) sum_{w=1}^W e_{t+1,w} = (1/W) sum_{w=1}^W Delta_w - C((1/W) sum_{w=1}^W Delta_w), making W-worker distributed PowerSGD mathematically identical to single-worker PowerSGD on the exact averaged gradient while avoiding O(W) all_gather communication.
Mechanism #r381-warm-start-subspace-iteration-and-post-compression-momentum
Theorem I shows that subspace iteration on M in R^{n x m} with singular values sigma_1 >= ... >= sigma_r > sigma_{r+1} converges to the top-r eigenspace at geometric rate O((sigma_{r+1}/sigma_r)^t), motivating warm-starting Q from the previous step's factor; furthermore, Algorithm 2 applies momentum after compression so that the update satisfies (1/W) sum_w Delta(x_t) = (1 + lambda/(1 - lambda)) * (x_0 - x_{T+1}), preserving exact telescoping cancellation in error-feedback convergence analysis.
Limitation #r381-uncompressed-rank1-bias-vector-limitation
One-dimensional parameter tensors (such as bias vectors and batch-normalization scale/shift parameters) cannot be reshaped into higher-dimensional matrices for rank-r factor compression and must be communicated uncompressed via standard all_reduce.
Application #r381-distributed-cnn-and-transformer-training-application
Applied to multi-GPU distributed training of ResNet-50 on ImageNet and Transformer language models on WikiText-2, achieving up to 65x-129x gradient compression and 55% communication-time reduction without test accuracy degradation.

⚠️ Curated Limitations & Negative Results

Artificial Intelligence Ontology (AIO) Grounding

Mapped AIO Classes
AIO Target Class Mapping Relation Mapping Rationale
AIO:DimensionalityReduction
Dimensionality Reduction
related_match PowerSGD compresses high-dimensional gradient tensors into low-rank matrix factors P in R^{n x r} and Q in R^{m x r} via warm-started subspace iteration.
AIO:PrincipalComponentAnalysis
Principal Component Analysis
related_match PowerSGD's compression operator approximates the top-r singular subspace of the error-compensated gradient matrix using block power iteration and Gram-Schmidt orthogonalization.

Evidence Sources & Primary Literature

3 Sources
Source ID Publication / Document Type / Access Reference & Checksum
r381-primary-pdf
Thijs Vogels, Sai Praneeth Karimireddy, Martin Jaggi
primary paper
full_text
ID: https://papers.nips.cc/paper/2019/hash/d9fbed9da256e344c1fa46bb46c34c5f-Abstract.html
sha256:2b1e6d475c7b…
r381-arxiv-abs
Thijs Vogels, Sai Praneeth Karimireddy, Martin Jaggi
primary paper
abstract_only
ID: https://arxiv.org/abs/1905.13727
sha256:e12cf42ac62b…
r381-metadata-cr
Thijs Vogels, Sai Praneeth Karimireddy, Martin Jaggi
primary paper
abstract_only
ID: https://papers.nips.cc/paper/2019/hash/d9fbed9da256e344c1fa46bb46c34c5f-Abstract.html
sha256:3f09798d21c8…

Ontology & Grounding Topology

Open in interactive network graph →
CONCEPT KIND Algorithms AIMech:PowerSgdLowRankGradientCompressionWithErrorFeedback PowerSGD Low-Rank... 4 claims · 3 sources AIO GROUNDING AIO:DimensionalityReduction (2)

Curation Provenance

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