精读笔记
Problem Setting
论文研究凸 composite problem min_{x∈C} F(x)+R(x) 中 BPGM 的线性收敛，重点落在 KL regression / Poisson inverse problem 这一类目标上。这里的难点不是 BPGM 是否下降，而是在 F 不满足 Lipschitz gradient、也不满足全局 strong convexity 或 global relative strong convexity 时，如何仍然得到线性 rate。
关键矛盾是：BPGM 需要选择能匹配 F 几何的 mirror map φ；但常见的 φ 只保证 relative smoothness，并不自动给出线性收敛所需的 growth/error bound。KL regression 中 A 可能 rank-deficient，F=KL(y,Ax+b) 在 ker(A) 方向上天然退化；同时非负约束使解可能落在边界，Burg entropy 在边界附近的几何又会改变收敛行为。以前的 global relative strong convexity 对这种问题过强，欧氏 RSC 又不能直接放进 Bregman 下降分析。
Motivation
已有路线的缺口很具体：BPGM 的 sublinear rate 可以靠 relative smoothness；linear rate 通常靠 global relative strong convexity；但实际 KL regression 经常没有这种全局曲率。另一方面，欧氏 PGM 文献已经知道 restricted strong convexity / error bound 足以解释非强凸问题的线性收敛，可这个思想在 Bregman setting 中没有一个干净、可用于 KL 的版本。
作者的核心观察是，线性收敛真正需要的不是全局两点曲率，而是“从当前点朝解集投影方向”的有效曲率。对于 F=G(Ax)，null space 方向必然杀死全局强凸性；但只要非解方向不完全落在 ker(A)，仍然可能有足够曲率。KL regression 的另一个观察是：Burg entropy 虽然经典，但它只在正域内部表现良好；一旦最优解在边界，Burg 的几何不再支撑同样的线性收敛证明。smoothed Burg 正是为补这个缺口引入的。
Core Idea
论文真正的核心是把 RSC 改造成 RRSC：只要求 F 在 x 和 x 到解集 S 的欧氏投影 \bar{x}_{l2} 之间相对 φ 有强凸性。这个条件比 global relative strong convexity 弱得多，因为它不要求控制所有点对，只要求控制指向解集的误差方向。它保留了 RSC 的 error-bound 精神，同时让度量从欧氏范数替换成 mirror map 诱导的曲率。
本质差异在于它把 Bregman geometry 从“全局曲率假设”改成“局部于解集的误差几何”。这不是简单换一个距离函数，而是重新定义了线性收敛所需的信息流：relative smoothness 负责算法下降，RRSC 负责 objective gap 到距离的增长，restricted symmetry 负责非对称 Bregman 距离的方向转换。对 KL regression，smoothed Burg 引入的 inductive bias 是让 mirror geometry 不再把边界解排除在理论之外；它改变的是可证明的有效区域，而不只是数值稳定性。
Method
方法可以压缩成三个必要机制。
第一，RRSC 解决“全局相对强凸太强”的问题。它只在 x 到解集欧氏投影的方向上比较 F 与 φ 的曲率，因此 rank-deficient A 的 null space 不再自动摧毁整个理论。核心变化是强凸性从全局几何条件变成解集相关的误差增长条件。
第二，restricted symmetry coefficient α_S(φ) 解决 Bregman divergence 非对称导致的证明断点。BPGM 的下降自然涉及 D_φ(solution, x)，而 RRSC 积分得到的更接近 D_φ(x, solution)。α_S 只在 solution set 上要求可逆性，比全局 symmetry coefficient 弱，也正好够用。
第三，对 KL regression 的 φ 选择不是实现细节，而是理论有效区域的决定因素。φ_Burg 给出好用的 relative smoothness，但要求解远离边界；φ_sBurg 通过 shift ξ 把定义域扩展到 x_n>-ξ，使非负边界处的投影和 symmetry 条件仍可控；φ_l2 则退回标准 PGM，只能在有界/局部区域中拿到结论。backtracking 只是把未知 L 的使用工程化，不是核心理论贡献。
Key Insight / Why It Works
最重要的 insight 是：BPGM 线性收敛的瓶颈不在 relative smoothness，而在“objective gap 是否能控制算法真正下降的 Bregman 距离”。RRSC 给出这个 gap-to-distance 控制，restricted symmetry 把方向对齐，二者组合后递推直接闭合：D_φ(\bar{x}^{k+1}_φ,x^{k+1}) ≤ 1/(1+α_S τ μ) D_φ(\bar{x}^k_φ,x^k)。这就是整篇论文的主机制。
对 KL regression，方法有效的原因不是 scaling，也不是更复杂的 optimization trick，而是 better inductive bias：smoothed Burg 的几何和非负边界更兼容。标准 Burg 的 log barrier 让迭代保持正，但也意味着当真实解在边界时，它的对称性/曲率条件无法在靠近解处保持足够好；所以它可能只表现为 sublinear。smoothed Burg 牺牲一部分 Burg 的原始 barrier 几何，换来覆盖 boundary solution 的 RRSC 与 α_S 条件。
最可能的核心贡献是 RRSC + restricted symmetry 这套证明模板，以及用它解释 Burg vs smoothed Burg 的边界差异。backtracking、闭式 BPGM 更新、与 Richardson-Lucy 的比较更像辅助。实验中的速度优势部分可能来自更好的 geometry，也可能来自 ξ 调参改善 conditioning；增益归因没有完全拆开。这里没有 retrieval、memory reuse、test-time compute 或 data coverage 的问题；如果类比机器学习术语，它更像是为优化算法选择了更匹配问题边界结构的 inductive bias。
Relation To Prior Work
这篇属于 relative smooth optimization / Bregman proximal gradient / error-bound linear convergence 这条谱系。它最接近三类工作：Lu-Freund-Nesterov / Teboulle 等关于 relative smoothness 与 global relative strong convexity 的 BPGM 理论；Necoara、Zhang-Cheng、Lai-Yin 等欧氏 RSC / quadratic growth 线性收敛理论；以及 Bauschke-Bolte-Chen-Teboulle-Wang 的非欧氏 KL/gradient dominated 类型线性收敛分析。
真正不同点是它没有走 KL property 或 gradient domination 的抽象路线，而是把欧氏 RSC 精确移植到 Bregman 框架，并额外处理 Bregman 非对称性。RRSC 本身是已有 RSC 思想的自然重组，但 restricted symmetry coefficient 只作用于解集这一点是实质性的，因为它避免了 Burg/entropy 类函数全局 symmetry coefficient 为 0 导致的理论失败。
smoothed Burg 也不是凭空出现的函数，相关 log-shift / smoothed entropy 在其他 Bregman relaxation 和 EM/MM 文献中已有痕迹；本文的新意在于指出它在 KL regression 线性收敛中扮演的是“正确边界几何”的角色，而不是普通平滑技巧。
Dataset / Evaluation
实验覆盖了论文理论最关心的轴：A 是否 full rank，是否加 ℓ1 regularization，解在 interior 还是 boundary，以及不同 φ 的轨迹行为。这个设计对验证理论 claim 是合适的，因为核心 claim 本来就是关于不同几何条件下是否出现线性收敛，而不是关于某个真实应用 benchmark 的最终性能。
但 evaluation 主要是 synthetic Poisson inverse setup，没有真实成像数据或大规模实际部署任务。矩阵 A 的 condition number 被人为调整，最优值用所有算法最终达到的最小值近似，smoothed Burg 的 ξ 通过多值搜索调优。这些选择适合展示理论现象，但不能证明 smoothed Burg 在真实任务中稳定优于 RL 或 Burg。实验支持“理论有效区域判断是 sharp 的”，不充分支持“这是实际 KL regression 的默认最优算法”。
Limitation
第一，RRSC 的验证仍是问题特定的。论文在 KL regression 上做得很细，但对其他 loss，尤其 β-divergence、非凸 factorization、复杂正则项，并没有自动推广。框架给出的是 sufficient condition，不是一个容易检查的通用 recipe。
第二，理论仍混合了欧氏投影和 Bregman 投影。RRSC 用 \bar{x}_{l2}，收敛结论用 \bar{x}_φ；这种几何不统一不是致命问题，但说明证明依赖欧氏线段投影的特殊性质，而不是完全由 mirror geometry 自洽推出。
第三，rank-deficient 且 regularized unique solution 的场景中，坏集合 S^θ_ker 仍然存在。文中说实际没有观察到迭代落在坏集合上，但为什么轨迹会避开它，文中未充分说明。这部分线性收敛更像经验上成立，而非完整全局保证。
第四，smoothed Burg 的 ξ 是关键但没有理论最优选择。ξ 同时影响 μ、L 和 α_S，实验中需要调参；增益来源不清，可能部分来自 conditioning / step-size scaling，而不完全是 RRSC 常数改善。若 ξ 选得不好，方法优势会消失。
第五，实验规模和数据分布相对受控。这里不存在 benchmark leakage 一类问题，但有 evaluation bias：数据生成和 condition number 调整使线性/非线性行为更容易被看清，也可能高估实际场景中的速度差异。
Takeaway
- 1. BPGM 的线性收敛不必绑定 global relative strong convexity；更合适的抽象是解集相关的 relative error-bound / restricted curvature。
- 2. 在非欧氏优化里，mirror map 的好坏不能只看 relative smoothness。
- φ 是否在解集附近提供足够 symmetry 和 growth control，才决定能否线性收敛。
- 3. KL regression 中 Burg entropy 是自然但不总是正确的几何；当解可能在非负边界上，smoothed Burg 更符合理论需求。
一句话总结
这篇论文把欧氏 RSC 的 error-bound 思想推进到 Bregman proximal gradient 框架，用 RRSC 和 restricted symmetry 解释并修正 KL regression 中 Burg geometry 的边界失效，是一篇偏理论机制而非算法堆叠的线性收敛论文。