Table of Contents
Fetching ...

The Riemannian Geometry Associated to Gradient Flows of Linear Convolutional Networks

El Mehdi Achour, Kathlén Kohn, Holger Rauhut

Abstract

We study geometric properties of the gradient flow for learning deep linear convolutional networks. For linear fully connected networks, it has been shown recently that the corresponding gradient flow on parameter space can be written as a Riemannian gradient flow on function space (i.e., on the product of weight matrices) if the initialization satisfies a so-called balancedness condition. We establish that the gradient flow on parameter space for learning linear convolutional networks can be written as a Riemannian gradient flow on function space regardless of the initialization. This result holds for $D$-dimensional convolutions with $D \geq 2$, and for $D =1$ it holds if all so-called strides of the convolutions are greater than one. The corresponding Riemannian metric depends on the initialization.

The Riemannian Geometry Associated to Gradient Flows of Linear Convolutional Networks

Abstract

We study geometric properties of the gradient flow for learning deep linear convolutional networks. For linear fully connected networks, it has been shown recently that the corresponding gradient flow on parameter space can be written as a Riemannian gradient flow on function space (i.e., on the product of weight matrices) if the initialization satisfies a so-called balancedness condition. We establish that the gradient flow on parameter space for learning linear convolutional networks can be written as a Riemannian gradient flow on function space regardless of the initialization. This result holds for -dimensional convolutions with , and for it holds if all so-called strides of the convolutions are greater than one. The corresponding Riemannian metric depends on the initialization.

Paper Structure

This paper contains 32 sections, 12 theorems, 45 equations, 1 table.

Key Result

Proposition 2

Let $\delta_1, \ldots, \delta_{H-1} \in \mathbb{R}$, and consider non-zero filters $w_1 \in \mathbb{R}^{k_1}$, …, $w_H \in \mathbb{R}^{k_H}$. Then, there are $2^{H-1}$ scalar tuples $(\lambda_1, \ldots, \lambda_H) \in \mathbb{R}^H$ such that $\lambda_1 \cdots \lambda_H = 1$ and These scalar tuples are all equal up to sign changes of the components. $\blacktriangleleft$$\blacktriangleleft$

Theorems & Definitions (29)

  • Remark 1
  • Proposition 2
  • Theorem 4
  • Lemma 5
  • Corollary 6
  • Theorem 7
  • proof
  • Proposition 8
  • Lemma 9
  • Corollary 10
  • ...and 19 more