Bregman Regularized Proximal Point Algorithm

• Bregman Regularized Proximal Point Algorithm is a generalization of the classical proximal point method that uses Bregman divergences to capture problem geometry and constraints.
• The method supports inexact updates and accelerates convergence from O(1/N) to O(1/N²) through controlled error tolerances and Nesterov-type mixing.
• It is widely applied in convex optimization, equilibrium problems, unbalanced optimal transport, and stochastic settings, offering both theoretical guarantees and practical computational benefits.

The Bregman Regularized Proximal Point Algorithm is a generalization of the classical proximal point approach for finding zeros of monotone operators or minimizers of convex (and more generally, nonconvex or composite) functions. It leverages Bregman divergences—parameterized by strictly convex, smooth “distance-generating” functions—to regularize the update steps, enabling iterations to better reflect problem geometry and constraints. The Bregman framework underpins methodological advances across convex optimization, equilibrium problems, optimal transport, and large-scale machine learning, offering both theoretical guarantees and practical computational benefits.

1. Foundations: Bregman Divergence and Proximal Updates

Let $h:X\to\mathbb{R}\cup\{+\infty\}$ be a Legendre function on a convex domain $X$ (i.e., strictly convex, differentiable on its interior, with $\|\nabla h(x)\|\to\infty$ at the boundary). The associated Bregman divergence is

$$D_h(x, y) = h(x) - h(y) - \langle\nabla h(y), x - y\rangle, \quad x, y \in \text{int dom } h.$$

For $h(x) = \frac{1}{2}\|x\|^2$, $D_h$ reduces to the squared Euclidean norm; for $h(x) = \sum x_i\log x_i$, it delivers the Kullback–Leibler (KL) divergence.

The (exact) Bregman proximal point update for minimizing a convex $f : X\to\mathbb{R}\cup\{+\infty\}$ is given by:

$$x^{k+1} = \arg\min_{x \in X} \{f(x) + (1/\gamma_k) D_h(x, x^k)\},$$

where $\gamma_k > 0$ is the stepsize parameter. The first-order optimality condition reads:

$X$0

This construction encompasses Euclidean PPA, mirror descent, and entropy-regularized iterations as special cases (Jiang et al., 2022, Zhou et al., 2015).

2. Inexact and Accelerated Bregman Proximal Point Methods

Solving each subproblem exactly is often prohibitively costly or impractical. Inexact variants relax the requirement by allowing a controlled error, typically subject to summability:

$X$1

where $X$2 denotes the $X$3-subdifferential (Chen et al., 2024, Yang et al., 2021).

Acceleration builds on estimate-sequence or Nesterov-type constructions. Auxiliary sequences $X$4 and mixing weights $X$5 are introduced, leading to iterations such as: \begin{align*} y^k & = \theta_k z^k + (1-\theta_k) x^k,\ x^{k+1} &\approx \arg\min_{x \in X} \big{ f(x) + (1/\gamma_k) D_h(x, y^k) \big},\ z^{k+1} & = \arg\min_{x \in X} H_{k+1}(x), \end{align*} with $X$6 an appropriately defined estimate function. Rates improve from $X$7 to $X$8, where $X$9 under strong convexity and Lipschitz assumptions, so $\|\nabla h(x)\|\to\infty$0 convergence is attained (Yang et al., 2021, Chen et al., 2024, Yan et al., 2020).

Summary Table (rate and conditions):

Method	Required Conditions	Complexity Rate
BPPA	Convex $\|\nabla h(x)\|\to\infty$1, strongly convex $\|\nabla h(x)\|\to\infty$2	$\|\nabla h(x)\|\to\infty$3
Accelerated	Quadratic scaling / Nesterov acceleration	$\|\nabla h(x)\|\to\infty$4
Entropic	Joint convexity of $\|\nabla h(x)\|\to\infty$5 (e.g. KL)	$\|\nabla h(x)\|\to\infty$6

3. Bregman Proximal Point in Structured and Stochastic Settings

Extensions encompass nonconvex, composite, and stochastic objectives. In composite minimization, the Bregman–proximal–gradient method updates via:

$\|\nabla h(x)\|\to\infty$7

where $\|\nabla h(x)\|\to\infty$8 is smooth and $\|\nabla h(x)\|\to\infty$9 is proximable (Zhou et al., 2015, Guilmeau et al., 2022).

Variance-reduced stochastic algorithms (e.g., SAGA/SVRG-like schemes) apply the Bregman regularization to each stochastic subproblem:

$$D_h(x, y) = h(x) - h(y) - \langle\nabla h(y), x - y\rangle, \quad x, y \in \text{int dom } h.$$0

where $$D_h(x, y) = h(x) - h(y) - \langle\nabla h(y), x - y\rangle, \quad x, y \in \text{int dom } h.$$1 is a control variate correction ensuring (in expectation) unbiasedness for the global proximal mapping. Such schemes admit sublinear or linear rates depending on convexity and relative smoothness properties (Traoré et al., 18 Oct 2025, Wang et al., 2024).

4. Applications to Unbalanced Optimal Transport

The inexact Bregman proximal point method has demonstrated effectiveness for unbalanced optimal transport (UOT) problems, where the objective is: $$D_h(x, y) = h(x) - h(y) - \langle\nabla h(y), x - y\rangle, \quad x, y \in \text{int dom } h.$$2 Choosing $$D_h(x, y) = h(x) - h(y) - \langle\nabla h(y), x - y\rangle, \quad x, y \in \text{int dom } h.$$3 produces a matrix–KL regularization, and the subproblem becomes a generalized Sinkhorn scaling (Chen et al., 2024). The IBPUOT algorithm runs a fixed number (often just one) of internal scaling updates per outer loop and terminates when the inexactness criterion is satisfied:

