Abstract:We revisit the classical problem of finding an approximately stationary point of the average of $n$ smooth and possibly nonconvex functions. The optimal complexity of stochastic first-order methods in terms of the number of gradient evaluations of individual functions is $\mathcal{O}\left(n + n^{1/2}\varepsilon^{-1}\right)$, attained by the optimal SGD methods $\small\sf\color{green}{SPIDER}$(<a class="link-https" data-arxiv-id="1807.01695" href="https://arxiv.org/abs/1807.01695">arXiv:1807.01695</a>) and $\small\sf\color{green}{PAGE}$(<a class="link-https" data-arxiv-id="2008.10898" href="https://arxiv.org/abs/2008.10898">arXiv:2008.10898</a>), for example, where $\varepsilon$ is the error tolerance. However, i) the big-$\mathcal{O}$ notation hides crucial dependencies on the smoothness constants associated with the functions, and ii) the rates and theory in these methods assume simplistic sampling mechanisms that do not offer any flexibility. In this work we remedy the situation. First, we generalize the $\small\sf\color{green}{PAGE}$ algorithm so that it can provably work with virtually any (unbiased) sampling mechanism. This is particularly useful in federated learning, as it allows us to construct and better understand the impact of various combinations of client and data sampling strategies. Second, our analysis is sharper as we make explicit use of certain novel inequalities that capture the intricate interplay between the smoothness constants and the sampling procedure. Indeed, our analysis is better even for the simple sampling procedure analyzed in the $\small\sf\color{green}{PAGE}$ paper. However, this already improved bound can be further sharpened by a different sampling scheme which we propose. In summary, we provide the most general and most accurate analysis of optimal SGD in the smooth nonconvex regime. Finally, our theoretical findings are supposed with carefully designed experiments.

Fast convergence of sample-average approximation for saddle-point problems

Fast Unconstrained Optimization via Hessian Averaging and Adaptive Gradient Sampling Methods

A Stochastic Proximal Point Algorithm for Saddle-Point Problems

Extremely Fast Convergence Rates for Extremum Seeking Control with Polyak-Ruppert Averaging

General Procedure to Provide High-Probability Guarantees for Stochastic Saddle Point Problems

Sharper Rates and Flexible Framework for Nonconvex SGD with Client and Data Sampling

Fast Stochastic Algorithms for Low-rank and Nonsmooth Matrix Problems

Convergence rate analysis of the gradient descent–ascent method for convex–concave saddle-point problems

Aiming towards the minimizers: fast convergence of SGD for overparametrized problems

Linear Convergence of Stochastic Iterative Greedy Algorithms With Sparse Constraints

New nonasymptotic convergence rates of stochastic proximal pointalgorithm for convex optimization problems

Accelerated stochastic approximation with state-dependent noise

A Central Limit Theorem for Algorithmic Estimator of Saddle Point

Faster Convergence of Stochastic Accelerated Gradient Descent under Interpolation

Private Algorithms for Stochastic Saddle Points and Variational Inequalities: Beyond Euclidean Geometry

Dealing with unbounded gradients in stochastic saddle-point optimization

Convergence in quadratic mean of averaged stochastic gradient algorithms without strong convexity nor bounded gradient

Almost Sure Convergence Rates Analysis and Saddle Avoidance of Stochastic Gradient Methods

Gradient-free algorithm for saddle point problems under overparametrization