2 papers
math.OC2026
Toward a Systematic Understanding and Interactive Search of Lyapunov-Style Proofs in Optimization
TaeHo Yoon, Jaewook J. Suh, Edward Duc Hien Nguyen +2
Lyapunov-style convergence proofs, which establish a nonincreasing sequence to provide a quantitative convergence rate for an algorithm, are popular and often considered desirable…
math.OC2026
A Theory of Composition and Duality of Extremal Optimal Fixed-Point Algorithms
TaeHo Yoon, Benjamin Grimmer
In this work, we reveal a rich combinatorial structure underlying exact minimax optimal algorithms for classical nonexpansive fixed-point problems. This viewpoint unifies all extre…