Convergence guarantees. For SGD to converge to a minimum of a noisy objective, classical theory (Robbins–Monro) requires the step sizes to shrink. Constant η makes the parameters "buzz" around the minimum with variance proportional to η — they never truly settle.
Speed vs precision trade-off. Big η early = fast escape from bad regions. Small η late = fine-tuning near the optimum.
Escaping plateaus / warmup. Very early in training, gradients and Adam's running statistics are noisy; a warmup (starting small and ramping up) avoids blowing up.
Derivation of the steady-state variance (from scratch).
Take the variance of both sides, assuming ξt is independent of θt:
Var(θt+1)=(1−ηa)2Var(θt)+η2σ2.
At steady state Var(θt+1)=Var(θt)=V:
V=(1−ηa)2V+η2σ2⇒V(1−(1−ηa)2)=η2σ2.
Expand 1−(1−ηa)2=2ηa−η2a2=ηa(2−ηa):
V=a(2−ηa)ησ2≈2aησ2 for small η.
For convergence AND to actually make progress, the classic Robbins–Monro conditions are:
∑tη(t)=∞(can travel arbitrarily far),∑tη(t)2<∞(noise dies out).
The schedule η(t)=η0/t satisfies both (harmonic series diverges, ∑1/t2 converges) — the original theoretical schedule.
Why must the learning rate decay for SGD to converge to the true minimum?
The stochastic gradient noise gives a steady-state variance V∝η; only η→0 drives that residual jitter to zero.
State the Robbins–Monro conditions on a schedule η(t).
∑tη(t)=∞ (can travel far) and ∑tη(t)2<∞ (noise vanishes).
Give a schedule satisfying Robbins–Monro exactly.
η(t)=η0/(1+λt) (the 1/t schedule).
Cosine annealing formula?
η(t)=ηmin+21(ηmax−ηmin)(1+cos(πt/T)).
What are η at t=0 and t=T for cosine annealing?
ηmax at t=0, ηmin at t=T.
What is learning-rate warmup and why is it needed?
Linearly ramp η from ~0 to ηmax over the first Tw steps; needed because early Adam variance estimates are unreliable, so unscaled early steps can diverge.
Step decay formula?
η(t)=η0γ⌊t/s⌋.
Steady-state variance near a quadratic minimum under constant η?
V=a(2−ηa)ησ2≈2aησ2.
Why not just use a tiny constant LR?
You still plateau above the minimum (residual variance) AND waste compute; decaying gives both speed and precision.
Half-life of exponential decay η0e−λt?
t1/2=ln2/λ.
Recall Feynman: explain to a 12-year-old
You're walking downhill in fog to reach the lowest point. At the top you take big confident steps to get down fast. As you sense you're near the bottom, you take tiny careful steps so you don't trip over the lowest spot and walk back up. A learning rate schedule is just the plan for how quickly you shrink your steps. And right at the start, when you can't see anything yet, you take a few slow steps to get your balance — that's "warmup."
Dekho, learning rate η ka matlab hai ki har step pe tum apne weights ko kitna bada update karte ho. Agar hamesha bada step rakhoge, to minimum ke aas-paas ball bounce karti rahegi — kabhi settle nahi hogi. Agar hamesha chhota rakhoge, to training bahut slow ho jaayegi. Isliye smart idea ye hai: shuruaat me bade steps (fast travel), aur dheere-dheere steps chhote karo (gently settle). Isko hi hum learning rate scheduling kehte hain.
Iske peeche maths bhi solid hai. SGD me gradient me thoda noise hota hai. Agar η constant rakho, to minimum ke paas bhi weights ka ek "buzzing" reh jaata hai jiska variance V∝η hota hai. Matlab jab tak η ko zero ki taraf nahi le jaoge, tum true minimum tak pahunchoge hi nahi — bas uske thoda upar ghoomte rahoge. Yahi reason hai ki decay zaroori hai (Robbins–Monro conditions: ∑η=∞ aur ∑η2<∞).
Practical schedules: step decay (har kuch epochs me aadha kar do), cosine annealing (smooth curve jo start me high rehti hai, phir aaram se girti hai), aur warmup (shuruaat me η ko chhote se bada karo). Transformers me warmup bahut important hai kyunki Adam ke variance estimates shuru me kachche hote hain — bina warmup ke loss phat sakta hai. Modern default: warmup + cosine — yaad rakho "Warm up, then Cool down".
Ek common galti: socho ki cosine linear girta hai. Nahi! Cosine start aur end pe flat hota hai, beech me sabse fast girta hai. Isliye halfway time pe value halfway hoti hai (symmetry se), par baaki jagah curve straight nahi hai.