Table of Contents
Fetching ...

Simplicity Bias via Global Convergence of Sharpness Minimization

Khashayar Gatmiry, Zhiyuan Li, Sashank J. Reddi, Stefanie Jegelka

TL;DR

It is shown that, for any high dimensional training data and certain activations, label noise SGD always converges to a network that replicates a single linear feature across all neurons; thereby, implying a simple rank one feature matrix.

Abstract

The remarkable generalization ability of neural networks is usually attributed to the implicit bias of SGD, which often yields models with lower complexity using simpler (e.g. linear) and low-rank features. Recent works have provided empirical and theoretical evidence for the bias of particular variants of SGD (such as label noise SGD) toward flatter regions of the loss landscape. Despite the folklore intuition that flat solutions are 'simple', the connection with the simplicity of the final trained model (e.g. low-rank) is not well understood. In this work, we take a step toward bridging this gap by studying the simplicity structure that arises from minimizers of the sharpness for a class of two-layer neural networks. We show that, for any high dimensional training data and certain activations, with small enough step size, label noise SGD always converges to a network that replicates a single linear feature across all neurons; thereby, implying a simple rank one feature matrix. To obtain this result, our main technical contribution is to show that label noise SGD always minimizes the sharpness on the manifold of models with zero loss for two-layer networks. Along the way, we discover a novel property -- a local geodesic convexity -- of the trace of Hessian of the loss at approximate stationary points on the manifold of zero loss, which links sharpness to the geometry of the manifold. This tool may be of independent interest.

Simplicity Bias via Global Convergence of Sharpness Minimization

TL;DR

It is shown that, for any high dimensional training data and certain activations, label noise SGD always converges to a network that replicates a single linear feature across all neurons; thereby, implying a simple rank one feature matrix.

Abstract

The remarkable generalization ability of neural networks is usually attributed to the implicit bias of SGD, which often yields models with lower complexity using simpler (e.g. linear) and low-rank features. Recent works have provided empirical and theoretical evidence for the bias of particular variants of SGD (such as label noise SGD) toward flatter regions of the loss landscape. Despite the folklore intuition that flat solutions are 'simple', the connection with the simplicity of the final trained model (e.g. low-rank) is not well understood. In this work, we take a step toward bridging this gap by studying the simplicity structure that arises from minimizers of the sharpness for a class of two-layer neural networks. We show that, for any high dimensional training data and certain activations, with small enough step size, label noise SGD always converges to a network that replicates a single linear feature across all neurons; thereby, implying a simple rank one feature matrix. To obtain this result, our main technical contribution is to show that label noise SGD always minimizes the sharpness on the manifold of models with zero loss for two-layer networks. Along the way, we discover a novel property -- a local geodesic convexity -- of the trace of Hessian of the loss at approximate stationary points on the manifold of zero loss, which links sharpness to the geometry of the manifold. This tool may be of independent interest.

Paper Structure

This paper contains 35 sections, 19 theorems, 103 equations.

Key Result

Theorem 1

Under Assumption assump:one, the first order optimal points and global optimums of $\mathrm{Tr}D^2 \mathcal{L}$ on $\mathcal{M}$ coinside and are equal to the set of all $\theta^* = [\theta^*_j]_{j=1}^m$ such that for all $i \in [n]$ and $j \in [m]$:

Theorems & Definitions (26)

  • Theorem 1: First order optimal points
  • Theorem 2: Convergence of the gradient flow
  • Lemma 1: Basis for the normal space
  • Lemma 2
  • Lemma 3: Trace of Hessian in two layer networks
  • proof : Proof of Theorem \ref{['thm:stationary']}
  • Lemma 4: PSD Hessian when gradient vanishes
  • Lemma 5: Hessian on the manifold
  • Lemma 6: Hessian of the implicit regularizer on the manifold
  • proof : Proof of Lemma \ref{['lem:psdness']}
  • ...and 16 more