Saved in:
Bibliographic Details
Main Authors: Williamson, Måns, Stillfjord, Tony
Format: Preprint
Published: 2024
Subjects:
Online Access:https://arxiv.org/abs/2406.16649
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866912456906899456
author Williamson, Måns
Stillfjord, Tony
author_facet Williamson, Måns
Stillfjord, Tony
contents Gradient normalization and soft clipping are two popular techniques for tackling instability issues and improving convergence of stochastic gradient descent (SGD) with momentum. In this article, we study these types of methods through the lens of dissipative Hamiltonian systems. Gradient normalization and certain types of soft clipping algorithms can be seen as (stochastic) implicit-explicit Euler discretizations of dissipative Hamiltonian systems, where the kinetic energy function determines the type of clipping that is applied. We make use of dynamical systems theory to show in a unified way that all of these schemes converge to stationary points of the objective function, almost surely, in several different settings: a) for $L$-smooth objective functions, when the variance of the stochastic gradients is possibly infinite, b) under the $(L_0,L_1)$-smoothness assumption, for heavy-tailed noise with bounded variance, and c) for $(L_0,L_1)$-smooth functions in the empirical risk minimization setting, when the variance is possibly infinite but the expectation is finite.
format Preprint
id arxiv_https___arxiv_org_abs_2406_16649
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Almost sure convergence of stochastic Hamiltonian descent methods
Williamson, Måns
Stillfjord, Tony
Optimization and Control
Gradient normalization and soft clipping are two popular techniques for tackling instability issues and improving convergence of stochastic gradient descent (SGD) with momentum. In this article, we study these types of methods through the lens of dissipative Hamiltonian systems. Gradient normalization and certain types of soft clipping algorithms can be seen as (stochastic) implicit-explicit Euler discretizations of dissipative Hamiltonian systems, where the kinetic energy function determines the type of clipping that is applied. We make use of dynamical systems theory to show in a unified way that all of these schemes converge to stationary points of the objective function, almost surely, in several different settings: a) for $L$-smooth objective functions, when the variance of the stochastic gradients is possibly infinite, b) under the $(L_0,L_1)$-smoothness assumption, for heavy-tailed noise with bounded variance, and c) for $(L_0,L_1)$-smooth functions in the empirical risk minimization setting, when the variance is possibly infinite but the expectation is finite.
title Almost sure convergence of stochastic Hamiltonian descent methods
topic Optimization and Control
url https://arxiv.org/abs/2406.16649