Bryan Van Scoy

Lyapunov Functions for First-Order Methods: Tight Automated Convergence Guarantees

We present a novel way of generating Lyapunov functions for proving linear convergence rates of first-order optimization methods. Our approach provably obtains the fastest linear convergence rate that can be verified by a quadratic Lyapunov function (with given states), and only relies on solving a…