Source

Zhao, Walters & Yu (2025), LIT-970, read in NOTE-712: §§1–5 and 7–8, and §6.1. It is a survey. The dynamical results below are the cited papers’, reported by the survey and not read here.

The claim

Symmetry makes flat, connected minima. A continuous symmetry is a Lie group acting on parameters without changing the loss. Its orbits are positive-dimensional, so a minimum is a manifold, not a point. If independently trained minima are related by an element of the group’s identity component, they are connected at constant loss (§3.1). This is one source of mode connectivity. The survey states that it is not the only one, and that not all points of a minimum are related by symmetry.

Under gradient flow, position on the orbit is conserved. Each continuous symmetry gives a conserved quantity of gradient flow. Its gradient is tangent to the loss level set. In linear networks it is the imbalance W_h W_hᵀ − W_{h+1}ᵀ W_{h+1}. With homogeneous activations it is each neuron’s difference of incoming and outgoing squared norms (§5.1). These are fixed by the initialization and label the endpoint among the equivalent minima (§5.2). So, under gradient flow, where training ends along a symmetry orbit is decided at initialization.

Under SGD it is not. Finite steps, gradient noise and weight decay break the conservation laws. Read first-hand, there are three effects:

  • Weight decay pulls toward zero. In Neural Mechanics (LIT-1013) each quantity decays as an exponential memory of its initial value. For rescale symmetry, “for large enough weight decay”, the norm difference decays exponentially to zero.
  • Finite steps push outward. For scale symmetry, discretization pushes the norm out, against weight decay’s pull (Neural Mechanics, Eq. 21).
  • Minibatch noise balances. The noise has no component along a symmetry, but its dependence on the parameters drives ‖u‖² − ‖w‖² toward the point where the two groups’ gradient noise is equal, at a rate proportional to η/S (Ziyin et al., LIT-1012; THEORY-211). The stationary distribution then differs from what gradient descent with isotropic noise would give, which diffuses along the orbit.

The survey’s version of the first point, “imbalance decays exponentially with large learning rates”, is not found in Neural Mechanics; see the history note.

On this account, the position along a symmetry orbit at the end of training is set by the initialization and by how the optimizer breaks the symmetry.

What it bears on

  • QUESTION-069 asks whether the connectedness of trained solutions belongs to the solutions or to the instrument, history and regime. This account gives one mechanism on the solutions’ side: continuous symmetry. Where solutions sit within a connected set depends on the history (initialization) and the regime (optimizer).
  • QUESTION-058 asks how much of a representation’s group structure comes from the update’s symmetry. The survey’s intertwiner group is the symmetry shared by parameters and hidden representations. A symmetry shared by data and initialization is preserved by gradient descent in two-layer ReLU networks (§6.1).
  • THEORY-209 models the end of training as Langevin dynamics on a quadratic loss, and is silent on the Hessian’s null space. The flat directions this account describes are in that null space. Read first-hand, THEORY-209’s model and the SGD results disagree there, for an identified reason. THEORY-209’s noise covariance is independent of the parameters, which freezes the coordinate along a symmetry. THEORY-211’s balancing drift comes from exactly that dependence.

What this does not say

  • It does not say all connectivity is symmetry. The survey says otherwise.
  • It does not establish the SGD results in deep networks trained on real data. They are now read first-hand, but the evidence is VGG-16 with recorded gradients (Neural Mechanics) and small synthetic networks (Ziyin et al.).
  • It does not cover hidden ReLU symmetries or global symmetries across non-adjacent layers, which the survey names as open (§§2.4, 7.1).
  • It does not instruct. Teleportation and symmetry-invariant optimizers (§4) are practice, and belong to the anthology.