{"id":"arxiv/2606.26077","url":"https://arxiv.org/abs/2606.26077","tags":["math.OC"],"score":0,"title":"Toward a Systematic Understanding and Interactive Search of Lyapunov-Style Proofs in Optimization","domain":"math.OC","source":"arxiv","authors":["TaeHo Yoon","Jaewook J. Suh","Edward Duc Hien Nguyen","Bicheng Ying","Shiqian Ma"],"reviews":0,"subject":"math.OC","summary":"Lyapunov-style convergence proofs, which establish a nonincreasing sequence to provide a quantitative convergence rate for an algorithm, are popular and often considered desirable in first-order optimization. However, existing approaches to finding such Lyapunov functions rely on hand-designed templates or prior insight on the proof structure, and do not certify that the resulting Lyapunov-style analysis provides the sharpest convergence bound. In this work, we introduce a systematic framework for converting a tight, analytic convergence proof of an optimization algorithm, often found via…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-24","reactions":{}}