Big-Step-Little-Step: Efficient Gradient Methods for Objectives with Multiple Scales

Abstract

We provide new gradient-based methods for efficiently solving a broad class of ill-conditioned optimization problems. We consider the problem of minimizing a function $f:{\mathbb{R}}^d\to \mathbb{R}$ which is implicitly decomposable as the sum of $m$ unknown non-interacting smooth, strongly convex functions and provide a method which solves this problem with a number of gradient evaluations that scales (up to logarithmic factors) as the product of the square-root of the condition numbers of the components. This complexity bound (which we prove is nearly optimal) can improve almost exponentially on that of accelerated gradient methods, which grow as the square root of the condition number of $f$. Additionally, we provide efficient methods for solving stochastic, quadratic variants of this multiscale optimization problem. Rather than learn the decomposition of $f$ (which would be prohibitively expensive), our methods apply a clean recursive "Big-Step-Little-Step" interleaving of standard methods. The resulting algorithms use $\tilde{\mathcal{O}}(dm)$ space, are numerically stable, and open the door to a more fine-grained understanding of the complexity of convex optimization beyond condition number.

95 pages, 4 figures; authors are listed in alphabetical order

References in corpus (9)

• Accelerating Stochastic Gradient Descent For Least Squares Regression
• Gradient methods for convex minimization: better rates under weaker conditions
• Logarithmic Potential Theory with Applications to Approximation Theory
• A lower bound for the minimum deviation of the Chebyshev polynomial on a compact real set
• Trust-Region Newton-CG with Strong Second-Order Complexity Guarantees for Nonconvex Optimization
• Analysis of Krylov Subspace Solutions of Regularized Nonconvex Quadratic Problems
• Lower Bound for Randomized First Order Convex Optimization
• On the Randomized Complexity of Minimizing a Convex Quadratic Function
• The Minimax Complexity of Distributed Optimization