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.

A Sharp Estimate on the Transient Time of Distributed Stochastic Gradient Descent

Improving the Transient Times for Distributed Stochastic Gradient Methods

Convergence in High Probability of Distributed Stochastic Gradient Descent Algorithms

A Communication-Efficient Stochastic Gradient Descent Algorithm for Distributed Nonconvex Optimization

A Sharp Convergence Rate for the Asynchronous Stochastic Gradient Descent

A Push-Pull Gradient Method for Distributed Optimization in Networks.

Accelerated Primal-Dual Algorithms for Distributed Smooth Convex Optimization over Networks

Tighter Analysis for Decentralized Stochastic Gradient Method: Impact of Data Homogeneity

CEDAS: A Compressed Decentralized Stochastic Gradient Method with Improved Convergence

Decentralized Stochastic Gradient Tracking for Non-convex Empirical Risk Minimization

Distributed Stochastic Optimization with Gradient Tracking over Time-Varying Directed Networks

Accelerating Gradient Tracking with Periodic Global Averaging

Distributed Stochastic Optimization With Unbounded Subgradients Over Randomly Time-Varying Networks

Decentralized Stochastic Proximal Gradient Descent with Variance Reduction over Time-varying Networks

An Accelerated Distributed Stochastic Gradient Method with Momentum

On Faster Convergence of Scaled Sign Gradient Descent

Snap-Shot Decentralized Stochastic Gradient Tracking Methods

Sharp Analysis for Nonconvex SGD Escaping from Saddle Points

Asynchronous Decentralized Accelerated Stochastic Gradient Descent

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

A Gradient Smoothed Functional Algorithm with Truncated Cauchy Random Perturbations for Stochastic Optimization