---
title: 'Sign Gradient Descent: An Optimization Overview'
url: https://www.emergentmind.com/topics/sign-gradient-descent-signgd
type: topic
---

# Sign Gradient Descent: An Optimization Overview

Sign Gradient Descent (SignGD) denotes a family of first-order optimization methods that replace each gradient coordinate by its sign, so the update direction is determined coordinate-wise by \(\pm 1\) or \(0\) rather than by the full gradient magnitude. In its basic deterministic form, the update is \(x_{t+1}=x_t-\eta\,\operatorname{sign}(\nabla f(x_t))\); in stochastic settings signSGD uses the sign of a stochastic gradient, and momentum variants such as Signum use the sign of an exponential moving average. The method has been studied as a communication-efficient optimizer, as steepest descent in \(\ell_\infty\) geometry, and as a simplified proxy for Adam-like adaptive methods, particularly in settings where coordinate-wise normalization matters more than Euclidean scaling [2002.08056] [1802.04434] [2505.19227].

## 1. Core formulations and variants

At the algorithmic level, SignGD differs from classical gradient descent only in the replacement of the gradient by its coordinate-wise sign. For a differentiable objective \(f:\mathbb{R}^d\to\mathbb{R}\), standard gradient descent uses \(x_{k+1}=x_k-\alpha_k\nabla f(x_k)\), whereas plain SignGD uses \(x_{k+1}=x_k-\alpha_k\operatorname{sign}(\nabla f(x_k))\). The stochastic analogue signSGD replaces \(\nabla f(x_k)\) by a stochastic gradient \(\hat g_k\), and momentum versions such as Signum apply the sign operator to a momentum buffer rather than to the raw gradient [1802.04434].

A distinct but closely related variant is scaled SignGD, which multiplies the sign vector by the gradient’s \(\ell_1\)-norm:
\[
x_{k+1}=x_k-\alpha\,\|g_k\|_1\,\operatorname{sign}(g_k),\qquad g_k=\nabla f(x_k).
\]
This update restores a global magnitude term while preserving one-bit directional information per coordinate, and it plays a central role in convergence analyses carried out in \(\ell_\infty\)-geometry [2109.01806].

| Variant | Update | Characteristic use |
|---|---|---|
| SignGD | \(x_{t+1}=x_t-\alpha_t\,\operatorname{sign}(\nabla f(x_t))\) | Deterministic sign descent |
| signSGD | \(x_{t+1}=x_t-\alpha_t\,\operatorname{sign}(\hat g_t)\) | Stochastic optimization |
| Signum | \(x_{t+1}=x_t-\delta_k\,\operatorname{sign}(m_{k+1})\) | Momentum sign method |
| Scaled SignGD | \(x_{k+1}=x_k-\alpha\,\|g_k\|_1\,\operatorname{sign}(g_k)\) | \(\ell_\infty\)-steepest descent |
| Bigram sign descent | \(\mathbf{W}_{t+1}=\mathbf{W}_t-\eta\,\operatorname{sign}(\nabla \Loss_d(\mathbf{W}_t))\) | Proxy for Adam in heavy-tailed language models |

These formulations share the same basic structural feature: every active coordinate receives a uniform step magnitude. That property is central both to the practical attraction of sign-based methods and to their theoretical deviations from Euclidean gradient descent.

## 2. Geometric interpretation

A major theoretical interpretation of SignGD is that it is steepest descent with respect to the \(\ell_\infty\) norm. Under \(\ell_\infty\)-smoothness,
\[
\|\nabla f(x)-\nabla f(y)\|_1 \le L_\infty \|x-y\|_\infty,
\]
the steepest descent direction becomes \(\| \nabla f(x)\|_1 \operatorname{sign}(\nabla f(x))\), yielding the norm-scaled sign update
\[
x_{t+1}=x_t-\frac{1}{L_\infty}\|\nabla f(x_t)\|_1\,\operatorname{sign}(\nabla f(x_t)).
\]
In this view, classical gradient descent is the \(\ell_2\)-steepest descent method, while SignGD is the \(\ell_\infty\)-steepest descent method [2002.08056].

