Sketchy (Frequent-Directions Sketched Adaptive Regularization / S-AdaGrad and S-Shampoo)
Algorithms AIMech:SketchyFrequentDirectionsAdaptiveRegularizationOptimization DRAFT
Aliases: Sketchy Optimizer, S-AdaGrad, S-Shampoo, Sketchy AdaGrad and Sketchy Shampoo, Frequent-Directions Sketched Matrix Preconditioning
A memory-efficient matrix-preconditioned adaptive optimization framework—instantiated as Sketchy AdaGrad (S-AdaGrad) for vector parameters and Sketchy Shampoo (S-Shampoo) for tensor parameters—that tracks a rank-ell Frequent Directions (FD) sketch of the gradient covariance (or its left and right Kronecker factors) and adds dynamic isotropic regularization equal to the cumulative deflated ell-th eigenvalue mass rho_{1:t} I, sandwiching the true covariance (G_bar_t <= G_t <= G_bar_t + rho_{1:t} I) in sublinear O(m ell + n ell) accumulator memory.
Identity Notes & Concept Scope
Distinct from Shampoo (AIMech:ShampooPreconditionedStochasticTensorOptimization), which materializes full m x m and n x n left and right Kronecker covariance factors in O(m^2 + n^2) memory. Distinct from GGT (AIMech:GgtEfficientFullMatrixAdaptiveRegularization), which stores a sliding window of r full-model gradient copies in O(m n r) superlinear memory. Distinct from Ada-FD and FD-SON, which add a static diagonal perturbation delta I rather than the dynamic cumulative escaped spectral mass rho_{1:t} I and suffer Omega(T^{3/4}) or Omega(T) worst-case regret on general online convex problems.
Claims & Grounded Evidence
5 Claims
Mechanism
#sketchy-escaped-mass-loewner-sandwich-mechanism
At each step t, Frequent Directions (Algorithm 1) eigendecomposes G_bar_{t-1} + M_t, retains the top ell - 1 eigendirections deflated by the ell-th eigenvalue rho_t = lambda_ell^{(t)}, and accumulates the cumulative escaped mass rho_{1:t} = sum_{s=1}^t rho_s; Lemma 10 and Remark 11 prove that G_tilde_t = G_bar_t + rho_{1:t} I = G_t + sum_{s=1}^t rho_s N_s satisfies the two-sided Loewner sandwich G_bar_t <= G_t <= G_tilde_t.
Mechanism
#sketchy-shampoo-sublinear-kronecker-sketch-mechanism
For an m x n matrix parameter X_t, Sketchy Shampoo (Algorithm 3) maintains rank-ell Frequent Directions sketches L_bar_t and R_bar_t of the exponentially weighted left and right gradient outer products G_t G_t^T and G_t^T G_t together with escaped masses rho_{1:t}^L and rho_{1:t}^R, updating X_{t+1} = X_t - eta * (L_bar_t + rho_{1:t}^L I_m)^{-1/4} G_t (R_bar_t + rho_{1:t}^R I_n)^{-1/4} in sublinear O(m ell + n ell) accumulator memory.
Scope
#sketchy-additive-tail-spectrum-regret-bound-scope
Theorem 3 and Corollary 4 prove that without exp-concavity or low-rank curvature assumptions, S-AdaGrad achieves Regret_T <= D (sqrt(2) tr(G_T^{1/2}) + sqrt(d (d - ell) Omega_ell / 2)) using O(d ell) memory, where Omega_ell = min_{k < ell} (ell - k)^{-1} sum_{i=k+1}^d lambda_i(G_T) <= sum_{i=ell}^d lambda_i(G_T), matching full-matrix AdaGrad regret up to an additive tail-eigenvalue term.
Application
#sketchy-resnet-conformer-gnn-training-application
With sketch rank ell = 256 (a 4x accumulator memory reduction on 1024-dimensional blocks), S-Shampoo outperforms Adam and nearly matches full Shampoo on ImageNet ResNet-50 (77.18% vs 76.76% validation accuracy) and LibriSpeech 16-layer Conformer while avoiding Shampoo's overfitting on OGBG-MolPCBA graph neural networks.
Limitation
#sketchy-exponential-moving-average-and-svd-update-limitation
Applying Frequent Directions to unweighted cumulative gradient sums in deep learning causes the escaped mass rho_{1:T} to exceed ||G_T|| due to rotating eigenspaces and lack of unweighted spectral decay, requiring exponential moving average decay beta_2 < 1 and periodic rank-ell SVD updates.
⚠️ Curated Limitations & Negative Results
- Requires exponential moving average decay (beta_2 < 1) in non-convex deep learning so that Kronecker covariance factors maintain low intrinsic dimension and fast spectral decay.
- Each Frequent Directions update requires a factored SVD of [beta_2^{1/2} B_t; G_t], motivating step-skipping (e.g., updating every 10 steps) to amortize compute overhead.
Artificial Intelligence Ontology (AIO) Grounding
Mapped AIO Classes
| AIO Target Class | Mapping Relation | Mapping Rationale |
|---|---|---|
AIO:ArtificialNeuralNetwork
Artificial Neural Network
|
related_match | Sketchy (S-Shampoo and S-AdaGrad) is a sublinear-memory second-order adaptive optimizer for training deep neural networks including ResNet-50, Conformer, and graph neural networks. |
Evidence Sources & Primary Literature
3 Sources| Source ID | Publication / Document | Type / Access | Reference & Checksum |
|---|---|---|---|
r645-primary-pdf
|
Vladimir Feinberg, Xinyi Chen, Y. Jennifer Sun, Rohan Anil, Elad Hazan
|
primary paper
full_text
|
ID: https://dblp.org/rec/conf/nips/FeinbergCSAH23
sha256:2fa3e0b340d9…
|
r645-arxiv-abs
|
Vladimir Feinberg, Xinyi Chen, Y. Jennifer Sun, Rohan Anil, Elad Hazan
|
primary paper
abstract_only
|
ID: https://arxiv.org/abs/2302.03764
sha256:17cf9610b6c4…
|
r645-metadata-cr
|
Vladimir Feinberg, Xinyi Chen, Y. Jennifer Sun, Rohan Anil, Elad Hazan
|
primary paper
abstract_only
|
ID: https://dblp.org/rec/conf/nips/FeinbergCSAH23
sha256:69e5d9d4030c…
|
Ontology & Grounding Topology
Open in interactive network graph →Curation Provenance
Curator: Antigravity
Method: ai_assisted
Model: Gemini
Created: 2026-10-19T12:08:00Z
Updated: 2026-10-19T12:08:00Z
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