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.

Spider: Near-optimal non-convex optimization via stochastic path-integrated differential estimator

SPIDER: Near-Optimal Non-Convex Optimization via Stochastic Path Integrated Differential Estimator

D-SPIDER-SFO: A Decentralized Optimization Algorithm with Faster Convergence Rate for Nonconvex Problems

Faster First-Order Methods for Stochastic Non-Convex Optimization on Riemannian Manifolds

Faster Stochastic Alternating Direction Method of Multipliers for Nonconvex Optimization

R-SPIDER: A Fast Riemannian Stochastic Optimization Algorithm with Curvature Independent Rate

Stochastic Successive Convex Approximation for Non-Convex Constrained Stochastic Optimization

SpiderBoost and Momentum: Faster Stochastic Variance Reduction Algorithms

Stochastic Variable Metric Proximal Gradient with variance reduction for non-convex composite optimization

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

Simple and Optimal Stochastic Gradient Methods for Nonsmooth Nonconvex Optimization

Solving Nonsmooth Nonconvex Compound Stochastic Programs with Applications to Risk Measure Minimization

Momentum Schemes with Stochastic Variance Reduction for Nonconvex Composite Optimization

Stochastic First- and Zeroth-order Methods for Nonconvex Stochastic Programming

Sharp Analysis for Nonconvex SGD Escaping from Saddle Points

Accelerated Stochastic Gradient-free and Projection-free Methods

Riemannian Stochastic Proximal Gradient Methods for Nonsmooth Optimization over the Stiefel Manifold

Mini-batch stochastic approximation methods for nonconvex stochastic composite optimization

SPAN: A Stochastic Projected Approximate Newton Method

Fully Stochastic Primal-dual Gradient Algorithm for Non-convex Optimization on Random Graphs