---
title: Limit Theorems for Stochastic Gradient Descent
url: https://www.emergentmind.com/topics/limit-theorems-for-stochastic-gradient-descent
type: topic
---

# Limit Theorems for Stochastic Gradient Descent

Stochastic Gradient Descent (SGD) is a foundational paradigm for optimization and estimation in high-dimensional and large-scale learning and statistical tasks. The characterization of its long-time and large-sample behavior is governed by a suite of limit theorems, including laws of large numbers (LLNs), central limit theorems (CLTs), functional invariance principles, and diffusion approximations. These results quantify both the rates and the distributions of fluctuations around minimizers, under varying assumptions on noise, step-size schedules, and high-dimensional limits.

## 1. Classical Central Limit Theorems for SGD

SGD recursions targeting $\min_\theta f(\theta) = \mathbb{E}[F(\theta,Z)]$ with i.i.d. data can be written as $\theta_{t+1} = \theta_t - \gamma_t ( \nabla f(\theta_t) + \zeta_t )$, with appropriately regular objective and martingale-difference noise $\zeta_t$. Under strong convexity, Lipschitz continuity, and vanishing step-size schedules $\gamma_t = t^{-\alpha}$, $\alpha \in (1/2,1]$, classical limit theorems assert:

- Almost sure convergence to the population minimizer $\theta^*$ when $\sum_t \gamma_t = \infty$ and $\sum_t \gamma_t^2 < \infty$ [1501.02218].
- A central limit theorem for the speed-normalized errors: $\sqrt{n} (\bar{\theta}_n - \theta^*) \Rightarrow N(0, H^{-1} \Sigma H^{-1})$, where $H = \nabla^2 f(\theta^*)$ and $\Sigma$ is the asymptotic covariance of the gradient noise [1904.02130].
- For averaging schemes (Polyak–Ruppert), normality holds with $O(d^2/\sqrt{n})$ explicit Wasserstein/ Kolmogorov convergence rates [1904.02130].

These classical CLTs extend to SGD under unequal probability sampling (Horvitz–Thompson SGD), where the limit distribution is again Gaussian but with a Lyapunov equation for the covariance incorporating the inclusion probabilities and a precise variance reduction principle [1501.02218].

## 2. Functional and Pathwise Invariance Principles

Beyond pointwise CLTs, functional central limit theorems (FCLTs) describe the trajectory-level fluctuations of SGD on path spaces:

- For convex objectives with (possibly only local) smoothness at the minimizer, suitably rescaled trajectories $Y^n_t$ converge in $C^0((0,\infty),\mathbb{R}^d)$ to the unique diffusion $dY_t = t^{-1}(I_d - \delta H) Y_t dt + \delta \Gamma^{1/2} dB_t$, encoding time-inhomogeneous correlations [2602.15538].
- The Ornstein–Uhlenbeck (OU) process governs the limit, with covariance given by integral representations involving $H$ and the noise structure.
- Analogous FCLTs exist for SGLD in stationary or mixing environments, even without Markovianity of the data stream, yielding functional convergence in Skorokhod space [2210.02092].
- Explicit non-asymptotic error bounds between the discrete SGD/SGLD process and the limiting OU can be attained via Stein’s method for exchangeable pairs, with $O(\sqrt{h\log(1/h)})$ accuracy in the univariate case and functional CLTs for time-averaged iterates [2501.12212].

These pathwise results enable the construction of temporal confidence regions and a more refined understanding of the influence of noise correlations and step-size choice on the entire SGD trajectory.

## 3. High-Dimensional and Critical Scaling Regimes

In modern regimes where both data dimension and sample size diverge, high-dimensional limit theorems track finite collections of summary statistics under SGD:

- For single- and multi-layer neural networks and mixture estimation, if the step-size $\delta \ll 1/d$, the dynamics of key statistics follow deterministic ODE ("ballistic" limit), found to be universal under broad data distributions with matching moments and delocalized initialization [2206.04030, 2512.13634].
- At the critical scaling $\delta = c/d$, stochastic fluctuations (diffusive regime) become significant. The rescaled process converges to a system of SDEs, typically linear around fixed points, often reducing to Ornstein–Uhlenbeck processes. This regime brings downstream effects:
  - The phase diagram and the basin structure of SGD depend on both drift and covariance corrections.
  - Fluctuations around critical points can induce noise-driven escapes or convergence to suboptimal manifolds [2206.04030, 2511.02258].
- Universality holds for ODE fluctuations under suitable moment and initialization conditions, but may break for SDE fluctuations or poorly chosen initializations, as higher-order moment effects are amplified [2512.13634].

High-dimensional theorems reveal phenomena such as multimodal convergence timescales, probabilistic trapping in spurious optima, and the role of overparametrization in improving convergence probabilities [2206.04030].

## 4. Extensions: Averaging, Manifolds, and Nonstandard Noise

SGD limit theory extends in several crucial directions:

