REVIEW 5 minor 1 cited by
On The Linear Convergence of Bregman Proximal Gradient Methods with Applications to Kullback--Leibler regression
T0 review · 0 major / 5 minor · reviewed 2026-07-11 · grok-4.5
Pith's one-line read A restricted relative strong-convexity condition yields linear rates for Bregman proximal gradient methods, and a smoothed Burg entropy makes that condition hold for Kullback–Leibler regression even when solutions lie on the boundary of the
desk verdict Clean RRSC theory for BPGM plus a practical mirror map that actually restores linear rates for KL/Poisson problems, including boundary solutions. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Restricted Relative Strong Convexity (RRSC): the inner-product inequality ⟨∇F(x)-∇F(x̄_ℓ_{2}),x-x̄_ℓ_{2}⟩≥μ⟨∇φ(x)-∇φ(x̄_ℓ_{2}),x-x̄_ℓ_{2}⟩ is required only between an arbitrary feasible point and its Euclidean projection onto the solution set; this single inequality, combined with the restricted symmetry coefficient α_S(φ)>0, produces the linear-rate lemmas for BPGM.
What would settle it
Run BPGM with the smoothed Burg entropy on a rank-deficient ℓ_{1}-regularised KL problem whose unique solution lies on the boundary; if the objective gap decays only sublinearly for a large fraction of random starts, the claimed guarantee fails.
Extended reading notes
Core claim
Under Restricted Relative Strong Convexity, a positive restricted symmetry coefficient of the Bregman divergence, and relative L-smoothness, Bregman proximal gradient iteration (constant or back-tracking step-size) converges linearly: the Bregman distance of the iterates to the solution set contracts by the factor 1/(1+α_S τ μ) at every step, and the objective gap obeys the same contraction scaled by 1/τ. For KL regression the smoothed Burg entropy makes RRSC hold outside a thin conical set around ker(A), guaranteeing the linear rates even when solutions lie on the boundary of the nonnegative orthant.
Load-bearing premise
The iterates must stay inside a region where RRSC holds with a uniform positive constant; if they remain forever on a fibre of the measurement matrix the linear-rate proof does not apply.
Editorial extensions
If this is right
- Any Bregman proximal gradient scheme whose smooth term satisfies RRSC and whose mirror map has positive restricted symmetry inherits an explicit linear rate, constant or back-tracking.
- For KL regression the smoothed Burg entropy guarantees linear convergence on the whole nonnegative orthant except a thin conical set around ker(A), covering both unique and non-unique, regularised and unregularised cases.
- Classical Burg entropy yields linear rates only when at least one solution lies in the strict interior; otherwise the theory predicts—and experiments confirm—sublinear behaviour.
- The same RRSC framework immediately specialises to ordinary proximal gradient (φ = ½‖·‖_{2}^{2}) and recovers known restricted-strong-convexity rates as a special case.
Reading between the lines
- The same RRSC argument should apply verbatim to other β-divergences once a suitable smoothed mirror map is identified, extending the linear-rate guarantee beyond Poisson models.
- Because the linear rate depends only on the trajectory remaining outside a measure-zero cone, a mild random perturbation of the step-size or of the initial point is likely sufficient to restore the rate in the edge cases the paper leaves open.
- The explicit dependence of the RRSC constant on the smoothing parameter ξ suggests an automatic line-search or continuation scheme that balances μ and L without manual tuning.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces Restricted Relative Strong Convexity (RRSC), a Bregman analogue of restricted strong convexity that only requires relative strong convexity between a point and its Euclidean projection onto the solution set S. Under RRSC, a positive restricted symmetry coefficient α_S(φ), and relative L-smoothness, Theorem 2.4 and Corollary 2.6 establish linear rates for BPGM (constant step-size and backtracking) on both the Bregman distance to S and the objective gap. The framework is applied to (regularized) Kullback–Leibler regression with three generating functions: Burg entropy, a smoothed Burg entropy φ_sB, and the squared Euclidean norm. Propositions 3.4–3.6 characterize the regions where RRSC, α_S>0 and relative smoothness hold; the analysis shows that φ_sB guarantees the linear rates even when solutions lie on the boundary of the nonnegative orthant, whereas plain Burg entropy does not. Synthetic Poisson experiments corroborate every regime summarized in Table 1.
Significance. The work supplies a clean, self-contained extension of restricted strong convexity to the Bregman setting and gives the first systematic linear-rate theory for BPGM on KL regression that covers both unique and non-unique solutions, regularized and unregularized formulations, and boundary solutions. The introduction of the smoothed Burg entropy as a distance-generating function is practically useful: it restores linear convergence in regimes where the classical Burg entropy and Richardson–Lucy degrade to sublinear rates, while remaining closed-form. The proofs rely only on standard convex analysis, the constants are derived analytically (not fitted), and the numerical study is reproducible and matches the theory across all predicted cases. These contributions are of clear interest to the first-order optimization and Poisson imaging communities.
minor comments (5)
- In the statement of Lemma 2.3 the integral representation of J(x)−J(x̄_ℓ₂) is written with an arbitrary subgradient s_J(γ(t)); a short remark that the subsequent monotonicity argument is independent of the choice would improve readability.
- Figure 1 caption: the green/red shading is clear, but adding a one-line legend that “green = RRSC holds for some heta,ε>0” would help readers who only glance at the figure.
- Proposition 3.6 (relative smoothness for φ_sB): the constant L≥∑_m ω_m^{2} y_m with ω_m=max{1,[A1]_m ξ/b_m} is correct, yet a brief comparison with the classical Burg constant ∑ y_m would make the price of smoothing more transparent.
- Section 3.2.1: the empirical trade-off for ξ is well illustrated, but a short sentence recalling the analytic lower bound μ≥ min{c1 ξ^{2},c2 ξ/(c3+ξ)} already derived in the proof of Proposition 3.4 would link the plot more tightly to the theory.
- A few typographical slips remain (e.g., “hierarchichal” → hierarchical, “Lojasiewicz” consistently with diacritics, missing space before some citations). A final proof-reading pass would remove them.
Circularity Check
No significant circularity; main rates under RRSC are self-contained first-order analysis. One minor self-citation completes part of the RRSC verification for smoothed Burg entropy.
-
self citation load bearing
[Appendix A.1.1 (Proof for φ_sB of Proposition 3.4)]
"The rest of the proof follows exactly the same as the one of [20, Theorem 2.7]. For this reason, we omit it and only recall here the behaviour of µ as a function of ξ: we have that µ≥min{c1ξ2,c2ξ/(c3+ξ)}, for some c1,c2,c3>0."
Existence of a uniform µ>0 for the smoothed-Burg geometry is finished by deferring the remaining estimates to the authors’ own prior preprint [20] rather than reproducing them. While the key new lower bound (33) is proved in the present paper, the final positivity claim for µ partially rests on that overlapping-author citation; the step is minor because the general RRSC theory and the qualitative superiority claim for φ_sB do not depend on the omitted algebra.
full rationale
The core derivation (Definition 2.1 of RRSC, Lemma 2.3 growth, Theorem 2.4 / Corollary 2.6 linear rates for BPGM under relative L-smoothness + RRSC + α_S(φ)>0) is standard convex analysis using three-point identities, monotonicity of subdifferentials, and the fundamental theorem of calculus along the Euclidean line segment; it does not reduce to its own inputs by construction, nor does it rely on fitted parameters or uniqueness theorems imported from the authors. The KL application (Propositions 3.4–3.6) analytically lower-bounds the relative strong-convexity and symmetry quantities via singular-value estimates, compactness of S, and elementary bounds on the Hessian of the smoothed KL; the resulting μ(ξ) lower bound is derived, not fitted, and remains positive for any fixed ξ>0. The single self-citation appears only in the appendix completion of the φ_sB case of Proposition 3.4 and is not load-bearing for the general rates or for the qualitative claim that φ_sB places iterates in a region where RRSC holds. Empirical tuning of ξ affects observed speed but is never used to ‘prove’ existence of μ. No fitted-input-as-prediction, self-definitional, or ansatz-smuggling patterns are present. The paper is therefore essentially free of circularity.
Assumptions & free parameters
free parameters (2)
- smoothing parameter xi of phi_sB
- back-tracking factor beta
assumptions (5)
- standard math phi is a Legendre function (essentially smooth and strictly convex on int(dom phi))
- domain assumption F is L-Lipschitz relative to phi (LC condition)
- ad hoc to paper F satisfies Restricted Relative Strong Convexity with constant mu>0
- ad hoc to paper restricted symmetry coefficient alpha_S(phi)>0
- domain assumption solution set S is nonempty and compact
invented entities (2)
-
Restricted Relative Strong Convexity (RRSC)
-
restricted symmetry coefficient alpha_D(phi)
Cite this review
Pith. "Pith review of On The Linear Convergence of Bregman Proximal Gradient Methods with Applications to Kullback--Leibler regression." pith.science (2026). https://pith.science/paper/QIFULESC
@misc{pith2026260705539,
author = {Pith},
title = {Pith review of: On The Linear Convergence of Bregman Proximal Gradient Methods with Applications to Kullback--Leibler regression},
year = {2026},
howpublished = {\url{https://pith.science/paper/QIFULESC}},
note = {Machine review of arXiv:2607.05539}
}
read the original abstract
Bregman Proximal Gradient methods (BPGM) exploit the underlying geometry of the objective function through a carefully chosen mirror map. In this work, we introduce a novel notion of strong convexity, termed Restricted Relative Strong Convexity, and establish linear convergence rates for BPGM under this condition. We then exploit the proposed theoretical framework to provide an in-depth analysis of the convergence of BPGM for (regularized) Kullback--Leibler regression problems, covering scenarios with both unique and non-unique minimizers, as well as regularized and unregularized formulations. Specifically, we demonstrate that using the popular Burg's entropy as a distance-generating function may only yield linear convergence for certain KL regression problems. In contrast, we show that employing a smoothed version of the Burg's entropy induces the suitable geometry required to guarantee linear convergence. We conclude with numerical experiments that nicely align with our theoretical findings.
Figures
Figures from the paper (3 more)
Forward citations
Cited by 1 Pith paper
-
A Unified Framework for Iterate Convergence of Bregman Proximal Methods
A unified framework using scaled Kurdyka-Lojasiewicz inequalities shows that Bregman proximal point and gradient methods, and mirror flow, converge for closed-domain separable kernels and subanalytic or definable objectives.
Reference graph
Works this paper leans on
-
[1]
M. Adly, A. Chazottes, E. Chouzenoux, J.-C. Pesquet, and F. Sureau. Variable Bregman majorization- minimization algorithms for nonconvex nonsmooth optimization, with application to poisson imaging. ArXiv preprint, 2026. 24 J. CHIRINOS-RODRIGUEZ, C. DANIELE, C. F ´EVOTTE, AND E. SOUBIES
2026
-
[2]
Attouch, J
H. Attouch, J. Bolte, and B. F. Svaiter. Convergence of descent methods for semi-algebraic and tame problems: proximal algorithms, forward–backward splitting, and regularized gauss–seidel methods. Mathematical programming, 137(1):91–129, 2013
2013
-
[3]
Auslender and M
A. Auslender and M. Teboulle. Interior gradient and proximal methods for convex and conic optimiza- tion.SIAM Journal on Optimization, 16(3):697–725, 2006
2006
-
[4]
Bartlett, E
P. Bartlett, E. Hazan, and A. Rakhlin. Adaptive online gradient descent. InAdvances in Neural Infor- mation Processing Systems, volume 20, 2007
2007
-
[5]
H. G. Bauschke and J. M. Borwein. Legendre functions and the method of random Bregman projections. Journal of Convex Analysis, 4(1):27–67, 1997
1997
-
[6]
H. H. Bauschke, J. Bolte, J. Chen, M. Teboulle, and X. Wang. On linear convergence of non-Euclidean gradient methods without strong convexity and Lipschitz gradient continuity.Journal of Optimization Theory and Applications, 182(3):1068–1087, 2019
2019
-
[7]
H. H. Bauschke, J. Bolte, and M. Teboulle. A descent lemma beyond Lipschitz gradient continuity: first- order methods revisited and applications.Mathematics of Operations Research, 42(2):330–348, 2017
2017
-
[8]
H. H. Bauschke and P. L. Combettes.Convex analysis and monotone operator theory in Hilbert spaces. CMS Books in Mathematics/Ouvrages de Math´ ematiques de la SMC. Springer, Cham, second edition, 2017
2017
Show all 59 references
-
[9]
Beck and S
A. Beck and S. Shtern. Linearly convergent away-step conditional gradient for non-strongly convex functions.Mathematical Programming, 164(1):1–27, 2017
2017
-
[10]
Beck and M
A. Beck and M. Teboulle. A fast iterative shrinkage-thresholding algorithm for linear inverse problems. SIAM Journal on Imaging Sciences, 2(1):183–202, 2009
2009
-
[11]
Bertero, P
M. Bertero, P. Boccacci, G. Desider` a, and G. Vicidomini. Image deblurring with poisson data: from cells to galaxies.Inverse Problems, 25(12):123006, nov 2009
2009
-
[12]
Bertero, P
M. Bertero, P. Boccacci, and V. Ruggiero.Inverse Imaging with Poisson Data. 2053-2563. IOP Pub- lishing, 2018
-
[13]
Bolte, A
J. Bolte, A. Daniilidis, and A. Lewis. The Lojasiewicz inequality for nonsmooth subanalytic functions with applications to subgradient dynamical systems.SIAM Journal on Optimization, 17:1205–1223, 2007
2007
-
[14]
Bolte, T
J. Bolte, T. P. Nguyen, J. Peypouquet, and B. W. Suter. From error bounds to the complexity of first-order descent methods for convex functions.Mathematical Programming, 165(2):471–507, 2017
2017
-
[15]
Bolte, S
J. Bolte, S. Sabach, M. Teboulle, and Y. Vaisbourd. First order methods beyond convexity and Lipschitz gradient continuity with applications to quadratic inverse problems.SIAM Journal on Optimization, 28(3):2131–2151, 2018
2018
-
[16]
Boyer, A
C. Boyer, A. Chambolle, Y. D. Castro, V. Duval, F. de Gournay, and P. Weiss. On representer theorems and convex regularization.SIAM Journal on Optimization, 29(2):1260–1281, 2019
2019
-
[17]
Bredies and D
K. Bredies and D. A. Lorenz. Linear convergence of iterative soft-thresholding.Journal of Fourier Analysis and Applications, 14(5-6):813–837, 2008
2008
-
[18]
J. F. Canny. GaP: A factor model for discrete data. InProc. ACM International Conference on Research and Development of Information Retrieval (SIGIR), pages 122–129, 2004
2004
-
[19]
Chen and M
G. Chen and M. Teboulle. Convergence analysis of a proximal-like minimization algorithm using Breg- man functions.SIAM Journal on Optimization, 3(3):538–543, 1993
1993
-
[20]
Chirinos-Rodr´ ıguez, C
J. Chirinos-Rodr´ ıguez, C. F´ evotte, and E. Soubies. Optimization landscape ofℓ0-Bregman relaxations. ArXiv Preprint, 2025
2025
-
[21]
P. L. Combettes and V. R. Wajs. Signal recovery by proximal forward-backward splitting.Multiscale Modeling & Simulation, 4(4):1168–1200, 2005
2005
-
[22]
Daubechies, M
I. Daubechies, M. Defrise, and C. De Mol. An iterative thresholding algorithm for linear inverse problems with a sparsity constraint.Communications on Pure and Applied Mathematics: A Journal Issued by the Courant Institute of Mathematical Sciences, 57(11):1413–1457, 2004
2004
-
[23]
N. Dey, L. Blanc-F´ eraud, C. Zimmer, P. Roux, Z. Kam, J.-C. Olivo-Marin, and J. Zerubia.3D mi- croscopy deconvolution using Richardson–Lucy algorithm with total variation regularization. PhD thesis, INRIA, 2004. BREGMAN PROXIMAL GRADIENT METHODS FOR KL REGRESSION 25
2004
-
[24]
D. L. Donoho and J. Tanner. Sparse nonnegative solution of underdetermined linear equations by linear programming.Proceedings of the National Academy of Sciences, 102(27):9446–9451, 2005
2005
-
[25]
Drusvyatskiy and A
D. Drusvyatskiy and A. S. Lewis. Error bounds, quadratic growth, and linear convergence of proximal methods.Mathematics of Operations Research, 43(3):919–948, 2018
2018
-
[26]
Essafri, L
M. Essafri, L. Calatroni, and E. Soubies. Onℓ 0 Bregman-relaxations for Kullback–Leibler sparse regres- sion. In2024 IEEE 34th International Workshop on Machine Learning for Signal Processing (MLSP), pages 1–6, 2024
2024
-
[27]
Essafri, L
M. Essafri, L. Calatroni, and E. Soubies. Exact continuous relaxations ofℓ 0-regularized criteria with non-quadratic data terms.Journal of Global Optimization, 93(3):651–699, 2025
2025
-
[28]
J. A. Fessler and A. O. Hero. Penalized maximum-likelihood image reconstruction using space- alternating generalized em algorithms.IEEE Transactions on Image Processing, 4(10):1417–1429, 1995
1995
-
[29]
F´ evotte, N
C. F´ evotte, N. Bertin, and J.-L. Durrieu. Nonnegative matrix factorization with the Itakura-Saito divergence: With application to music analysis.Neural Computation, 21(3):793–830, 2009
2009
-
[30]
F´ evotte and J
C. F´ evotte and J. Idier. Algorithms for nonnegative matrix factorization with theβ-divergence.Neural Computation, 23(9):2421–2456, 2011
2011
-
[31]
Gopalan, J
P. Gopalan, J. M. Hofman, and D. M. Blei. Scalable recommendation with hierarchical poisson factor- ization. InProc. UAI, pages 326–335, 2015
2015
-
[32]
Z. T. Harmany, R. F. Marcia, and R. M. Willett. This is spiral-tap: Sparse poisson intensity recon- struction algorithms—theory and practice.IEEE Transactions on Image Processing, 21(3):1084–1096, 2011
2011
-
[33]
Algorithms for nonnegative matrix factorization with the kull- back–leibler divergence.Journal of Scientific Computing, 87(3), 2021
Le Thi Khanh Hien and Nicolas Gillis. Algorithms for nonnegative matrix factorization with the kull- back–leibler divergence.Journal of Scientific Computing, 87(3), 2021
2021
-
[34]
Hiriart-Urruty and C
J.-B. Hiriart-Urruty and C. Lemar´ echal.Fundamentals of Convex Analysis. Springer, 2001
2001
-
[35]
Karimi, J
H. Karimi, J. Nutini, and M. Schmidt. Linear convergence of gradient and proximal-gradient meth- ods under the Polyak- Lojasiewicz condition. InJoint European conference on machine learning and knowledge discovery in databases, pages 795–811. Springer, 2016
2016
-
[36]
K. Kurdyka. On gradients of functions definable in o-minimal structures.Annales de l’Institut Fourier, 48(3):769–783, 1998
1998
-
[37]
Lai and W
M.-J. Lai and W. Yin. Augmentedℓ 1 and nuclear-norm models with a globally linearly convergent algorithm.SIAM Journal on Imaging Sciences, 6(2):1059–1091, 2013
2013
-
[38]
Lee and H
D. Lee and H. S. Seung. Algorithms for non-negative matrix factorization. In T. Leen, T. Dietterich, and V. Tresp, editors,Advances in Neural Information Processing Systems, volume 13, 2000
2000
-
[39]
Li and T
G. Li and T. K. Pong. Calculus of the exponent of Kurdyka– Lojasiewicz inequality and its applications to linear convergence of first-order methods.Foundations of Computational Mathematics, 18(5):1199– 1232, 2017
2017
-
[40]
Lions and B
P.-L. Lions and B. Mercier. Splitting algorithms for the sum of two nonlinear operators.SIAM Journal on Numerical Analysis, 16(6):964–979, 1979
1979
-
[41]
J. Liu, S. Wright, C. R´ e, V. Bittorf, and S. Sridhar. An asynchronous parallel stochastic coordinate descent algorithm. InInternational Conference on Machine Learning, pages 469–477. PMLR, 2014
2014
-
[42]
les ´ equations aux d´ eriv´ ees partielles
S. Lojasiewicz. Une propri´ et´ e topologique des sous-ensembles analytiques r´ eels, in “les ´ equations aux d´ eriv´ ees partielles”.´Editions du Centre National de la Recherche Scientifique, 1963
1963
-
[43]
H. Lu, R. M. Freund, and Y. Nesterov. Relatively smooth convex optimization by first-order methods, and applications.SIAM Journal on Optimization, 28(1):333–354, 2018
2018
-
[44]
L. B. Lucy. An iterative technique for the rectification of observed distributions.Astronomical Journal, 79:745–754, 1974
1974
-
[45]
Luo and P
Z.-Q. Luo and P. Tseng. Error bounds and convergence analysis of feasible descent methods: a general approach.Annals of Operations Research, 46(1):157–178, 1993
1993
-
[46]
Necoara and D
I. Necoara and D. Clipici. Parallel random coordinate descent method for composite minimization: Convergence analysis and error bounds.SIAM Journal on Optimization, 26(1):197–226, 2016
2016
-
[47]
Necoara, Y
I. Necoara, Y. Nesterov, and F. Glineur. Linear convergence of first order methods for non-strongly convex optimization.Mathematical programming, 175(1):69–107, 2019. 26 J. CHIRINOS-RODRIGUEZ, C. DANIELE, C. F ´EVOTTE, AND E. SOUBIES
2019
-
[48]
Needell, N
D. Needell, N. Srebro, and R. Ward. Stochastic gradient descent, weighted sampling, and the randomized Kaczmarz algorithm. InAdvances in Neural Information Processing Systems, volume 27, 2014
2014
-
[49]
Nesterov
Y. Nesterov. A method for solving the convex programming problem with convergence rate o (1/k2). InDokl akad nauk Sssr, volume 269, page 543, 1983
1983
-
[50]
Nesterov.Introductory Lectures on Convex Optimization: A Basic Course
Y. Nesterov.Introductory Lectures on Convex Optimization: A Basic Course. Kluwer Academic Pub- lishers, Boston, 2003
2003
-
[51]
G. B. Passty. Ergodic convergence to a zero of the sum of monotone operators in hilbert space.Journal of Mathematical Analysis and Applications, 72(2):383–390, 1979
1979
-
[52]
W. H. Richardson. Bayesian-based iterative method of image restoration.Journal of the Optical Society of America, 62(1):55–59, 1972
1972
-
[53]
R. T. Rockafellar. Convex analysis.Princeton University Press, 28, 1970
1970
-
[54]
Teboulle
M. Teboulle. A simplified view of first order methods for optimization.Mathematical Programming. Ser. B, 170, 2018
2018
-
[55]
P. Tseng. Approximation accuracy, gradient methods, and error bound for structured convex optimiza- tion.Mathematical Programming, 125(2):263–295, 2010
2010
-
[56]
Zhang and L
H. Zhang and L. Cheng. Restricted strong convexity and its applications to convergence analysis of gradient-type methods in convex optimization.Optimization Letters, 9(5):961–979, 2015
2015
-
[57]
Y. Zhou, Y. Liang, and L. Shen. A simple convergence analysis of Bregman proximal gradient algorithm. Computational Optimization and Applications, 73(3):903–912, 2019
2019
-
[58]
Zhou and A
Z. Zhou and A. M.-C. So. A unified approach to error bounds for structured convex optimization problems.Mathematical Programming, 165(2):689–728, 2017
2017
-
[59]
Zunino, M
A. Zunino, M. Castello, and G. Vicidomini. Reconstructing the image scanning microscopy dataset: An inverse problem.Inverse Problems, 39(6):064004, 2023. AppendixA.Proofs of Section 3 A.1.Proof of Proposition 3.4.To prove the result, we first need the following technical lemma...
2023
Reviewed July 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.