This geometric perspective also unifies earlier analyses based on separable smoothness. If
\[
f(y)\le f(x)+\langle \nabla f(x),y-x\rangle+\frac12\sum_{i=1}^d l_i (y_i-x_i)^2,
\]
then \(f\) is \(\ell_\infty\)-smooth with constant \(L_\infty=\sum_i l_i\). The paper “The Geometry of Sign Gradient Descent” argues that \(\ell_\infty\)-smoothness is the weaker and more natural abstraction for sign-based methods because those methods never exploit finer coordinate-wise smoothness constants directly [2002.08056].

The same work identifies Hessian structure that favors sign methods. Two conditions are singled out: the Hessian should be to some degree concentrated on its diagonal, and its maximal eigenvalue should be much larger than the average eigenvalue. In the paper’s formulation, sign-based methods are preferable over gradient descent if the Hessian is axis-aligned enough and the spectrum has a few large outliers with a bulk near zero. This suggests that sign-based updates are geometrically well matched to objectives with strong diagonal or block-diagonal structure and sharply anisotropic spectra, a pattern the paper notes is common in deep networks [2002.08056].

The connection to adaptive methods follows the same line. Adam’s update can be decomposed into a coordinate-wise damping factor multiplied by \(\operatorname{sign}(m_t)\), and experiments reported in the geometry paper show that shuffling or averaging those damping factors across coordinates yields performance extremely similar to original Adam in CNN training. The paper interprets this as evidence that the sign component is primary and the elementwise scaling is secondary [2002.08056].

## 3. Deterministic convergence theory and scaled sign descent

Plain constant-step SignGD is not uniformly convergent. “On Faster Convergence of Scaled Sign Gradient Descent” gives a simple strongly convex counterexample: for \(f(x)=x_1^2+x_2^2\), starting from \(x_0=(\alpha/2,\alpha/2)\), plain SignGD oscillates between \((\alpha/2,\alpha/2)\) and \(-(\alpha/2,\alpha/2)\) and never converges. This behavior motivates scaled SignGD, whose update direction is still sign-based but whose step length is multiplied by \(\|g_k\|_1\) [2109.01806].

Under \(L\)-smoothness with respect to \(\|\cdot\|_\infty\), scaled SignGD satisfies a one-step descent bound of the form
\[
V_{k+1}-V_k \le -\gamma \|g_k\|_1^2,\qquad \gamma=\alpha\Bigl(1-\frac{L\alpha}{2}\Bigr),
\]
for \(0<\alpha<2/L\), where \(V_k=f(x_k)-f^*\). If the objective is \(\mu\)-strongly convex with respect to \(\|\cdot\|_\infty\), or more generally satisfies the Polyak–Łojasiewicz inequality
\[
\|\nabla f(x)\|_1^2 \ge 2\mu(f(x)-f^*),
\]
then the method converges linearly in function value:
\[
f(x_k)-f^* \le \zeta^k(f(x_0)-f^*),\qquad
\zeta=1-2\mu\alpha\Bigl(1-\frac{L\alpha}{2}\Bigr).
\]
If only smoothness is available, the same analysis yields the standard sublinear stationarity bound
\[
\min_{0\le l\le k}\|\nabla f(x_l)\|_1^2
\le \frac{f(x_0)-f^*}{\gamma(k+1)}.
\]
Thus scaled SignGD restores deterministic descent guarantees comparable to classical first-order methods, but in the \(\ell_\infty/\ell_1\) geometry natural to sign updates [2109.01806].

This literature also sharpens the distinction between plain sign methods and scaled sign methods. Plain SignGD uses fixed per-coordinate steps and can persistently overshoot; scaled SignGD preserves the sign direction while reintroducing a global gradient magnitude, which is enough to recover linear convergence under strong convexity or PL. The resulting method remains “purely sign” in the sense emphasized by the paper, but no longer inherits the simplest oscillatory failure mode of unscaled SignGD [2109.01806].

## 4. Stochastic, parallel, and distributed sign methods

The original signSGD analysis in non-convex optimization emphasized coordinate-wise geometry and communication efficiency. Under coordinate-wise smoothness and bounded coordinate-wise variance, signSGD achieves a non-convex convergence rate comparable to SGD, but expressed through an \(\ell_1\)-based gradient quantity; the same paper extends the method to distributed learning by majority vote and proves that, under a unimodal symmetric noise assumption, majority vote achieves the same reduction in variance as full precision distributed SGD while using 1-bit compression in both directions [1802.04434].

