Last-Iterate Convergence of Stochastic Gradient Methods for Unbounded Problems
Organizations: Department of Computer Science, University of British Columbia · Department of Computer Science and Mathematics, University of British Columbia
Abstract
Last-iterate convergence guarantees for stochastic gradient methods have attracted significant attention as practical implementations typically return the last iterate instead of an average of the iterates. In this paper, we study two approaches for analyzing the last-iterate convergence of proximal and projected stochastic gradient methods without bounded domain or bounded variance assumptions, where black-box variational inference serves as a running example. Under two related assumptions relaxing the bounded variance, we show near-optimal anytime rate for the last iterate. Moreover, when the horizon is known, we remove the logarithmic factor and obtain the optimal order , matching the order known under bounded variance or bounded domain assumptions.
Figures & tables
| Property | ( CW ) Assumption | ( B-G ) Assumption |
|---|---|---|
| Allows nonconvex | ||
| Allows nonsmooth | ||
| Control mechanism | ABC-type inequality ( 1.6 ) | Iterates bounded in expectation |
| Step size regimes |
| Reference | Constrained / Regularized | Assumptions | Anytime rate | Horizon-dependent rate |
| Shamir and Zhang (2013) | ✓ | Bdd gradients/domain | – | |
| Jain et al. (2019) | ✓ | Bdd gradients/domain | – | |
| Liu and Zhou (2024) | ✓ | Bdd variance | ||
| Garrigos et al. (2025) ; Attia et al. (2025) | ( CW ) | – | ||
| Vaidyan et al. (2026) | ✓ | ( CW ) | – | |
| This work | ✓ | ( B-G ) |
Last-Iterate Convergence
Last-iterate convergence studies whether an algorithm’s final update approaches an optimizer or equilibrium, rather than only its average.
See all 45 papers