Workshop

Beyond first-order methods in machine learning systems

Albert S Berahas, Tasos Kyrillidis, Fred Roosta, Amir Gholaminejad, Michael Mahoney, Rachael Tappenden, Raghu Bollapragada, Rixon Crane, J. Lyle Kim

Abstract:

Optimization lies at the heart of many exciting developments in machine learning, statistics and signal processing. As models become more complex and datasets get larger, finding efficient, reliable and provable methods is one of the primary goals in these fields.

In the last few decades, much effort has been devoted to the development of first-order methods. These methods enjoy a low per-iteration cost and have optimal complexity, are easy to implement, and have proven to be effective for most machine learning applications. First-order methods, however, have significant limitations: (1) they require fine hyper-parameter tuning, (2) they do not incorporate curvature information, and thus are sensitive to ill-conditioning, and (3) they are often unable to fully exploit the power of distributed computing architectures.

Higher-order methods, such as Newton, quasi-Newton and adaptive gradient descent methods, are extensively used in many scientific and engineering domains. At least in theory, these methods possess several nice features: they exploit local curvature information to mitigate the effects of ill-conditioning, they avoid or diminish the need for hyper-parameter tuning, and they have enough concurrency to take advantage of distributed computing environments. Researchers have even developed stochastic versions of higher-order methods, that feature speed and scalability by incorporating curvature information in an economical and judicious manner. However, often higher-order methods are “undervalued.”

This workshop will attempt to shed light on this statement. Topics of interest include, but are not limited to, second-order methods, adaptive gradient descent methods, regularization techniques, as well as techniques based on higher-order derivatives.

Chat is not available.

Timezone: »

Schedule

Sat 7:00 a.m. - 7:10 a.m.
Introductory remarks   
Raghu Bollapragada
Sat 7:10 a.m. - 7:55 a.m.
  

In this talk we present regularization methods employing inexact function and derivatives evaluations. They feature a very flexible adaptive mechanism for determining the inexactness which is allowed, at each iteration, when computing objective function and derivatives, in order to preserve the complexity results of their exact counterpart. The complexity analysis covers arbitrary optimality order and arbitrary degree of available approximate derivatives.

In most applications the accuracy requirements can be satisfied only within a certain probability. As a first step to cope with this non-deterministic aspect, complexity results for the case of exact functions and randomly perturbed derivatives are provided. We also analyse the key computational aspects related to an efficient implementation of the method of this class employing a cubic regularized second-order model and provide some numerical results showing the behaviour of the method.

Authors: Stefania Bellavia, Gianmarco Gurioli, Benedetta Morini, Philippe Toint

