Special Properties of Gradient Descent with Large Learning Rates
Large-step GD can escape local minima and outperform small-step GD.
Key Findings
Methodology
The paper studies full-batch GD and SGD through two lenses: a constructive nonconvex function class with local one-point strong convexity (OPSC), and a probabilistic analysis of whether discrete GD skips a bad region X. The SGD part writes the update as xt+1=xt-γ(∇f(xt)+ξt) and uses repeated-batch experiments to decouple noise magnitude from step size, isolating the effect of γ itself.
Key Results
- Theory: Theorem 1 defines a class Cl where small-step GD, γ<μ†/Lglobal2, initialized inside M can converge to the local minimum x†, but large-step GD, 2μ†<γ≤μ?L2, almost surely escapes M and converges to the global minimum x?.
- Theory: Theorem 2 gives a lower bound on avoiding an arbitrary region X. For γ≤μ?/L2, the probability of never visiting X is at least 1-2d·rW/cX-dlog2(1-γμ?)·L(X)/L(W) when cX≤rW, and equals 1 when cX>rW, showing a strong dependence on step size and the measure of X.
- Practice: Figure 5 reports that SGD with γ=0.01 outperforms γ=0.001. Even when the same batch is repeatedly reused until epoch 200, followed by 10 additional epochs, the smaller learning rate still lags, indicating that amplified stochasticity does not replace the effect of a larger step size.
Significance
This work shifts the explanation for why large learning rates help from a noise-centric story to a trajectory-centric one. It shows that large steps can fundamentally alter which parts of a nonconvex landscape are reachable, enabling escape from local minima even in full-batch GD. That matters both scientifically—because it exposes a gap between discrete GD and gradient flow—and practically, because learning-rate schedules remain one of the most consequential knobs in deep-network training.
Technical Contribution
Technically, the paper proves on an explicit nonconvex class that large-step and small-step GD can converge to different minima. The proof combines local OPSC geometry around a sharp local minimum, a global OPSC condition near the target minimum, and a skipping-region lemma that quantifies how discrete steps avoid small bad sets. Unlike classical L-smooth theory, it allows learning rates beyond the usual 2/L stability regime and highlights behaviors invisible in continuous-time analyses.
Novelty
The novelty is not merely that large learning rates add more randomness; the paper shows that even noise-free full-batch GD can benefit from step size alone. Compared with most prior work on saddle-point escape or flat-minima preference, this directly targets the harder question of escaping local minima and reaching a different minimum because of discretization itself.
Limitations
- The theory relies on carefully structured geometric assumptions—global smoothness, local OPSC, and special conditions around the bad region—so it is a mechanism proof rather than a universal characterization of real neural networks.
- The empirical evidence in the provided text is suggestive but not fully benchmarked: the excerpt does not specify the exact dataset, architecture details, or a broad suite of baselines, limiting reproducibility and quantitative scope.
- Theorem 2 is probabilistic and geometric, not absolute: it gives a high-probability guarantee for skipping small regions, but it does not eliminate all complex failure modes in high-dimensional landscapes.
Future Work
Natural follow-ups include extending the discrete-trajectory analysis to more realistic networks and weaker assumptions, testing whether Adam or Nesterov momentum exhibit analogous region-skipping behavior, and unifying escape from local minima with generalization, flatness, and edge-of-stability phenomena into a single comparative framework.
AI Executive Summary
This paper tackles a deceptively simple question in deep learning: why does a larger learning rate often make training work better? The common answer is that larger steps amplify SGD noise, helping the optimizer shake loose from bad minima. Mohtashami, Jaggi, and Stich argue that this story is incomplete. Through new experiments, they show that even when stochasticity is held roughly constant, a smaller learning rate can still underperform, suggesting that step size itself changes the optimization path—not just the amount of noise riding on it.\n\nTo make that claim precise, the authors build a nonconvex function class where the geometry is explicitly controllable. Around a local minimum x†, the landscape satisfies one-point strong convexity; elsewhere, it remains smooth but can guide iterates toward a global minimum x?. In this setting, they prove a sharp dichotomy: with a small learning rate, GD initialized in the local basin can converge to x†; with a sufficiently large learning rate, GD almost surely escapes the basin and converges to x?. They also derive a separate “skipping” result: for any bad region X, the probability that discrete GD ever visits X can be lower bounded, and the bound improves monotonically with γ while shrinking with the Lebesgue measure of X.\n\nThe practical message is equally important. In a neural-network experiment, the paper compares γ=0.01 against γ=0.001 and finds that the larger step performs better. To isolate the effect of step size from noise, the authors repeatedly reuse the same batch until epoch 200 and then train for 10 more epochs, yet the performance gap remains. That is a strong hint that learning rate is not merely a proxy for randomness. The paper further notes a phase where GD operates above the conventional stability threshold while escaping, and later returns to stability—echoing the “edge of stability” phenomenon reported in recent empirical work.\n\nBroaderly, the paper reframes optimization as a question of trajectory design. Large learning rates can make discrete GD reach regions that continuous gradient flow would not, and this difference may help explain why discrete training heuristics work so well in neural networks. At the same time, the authors are careful: their theory is built on structured assumptions, and the neural-network evidence is illustrative rather than a full benchmark study. Even so, the main takeaway is clear: when training deep models, the size of each step can matter as much as the noise in each step.\n\nFor future work, the most interesting challenge is to extend these ideas beyond the clean function class used here. Can the same escape-via-discretization mechanism be proven for more realistic architectures? Can adaptive optimizers be analyzed in the same framework? And can the interplay between large learning rates, stability, and generalization be turned into a predictive theory rather than a collection of empirical rules? This paper provides a concrete starting point.
Deep Analysis
Background
Training neural networks with GD or SGD is standard, yet the role of learning rate is still not fully explained. Prior work studied noise-induced smoothing, implicit bias, and preferences for flatter minima; other studies examined saddle-point avoidance and the “edge of stability.” Jastrzębski et al. highlighted the learning-rate/batch-size ratio, while work on gradient flow suggested continuous and discrete trajectories might be close. This paper argues that those views miss an essential effect: large step size can alter the actual path through a nonconvex landscape, not just the amount of stochasticity.
Core Problem
The central question is whether large learning rates help only because they amplify SGD noise, or whether the step size itself changes optimization dynamics. This matters because if noise were the whole story, then increasing randomness at small γ should be enough. The paper asks a sharper question: can discrete GD with large γ escape a local minimum and reach a different, better minimum in settings where small γ fails?
Innovation
First, the paper constructs a function class Cl where large-step and small-step GD provably converge to different minima. This is a trajectory-level separation, not just a rate result. Second, it introduces a region-skipping analysis for arbitrary bad sets X, tying visitation probability to γ and the size of X. Third, it brings theory and practice together by showing analogous behavior in neural-network training and by explicitly separating learning-rate effects from stochastic-noise effects via repeated-batch experiments.
Methodology
- �� Problem setup: minimize f?=minx∈Rdf(x) using full-batch GD and, separately, SGD with additive noise ξt.
- �� Smoothness model: assume L-smoothness to control gradient variation globally or outside exceptional regions.
- �� Local geometry: impose μ†-OPSC near a local minimum x† and μ?-OPSC near the target minimum x?, so the local basin is sharp while the rest of the landscape still guides descent.
- �� Lemma 1: if γ is large enough, specifically 2μ†<γ≤μ?L2 in the paper’s notation, then once GD enters the local region M it escapes rather than settling there.
- �� Theorem 1: combine Lemma 1 with global descent properties on the remainder of the landscape to prove that large-step GD converges to x?, while small-step GD can converge to x†.
- �� Lemma 2: for any bad region X, bound the probability that discrete GD ever visits X within T steps, with dependence on d, T, γ, and Lebesgue measure L(X).
- �� Theorem 2: specialize the bound to regions that are far enough from the global minimum and derive a monotone dependence on step size.
- �� SGD experiment: use repeated-batch training to hold noise approximately fixed while changing γ, isolating the trajectory effect of learning rate.
Experiments
The paper combines theoretical toy landscapes and a neural-network experiment. In theory, Figures 1, 3, 4, and 6 visualize how different initializations and step sizes lead to convergence to different minima or to escape from a sharp basin. In practice, the authors compare standard SGD at γ=0.01 versus γ=0.001, and also run a repeated-batch variant until epoch 200 followed by 10 extra epochs to preserve stochasticity. The excerpt does not specify the dataset name, but it reports train and test accuracy curves and emphasizes the qualitative gap between step sizes.
Results
The strongest theoretical result is a clean separation: large-step GD nearly surely exits the local basin and converges to the global minimum, whereas small-step GD can remain trapped in the local minimum. The second key result is geometric: the probability of hitting a bad region decreases with the region’s Lebesgue measure and increases with step size, capturing a discrete skipping effect that continuous gradient flow lacks.
Applications
The most immediate use is learning-rate scheduling in deep learning: start with a larger γ to promote basin escape, then reduce γ for fine convergence. The analysis also suggests a principled benchmark for optimizer design—new methods should be tested on whether they reproduce discrete-step escape behavior, not only on whether they add noise or preserve smooth convergence.
Limitations & Outlook
The results are proved under structured assumptions that may not literally hold in modern networks, so the paper is best read as a mechanism study. The empirical part is directionally convincing but not a full benchmark suite in the provided text, and the exact dataset/architecture details are not fully exposed. Finally, the skip-region bound is probabilistic and does not cover every pathological landscape scenario.
Plain Language Accessible to non-experts
Imagine you are walking downhill in a huge park full of potholes and hidden basins. Your goal is the lowest point, but along the way there are lots of little dents that can trap you. If your steps are tiny, you may keep circling the same pothole and never get out. If your steps are bigger, you can sometimes step cleanly over a bad spot and keep moving toward the real bottom.
That is the main idea here. People often think the magic comes from “more randomness” in the walk. The authors say: randomness matters, but the size of each step matters too. Even if you make the walk equally noisy, a tiny step can still leave you stuck, while a bigger step can carry you past the trap. So the road you take is not just about how shaky your legs are; it is also about how far each stride reaches.
The paper proves this carefully in a simplified mathematical park. Then it checks a neural-network training example and sees the same flavor of behavior: a larger learning rate leads to better progress, and the gap does not disappear even when the randomness is artificially kept similar. The takeaway is simple but powerful: in training, taking a bigger step can change where you end up, not just how fast you get there.
ELI14 Explained like you're 14
Think about climbing down a giant game map to find the best treasure. There are fake treasure spots everywhere, and some of them are traps. If you move in tiny baby steps, you might keep getting stuck near one trap forever. But if you take a bigger step, you might hop right over that trap and land closer to the real treasure. Cool, right?
A lot of people used to say, “Maybe the reason bigger steps help is just because the game gets noisier.” Like when your screen shakes and that somehow helps you escape. This paper says: not so fast. The shake helps, sure, but the step size itself is a big deal. Even if the shake stays about the same, a bigger step can still send you somewhere different.
The authors actually prove this in a math version of the game map. With small steps, you can end up stuck in a bad spot. With bigger steps, you can escape and reach a better place. That is a pretty big deal because it means the way we train neural networks is not just “more chaos = better.” It is also about how boldly you move.
So next time you hear someone say, “Just make the training noisier,” you can smile and say, “Wait—what about the step size?” Sometimes the difference between getting stuck and winning is not more noise, but a stronger jump!
Glossary
Gradient Descent (GD)
An optimization method that repeatedly moves parameters in the direction of steepest decrease of the loss. In technical terms, xt+1=xt-γ∇f(xt).
The paper studies how GD behaves differently under large versus small learning rates.
Stochastic Gradient Descent (SGD)
A noisy version of GD that uses a random mini-batch to estimate the gradient. In technical terms, the update includes an additive noise term ξt.
Used to test whether noise alone can explain the benefit of large learning rates.
Learning Rate / Step Size
The scalar γ that determines how far each update moves. In plain terms, it is the size of each stride; technically, it scales the gradient in the update rule.
The main variable in the paper’s theorems and experiments.
One-Point Strong Convexity (OPSC)
A local geometric property saying the gradient points strongly toward a reference point. It is weaker than global strong convexity and is used to characterize sharp basins.
Applied around the local minimum x† and the target minimum x? in the theoretical construction.
L-smoothness
A bound on how fast gradients can change across space. Plainly, it prevents the landscape from bending too abruptly; technically, it means the gradient is Lipschitz with constant L.
Assumed throughout the convergence and probability analyses.
Lebesgue Measure
A mathematical notion of size for sets in continuous spaces, generalizing length, area, and volume. Smaller measure usually means a region is harder to hit by random initialization or finite-step iterates.
Used in Theorem 2 to quantify how likely GD is to skip a bad region X.
Open Questions Unanswered questions from this research
- 1 Do modern neural networks satisfy the paper’s local OPSC and basin-separation assumptions often enough for the theory to predict real training dynamics? The paper suggests yes in spirit, but a general answer is still missing.
- 2 Can the same step-size-driven escape mechanism be derived for Adam, momentum, or second-order methods, and can it be linked rigorously to generalization rather than only optimization trajectories?
Applications
Immediate Applications
Early-phase learning-rate scheduling
Practitioners can use a larger initial learning rate to help the optimizer escape bad basins, then decay γ later for refinement. The method is most useful when training is unstable or appears trapped early.
Optimizer benchmarking
Researchers can test whether a new optimizer reproduces the large-step escape behavior on controlled nonconvex landscapes, rather than only matching noise levels or final loss.
Long-term Vision
A theory of discrete training dynamics
In the long run, these ideas could support a predictive theory of how step size, stability, and landscape geometry interact, helping to replace heuristic learning-rate rules with principled design.
Abstract
When training neural networks, it has been widely observed that a large step size is essential in stochastic gradient descent (SGD) for obtaining superior models. However, the effect of large step sizes on the success of SGD is not well understood theoretically. Several previous works have attributed this success to the stochastic noise present in SGD. However, we show through a novel set of experiments that the stochastic noise is not sufficient to explain good non-convex training, and that instead the effect of a large learning rate itself is essential for obtaining best performance.We demonstrate the same effects also in the noise-less case, i.e. for full-batch GD. We formally prove that GD with large step size -- on certain non-convex function classes -- follows a different trajectory than GD with a small step size, which can lead to convergence to a global minimum instead of a local one. Our settings provide a framework for future analysis which allows comparing algorithms based on behaviors that can not be observed in the traditional settings.