Legacy Concept Lab

Natural Gradient & Riemannian Optimization

Natural gradient is coordinate-invariant—it gives the same update regardless of parameterization

Concept 56 of 100OptimizationPhase 10
#56Natural GradOptimization
key equation\tilde{\nabla} L = F(\theta)^{-1} \nabla_\theta L
Phase 10: Mathematical foundations & information geometryConcept 56 of 100

Why It Matters for Modern Models

  • Natural gradient is coordinate-invariant—it gives the same update regardless of parameterization
  • TRPO and PPO are approximations to natural gradient updates for policy optimization
  • Adam can be viewed as a diagonal approximation to natural gradient with adaptive preconditioning

What Tutorials Skip

What is still poorly explained in textbooks and papers:

  • The gradient is a covector, not a vector—the metric turns it into a direction of steepest descent
  • Euclidean gradient depends on how you parameterize; natural gradient depends only on the distributions
  • Natural gradient avoids plateaus faster because it accounts for local curvature in distribution space

Interactive Visualization

Core Math (Optional Deep Dive)

If you want intuition first, start with the key equation and the visualization. Come back here for the full walkthrough.

Key Equation
~L=F(θ)1θL\tilde{\nabla} L = F(\theta)^{-1} \nabla_\theta L

Natural gradient uses the Fisher metric instead of Euclidean:

~L=F(θ)1θL\tilde{\nabla} L = F(\theta)^{-1} \nabla_\theta L

Update rule:

θt+1=θtηF(θt)1L\theta_{t+1} = \theta_t - \eta F(\theta_t)^{-1} \nabla L

Variational characterization (why it's "natural"):

δ=argminδL,δs.t.KL(pθpθ+δ)ϵ\delta^* = \arg\min_\delta \langle \nabla L, \delta \rangle \quad \text{s.t.} \quad \text{KL}(p_\theta \| p_{\theta+\delta}) \leq \epsilon
δF1L\Rightarrow \delta^* \propto F^{-1} \nabla L

Canonical Papers

Natural Gradient Works Efficiently in Learning

Amari1998Neural Computation
Read paper →

Trust Region Policy Optimization

Schulman et al.2015ICML
Read paper →

Connections

Next Moves

Explore this concept from different angles — like a mathematician would.