2 papers
math.OC2026
Formalization of Two Fixed-Point Algorithms in Hilbert Spaces
Yifan Bai, Yantao Li, Jian Yu +1
Iterative algorithms are fundamental tools for approximating fixed-points of nonexpansive operators in real Hilbert spaces. Among them, Krasnosel'ski\uı--Mann iteration and Halper…
math.OC2026
Adaptive Dimension Reduction for Overlapping Group Sparsity
Yifan Bai, Clarice Poon, Jingwei Liang
Typical dimension reduction techniques for nonoverlapping sparse optimization involve screening or sieving strategies based on a dual certificate derived from the first-order optim…