Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
The authors develop a sharp, non-asymptotic convergence theory for Euclidean ball-proximal point optimization on general closed, convex objectives without requiring smoothness or strong convexity. By explicitly retaining the objective gap inside the squared-distance descent analysis, they prove that constant-radius updates drive the objective gap down at an accelerated $\exp(-2K^2t^2/D_0^2)$ rate. Leveraging the geometry of self-contracted curves, they further establish finite-iteration termination bounds of $O_d(1+D_0/t)$ alongside sharp criteria for arbitrary and adaptive radius schedules.
Ball-proximal optimization achieves super-exponential $\exp(-\Omega(K^2))$ objective decay and finite-step termination on general convex functions without requiring smoothness or strong convexity.
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.