Defining Lyapunov functions as the solution of a performance estimation saddle point problem - Archive ouverte HAL
Preprints, Working Papers, ... Year : 2024

Defining Lyapunov functions as the solution of a performance estimation saddle point problem

Abstract

In this paper, we reinterpret quadratic Lyapunov functions as solutions to a performance estimation saddle point problem. This allows us to automatically detect the existence of such a Lyapunov function and thus numerically check that a given algorithm converges. The novelty of this work is that we show how to define the saddle point problem using the PEPit software and then solve it with DSP-CVXPY. This combination gives us a very strong modeling power because defining new points and their relations across iterates is very easy in PEPit. We can without effort define auxiliary points used for the sole purpose of designing more complex Lyapunov functions, define complex functional classes like the class of convex-concave saddle point problems whose smoothed duality gap has the quadratic error bound property or study complex algorithms like primal-dual coordinate descent method.
Fichier principal
Vignette du fichier
lyapunov_as_a_saddle_point.pdf (342.88 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04784980 , version 1 (18-11-2024)

Identifiers

  • HAL Id : hal-04784980 , version 1

Cite

Olivier Fercoq. Defining Lyapunov functions as the solution of a performance estimation saddle point problem. 2024. ⟨hal-04784980⟩
0 View
0 Download

Share

More