Table of Contents
Fetching ...

An entropy formula for the Deep Linear Network

Govind Menon, Tianmin Yu

TL;DR

The paper develops a rigorous geometric and thermodynamic framework for the deep linear network (DLN) by exploiting group actions and Riemannian submersion to relate parameter-space geometry to observable end-to-end behavior. It derives an explicit Boltzmann entropy S(X) for the DLN, expressed in terms of the singular values of the end-to-end matrix X and Vandermonde determinants, and connects this to a Riemannian Langevin dynamics on the gauge group in companion work. A central technical advance is constructing an explicit orthonormal basis for the tangent space of the balanced manifold using Jacobi matrices, enabling precise pullback metric calculations and the submersion theorem that explains the metric structure on observables. These results illuminate how depth and overparametrization shape training dynamics, implicit bias, and entropic regularization, bridging random matrix theory, geometric control, and learning theory with potential impact on stochastic gradient flow and regularization strategies in deep learning.

Abstract

We study the Riemannian geometry of the Deep Linear Network (DLN) as a foundation for a thermodynamic description of the learning process. The main tools are the use of group actions to analyze overparametrization and the use of Riemannian submersion from the space of parameters to the space of observables. The foliation of the balanced manifold in the parameter space by group orbits is used to define and compute a Boltzmann entropy. We also show that the Riemannian geometry on the space of observables defined in [2] is obtained by Riemannian submersion of the balanced manifold. The main technical step is an explicit construction of an orthonormal basis for the tangent space of the balanced manifold using the theory of Jacobi matrices.

An entropy formula for the Deep Linear Network

TL;DR

The paper develops a rigorous geometric and thermodynamic framework for the deep linear network (DLN) by exploiting group actions and Riemannian submersion to relate parameter-space geometry to observable end-to-end behavior. It derives an explicit Boltzmann entropy S(X) for the DLN, expressed in terms of the singular values of the end-to-end matrix X and Vandermonde determinants, and connects this to a Riemannian Langevin dynamics on the gauge group in companion work. A central technical advance is constructing an explicit orthonormal basis for the tangent space of the balanced manifold using Jacobi matrices, enabling precise pullback metric calculations and the submersion theorem that explains the metric structure on observables. These results illuminate how depth and overparametrization shape training dynamics, implicit bias, and entropic regularization, bridging random matrix theory, geometric control, and learning theory with potential impact on stochastic gradient flow and regularization strategies in deep learning.

Abstract

We study the Riemannian geometry of the Deep Linear Network (DLN) as a foundation for a thermodynamic description of the learning process. The main tools are the use of group actions to analyze overparametrization and the use of Riemannian submersion from the space of parameters to the space of observables. The foliation of the balanced manifold in the parameter space by group orbits is used to define and compute a Boltzmann entropy. We also show that the Riemannian geometry on the space of observables defined in [2] is obtained by Riemannian submersion of the balanced manifold. The main technical step is an explicit construction of an orthonormal basis for the tangent space of the balanced manifold using the theory of Jacobi matrices.

Paper Structure

This paper contains 32 sections, 28 theorems, 103 equations.

Key Result

Theorem 1

The following hold on the maximal interval of existence of solutions to equation eq:ivp.

Theorems & Definitions (45)

  • Theorem 1: Arora, Cohen, Hazan ACH
  • Theorem 2: Arora, Cohen, Hazan ACH
  • Theorem 3: Bah, Rauhut, Terstiege, Westdickenberg Bah
  • Theorem 4
  • Remark 5
  • Remark 6
  • Remark 7
  • Theorem 8
  • Lemma 1
  • Theorem 9: Cohen, Menon, Veraszto CMV
  • ...and 35 more