Backtracking gradient descent method for general $C^1$ functions, with applications to Deep Learning

By Tuyen T. T. Truong, T. H. Nguyen. 2018

10 citations recorded by the source corpus.

While Standard gradient descent is one very popular optimisation method, its convergence cannot be proven beyond the class of functions whose gradient is globally Lipschitz continuous. As such, it is not actually applicable to realistic applications such as Deep Neural Networks. In this paper, we prove that its backtracking variant behaves very nicely, in particular convergence can be shown for all Morse functions. The main theoretical result of this paper is as follows. Theorem. Let $f:\mathbb{R}^k\rightarrow \mathbb{R}$ be a $C^1$ function, and $\{z_n\}$ a sequence constructed from the Backtracking gradient descent algorithm. (1) Either $\lim _{n\rightarrow\infty}||z_n||=\infty$ or $\lim _{n\rightarrow\infty}||z_{n+1}-z_n||=0$. (2) Assume that $f$ has at most countably many critical points. Then either $\lim _{n\rightarrow\infty}||z_n||=\infty$ or $\{z_n\}$ converges to a critical point of $f$. (3) More generally, assume that all connected components of the set of critical points of $f$ are compact. Then either $\lim _{n\rightarrow\infty}||z_n||=\infty$ or $\{z_n\}$ is bounded. Moreover, in the latter case the set of cluster points of $\{z_n\}$ is connected. Some generalised versions of this result, including an inexact version, are included. Another result in this paper concerns the problem of saddle points. We then present a heuristic argument to explain why Standard gradient descent method works so well, and modifications of the backtracking versions of GD, MMT and NAG. Experiments with datasets CIFAR10 and CIFAR100 on various popular architectures verify the heuristic argument also for the mini-batch practice and show that our new algorithms, while automatically fine tuning learning rates, perform better than current state-of-the-art methods such as MMT, NAG, Adagrad, Adadelta, RMSProp, Adam and Adamax.

Subfields: Artificial Intelligence, Computational Mechanics, Mathematical Physics, Optimization & Training

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

  1. Simon Lacoste-Julien
  2. Gauthier Gidel
  3. Issam Hadj Laradji
  4. Peter Richtárik
  5. Sharan Vaswani
  6. Nicolas Loizou
  7. Mark W. Schmidt
  8. Aaron Mishkin

In Computational Mechanics

  1. Simon Lacoste-Julien
  2. Gauthier Gidel
  3. Sharan Vaswani
  4. Issam Hadj Laradji
  5. Peter Richtárik
  6. Mark W. Schmidt
  7. Aaron Mishkin
  8. Nicolas Loizou

In Mathematical Physics

  1. Simon Lacoste-Julien
  2. Sharan Vaswani
  3. Issam Hadj Laradji
  4. Mark W. Schmidt
  5. Gauthier Gidel

In Optimization & Training

  1. Simon Lacoste-Julien
  2. Issam Hadj Laradji
  3. Gauthier Gidel
  4. Sharan Vaswani
  5. Nicolas Loizou
  6. Peter Richtárik
  7. Mark W. Schmidt
  8. Aaron Mishkin

Citations in the corpus