A subsequent line of work reframed this analysis through success probabilities. “Stochastic Sign Descent Methods: New Algorithms and Better Theory” assumes that each coordinate sign is correct with probability \(>1/2\), defines a \(\rho\)-weighted norm
\[
\|g(x)\|_\rho=\sum_{i=1}^d (2\rho_i(x)-1)|g_i(x)|,
\]
and proves single-node and shared-data parallel convergence in this metric. In the shared-data parallel setting, majority vote improves the effective success probabilities and yields exponential noise reduction with the number of nodes. The same paper also identifies a fundamental issue with deterministic sign aggregation in the partitioned-data setting: sign aggregation is invariant under positive rescaling of local objectives, even though the global objective changes. To resolve this, it introduces Stochastic Sign Descent with Momentum (SSDM), which uses a stochastic sign operator and converges under standard bounded variance assumptions with the optimal asymptotic \(O(\varepsilon^{-4})\) complexity for non-convex stationarity [1905.12938].

Variance reduction became the next major development. “SignSVRG: fixing SignSGD via variance reduction” combines an SVRG-style estimator with a sign-plus-uniform-noise construction and obtains an \(\mathcal{O}(1/\sqrt{T})\) rate for expected gradient norm in the smooth non-convex finite-sum setting and an \(\mathcal{O}(1/T)\) rate in the smooth convex case, thereby recovering deterministic-like convergence guarantees while preserving sign-based updates [2305.13187]. “Efficient Sign-Based Optimization: Accelerating Convergence via Variance Reduction” then improves the general stochastic signSGD rate from \(\mathcal{O}(d^{1/2}T^{-1/4})\) to \(\mathcal{O}(d^{1/2}T^{-1/3})\), and for finite sums attains \(\mathcal{O}(m^{1/4}d^{1/2}T^{-1/2})\); it also develops heterogeneous-majority-vote distributed variants with improved rates over earlier sign methods [2406.00489].

Taken together, this theory establishes a stable pattern. Sign-based methods derive their advantages from coordinate-wise normalization and communication compression, but naïve sign compression is biased. Modern analyses either alter the update rule—through scaling, stochastic sign operators, or momentum—or alter the estimator—through variance reduction or majority vote—to recover the convergence properties lost by plain sign descent.

## 5. Heavy-tailed data, Zipf’s law, and language-model training

A major recent development is the use of SignGD to explain optimizer behavior in language modeling under heavy-tailed token statistics. “Scaling Laws for Gradient Descent and Sign Descent for Linear Bigram Models under Zipf’s Law” studies a linear next-token prediction model with token frequencies
\[
\pi_k \propto \frac{1}{k^\alpha},
\]
with the key natural-language case \(\alpha=1\), i.e. Zipf’s law. In that model, the Hessian eigenvalues are exactly the token frequencies, \(\lambda_{ij}=\pi_i\), and the initial coordinates relative to the optimum are the conditional frequencies \(\delta_{ij}(0)=\pi_{j\mid i}\). Sign descent is defined coordinate-wise by
\[
\mathbf{W}_{t+1}=\mathbf{W}_t-\eta\,\operatorname{sign}\big(\nabla \Loss_d(\mathbf{W}_t)\big),
\]
and is used as a deterministic proxy for Adam and other sign-based adaptive optimizers [2505.19227].

The scaling laws are striking. For gradient descent, the Zipf case \(\alpha=1\) is “worst-case”: to reach small relative error \(\varepsilon\), the number of iterations scales as \(t\approx d^{\,1-\varepsilon}\), nearly linear in vocabulary size. For sign descent, by contrast, the relevant regime is \(\alpha>1/2\), which includes Zipf, and the iteration complexity scales as
\[
t \approx \sqrt{d}\,\varepsilon^{-1/2}.
\]
The paper’s interpretation is that heavy tails create many low-frequency directions with tiny eigenvalues; gradient descent makes almost no progress in those directions, whereas sign descent gives them uniform per-coordinate steps and thereby avoids being throttled by the smallest eigenvalues. For Zipf-distributed data, this yields square-root rather than almost-linear dependence on \(d\) [2505.19227].

