Gradient Descent Avoids Strict Saddles with a Simple Line-Search Method Too

It is known that gradient descent (GD) on a [Formula: see text] cost function generically avoids strict saddle points when using a small, constant step size. However, no such guarantee existed for GD with a line-search method. We provide one for a modified version of the standard Armijo backtracking method with generic, arbitrarily large initial step size. The proof underlines the role of the Luzin [Formula: see text] property for the iteration maps and allows us to forgo the habitual Lipschitz gradient assumption. We extend this to the Riemannian gradient descent (RGD) setting, assuming the retraction is real analytic (though the cost function still only needs to be [Formula: see text]). In closing, we also improve guarantees for RGD with a constant step size in some scenarios. Funding: This work was supported by the Swiss State Secretariat for Education, Research and Innovation [Grant MB22.00027].

Authors

Institutions

Publication Details

Journal
Mathematics of Operations Research
Published
2026-10-07
DOI
https://doi.org/10.1287/moor.2025.1350
Primary Topic
Stochastic Gradient Optimization Techniques
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Gradient Descent Avoids Strict Saddles with a Simple Line-Search Method Too

Nicolas Boumal, Andreea-Alexandra Muşat
Mathematics of Operations Research
Stochastic Gradient Optimization Techniques
article

Gradient Descent Avoids Strict Saddles with a Simple Line-Search Method Too

Nicolas Boumal, Andreea-Alexandra Muşat
article en

Abstract

It is known that gradient descent (GD) on a [Formula: see text] cost function generically avoids strict saddle points when using a small, constant step size. However, no such guarantee existed for GD with a line-search method. We provide one for a modified version of the standard Armijo backtracking method with generic, arbitrarily large initial step size. The proof underlines the role of the Luzin [Formula: see text] property for the iteration maps and allows us to forgo the habitual Lipschitz gradient assumption. We extend this to the Riemannian gradient descent (RGD) setting, assuming the retraction is real analytic (though the cost function still only needs to be [Formula: see text]). In closing, we also improve guarantees for RGD with a constant step size in some scenarios. Funding: This work was supported by the Swiss State Secretariat for Education, Research and Innovation [Grant MB22.00027].

Mathematics of Operations Research
École Polytechnique Fédérale de Lausanne (CH)
Staatssekretariat für Bildung, Forschung und Innovation
Openalex Percentile: Top 98%
Stochastic Gradient Optimization Techniques
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.