A Sharper Theory of Ball-Proximal Optimization: Convergence and Radius Selection
Abstract
We study the exact Euclidean ball-proximal point method for proper, closed, convex functions, where each iteration minimizes the objective over a ball centered at the current point. Retaining the objective gap in the decrease of squared distance yields sharper bounds on objective values, stationarity, and the symmetric Bregman distance to a minimizer. For constant radius t>0 and initial distance D0>0 to the solution set, the objective gap after K iterations is at most its initial value multiplied by exp(−2K2t2/D02). We characterize convergence for arbitrary positive radius sequences. If their sum diverges, the method reaches a minimizer in finitely many iterations whenever one exists; otherwise, the objective values converge to the infimum and the iterates escape every bounded set. If the radii are summable, the iterates converge to a possibly nonoptimal point. Self-contraction gives finite trajectory length for bounded iterates and a constant-radius termination bound Od(1+D0/t), whose implicit constant depends only on the dimension. A polyhedral family shows that the dimension-independent quadratic bound remains asymptotically sharp. We also identify a minimum successful geometric decay factor and analyze adaptive radius rules based on subgradients or objective gaps, epigraph reformulation, and relaxed updates. Together, these results strengthen the foundations and convergence guarantees of the method without assuming smoothness or strong convexity.
Related
- Linear convergence rate analysis of Proximal-Tracking for nonsmooth distributed optimization
- On The Linear Convergence of Bregman Proximal Gradient Methods with Applications to Kullback--Leibler regression
- Global Linear Convergence of the Proximal Bundle Method under Unknown Piecewise Smoothness and Quadratic Growth
- An Adaptive Symplectic Proximal Point Algorithm: Faster Convergence and Improved Numerical Performance
- Convergence Analysis of an Inexact Proximal Trust-Region Method
BibTeX
@misc{richtarik2026sharper,
title = {{A Sharper Theory of Ball-Proximal Optimization: Convergence and Radius Selection}},
author = {Peter Richtárik and Hanmin Li},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.35147},
eprint = {2609.35147},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.35147},
}
RIS
TY - UNPB
TI - A Sharper Theory of Ball-Proximal Optimization: Convergence and Radius Selection
AU - Peter Richtárik
AU - Hanmin Li
PY - 2026
DA - 2026/09/28
PB - arXiv
DO - 10.48550/arxiv.2609.35147
UR - https://arxiv.org/abs/2609.35147
AB - We study the exact Euclidean ball-proximal point method for proper, closed, convex functions, where each iteration minimizes the objective over a ball centered at the current point. Retaining the objective gap in the decrease of squared distance yields sharper bounds on objective values, stationarity, and the symmetric Bregman distance to a minimizer. For constant radius t>0 and initial distance D_0>0 to the solution set, the objective gap after K iterations is at most its initial value multiplied by exp(−2K^2t^2/D_0^2). We characterize convergence for arbitrary positive radius sequences. If their sum diverges, the method reaches a minimizer in finitely many iterations whenever one exists; otherwise, the objective values converge to the infimum and the iterates escape every bounded set. If the radii are summable, the iterates converge to a possibly nonoptimal point. Self-contraction gives finite trajectory length for bounded iterates and a constant-radius termination bound O_d(1+D_0/t), whose implicit constant depends only on the dimension. A polyhedral family shows that the dimension-independent quadratic bound remains asymptotically sharp. We also identify a minimum successful geometric decay factor and analyze adaptive radius rules based on subgradients or objective gaps, epigraph reformulation, and relaxed updates. Together, these results strengthen the foundations and convergence guarantees of the method without assuming smoothness or strong convexity.
ER -