[论文解读] Solving Composite Monotone Inclusions in Reflexive Banach Spaces by Constructing Best Bregman Approximations from Their Kuhn-Tucker Set

Patrick L. Combettes, Quang Van Nguyen|arXiv (Cornell University)|May 2, 2015

Optimization and Variational Analysis参考文献 36被引用 5

一句话总结

本文提出了一种新颖的原始-对偶算子分裂方法，用于在一致凸巴拿赫空间中求解复合单调包含问题，通过构造从Kuhn-Tucker集到给定点的最优Bregman逼近。该方法在无需已知算子范数或对单调算子施加额外限制的条件下实现了强收敛，采用基于Bregman距离的预解算子。

ABSTRACT

We introduce the first operator splitting method for composite monotone inclusions outside of Hilbert spaces. The proposed primal-dual method constructs iteratively the best Bregman approximation to an arbitrary point from the Kuhn-Tucker set of a composite monotone inclusion. Strong convergence is established in reflexive Banach spaces without requiring additional restrictions on the monotone operators or knowledge of the norms of the linear operators involved in the model. The monotone operators are activated via Bregman distance-based resolvent operators. The method is novel even in Euclidean spaces, where it provides an alternative to the usual proximal methods based on the standard distance.

研究动机与目标

• 开发首个适用于一致凸巴拿赫空间中复合单调包含问题的算子分裂方法，突破希尔伯特空间设置的限制。
• 解决现有方法仅实现弱收敛或需已知算子范数的局限性。
• 构造给定点到Kuhn-Tucker集的最优Bregman逼近，确保强收敛。
• 提供一种在欧氏空间中仍可实施的框架，其预解算子计算效率可能高于标准近端方法。

提出的方法

• 该方法利用由Legendre函数诱导的Bregman距离来定义单调算子的预解算子，取代标准的欧氏距离。
• 通过迭代方式构造给定点关于复合包含问题 $ A + L^*BL $ 的Kuhn-Tucker集的最优Bregman逼近，其中 $ A $ 和 $ B $ 为极大单调算子，$ L $ 为有界线性算子。
• 算法分别通过Bregman预解算子 $ ( abla f + au A)^{-1} $ 和 $ ( abla g + ho B)^{-1} $ 激活 $ A $ 和 $ B $。
• 采用原始-对偶结构，通过对 $ L $ 的伴随算子更新对偶变量，确保与Kuhn-Tucker条件的一致性。
• 该方法依赖于 $ abla f + au A $ 和 $ abla g + ho B $ 的强制性与定义域完整性，该性质在Legendre函数与超强制性假设下得以保证。
• 在一致凸巴拿赫空间中，无需已知 $ orm{L} $ 或额外的单调性约束，即可建立强收敛性。

实验结果

研究问题

• RQ1 能否在希尔伯特空间之外的设置下，为一致凸巴拿赫空间中的复合单调包含问题开发一种原始-对偶算子分裂方法？
• RQ2 能否在复合模型 $ A + L^*BL $ 中不依赖线性算子 $ L $ 的范数知识，实现强收敛？
• RQ3 在欧氏空间中，Bregman距离能否提供比标准近端方法更高效或更灵活的框架？
• RQ4 在巴拿赫空间中，能否利用Bregman距离构造给定点到Kuhn-Tucker集的最优逼近？
• RQ5 在计算可实施性方面，Bregman预解算子与标准近端算子相比有何差异？

主要发现

• 所提方法在一致凸巴拿赫空间中，可强收敛至给定点关于Kuhn-Tucker集的最优Bregman逼近。
• 该方法无需已知 $ orm{L} $，克服了希尔伯特空间中先前原始-对偶方法的关键局限。
• 在欧氏空间中，该方法为标准近端方法提供了一种替代方案，其Bregman预解算子可能具有更高的计算效率。
• 对于特定的 $ f $ 选择（如Boltzmann-Shannon或Fermi-Dirac熵），Bregman预解算子可通过Lambert函数显式计算。
• 即使底层函数 $ f $ 非二次型，该方法仍适用，从而扩展了其适用范围，超越了希尔伯特空间近端算法的限制。
• 在最小假设下建立了理论保证：$ f $ 为Legendre函数，且 $ A $、$ B $ 为极大单调算子并满足适当的定义域条件。