[论文解读] An algorithm for solving monotone inclusions involving parallel sums of linearly composed maximally monotone operators

Radu Ioan Boţ, Christopher Hendrich|arXiv (Cornell University)|Jun 13, 2013

Numerical methods in inverse problems被引用 5

一句话总结

本文提出两种原始-对偶算法，用于求解涉及线性组合的极大单调算子的并行和的结构化单调包含问题，通过前向-后向分裂技术分别处理每个算子。其主要贡献在于通过针对并行和的专门处理，实现了对一阶和二阶总变差泛函成像问题的高效求解。

ABSTRACT

The aim of this article is to present two different primal-dual methods for solving structured monotone inclusions involving parallel sums of compositions of maximally monotone operators with linear bounded operators. By employing some elaborated splitting techniques, all of the operators occurring in the problem formulation are processed individually via forward or backward steps. The treatment of parallel sums of linearly composed maximally monotone operators is motivated by applications in imaging which involve first- and second-order total variation functionals, to which a special attention is given.

研究动机与目标

• 解决涉及极大单调算子与有界线性算子的线性组合的并行和的结构化单调包含问题。
• 开发高效的数值方法，通过前向或后向步骤分别处理每个算子。
• 通过定制化的算法处理，实现对涉及一阶和二阶总变差泛函的成像问题的实际求解。
• 将现有分裂方法扩展至处理并行和，同时保持收敛性和计算效率。

提出的方法

• 算法采用原始-对偶前向-后向分裂框架，以分别处理包含问题中的各个算子。
• 通过专门的分裂技术处理线性组合的极大单调算子的并行和，实现各分量的解耦。
• 对具有利普希茨连续梯度的单调算子应用前向步骤，对极大单调算子使用后向步骤。
• 通过算子分裂策略显式处理极大单调算子与有界线性算子的复合。
• 算法设计确保所有算子均可独立处理，从而提升模块化与计算可处理性。
• 通过在总变差正则化成像问题中的应用验证该方法，特别是涉及一阶和二阶变化的问题。

实验结果

研究问题

• RQ1 如何高效求解涉及线性组合的极大单调算子的并行和的结构化单调包含问题？
• RQ2 何种分裂技术可实现通过前向或后向步骤对包含问题中的每个算子进行独立处理？
• RQ3 所提出的算法如何适应涉及一阶和二阶总变差泛函的成像问题？
• RQ4 在给定问题结构下，原始-对偶方法的理论收敛性保证为何？

主要发现

• 所提出的算法在涉及线性组合的极大单调算子的并行和的结构化单调包含问题上实现收敛。
• 对并行和的处理使得能够有效求解涉及一阶和二阶总变差泛函的成像问题。
• 通过前向和后向步骤实现的独立算子处理确保了计算效率与模块化。
• 该方法支持在总变差正则化中应用的成像问题，尤其适用于涉及高阶平滑性约束的问题。
• 该算法框架具有灵活性和可扩展性，适用于各种单调算子与线性算子的组合。
• 该方法为成像与优化中出现的复杂单调包含问题提供了实用且理论基础扎实的解决方案。