Gradient descent with adaptive stepsize converges (nearly) linearly under fourth-order growth

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Davis, Damek, Drusvyatskiy, Dmitriy, Jiang, Liwei
Format: Preprint
Publié: 2024
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866908636980183040
author Davis, Damek
Drusvyatskiy, Dmitriy
Jiang, Liwei
author_facet Davis, Damek
Drusvyatskiy, Dmitriy
Jiang, Liwei
contents A prevalent belief among optimization specialists is that linear convergence of gradient descent is contingent on the function growing quadratically away from its minimizers. In this work, we argue that this belief is inaccurate. We show that gradient descent with an adaptive stepsize converges at a local (nearly) linear rate on any smooth function that merely exhibits fourth-order growth away from its minimizer. The adaptive stepsize we propose arises from an intriguing decomposition theorem: any such function admits a smooth manifold around the optimal solution -- which we call the ravine -- so that the function grows at least quadratically away from the ravine and has constant order growth along it. The ravine allows one to interlace many short gradient steps with a single long Polyak gradient step, which together ensure rapid convergence to the minimizer. We illustrate the theory and algorithm on the problems of matrix sensing and factorization and learning a single neuron in the overparameterized regime.
format Preprint
id arxiv_https___arxiv_org_abs_2409_19791
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Gradient descent with adaptive stepsize converges (nearly) linearly under fourth-order growth
Davis, Damek
Drusvyatskiy, Dmitriy
Jiang, Liwei
Optimization and Control
Machine Learning
65K05, 65K10, 90C30, 90C06
A prevalent belief among optimization specialists is that linear convergence of gradient descent is contingent on the function growing quadratically away from its minimizers. In this work, we argue that this belief is inaccurate. We show that gradient descent with an adaptive stepsize converges at a local (nearly) linear rate on any smooth function that merely exhibits fourth-order growth away from its minimizer. The adaptive stepsize we propose arises from an intriguing decomposition theorem: any such function admits a smooth manifold around the optimal solution -- which we call the ravine -- so that the function grows at least quadratically away from the ravine and has constant order growth along it. The ravine allows one to interlace many short gradient steps with a single long Polyak gradient step, which together ensure rapid convergence to the minimizer. We illustrate the theory and algorithm on the problems of matrix sensing and factorization and learning a single neuron in the overparameterized regime.
title Gradient descent with adaptive stepsize converges (nearly) linearly under fourth-order growth
topic Optimization and Control
Machine Learning
65K05, 65K10, 90C30, 90C06
url https://arxiv.org/abs/2409.19791