- Polyak–Ruppert averaging improves asymptotic efficiency, with CLTs guaranteeing optimal limiting variances $H^{-1}\Sigma H^{-1}$ in both isolated minimizer and stable manifold settings. When the limiting set is a manifold, only the normal directions admit classical CLT scaling, while tangential fluctuations vanish under standard normalization [1912.09187].
- For non-quadratic or nonlinear stochastic approximation recursions, the correct limiting distribution and normalization can differ. In certain cases, the need arises to identify the scaling $g(\alpha)$ such that the rescaled stationary deviations converge to a non-Gaussian limit, dictated by a functional equation and matching SDE discretization [2111.06328].
- Infinite-variance gradient noise stalls the classical CLT: with regularly varying tails of index $\alpha\in(1,2)$, SGD scales as $n^{1-1/\alpha}/b_1(n)$, and the limiting law is the stationary measure of a stable OU process driven by a multivariate Lévy process, with characteristic function given by the Lévy–Khintchine formula [2410.16340]. Examples in linear and logistic regression confirm this non-Gaussian heavy-tailed limit.
- Classical CLTs for momentum and Nesterov SGD variants require analogous Lyapunov and smoothness conditions, but converge to Gaussian limits with covariance given by block Lyapunov equations. However, time-averaged iterates only enjoy CLTs in linear/objectively "small-remainder" cases, and may fail for generic nonlinearities [2207.11755].

## 5. Diffusion Approximations and SDE Embeddings

In the vanishing step-size limit ($\eta\to0$), SGD iterates can be consistently approximated by solutions to stochastic differential equations:

- Under minimal Lipschitz and moment conditions, the continuous interpolated process $\{X^{(\eta)}_t\}$ converges to the SDE $dX_t=-\nabla f(X_t)dt+\sqrt{\bar\eta\,\Sigma(X_t)}\,dB_t$ [2210.11257].
- The diffusion coefficient $\Sigma(x)$ explicitly encodes the variance of per-sample gradients, and the convergence is justified via Stroock–Varadhan conditions and martingale central limit methods. Gaussianity of the limiting noise is a consequence of aggregation of mean-zero increments with finite moments.

In high-dimension, these diffusion limits are valid for fixed finite-dimensional projections of the parameter vector over finite time horizons, provided the underlying regularity and localizability conditions are met [2206.04030].

## 6. Practical Implications and Algorithmic Consequences

The rigorous limit theorems for SGD yield several actionable principles:

- The step-size exponent must exceed $1/2$ for optimal $O(t^{-1/2})$ convergence rates in the mean-square error and for Gaussian fluctuation limits [1710.04273, 2602.15538].
- Variance reduction via mini-batch design or non-uniform sampling is quantifiable, allowing the practitioner to design SGD schemes with minimal asymptotic variance under computational constraints [1501.02218].
- Polyak–Ruppert averaging is recommended for optimal estimation efficiency, particularly in the presence of non-isolated minima or low-curvature manifolds [1912.09187].
- For models suffering from heavy-tailed data or gradient noise, the practitioner must anticipate and accommodate stable (non-Gaussian) fluctuations, which can dramatically affect uncertainty quantification and confidence intervals [2410.16340].
- Functional CLTs enable the construction of confidence bands over parameter trajectories, providing a nuanced alternative to final-iterate intervals, and inform robust step-size tuning strategies for both statistical and computational optimality [2501.12212, 2602.15538].
- In high-dimensional neural and mixture models, the scaling regime ($\delta$ vs $d$) critically determines whether the learning process behaves deterministically (ballistic regime) or is dominated by stochasticity (diffusive regime), which in turn influences escape rates, convergence to optimal or spurious solutions, and the value of overparametrization [2206.04030, 2512.13634, 2511.02258].

**Table: Canonical Regimes and Limit Laws for SGD**

| Regime                       | Scaling/Normalizing    | Limit Process                           |
|------------------------------|------------------------|-----------------------------------------|
| Classical SGD (finite var.)  | $\sqrt{n}$, $\sqrt{t}$ | $N(0, H^{-1}\Sigma H^{-1})$ (CLT)       |
| Polyak–Ruppert Averaging     | $\sqrt{n}$, averages   | $N(0, H^{-1}\Sigma H^{-1})$ (optimal)   |
| Infinite-variance noise      | $n^{1-1/\alpha}$       | Stable OU driven by Lévy process        |
| Constant stepsize, vanishing | $1/\sqrt{\alpha}$      | Stationary Gaussian (Lyapunov)          |
| High-dim subcritical         | —                      | ODE (gradient flow)                     |
| High-dim critical            | $1/\sqrt{d}$           | SDE/OU for summary statistics           |

This synthesis demonstrates that limit theorems for SGD deliver a rigorous probabilistic framework for precision and uncertainty quantification in modern optimization, intertwining algorithm design, statistical efficiency, and the geometry of learning in both classical and overparametrized high-dimensional settings.

Source: https://www.emergentmind.com/topics/limit-theorems-for-stochastic-gradient-descent