1.2.13 · D5Calculus & Optimization Basics
Question bank — Learning rate effects on convergence
Symbols used on this page (define before you use)


True or false — justify
True or false: a smaller learning rate always gives a lower final training loss.
False — a smaller converges more slowly, but given enough iterations both small and moderate reach the same minimum; if you stop early, the small one can actually have higher loss because it hasn't arrived yet.
True or false: if satisfies the loss is guaranteed to decrease every single step.
True for an -smooth loss — the Descent Lemma above bounds the step's effect by , which is negative precisely when , so each step is a guaranteed descent.
True or false: is the fastest possible learning rate for any smooth problem.
False — the clean rate is the worst-case safe choice that comes with the extra assumption of convexity (usually -smoothness plus strong convexity); on a merely -smooth non-convex loss it only guarantees you don't diverge, and the actually-fastest rate depends on the whole spectrum of the Hessian Matrix, sometimes pushing closer to .
True or false: on , jumps to the exact minimum in one step.
True — the gradient with gives ; this coincides with a Newton step because the Hessian () is constant.
True or false: doubling the learning rate always halves the number of iterations to converge.
False — the speed-up is roughly true only while stays well below the stability limit; near or beyond doubling makes it oscillate or diverge, so iterations go to infinity, not down.
True or false: a diverging loss curve always means the learning rate is too large.
False — a too-large is the most common cause, but divergence can also come from exploding gradients, bad data scaling, or numerical blow-up in Backpropagation; check the gradient norms before blaming .
True or false: with exactly at the stability edge , gradient descent still converges.
False — on the test quadratic (so , edge ) the iterate flips sign with the same magnitude forever (a perfect oscillation), so it neither converges nor diverges; you need strict inequality.
True or false: the update moves toward the minimum because the gradient points toward it.
False — the gradient points uphill (steepest ascent); the minus sign is what turns it downhill. Removing the minus would send you climbing.
Spot the error
"Loss increased after 500 epochs of clean training, so I'll lower ." — what's wrong?
A rise after stable training rarely means is too big; it more often signals overfitting or an escape into a worse region — lowering is a band-aid, so diagnose the cause (regularization, initialization) first. Note a plateau is a different symptom: it makes loss stagnate flat, not rise, so don't lump it in with rising-loss causes.
" has no units, so the update has the units of the gradient." — fix it.
The whole point of is to convert the gradient's [loss/parameter] units into a [parameter] step; in practice carries whatever scaling makes dimensionally a parameter, so it is not a bare pure number in the units sense even when written dimensionless.
"My Hessian eigenvalue is , so I'll use to move fast." — spot the error.
Stability needs , not ; using is eight times over the limit and will diverge exponentially.
"I'll pick one global that works for every parameter." — what does this ignore?
Different parameters have different curvatures; a single is too big for steep directions and too small for flat ones, which is exactly why the Adam Optimizer uses a per-parameter effective rate.
"Constant is fine because it's simplest." — where does it fail?
Far from the minimum a large step is efficient, but near the minimum the same step overshoots and jitters; Learning Rate Schedules shrink late in training to settle precisely.
"For with the loss just decreases slowly." — correct it.
With the limit is ; at the iterate flips sign and doubles each step (), so the loss explodes, it does not decrease.
"Momentum fixes divergence caused by too-large ." — is this right?
No — Momentum accumulates past gradients and can make an already-too-large step more explosive; momentum cures slow crawling in ravines and escapes saddles, not the stability ceiling on .
Why questions
Why does gradient descent need a separate instead of just stepping by the gradient itself?
The raw gradient only encodes direction and a magnitude tied to the loss's steepness; is the knob that sets the physical distance moved, decoupling step size from how steep the slope happens to be.
Why is the convergence factor for a good geometric, like ?
On a quadratic each step multiplies the distance-to-minimum by the constant , and repeatedly multiplying by the same factor is exactly geometric (exponential) decay.
Why is the smoothness number hard to know for a neural network?
is the largest eigenvalue of the Hessian Matrix over the whole landscape, which changes at every point and is astronomically expensive to compute, so we grid-search instead of solving for it.
Why does a high Condition Number make choosing harder?
A high condition number means the largest and smallest Hessian eigenvalues differ wildly (steep vs flat directions); must be small enough not to diverge along the steep axis, which then crawls painfully along the flat axis — a single rate can't serve both.
Why does the final-loss-versus- plot form a U-shape?
Too-small leaves you far from the minimum (high loss), too-large oscillates or diverges (high loss), and only the middle band both moves fast and stays stable (low loss) — exactly the curve drawn in the first figure.
Why do adaptive methods divide by (the running squared-gradient average defined above)?
Dividing by the recent gradient size gives large effective steps where gradients are small (flat regions) and small steps where gradients are large (steep regions), automatically balancing the per-direction curvature.
Edge cases
What happens at a point where the gradient is exactly zero, regardless of ?
The update becomes — no movement at all; this is a stationary point (minimum, maximum, or saddle) and cannot rescue it without a perturbation or Momentum.
What does do?
Nothing — every update is , so the parameters freeze and no learning occurs.
What does a negative learning rate do?
It flips the sign of the step to , which moves uphill — gradient ascent; you climb toward maxima and away from minima, so is never used for minimisation (only deliberately for maximising an objective).
On a perfectly flat loss region (zero gradient everywhere), does any help?
No — with zero gradient the step is zero for every ; you are stuck until curvature or noise appears, which is why plateaus are dangerous even with a well-tuned rate.
What happens on exactly at (i.e. with )?
The iterate maps , so it bounces forever with unchanged magnitude — a knife-edge oscillation, neither converging nor diverging.
If the starting point is already the minimum, does matter?
No — the gradient there is zero, so any yields a zero step and you simply stay put; the rate only matters while there is a nonzero slope to follow.
What is the effect of a huge on a near-flat direction of a high-condition-number bowl?
Along the flat direction even a large barely moves you (small gradient), yet that same overshoots the steep direction — this mismatch is the core reason plain gradient descent struggles on ill-conditioned problems.