$$D_h(x, y) = h(x) - h(y) - \langle\nabla h(y), x - y\rangle, \quad x, y \in \text{int dom } h.$$4

IBPUOT provably converges to the UOT solution under summable errors, with $$D_h(x, y) = h(x) - h(y) - \langle\nabla h(y), x - y\rangle, \quad x, y \in \text{int dom } h.$$5 convergence and complexity essentially matching the true-solution complexity of classical scaling, but with far improved numerical stability for small regularization. The accelerated version AIBPUOT further reduces iteration count through estimate-sequence mixing, yielding $$D_h(x, y) = h(x) - h(y) - \langle\nabla h(y), x - y\rangle, \quad x, y \in \text{int dom } h.$$6 rates (Chen et al., 2024).

5. Theoretical Guarantees and Convergence Rates

The canonical one-step decrease identity underpinning Bregman proximal-point convergence reads:

$$D_h(x, y) = h(x) - h(y) - \langle\nabla h(y), x - y\rangle, \quad x, y \in \text{int dom } h.$$7

for arbitrary feasible $$D_h(x, y) = h(x) - h(y) - \langle\nabla h(y), x - y\rangle, \quad x, y \in \text{int dom } h.$$8 (Jiang et al., 2022, Zhou et al., 2015, Yan et al., 2020). Upon summing over iterations, this yields telescoping bounds, with immediate consequences:

• Monotonic descent: $$D_h(x, y) = h(x) - h(y) - \langle\nabla h(y), x - y\rangle, \quad x, y \in \text{int dom } h.$$9 is nonincreasing.
• Ergodic/sublinear rate: For constant $h(x) = \frac{1}{2}\|x\|^2$0, the suboptimality decays as $h(x) = \frac{1}{2}\|x\|^2$1.
• Quadratic scaling/acceleration: For kernels with triangle/“quadrangle” scaling properties (i.e., $h(x) = \frac{1}{2}\|x\|^2$2), the rate improves to $h(x) = \frac{1}{2}\|x\|^2$3; e.g., $h(x) = \frac{1}{2}\|x\|^2$4 for strongly convex and smooth $h(x) = \frac{1}{2}\|x\|^2$5 (Yang et al., 2021, Chen et al., 2024, Yan et al., 2020).

When the inexactness sequence $h(x) = \frac{1}{2}\|x\|^2$6 (from approximate subproblem solutions) is absolutely summable, convergence is preserved, and accelerated methods retain their improved rates under mild scaling-hypotheses (Chen et al., 2024, Yang et al., 2021).

6. Impact of the Divergence Generator and Problem Geometry

The choice of the Bregman kernel $h(x) = \frac{1}{2}\|x\|^2$7 (“distance-generating function”) critically affects both convergence and the implicit bias of the method. For linear classification with separable data, BPPA with a fixed $h(x) = \frac{1}{2}\|x\|^2$8 yields:

$h(x) = \frac{1}{2}\|x\|^2$9

where $D_h$0 is the maximal margin under the chosen norm, and $D_h$1 are strong convexity and smoothness parameters of $D_h$2 (Li et al., 2021). Thus the “condition number” of $D_h$3 directly controls the guaranteed margin; ill-conditioning may degrade generalization guarantees.

Further, when $D_h$4 reflects the manifold or simplex constraints (e.g., entropic regularization, Kullback–Leibler divergence), updates become multiplicative and naturally enforce sparse or simplex-structured solutions, which is advantageous for tasks such as optimal transport or variational inference (Chen et al., 2024, Guilmeau et al., 2022).

7. Extensions: Manifolds, Nonconvexity, and Equilibrium Problems

The Bregman regularized proximal point paradigm extends to Hadamard manifolds (complete simply connected spaces of nonpositive curvature). Here, the Bregman distance is defined in terms of geodesics, and convexity is replaced by geodesic convexity. Under additional boundedness and coercivity conditions on the kernel, convergence to equilibrium solutions can be established despite the local nonconvexity of the Bregman term (Sharma et al., 20 Jan 2026).

Nonconvex and composite problems are handled by replacing $D_h$5 with locally accurate convex models; line-search and descent conditions ensure convergence to Clarke stationary points under minimal regularity and growth assumptions (Ochs et al., 2017, Wang et al., 2024).

---

References:

• (Chen et al., 2024) An inexact Bregman proximal point method and its acceleration version for unbalanced optimal transport.
• (Yang et al., 2021) Bregman Proximal Point Algorithm Revisited: A New Inexact Version and its Inertial Variant.
• (Jiang et al., 2022) Bregman three-operator splitting methods.
• (Zhou et al., 2015) A Simple Convergence Analysis of Bregman Proximal Gradient Algorithm.
• (Traoré et al., 18 Oct 2025) Bregman Stochastic Proximal Point Algorithm with Variance Reduction.
• (Wang et al., 2024) A Bregman Proximal Stochastic Gradient Method with Extrapolation for Nonconvex Nonsmooth Problems.
• (Sharma et al., 20 Jan 2026) A Bregman Regularized Proximal Point Method for Solving Equilibrium Problems on Hadamard Manifolds.
• (Guilmeau et al., 2022) Regularized Rényi divergence minimization through Bregman proximal gradient algorithms.
• (Ochs et al., 2017) Non-smooth Non-convex Bregman Minimization: Unification and new Algorithms.
• (Yan et al., 2020) Bregman Augmented Lagrangian and Its Acceleration.
• (Li et al., 2021) Implicit Regularization of Bregman Proximal Point Algorithm and Mirror Descent on Separable Data.