---
cluster: "B"
day: "B.4"
contributors:
  - Guillaume Corlouer (Stormglass)
title: Training Dynamics
summary: >-
  Exact learning dynamics of deep linear networks -- loss-landscape geometry,
  balanced gradient flow and the NTK, the rich (saddle-to-saddle) and lazy
  regimes, their mixed unification, and the implicit bias of SGD noise.
---

$\gdef\tightlist{\setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}$

<YouTube id="IHHrJdZKICs" title="The Dumbest Neural Network Worth Studying" />

<YouTube id="clTLzFD2uC8" title="Uncovering The Hidden Biases of Deep Learning" />

<LearningOutcomes>

**Motivation**

- Know about some big open questions in learning dynamics
- Understand the concept of implicit regularization
- Know about the different approaches to studying learning dynamics
- Understand the AI safety motivations for learning dynamics
- Know about emergent misalignment as a safety-relevant phenomenon that illustrates the importance of understanding generalization for AI safety

**Geometry and dynamics of deep neural networks**

- Know key results about the loss landscape of deep linear networks (DLNs): critical points are saddles or global minima
- Explain the edge of stability phenomenon
- Understand that gradient flow can be written as NTK-weighted gradient in function space
- DLNs are degenerate and have conserved quantities through gradient flow

**Regimes of learning in deep linear networks**

- Understand the role of initialization, width and depth for the lazy and rich (saddle to saddle) regimes in DLNs
- Know about implicit regularization from non-linearity (neural race reduction)

</LearningOutcomes>

Use LLMs to help you out when you spend longer than the suggested time (but make sure that you understand). Make sure you keep at least 30 minutes to do problem 3.

