Abstract:Adaptive gradient methods, such as AdaGrad, are among the most successful optimization algorithms for neural network training. While these methods are known to achieve better dimensional dependence than stochastic gradient descent (SGD) under favorable geometry for stochastic convex optimization, the theoretical justification for their success in stochastic non-convex optimization remains elusive. In fact, under standard assumptions of Lipschitz gradients and bounded noise variance, it is known that SGD is worst-case optimal (up to absolute constants) in terms of finding a near-stationary point with respect to the $\ell_2$-norm, making further improvements impossible. Motivated by this limitation, we introduce refined assumptions on the smoothness structure of the objective and the gradient noise variance, which better suit the coordinate-wise nature of adaptive gradient methods. Moreover, we adopt the $\ell_1$-norm of the gradient as the stationarity measure, as opposed to the standard $\ell_2$-norm, to align with the coordinate-wise analysis and obtain tighter convergence guarantees for AdaGrad. Under these new assumptions and the $\ell_1$-norm stationarity measure, we establish an upper bound on the convergence rate of AdaGrad and a corresponding lower bound for SGD. In particular, for certain configurations of problem parameters, we show that the iteration complexity of AdaGrad outperforms SGD by a factor of $d$. To the best of our knowledge, this is the first result to demonstrate a provable gain of adaptive gradient methods over SGD in a non-convex setting. We also present supporting lower bounds, including one specific to AdaGrad and one applicable to general deterministic first-order methods, showing that our upper bound for AdaGrad is tight and unimprovable up to a logarithmic factor under certain conditions.

Linear Convergence Rate in Convex Setup is Possible! Gradient Descent Method Variants under $(L_0,L_1)$-Smoothness

Toward a Unified Theory of Gradient Descent under Generalized Smoothness

Linear Convergence of Adaptive Stochastic Gradient Descent

On the Unstable Convergence Regime of Gradient Descent

Convergence Analysis of Adaptive Gradient Methods under Refined Smoothness and Noise Assumptions

Convergence Analysis of Gradient Algorithms on Riemannian Manifolds Without Curvature Constraints and Application to Riemannian Mass

Linear Convergence of Gradient and Proximal-Gradient Methods Under the Polyak-Łojasiewicz Condition

Optimizing $(L_0, L_1)$-Smooth Functions by Gradient Methods

Gradient Descent in the Absence of Global Lipschitz Continuity of the Gradients

Directional Smoothness and Gradient Methods: Convergence and Adaptivity

On Linear Convergence of Adaptive Sign-based Gradient Descent

Linear Convergence with Condition Number Independent Access of Full Gradients.

Characterization of Linear Convergence of Gradient Descent

A proof of convergence for the gradient descent optimization method with random initializations in the training of neural networks with ReLU activation for piecewise linear target functions

A Methodology Establishing Linear Convergence of Adaptive Gradient Methods under PL Inequality

Non-Uniform Smoothness for Gradient Descent

Methods for Convex $(L_0,L_1)$-Smooth Optimization: Clipping, Acceleration, and Adaptivity

On Faster Convergence of Scaled Sign Gradient Descent

A Convergence Analysis of Gradient Descent for Deep Linear Neural Networks

On Convergence of Incremental Gradient for Non-Convex Smooth Functions

Linear convergence of forward-backward accelerated algorithms without knowledge of the modulus of strong convexity