Cover Image

The AutoLyap software suite for computer-assisted Lyapunov analyses of first-order methods

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Upadhyaya, Manu, Gupta, Shuvomoy Das, Taylor, Adrien B., Banert, Sebastian, Giselsson, Pontus
Format:	Preprint
Published:	2025
Subjects:	Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automated tight Lyapunov analysis for first-order methods
by: Upadhyaya, Manu, et al.
Published: (2023)

The Chambolle--Pock method converges weakly with $θ>1/2$ and $τσ\|L\|^2<4/(1+2θ)$
by: Banert, Sebastian, et al.
Published: (2023)

A Lyapunov analysis of Korpelevich's extragradient method with fast and flexible extensions
by: Upadhyaya, Manu, et al.
Published: (2025)

Nonlinear conjugate gradient methods: worst-case convergence rates via computer-assisted analyses
by: Gupta, Shuvomoy Das, et al.
Published: (2023)

An optimal first-order method for smooth and strongly convex composite optimization and its stationary limit
by: Upadhyaya, Manu, et al.
Published: (2026)

Generalized Alternating Projections on Manifolds and Convex Sets
by: Fält, Mattias, et al.
Published: (2021)

The Symmetry Coefficient of Positively Homogeneous Functions
by: Nilsson, Max, et al.
Published: (2025)

PEPit: computer-assisted worst-case analyses of first-order optimization methods in Python
by: Goujaud, Baptiste, et al.
Published: (2022)

Extending Douglas-Rachford Splitting for Convex Optimization
by: Nilsson, Max, et al.
Published: (2025)

Tight analyses of first-order methods with error feedback
by: Thomsen, Daniel Berg, et al.
Published: (2025)

Computer-Assisted Design of Accelerated Composite Optimization Methods: OptISTA
by: Jang, Uijeong, et al.
Published: (2023)

Counter-examples in first-order optimization: a constructive approach
by: Goujaud, Baptiste, et al.
Published: (2023)

Exterior-point Optimization for Sparse and Low-rank Optimization
by: Gupta, Shuvomoy Das, et al.
Published: (2020)

Another approach to build Lyapunov functions for the first order methods in the quadratic case
by: Merkulov, Daniil, et al.
Published: (2023)

Energy-optimal Timetable Design for Sustainable Metro Railway Networks
by: Gupta, Shuvomoy Das, et al.
Published: (2023)

The Chambolle-Pock method also converges weakly with $0 < θ\le 1$ and $τσ\|L\|^{2} < 4θ(2-θ)/(1 - 2θ+ 9θ^{2} - 4θ^{3})$
by: Upadhyaya, Manu
Published: (2026)

Computer-aided analyses of stochastic first-order methods, via interpolation conditions for stochastic optimization
by: Rubbens, Anne, et al.
Published: (2025)

Provable non-accelerations of the heavy-ball method
by: Goujaud, Baptiste, et al.
Published: (2023)

Dual first-order methods for efficient computation of convex hull prices
by: Tanji, Sofiane, et al.
Published: (2025)

Stability of first-order methods in tame optimization
by: Lai, Lexiao
Published: (2024)

Lyapunov stability of the Euler method
by: Josz, Cédric
Published: (2025)

Simple linesearch-free first-order methods for nonconvex optimization
by: Yagishita, Shotaro, et al.
Published: (2025)

On iteratively regularized first-order methods for simple bilevel optimization
by: Samadi, Sepideh, et al.
Published: (2025)

Bounds for the tracking error of first-order online optimization methods
by: Madden, Liam, et al.
Published: (2020)

Splitting the Forward-Backward Algorithm: A Full Characterization
by: Åkerman, Anton, et al.
Published: (2025)

Augmented Lagrangian methods for infeasible convex optimization problems and diverging proximal-point algorithms
by: Andrews, Roland, et al.
Published: (2025)

An increasing rank Riemannian method for generalized Lyapunov equations
by: Huang, Zhenwei, et al.
Published: (2023)

Introducing the method of ellipcenters, a new first order technique for unconstrained optimization
by: Behling, Roger, et al.
Published: (2025)

Numerical analysis of a first-order computational algorithm for reaction-diffusion equations via the primal-dual hybrid gradient method
by: Liu, Shu, et al.
Published: (2024)

Lyapunov methods for input-to-state stability of time-varying evolution equations
by: Heni, Rahma, et al.
Published: (2025)

Open Problem: Two Riddles in Heavy-Ball Dynamics
by: Goujaud, Baptiste, et al.
Published: (2025)

CaΣoS: A nonlinear sum-of-squares optimization suite
by: Cunis, Torbjørn, et al.
Published: (2024)

PDE constrained shape optimisation with first-order and Newton-type methods in the $W^{1,\infty}$ topology
by: Deckelnick, Klaus, et al.
Published: (2023)

On the convergence rate of the boosted Difference-of-Convex Algorithm (DCA)
by: Abbaszadehpeivasti, Hadi, et al.
Published: (2025)

A constructive approach to strengthen algebraic descriptions of function and operator classes
by: Rubbens, Anne, et al.
Published: (2025)

A unified high-resolution ODE framework for first-order methods
by: Wang, Lixia, et al.
Published: (2026)

Stochastic first-order methods for average-reward Markov decision processes
by: Li, Tianjiao, et al.
Published: (2022)

Towards faster first order methods: A continuous-time model to interpolate between speed and function value restart
by: Maulén, Juan José, et al.
Published: (2025)

Accelerated first-order methods for a class of semidefinite programs
by: Wang, Alex L., et al.
Published: (2022)

On an Abstraction of Lyapunov and Lagrange Stability
by: Bin, Michelangelo, et al.
Published: (2025)