**References**: ([Saxe et al. 2014](#bib-saxe2014)), ([Achour et al. 2024](#bib-achour2024)), ([Tu et al. 2024](#bib-tu2024)).

## 1. Module Intent

The goal of this day is to present a toy model perspective on the training dynamics of deep neural networks. The student should learn about the AI safety motivations of studying training dynamics. One motivation is that understanding the implicit biases of training deep neural networks is a central problem behind AI alignment. This is because implicit biases influence the generalization behaviour of a neural network including for example if that neural network will generalize in a helpful or harmful way out of distribution. Another motivation is interpretability. One key lesson of the day is that SGD learns from data in a structured way. For example in deep linear neural networks, under small initialization, it will first learn the features that explain the largest fraction of data covariance.

## 2. Setup and notation

We study deep linear networks (DLNs) with $L$ weight matrices $W_{1} \in \mathbb{R}^{d_1 \times d_0}, W_{2} \in \mathbb{R}^{d_2 \times d_1}, \ldots, W_{L} \in \mathbb{R}^{d_L \times d_{L-1}}$. The network computes:

$$
f(x) = W_{L} W_{L-1}\cdots W_{1} \, x =: W x
$$

where $W = W_{L} \cdots W_{1} \in \mathbb{R}^{d_L \times d_0}$ is the end-to-end (or "student") matrix. We train on a dataset $\{(x_{\mu}, y_{\mu})\}_{\mu=1}^{N}$ with the squared loss:

$$
\mathcal{L}(\theta) = \frac{1}{2N}\sum_{\mu=1}^{N}\|y_{\mu} - f(x_{\mu})\|^{2}
$$

In the population limit $N \to \infty$ with whitened inputs $\Sigma_{X} = I$, this becomes, up to an additive constant[^1]:

$$
\mathcal{L}(W) = \frac{1}{2}\|M - W\|_{F}^{2}
$$

where $M = \Sigma_{YX}\Sigma_{X}^{-1}= \Sigma_{YX}$ is the "teacher" matrix (the OLS solution) with SVD $M = U \,\text{diag}(s_{1}, \ldots, s_{r}, 0, \ldots, 0)\, V^{\top}$, and $s_{1} \geq s_{2} \geq \cdots \geq s_{r} > 0$.

## 3. Loss landscape geometry

This problem explores the critical point structure of deep linear networks, following ([Achour et al. 2024](#bib-achour2024)).

<Exercise id="ex-td-1a">
**Exercise 3.1 (Diagonal decomposition).** Consider the **diagonal** case: $d_{0} = d_{1} = \cdots = d_{L} = d$, and the teacher is diagonal, $M = \text{diag}(s_{1}, \ldots, s_{d})$, with $s_{1} > s_{2} > \cdots > s_{d} > 0$. Restrict attention to diagonal weight matrices $W_{l} = \text{diag}(w_{l}^{(1)}, \ldots, w_{l}^{(d)})$. Show that the loss decomposes into $d$ independent scalar problems:

$$
\mathcal{L}= \frac{1}{2}\sum_{\alpha=1}^{d} \left(s_{\alpha} - \prod_{l=1}^{L} w_{l}^{(\alpha)}\right)^{2}
$$
</Exercise>


<Exercise id="ex-td-1b">
**Exercise 3.2 (Scalar critical points).** For a single scalar mode with target $s > 0$, find all first-order critical points of $\ell(w_{1}, w_{2}) = \frac{1}{2}(s - w_{1} w_{2})^{2}$ at depth $L = 2$. Show that the critical points are:

- The global minimum manifold: $w_{1} w_{2} = s$
- The origin: $w_{1} = w_{2} = 0$

Classify the origin as a saddle point by computing the Hessian $H$ of $\ell$ at $(0,0)$ and showing it has both positive and negative eigenvalues.

*Hint*: Write the gradient equations.
</Exercise>


<Exercise id="ex-td-1c">
**Exercise 3.3 (Critical-point structure).** Achour et al. ([Achour et al. 2024](#bib-achour2024)) show that every first-order critical point $\theta = (W_{1}, \ldots, W_{L})$ satisfies: there exists a subset $S \subseteq \{1, \ldots, d\}$ such that

$$
W = W_{L} \cdots W_{1} = P_{S}\, M
$$

where $P_{S} = U_{S} U_{S}^{\top}$ is the orthogonal projector onto the span of the left singular vectors $\{u_{\alpha}\}_{\alpha \in S}$ of $M$. For the diagonal case $M = \text{diag}(s_{1}, \ldots, s_{d})$, write the value of the loss at the critical point corresponding to $S = \{1, \ldots, r\}$ with $r < d$.
</Exercise>


<Exercise id="ex-td-1d">
**Exercise 3.4 (Symmetry of the global minima).** The group $GL_{h} := GL_{d_1}\times \cdots \times GL_{d_{L-1}}$ acts on the weights by:

$$
(W_{1}, \ldots, W_{L}) \mapsto (g_{1} W_{1},\; g_{2} W_{2} g_{1}^{-1},\; \ldots,\; W_{L} g_{L-1}^{-1})
$$

Verify that the student map $\mu(\theta) = W_{L} \cdots W_{1}$ is invariant under this action: $\mu(g \cdot \theta) = \mu(\theta)$.
</Exercise>


## 4. Gradient flow and conserved quantities

We now study gradient flow: $\dot{\theta}(t) = -\nabla_{\theta} \mathcal{L}(\theta(t))$, the continuous-time limit of gradient descent with infinitesimal learning rate.

<Exercise id="ex-td-2a">
**Exercise 4.1 (Gradient-flow equations).** For a two-layer DLN ($L=2$), the loss is given by $\mathcal{L}= \frac{1}{2}\|M - W_{2} W_{1}\|_{F}^{2}$. Assume that each weight matrix $W_{i}$ is diagonal. Derive the gradient flow equations for each layer. In particular, show that:

$$
\dot{W}_{1} = W_{2}^{\top}(M - W_{2} W_{1}), \qquad \dot{W}_{2} = (M - W_{2} W_{1}) W_{1}^{\top}
$$

*Note*: these equations also hold for general (non-diagonal) $W_{1}$ and $W_{2}$.
</Exercise>


<Exercise id="ex-td-2b">
**Exercise 4.2 (Balancedness is conserved).** Define the **balancedness matrix**:

$$
G := W_{2}^{\top} W_{2} - W_{1} W_{1}^{\top}
$$

Show that $G$ is conserved under the gradient flow, i.e. $\dot{G}= 0$. In other words, gradient flow is constrained to the balanced manifold

$$
\mathcal{M}_{\beta}:= \{\theta\in\Omega\mid W_{\ell+1}^{\top}W_{\ell+1}- W_{\ell}W_{\ell}^{\top}= \beta_{\ell},\; \ell=1,\ldots,L-1\}.
$$

*Hint*: Compute $\dot{G}$, substitute the gradient flow equations and verify that the terms cancel pairwise.
</Exercise>


From now on, assume **balanced initialization**: $G(0) = 0$, which by [Exercise 4.2](#ex-td-2b) means $W_{2}^{\top} W_{2} = W_{1} W_{1}^{\top}$ for all time. We want to derive the gradient flow in function space (the ODE for the student $W = W_{2} W_{1}$). This requires several steps.

<Exercise id="ex-td-2ci">
**Exercise 4.3 (Function-space velocity).** Compute $\dot{W}:= \frac{d}{dt}(W_{2} W_{1})$ using the gradient flow equations from [Exercise 4.1](#ex-td-2a). Show that:

$$
\dot{W}= (M - W)\, W_{1}^{\top} W_{1} + W_{2} W_{2}^{\top}\, (M - W)
$$
</Exercise>


<Exercise id="ex-td-2cii">
**Exercise 4.4 ($W_{1}^{\top}W_{1}$ in terms of $W$).** We now need to express $W_{1}^{\top} W_{1}$ and $W_{2} W_{2}^{\top}$ in terms of $W = W_{2} W_{1}$. Show that:

$$
W_{1}^{\top} W_{1} = (W^{\top} W)^{1/2}
$$
</Exercise>


<Exercise id="ex-td-2ciii">
**Exercise 4.5 ($W_{2}W_{2}^{\top}$ in terms of $W$).** Similarly, show that $W_{2} W_{2}^{\top} = (W W^{\top})^{1/2}$.
</Exercise>


<Exercise id="ex-td-2civ">
**Exercise 4.6 (The balanced function-space ODE).** Substitute the results of [Exercises 4.4](#ex-td-2cii) and [4.5](#ex-td-2ciii) into [Exercise 4.3](#ex-td-2ci) to obtain:

$$
\dot{W}= (W W^{\top})^{1/2}(M - W) + (M - W)(W^{\top} W)^{1/2}
$$
</Exercise>


<Exercise id="ex-td-2d">
**Exercise 4.7 (The NTK operator).** Define the NTK operator for $L = 2$ as:

$$
K[F] := (WW^{\top})^{1/2}\, F + F\, (W^{\top} W)^{1/2}
$$

Show that the gradient flow from [Exercise 4.6](#ex-td-2civ) can be written as $\dot{W}= K[M - W]$.

It turns out that this result generalizes to depth $L$ on the balanced manifold:

$$
\dot{W}= \sum_{k=1}^{L}(WW^{\top})^{\frac{L-k}{L}}(M - W) (W^{\top} W)^{\frac{k-1}{L}}
$$

This is the NTK equation in the case of DLNs. The NTK equation is a gradient flow in function space with NTK being a preconditioning operator for the gradient.
</Exercise>


## 5. Rich regime: saddle-to-saddle

This is the core problem. We derive the exact solution of the rich regime dynamics directly from the self-consistent equation of [Section 4](#4-gradient-flow-and-conserved-quantities), emphasizing the NTK perspective.

**Alignment assumption.** Start from the balanced gradient flow equation derived in [Exercise 4.6](#ex-td-2civ):

$$
\dot{W}= (WW^{\top})^{1/2}(M - W) + (M - W)(W^{\top} W)^{1/2}
$$

We work in the **rich regime** (small initialization) with balanced weights. Assume that the student is **aligned** to the teacher: the singular vectors of $W(t)$ coincide with those of $M$ at all times. Concretely, write:

$$
M = U\,\text{diag}(s_{1}, \ldots, s_{d})\,V^{\top}, \qquad W(t) = U\,\text{diag}(w_{1}(t), \ldots, w_{d}(t))\,V^{\top}
$$

where $U, V$ are the left/right singular vectors of $M$, and $w_{\alpha}(t) \geq 0$ are the evolving singular values of $W$.

<Exercise id="ex-td-3ai">
**Exercise 5.1 (Aligned NTK).** Under this alignment assumption, show that the NTK operator is aligned to the task, i.e. $K[F]$ preserves the SVD basis. In particular, show that:

$$
\begin{aligned}(WW^{\top})^{1/2}&= U\,\text{diag}(w_{1}, \ldots, w_{d})\,U^{\top}, \\ (W^{\top} W)^{1/2}&= V\,\text{diag}(w_{1}, \ldots, w_{d})\,V^{\top}\end{aligned}
$$

and that the residual is $M - W = U\,\text{diag}(s_{1} - w_{1}, \ldots, s_{d} - w_{d})\,V^{\top}$.

*Hint*: Recall that for $A = U\,\text{diag}(\sigma_{i})\,V^{\top}$, we have $AA^{\top} = U\,\text{diag}(\sigma_{i}^{2})\,U^{\top}$, and therefore $(AA^{\top})^{1/2}= U\,\text{diag}(|\sigma_{i}|)\,U^{\top}$.
</Exercise>


<Exercise id="ex-td-3aii">
**Exercise 5.2 (Decoupled scalar ODEs).** Substitute into the self-consistent equation. Show that the matrix equation decouples into $d$ independent scalar ODEs:

$$
\dot{w}_{\alpha} = 2\,w_{\alpha}\,(s_{\alpha} - w_{\alpha}), \qquad \alpha = 1, \ldots, d
$$

*Hint*: Compute the product $(WW^{\top})^{1/2}(M - W)$ in the SVD basis. It is diagonal with entries $w_{\alpha}(s_{\alpha} - w_{\alpha})$. The second term contributes identically, giving the factor of 2.
</Exercise>


<Exercise id="ex-td-3b">
**Exercise 5.3 (Timescale of learning).** The ODE $\dot{w}= 2w(s - w)$ is a logistic equation whose solution is:

$$
w(t) = \frac{s}{1 + \left(\frac{s}{w_0}- 1\right)e^{-2st}}
$$

where $w_{0} = w(0)$. Compute the time $t_{\alpha}$ it takes for mode $\alpha$ to travel from initial strength $w_{0}$ to a final strength $w_{f}$. Show that:

$$
t_{\alpha} = \frac{1}{2 s_{\alpha}}\ln\left(\frac{w_{f}\,(s_{\alpha} - w_{0})}{w_{0}\,(s_{\alpha} - w_{f})}\right)
$$

Deduce that modes with larger singular values $s_{\alpha}$ are learned faster. This is a **separation of timescales**: the network learns features in decreasing order of their singular value strength.
</Exercise>


<Exercise id="ex-td-3c">
**Exercise 5.4 (Incremental learning).** Consider a teacher with $r$ nonzero singular values and a small uniform initialization $w_{\alpha}(0) = w_{0} \ll s_{r}$ for all $\alpha$. Qualitatively, discuss:

- What is the approximate distribution of singular values of $W(t)$ at early times?
- How do the singular values of $W(t)$ evolve throughout training?
- What happens in the limit $t \to \infty$?

What does this analysis tell us about the sequence of critical points visited by the gradient flow?
</Exercise>


## 6. Lazy regime

We now show that large initialization freezes the NTK and eliminates the timescale separation found in [Section 5](#5-rich-regime-saddle-to-saddle). For clarity, we work with the **diagonal scalar** model from [Exercise 3.1](#ex-td-1a), so each mode $\alpha$ is independent. This avoids matrix algebra and isolates the essential mechanism.

**Setup.** Consider a single mode: a depth-2 diagonal DLN with scalar weights $a, b$ learning a target $s > 0$. From [Sections 4](#4-gradient-flow-and-conserved-quantities) and [5](#5-rich-regime-saddle-to-saddle), the balanced gradient flow for $w = ab$ is:

$$
\dot{w}= 2w(s - w)
$$

The factor $2w$ is the (scalar) NTK — it is **state-dependent**: the effective learning rate depends on the current value of $w$.

<Exercise id="ex-td-4a">
**Exercise 6.1 (Linearizing the NTK).** Now initialize at a **large** value $w_{0} \gg s > 0$. Assume that in the early phase of training, while $w$ has not changed much from $w_{0}$, the ODE becomes approximately:

$$
\dot{w}\approx 2w_{0}(s - w)
$$
</Exercise>


<Exercise id="ex-td-4b">
**Exercise 6.2 (Frozen-NTK solution).** Solve the linearized ODE from [Exercise 6.1](#ex-td-4a). Show that:

$$
w(t) = s + (w_{0} - s)\,e^{-2w_0 t}
$$

What is the learning timescale?
</Exercise>


<Exercise id="ex-td-4c">
**Exercise 6.3 (No timescale separation).** Now restore the mode index $\alpha$. In the lazy regime, each mode satisfies $\dot{w}_{\alpha} \approx 2w_{0}(s_{\alpha} - w_{\alpha})$ with the **same** rate $2w_{0}$ for all $\alpha$. Compare the lazy learning time $t_{\alpha}^{\text{lazy}}$ with the rich-regime timescale from [Exercise 5.3](#ex-td-3b): $t_{\alpha}^{\text{rich}}\propto 1/s_{\alpha}$.
</Exercise>


## 7. Mixed dynamics: unifying lazy and rich

In practice, networks are neither purely lazy nor purely rich. Tu, Aranguri & Jacot (2024) provide a unified description. We develop the key ideas using the diagonal scalar model.

<Exercise id="ex-td-5a">
**Exercise 7.1 (The interpolating ODE).** In [Sections 5](#5-rich-regime-saddle-to-saddle) and [6](#6-lazy-regime), we studied the same ODE $\dot{w}_{\alpha} = 2w_{\alpha}(s_{\alpha} - w_{\alpha})$ in two limits: small $w_{0}$ (rich) and large $w_{0}$ (lazy). A more general model for a depth-2 DLN with balanced initialization at scale $\sigma$ and width $n$ replaces the scalar NTK $2w_{\alpha}$ by:

$$
\dot{w}_{\alpha} = 2\sqrt{w_{\alpha}^{2} + \tau^{2}}\;(s_{\alpha} - w_{\alpha})
$$

where $\tau := \sigma^{2} \sqrt{n}$ is a **threshold** parameter that depends on the initialization scale and width.

Verify that this ODE reproduces the two known regimes:

- **Rich limit** ($\tau \to 0$): recover $\dot{w}_{\alpha} = 2|w_{\alpha}|(s_{\alpha} - w_{\alpha})$.
- **Lazy limit** ($\tau \to \infty$ with $w_{\alpha}$ bounded): recover $\dot{w}_{\alpha} \approx 2\tau(s_{\alpha} - w_{\alpha})$.
</Exercise>


<Exercise id="ex-td-5b">
**Exercise 7.2 (Two-phase dynamics).** At initialization, all modes start at $w_{\alpha}(0) \sim \sigma^{2} \ll \tau$ (since $\sqrt{n}\gg 1$). Observe that:

- When $|w_{\alpha}| \ll \tau$, the effective learning rate is $\approx 2\tau$, the same for all modes (lazy behavior).
- When $|w_{\alpha}| \gg \tau$, the effective learning rate is $\approx 2|w_{\alpha}|$, which is mode-dependent (rich behavior).

Describe the resulting two-phase dynamics in words: what happens first, and what happens later?
</Exercise>


<Exercise id="ex-td-5c">
**Exercise 7.3 (Mode-by-mode transition).** Not all modes cross the threshold $\tau$ at the same time: which modes cross it first? Explain why this means that a single network can simultaneously have some modes in the rich regime and others still in the lazy regime.
</Exercise>


## 8. Stochastic implicit bias (bonus)

SGD introduces noise from mini-batching. A continuous model is the Langevin SDE:

$$
d\theta_{t} = -\nabla \mathcal{L}(\theta_{t})\,dt + \sqrt{\eta\,\Sigma(\theta_{t})}\,dB_{t}
$$

where $\Sigma(\theta)$ is the covariance of the stochastic gradient noise and $\eta$ is the learning rate.

<Exercise id="ex-td-6a">
**Exercise 8.1 (Boltzmann equilibrium).** The probability density $p(\theta, t)$ of the parameters evolves according to the Fokker–Planck equation:

$$
\partial_{t} p = -\nabla \cdot \mathbf{j}, \qquad \mathbf{j}= -\nabla \mathcal{L}(\theta)\,p(\theta) - \frac{\eta}{2}\nabla \cdot \left(\Sigma(\theta)\,p(\theta)\right)
$$

where $\mathbf{j}$ is the probability current. Assume: (i) stationarity $\partial_{t} p^{*} = 0$, (ii) thermal equilibrium $\mathbf{j}= 0$, and (iii) isotropic noise $\Sigma = \sigma^{2} I$. Show that the equilibrium distribution is the Boltzmann distribution:

$$
p^{*}(\theta) \propto \exp\left(-\frac{2}{\eta \sigma^{2}}\mathcal{L}(\theta)\right)
$$

*Hint*: Setting $\mathbf{j}= 0$ with $\Sigma = \sigma^{2} I$ gives $\nabla \mathcal{L}\, p + \frac{\eta\sigma^{2}}{2}\nabla p = 0$. This is a first-order ODE for $p$ in terms of $\mathcal{L}$. Try the ansatz $p \propto e^{-\beta \mathcal{L}}$ and solve for $\beta$.
</Exercise>


<Exercise id="ex-td-6b">
**Exercise 8.2 (Temperature and flatness).** The ratio $\frac{2}{\eta \sigma^{2}}$ plays the role of an inverse temperature $\beta$. Interpret what happens to the equilibrium distribution when:

- $\eta$ is very small (low temperature)
- $\eta$ is very large (high temperature)

Which regime favors flatter minima, and why might this be beneficial for generalization?
</Exercise>


<Exercise id="ex-td-6c">
**Exercise 8.3 (Anisotropic noise).** In practice, SGD noise is **not** isotropic: $\Sigma(\theta)$ depends on both the loss landscape and the data. Without solving anything, explain qualitatively why anisotropic noise can introduce an implicit bias that goes beyond what the loss function $\mathcal{L}$ alone would select. Specifically, why might SGD preferentially escape sharp directions of the loss while remaining stable along flat directions?
</Exercise>


## Learn more

The readings are roughly ordered in a way that makes sense for learning. Discuss the readings in groups of 2 or 3, to be formed in this [Google doc](https://docs.google.com/document/d/18ipUc3WcV2DOqHJRD_TqHAPyEaYHK0SVpUfiXtBF99Q/edit?tab=t.0). Spend 30 minutes reading, 30 minutes discussing and 30 minutes to write down your thoughts in the Google doc.

### Key readings

- The strong default suggestion for everyone is: Saxe et al. [Exact solutions to the nonlinear dynamics of learning in deep linear neural networks](https://arxiv.org/abs/1312.6120)
- If you already feel comfortable with the content of Saxe's paper you can read about the alignment phase [Neural Networks as Kernel Learners: The Silent Alignment Effect](https://arxiv.org/abs/2111.00034)
- For a more general perspective on the rich regime you can then read [Alternating Gradient Flows: A Theory of Feature Learning in Two-layer Neural Networks](https://arxiv.org/abs/2506.06489)
- For people with a strong algebraic geometry and representation geometry background read: [Geometry of fibers of the multiplication map of deep linear neural networks](https://arxiv.org/abs/2411.19920) Simon Pepin Lehalleur et al. — Stratifies global minima into orbits using quiver representation theory
- For people with a strong dynamical system and differential geometry background read: [The geometry of the deep linear network](https://arxiv.org/abs/2411.09004) Govind Menon — Beautiful mathematical treatment of gradient flow in DLNs and a surprising mathematical result relating gradient flow and free-energy minimization. Makes implicit regularization explicit (under balanced assumptions)
- For people who are much more empirically minded: [Emergent Misalignment is Easy, Narrow Misalignment is Hard](https://arxiv.org/abs/2602.07852) — When fine-tuned on data with harmful inputs, the model generalizes in harmful ways on other unrelated datasets. By regularizing, we can mitigate emergent misalignment
- Literature Review: [There Will Be a Scientific Theory of Deep Learning](https://arxiv.org/abs/2604.21691)

### Loss landscape geometry

- [Deep Learning without Poor Local Minima](https://arxiv.org/abs/1605.07110), Kenji Kawaguchi — For non-bottlenecked DLNs, all local minima are global
- [The loss landscape of deep linear neural networks: a second-order analysis](https://arxiv.org/abs/2107.13289) Achour et al. — First-order and second-order classification of critical points in DLN loss landscapes. Classifies strict and non-strict saddles.
- [Pure and Spurious Critical Points: a Geometric Study of Linear Networks](https://arxiv.org/abs/1910.01671) Matthew Trager et al. — Defines spurious minima and counts the number of connected components of the global minima
- [Geometry of fibers of the multiplication map of deep linear neural networks](https://arxiv.org/abs/2411.19920) Simon Pepin Lehalleur et al. — Stratifies global minima into orbits using quiver representation theory
- [The Loss Surfaces of Multilayer Networks](https://arxiv.org/abs/1412.0233) Anna Choromanska et al — No-local-minima results in non-linear multilayer networks under some strong assumptions (spin glass models)
- [Loss Surfaces, Mode Connectivity, and Fast Ensembling of DNNs](https://arxiv.org/abs/1802.10026), Timur Garipov et al — Study the connectedness of global minima of loss landscapes (mode connectivity)
- [The Multilinear Structure of ReLU Networks](https://arxiv.org/abs/1712.10132), Thomas Laurent, James von Brecht — Show that local minima are typically singular
- Classic result: [Neural networks and principal component analysis: Learning from examples without local minima](https://www.sciencedirect.com/science/article/abs/pii/0893608089900142) Pierre Baldi et al. — Original result that linear network landscapes have no spurious local minima (single hidden layer case)
- Good review of key DLNs results: [Gradient Flow Equations for Deep Linear Neural Networks: A Survey from a Network Perspective](https://arxiv.org/abs/2511.10362), Joel Wendin, Claudio Altafini — Also covers gradient flow

### Implicit biases of gradient flow

- Saxe et al. [A mathematical theory of semantic development in deep neural networks](https://www.pnas.org/doi/10.1073/pnas.1820226116) — Read the supplementary materials section to understand the exact solution of gradient flow dynamics in deep linear networks
- [Saddle-to-Saddle Dynamics in Deep Linear Networks: Small Initialization Training, Symmetry, and Sparsity](https://arxiv.org/abs/2106.15933) Arthur Jacot et al. — Studies the saddle-to-saddle dynamics in DLNs. Introduces the different regimes (lazy and rich)
- [The geometry of the deep linear network](https://arxiv.org/abs/2411.09004) Govind Menon — Beautiful mathematical treatment of gradient flow in DLNs and a surprising mathematical result relating gradient flow and free-energy minimization. Makes implicit regularization explicit (under balanced assumptions)
- [Saddle-to-Saddle Dynamics Explains A Simplicity Bias Across Neural Network Architectures](https://arxiv.org/abs/2512.20607) Saxe et al. — Simplicity bias of gradient flow from DLNs extends to non-linear and transformer architectures under small initialization
- [Abide by the Law and Follow the Flow: Conservation Laws for Gradient Flows](https://arxiv.org/abs/2307.00144) — Gives a recipe to exhaustively derive conservation laws through gradient flow
- [SGD learning on neural networks: leap complexity and saddle-to-saddle dynamics](https://arxiv.org/abs/2302.11055) — SGD builds up complex solutions by first learning simpler solutions and then composing them
- [Mixed Dynamics In Linear Networks: Unifying the Lazy and Active Regimes](https://arxiv.org/abs/2405.17580) — Unifies lazy and rich in 2-layer DLNs and gives conditions for the transition between them
- [Neural Tangent Kernel: Convergence and Generalization in Neural Networks](https://arxiv.org/abs/1806.07572) Arthur Jacot, Franck Gabriel, Clément Hongler — NTK paper that describes gradient flow in function space
- [On Lazy Training in Differentiable Programming](https://arxiv.org/abs/1812.07956) Lénaïc Chizat, Edouard Oyallon, Francis Bach — Lazy training can occur in various settings, and is caused by scaling choices
- [The Neural Race Reduction: Dynamics of Abstraction in Gated Networks](https://arxiv.org/abs/2207.10430) Saxe et al. — Implicit biases toward shared representation in non-linear networks as modelled by gated DLNs
- [Alternating Gradient Flows: A Theory of Feature Learning in Two-layer Neural Networks](https://arxiv.org/abs/2506.06489) Daniel Kunin et al. — A theory of feature learning as a two-step process between dormant and active neurons
- [From Lazy to Rich: Exact Learning Dynamics in Deep Linear Networks](https://arxiv.org/abs/2409.14623) — Studies the transition between lazy and rich regimes in DLNs with balancedness parameters
- [Get rich quick: exact solutions reveal how unbalanced initializations promote rapid feature learning](https://arxiv.org/abs/2406.06158) Daniel Kunin et al. — (Lack of) balance between layers at initialization is preserved under GF, and influences rich vs lazy and implicit bias
- [Implicit Regularization in Matrix Factorization](https://arxiv.org/abs/1705.09280) — Gradient descent on matrix factorization converges to the minimum nuclear norm
- [Gradient Descent Maximizes the Margin of Homogeneous Neural Networks](https://arxiv.org/abs/1906.05890) — Implicit bias toward max-margin in classification
- [A Convergence Analysis of Gradient Descent for Deep Linear Neural Networks](https://arxiv.org/abs/1810.02281) Sanjeev Arora et al. — Convergence analysis of SGD

### Learning rate (discrete GD)

- [Self-Stabilization: The Implicit Bias of Gradient Descent at the Edge of Stability](https://arxiv.org/abs/2209.15594) — Shows that curvature stabilizes around twice the inverse of the learning rate (2/eta).
- [Understanding Optimization in Deep Learning with Central Flows](https://arxiv.org/abs/2410.24206) — GD with a discrete learning rate is equivalent to gradient flow on an effective loss
- [Understanding Warmup-Stable-Decay Learning Rates: A River Valley Loss Landscape Perspective](https://arxiv.org/abs/2410.05192) — Pretraining exhibits a river valley loss landscape and gives intuition about the learning-rate schedule (warm-up, stable, decay)
- [Optimization on multifractal loss landscapes explains a diverse range of geometrical and dynamical properties of deep learning](https://www.nature.com/articles/s41467-025-58532-9) — Models the landscape as multifractal and analyses sub- and super-diffusive behaviour of GD

### Stochasticity

- [On the implicit regularization of Langevin dynamics with projected noise](https://arxiv.org/abs/2602.12257) — Makes explicit the implicit bias of stochasticity in deep linear networks with a Langevin model
- [Beyond Implicit Bias: The Insignificance of SGD Noise in Online Learning](https://arxiv.org/abs/2306.08590) — Golden Path Hypothesis: in the transient regime dominated by drift (typical of pretraining), SGD is simply a noisy deformation of GD (it does not select different basins)
- [Stochastic Collapse: How Gradient Noise Attracts SGD Dynamics Towards Simpler Subnetworks](https://arxiv.org/abs/2306.04251) — Stochasticity induces a bias toward simpler solutions in deep linear networks
- [Stochastic Training is Not Necessary for Generalization](https://arxiv.org/abs/2109.14119) — Makes the implicit regularization of stochasticity explicit
- [Implicit Bias of SGD for Diagonal Linear Networks: a Provable Benefit of Stochasticity](https://arxiv.org/abs/2106.09524) — Shows that stochasticity has a bias toward sparser solutions relative to GD
- [Stochastic gradient descent performs variational inference, converges to limit cycles for deep networks](https://arxiv.org/abs/1710.11029) — SGD minimizes some free energy and can have circular currents at convergence
- [Stochastic Gradient Descent as Approximate Bayesian Inference](https://arxiv.org/abs/1704.04289) — Classic paper on SGD locally approximating Bayesian inference, although it assumes non-degeneracies
- [A Diffusion Theory For Deep Learning Dynamics: Stochastic Gradient Descent Exponentially Favors Flat Minima](https://arxiv.org/abs/2002.03495) — Implicit bias toward flat minima
- [Implicit Regularization or Implicit Conditioning? Exact Risk Trajectories of SGD in High Dimensions](https://arxiv.org/abs/2205.07069) — Shows the Golden Path Hypothesis on quadratic loss in a convex setup using an interesting SDE model of SGD.
- [An Empirical Model of Large-Batch Training](https://arxiv.org/abs/1812.06162) — Gradient noise scale can be used to decide the optimal batch size
- [Almost Bayesian: The Fractal Dynamics of Stochastic Gradient Descent](https://arxiv.org/abs/2503.22478) — Relates SGD to Bayesian training
- [Catapults in SGD: spikes in the training loss and their impact on generalization through feature learning](https://arxiv.org/abs/2306.04815) — Loss spikes when training with SGD impact generalization
- [The Heavy-Tail Phenomenon in SGD](https://arxiv.org/abs/2006.04740) — SGD noise can be heavy-tailed, and this induces a different regularization

### Emergence: empirical examples

- [Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets](https://arxiv.org/abs/2201.02177) — Grokking: delayed generalization on modular addition
- [In-context Learning and Induction Heads](https://transformer-circuits.pub/2022/in-context-learning-and-induction-heads/index.html) — Induction heads form during training. They are important for in-context learning
- [Emergent Misalignment: Narrow finetuning can produce broadly misaligned LLMs](https://arxiv.org/abs/2502.17424) — Emergent misalignment: fine-tuning on insecure code can generalize to misaligned behaviour on other data
- [Emergent Misalignment is Easy, Narrow Misalignment is Hard](https://arxiv.org/abs/2602.07852) — By regularizing, we can mitigate emergent misalignment
- [Neural Networks as Kernel Learners: The Silent Alignment Effect](https://arxiv.org/abs/2111.00034) — While the loss is flat, student singular vectors align with teacher singular vectors, and this can be detected with the NTK
- [Are Emergent Abilities of Large Language Models a Mirage?](https://arxiv.org/abs/2304.15004) — Emergence is in the eye of the metric used to measure it
- [Training Compute-Optimal Large Language Models](https://arxiv.org/abs/2203.15556) — Chinchilla scaling law paper
- [Emergent Abilities of Large Language Models](https://arxiv.org/abs/2206.07682) — Shows that novel capabilities emerge with more compute

### Theoretical approaches to emergence

- [Grokking as the Transition from Lazy to Rich Training Dynamics](https://arxiv.org/abs/2310.06110)
- [Grokking as a First Order Phase Transition in Two Layer Networks, Rubin et al.](https://arxiv.org/abs/2310.03789)
- [Blake Bordelon - Infinite limits and scaling laws of neural networks - IPAM at UCLA](https://www.youtube.com/watch?v=WcWFFiPRslM&t=1056s)
- [A Theory for Emergence of Complex Skills in Language Models](https://arxiv.org/abs/2307.15936)
- [On neural scaling and the quanta hypothesis](https://ericjmichaud.com/quanta/)
- [Lecture Notes on Infinite-Width Limits of Neural Networks; Cengiz Pehlevan and Blake Bordelon](https://pehlevan.seas.harvard.edu/sites/g/files/omnuum6471/files/pehlevan/files/princeton_lecture_notes.pdf)
- [Disordered Dynamics in High Dimensions: Connections to Random Matrices and Machine Learning; Blake Bordelon, Cengiz Pehlevan](https://arxiv.org/abs/2601.01010)
- [Applications of Statistical Field Theory in Deep Learning; Zohar Ringel et al.](https://arxiv.org/abs/2502.18553)
- [Statistical Field Theory for Neural Networks, Moritz Helias, David Dahmen](https://link.springer.com/book/10.1007/978-3-030-46444-8)
- [Lecture notes: From Gaussian processes to feature learning, Moritz Helias et al](https://arxiv.org/abs/2602.12855)

## References

<div id="bib-achour2024">

Achour, Malgouyres, and Gerchinovitz (2024). [*The loss landscape of deep linear neural networks: a second-order analysis*](https://arxiv.org/abs/2107.13289). Journal of Machine Learning Research (JMLR).

</div>

<div id="bib-saxe2014">

Saxe, McClelland, and Ganguli (2014). *Exact solutions to the nonlinear dynamics of learning in deep linear neural networks*. International Conference on Learning Representations (ICLR).

</div>

<div id="bib-tu2024">

Tu, Aranguri, and Jacot (2024). [*Mixed Dynamics In Linear Networks: Unifying the Lazy and Active Regimes*](https://arxiv.org/abs/2405.17580).

</div>

