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
- Requires local Gram-Schmidt orthonormalization of an n x r matrix and two all_reduce operations per layer at each training step.
- 1D bias and normalization vectors cannot be low-rank factored and must be transmitted uncompressed.
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 →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