A complementary softmax analysis reaches a similar conclusion from a different angle. “Provable Benefit of Sign Descent: A Minimal Model Under Heavy-Tailed Class Imbalance” studies KL minimization for a softmax unigram model with \(p_k\propto 1/k\). For normalized steepest descent with weight decay, it defines the complexity
\[
C_f^{\|\cdot\|}=8L_{\|\cdot\|}(f)\min_{\theta_\star\in\arg\min f}\|\theta_\star\|^2
\]
and shows that in \(\ell_\infty\) geometry, corresponding to SignGD, the complexity scales as \(2\log^2 d\), whereas in \(\ell_2\) geometry it scales as \(\Theta(d)\). The source of the gap is not a better smoothness constant but the much smaller \(\ell_\infty\)-norm of the optimal logits under Zipf imbalance. This suggests that heavy-tailed class imbalance favors \(\ell_\infty\)-steepest descent even in a convex softmax head, and provides an additional theoretical route linking sign-based updates to the empirical success of Adam-like methods in language modeling [2512.00763].

## 6. Applications, robustness, and current directions

Beyond standard deep learning optimization, SignGD has been used as an implicit regularizer and as a domain-specific descent rule. In kernel methods, “Fast Robust Kernel Regression through Sign Gradient Descent with Early Stopping” connects \(\ell_\infty\)-regularized kernel regression to kernel sign gradient descent (KSGD), and reports that robust kernel regression through sign gradient descent is one to two orders of magnitude faster than existing robust kernel methods on five real data sets, without compromised accuracy [2306.16838]. In protein folding, “Sign Gradient Descent Algorithms for Kinetostatic Protein Folding” replaces normalized torque updates in the kinetostatic compliance method by a sign-torque update with shrinking step size and reports that, for the same initial step size \(\kappa_0=0.01\), SignGD reaches a lower free energy level in about 600 iterations, whereas the conventional method requires reducing \(\kappa_0\) to 0.001 and then about 1500 iterations to reach a comparable level [2308.07453].

The method is also implicated in robustness trade-offs. “Understanding the robustness difference between stochastic gradient descent and adaptive gradient methods” uses signGD as a memory-free proxy for Adam and RMSProp and shows on a synthetic frequency-domain model that while GD and signGD can both achieve near-zero standard risk, their adversarial risks differ because robustness to \(\ell_2\)-bounded perturbations is inversely proportional to the model’s weight norm. In the paper’s three-dimensional construction, signGD grows weight on an irrelevant frequency and thereby incurs larger adversarial risk; in deep networks, SGD-trained models are reported to have smaller Lipschitz constants and better robustness than models trained with adaptive methods [2308.06703]. This does not negate the optimization advantages of sign methods, but it marks a recurring tension between optimization efficiency and perturbation robustness.

Recent work has concentrated on making sign methods more practical and more principled. “Sign-SGD is the Golden Gate between Multi-Node to Single-Node Learning” develops parameter-free single-node, stochastic, and multi-node variants that estimate effective step sizes online rather than relying on unknown problem constants [2506.03725]. “Adaptive Batch Sizes Using Non-Euclidean Gradient Noise Scales for Stochastic Sign and Spectral Descent” derives \(\ell_1\)-based gradient noise scales for signSGD and Signum and reports that adaptive batch size strategies using non-Euclidean GNS reduce training steps by up to 66% for Signum on a 160 million parameter Llama model while matching the validation loss of constant-batch baselines [2602.03001]. “StoSignSGD: Unbiased Structural Stochasticity Fixes SignSGD for Training Large Language Models” addresses the non-smooth divergence pathology of classical SignSGD by injecting structural stochasticity into the sign operator; in low-precision FP8 pretraining it reports a 1.44\(\times\) to 2.14\(\times\) speedup relative to established baselines, and in 7B LLM fine-tuning it outperforms both AdamW and SignSGD on mathematical reasoning tasks [2604.15416].

These developments clarify the present status of SignGD. It is no longer a single algorithm but a design family centered on coordinate-wise sign information, \(\ell_\infty\)-geometry, and scale-free updates. Its strengths are most evident when communication, normalization, or heavy-tailed conditioning dominate; its weaknesses are most visible near minima, under naïve fixed-step discretizations, or when robustness to irrelevant directions matters more than raw optimization speed.

Source: https://www.emergentmind.com/topics/sign-gradient-descent-signgd