[論文レビュー] 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

ひとこと要約

本稿では、線形的に合成された最大単調作用素の平行和を含む構造的単調包含問題を解くための2つのプライマル・デュアルアルゴリズムを提案する。各作用素を個別に処理するために前向き・後向き分割法を活用する。主な貢献は、平行和の専用処理により、一階および二階全変動汎関数を含む画像処理問題の効率的解法を可能にすることにある。

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 与えられた問題構造下で、プライマル・デュアル手法にどのような理論的収束保証を確立できるか？

主な発見

• 提案されたアルゴリズムは、線形的に合成された最大単調作用素の平行和を含む構造的単調包含問題において収束を達成する。
• 平行和の処理により、一階および二階全変動汎関数を含む画像処理問題の効果的取り扱いが可能になる。
• 前向きおよび後向きステップによる個別作用素処理により、計算効率とモジュラリティが保証される。
• 本手法は、全変動正則化が用いられる画像処理への応用をサポートし、特に高階平滑性制約を伴う問題に有効である。
• アルゴリズムフレームワークは、さまざまな単調作用素および線形作用素の合成に柔軟かつ拡張可能である。
• 本手法は、画像処理および最適化分野で生じる複雑な単調包含問題に対して、実用的かつ理論的裏付けのある解決策を提供する。