🤖 AI Summary
This work addresses the lack of theoretical guarantees for Schedule-Free optimization methods in non-convex settings, particularly regarding convergence and saddle-point escape. By constructing a continuous-time limit that corresponds to a non-autonomous ordinary differential equation, the authors develop a Lyapunov-based analytical framework. Within this framework, they establish—for the first time—that the standard Schedule-Free gradient descent and its stochastic variant achieve the optimal worst-case convergence rate among first-order methods, without requiring algorithmic modifications or strong assumptions. Moreover, they rigorously prove that these methods avoid strict saddle points. Bridging non-convex optimization, ODE modeling, and non-autonomous dynamical systems theory, this study provides the first comprehensive theoretical foundation for both convergence and saddle-point escape in Schedule-Free methods.
📝 Abstract
Schedule-Free methods have attracted growing interest for alleviating the burden of designing and tuning a learning rate scheduler, while matching and sometimes even outperforming optimizers with tuned schedulers. Despite their strong empirical results, their convergence theory in nonconvex optimization, where modern machine learning objectives typically arise, has remained largely unexplored. In this paper, we provide worst-case analyses of Schedule-Free gradient descent and Schedule-Free stochastic gradient descent, in their standard form and without auxiliary modifications or restrictive conditions, for smooth but possibly nonconvex objectives. Based on a Lyapunov analysis derived from the continuous-time limiting ordinary differential equation associated with these methods, we show that Schedule-Free gradient descent and Schedule-Free stochastic gradient descent achieve the optimal worst-case convergence rates attainable among first-order methods. We further formulate Schedule-Free gradient descent as a nonautonomous dynamical system and prove strict-saddle avoidance under an arbitrarily small one-time perturbation. These theoretical results provide a better understanding of the strong performance that Schedule-Free methods demonstrate.