This repository is a companion to reproduce all examples of the work:
[1] Anne Rubbens, Julien M. Hendrickx, Adrien Taylor. "A constructive approach to strengthen algebraic descriptions of function and operator classes."
Date: April 2025
Version: April 2025
(1) Constrained-strenghtening procedure: Mathematica notebooks containing
- detailed computations of [1, Section 2.5]:
Convex smooth functions, - detailed computations of [1, Section 3.1]:
Smooth functions with Lojasiewicz condition, - detailed computations of [1, Section 3.2]:
Block-smooth convex functions - detailed computations of [1, Appendix G]:
Uniformly convex and Holder smooth functions - detailed computations of [1, Section 3.3]:
Monotone Lipschitz operators - detailed computations of [1, Appendix F]:
Strongly monotone cocoercive operators
(2) SOS formulation: Mathematica notebooks containing
- detailed computations of [1, Proposition 3.4]:
Smooth functions with Lojasiewicz condition, - detailed computations of [1, Proposition 3.9]:
Block-smooth convex functions - detailed computations of [1, Proposition 3.15]:
Monotone Lipschitz operators - detailed computations of [1, Proposition F3]:
Strongly monotone cocoercive operators
(3) PEPit examples:
- PEP application: a block-coordinate descent method analyzed with conditions from [1, Proposition 3.9]:
BlockCoordinate. - PEP application: a gradient descent method analyzed with conditions from [1, Proposition 3.4]:
GradientDescent. - PEP application: optimistic gradient and extragradient analyzed with conditions from [1, Proposition 3.15]:
OEDescent.