~/writing/math-foundations-for-reasoning-models $ ls
Optimization Foundations
Local Minimum
A local minimum is a parameter setting whose nearby alternatives have higher loss.
~/writing/math-foundations-for-reasoning-models $ cat topic.md
Local Minimum
Definition
A local minimum is a point where the loss is lower than nearby points.
Example:
nearby left -> loss 4
current -> loss 2
nearby right -> loss 5
The current point is better than its local neighborhood.
A local minimum is locally good, not necessarily globally best.
Local Neighborhood
"Local" means nearby in parameter space.
It does not mean all possible parameter settings.
Example:
current parameter setting
slightly smaller settings
slightly larger settings
If nearby settings have higher loss, the current setting is a local minimum.
Local minimum is defined by comparison with nearby alternatives.
Why Gradient Descent Can Stop There
Gradient descent uses local information.
At a local minimum, moving slightly in nearby directions may increase loss.
So the optimizer may stop making useful progress.
nearby movement -> higher loss
update becomes small
optimization stabilizes
Local methods can settle in locally low regions.
Local Minimum Is Not Always Bad
A local minimum is not automatically a failure.
If the loss is low enough and the model behaves well, a local minimum may be useful.
The real question is:
does this parameter setting solve the problem well enough?
not:
is it mathematically the absolute lowest possible loss?
In practical learning, useful low loss can matter more than perfect global optimality.
Local Minimum vs Flat Region
A local minimum is a locally low point.
A flat region is a region where loss changes very little.
Example:
local minimum:
nearby movement mostly increases loss
flat region:
nearby movement changes loss very little
Both can make optimization slow or stable, but they are not identical.
Local minima are about nearby comparison; flatness is about small change.
Final Summary
- A local minimum has lower loss than nearby parameter settings.
- "Local" means nearby in parameter space.
- Gradient descent can settle at local minima.
- A local minimum is not necessarily the best possible point overall.
- Local minima are not always bad if the resulting behavior is useful.
- Local minima are different from flat regions.
~/writing/math-foundations-for-reasoning-models $ open
Continue the series.
Global Minimum