Stefania Bellavia
Sat 7:55 a.m. - 8:05 a.m.
Q&A with Stefania Bellavia (Plenary Speaker #1) (Q&A)
Sat 8:05 a.m. - 8:50 a.m.
  

Nonconvex optimization formulations have recently gained popularity due to their prevalence in deep learning applications, but they also arise in numerous problems from data analysis and robust statistics. In this setting, second-order stationary points often correspond to global optima, which motivates the development of second-order methods with fast convergence capabilities. Meanwhile, the study of acceleration phenomena, initially proposed in convex optimization, has expanded to nonconvex formulations, and lead to revisiting of popular large-scale nonlinear optimization frameworks to equip them with complexity guarantees while maintaining their practical appeal.

In this talk, we will review recent advances in employing Krylov methods to accelerate optimization procedures in a nonconvex setting. We will particularly focus on linear conjugate gradient and its variations, and we will show that this method is naturally built to detect nonconvexity on quadratic problems. We will then move to a general nonconvex nonlinear optimization setting, and describe a Newton-Conjugate Gradient method with best known complexity guarantees. Numerical illustrations of the performance of this method and extensions will be provided, with a focus on nonconvex instances in data science.

Clément Royer
Sat 8:50 a.m. - 9:00 a.m.
Q&A with Clément Royer (Plenary Speaker #2) (Q&A)
Sat 9:00 a.m. - 9:20 a.m.
Break #1 (Break)
Sat 9:20 a.m. - 10:05 a.m.
  

We discuss algorithms for solving optimization problems in which the objective function is defined by an expectation and the constraints are deterministic. Numerous algorithms exist for solving such problems when the constraints define a convex feasible region. By contrast, we propose algorithms for situations in which the constraints are nonlinear equations and/or inequalities that define nonconvex feasible regions. Our algorithms, for which convergence and worst-case complexity guarantees are offered in expectation, vastly outperform naive extensions of first-order methods to this constrained setting.

Frank E Curtis
Sat 10:05 a.m. - 10:15 a.m.
Q&A with Frank E. Curtis (Plenary Speaker #3) (Q&A)
Sat 10:15 a.m. - 11:00 a.m.
  

In this talk, I will present a framework, inspired by random matrix theory, for analyzing the dynamics of stochastic gradient descent (SGD) when both the number of samples and dimensions are large. Using this new framework, we show that the dynamics of SGD on a least squares problem with random data become deterministic in the large sample and dimensional limit. Furthermore, the limiting dynamics are governed by a Volterra integral equation. This model predicts that SGD undergoes a phase transition at an explicitly given critical stepsize that ultimately affects its convergence rate, which we also verify experimentally. Finally, when input data is isotropic, we provide explicit expressions for the dynamics and average-case convergence rates. These rates show significant improvement over the worst-case complexities.

Courtney Paquette
Sat 11:00 a.m. - 11:10 a.m.
Q&A with Courtney Paquette (Plenary Speaker #4) (Q&A)
Sat 11:10 a.m. - 11:20 a.m.
Convergence Analysis and Implicit Regularization of Feedback Alignment for Deep Linear Networks (Spotlight Talk)   
Manuela Girotti
Sat 11:20 a.m. - 11:30 a.m.
Computing the Newton-step faster than Hessian accumulation (Spotlight Talk)   
Akshay Srinivasan
Sat 11:30 a.m. - 1:00 p.m.
Break #2 (Break)
Sat 1:00 p.m. - 1:45 p.m.
  

We present a framework for going beyond first order methods we refer to as the “descent method framework.” We construct a family of algorithms using intuition from dynamical systems, and show how they obtain fast non-asymptotic convergence for various classes of smooth functions. We also present a framework for “accelerating” or adding momentum descent algorithms with better theoretical complexity guarantees. We end by illustrating how this framework can be extended to manifolds and possibly lead to new techniques and analyses that incorporate geometric properties of various types of parameter spaces.

Ashia Wilson
Sat 1:45 p.m. - 1:55 p.m.
Q&A with Ashia Wilson (Plenary Speaker #5) (Q&A)
Sat 1:55 p.m. - 2:40 p.m.
  

Empirical Risk Minimization (ERM) problems are central to machine learning, and their efficient optimization has been studied from different perspectives, often taking advantage of the finite sum structure present in typical problem formulations. In particular, tight oracle complexity bounds have been obtained under fairly general assumptions about the loss functions. In this talk, I will present a rather surprising and general result that takes advantage of the separability of nonsmooth convex loss functions with efficiently computable proximal operators -- such as, e.g., the hinge loss and the sum of absolute errors -- to obtain an algorithm that exhibits significantly lower complexity than what is predicted by the lower bounds for general nonsmooth convex losses. Crucial to this result is the use of proximal operators, which goes beyond the simple gradient oracle access to the function. The talk is based on joint work with Chaobing Song and Stephen Wright.

Jelena Diakonikolas
Sat 2:40 p.m. - 2:50 p.m.
Q&A with Jelena Diakonikolas (Plenary Speaker #6) (Q&A)
Sat 2:50 p.m. - 3:15 p.m.
Break #3 (Break)
Sat 3:15 p.m. - 3:25 p.m.
Regularized Newton Method with Global O(1/k^2) Convergence (Spotlight Talk)   
Konstantin Mishchenko
Sat 3:25 p.m. - 3:35 p.m.
Structured second-order methods via natural-gradient descent (Spotlight Talk)   
Wu Lin
Sat 3:35 p.m. - 3:45 p.m.
Implicit Regularization in Overparameterized Bilevel Optimization (Spotlight Talk)   
Paul Vicol
Sat 3:45 p.m. - 4:30 p.m.
  

High-order optimization methods, such as cubic regularization methods, have attracted great interest in recent years due to their power to better leverage the optimization landscape. To apply it to large-scale optimization in machine learning, it is of great interest to extend it to stochastic optimization. In this talk, I will introduce a stochastic variance-reduced p-th-order method for finding first-order stationary points in nonconvex finite-sum optimization. Our algorithm enjoys state-of-the-art complexities under several complexity measures including gradient and Hessian sample complexities. I will also introduce corresponding lower bound results to suggest the near-optimality of our algorithm under some specific circumstances.

Quanquan Gu
Sat 4:30 p.m. - 4:40 p.m.
Q&A with Quanquan Gu (Plenary Speaker #7) (Q&A)
Sat 4:40 p.m. - 4:50 p.m.
Closing remarks   
Albert S Berahas