[論文レビュー] 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集合からの与えられた点への最良のブレグマン近似を構築することにより、新たなプリマルデュアルオペレータスプリット法を導入する。標準的ユークリッド距離に代えてブレグマン距離に基づくスプリット演算子を用いることで、作用素ノルムの知識や単調作用素に対する追加制約なしに強い収束性を達成する。

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集合への最良のブレグマン近似を構築し、強い収束性を保証すること。
• ユークリッド空間でも実装可能であり、標準的プロキシマル手法よりも効率的なスプリット演算子評価が可能なフレームワークを提供すること。

提案手法

• レジェンドル関数によって誘導されるブレグマン距離を用いて、単調作用素のスプリット演算子を定義し、標準的ユークリッド距離に代える。
• 反復的に、合成包含 $ A + L^*BL $ のKuhn-Tucker集合からの与えられた点への最良のブレグマン近似を構築する。ここで $ A $ と $ B $ は極大単調であり、$ L $ は有界線形作用素である。
• アルゴリズムは、それぞれ $ ( abla f + au A)^{-1} $ および $ ( abla g + ho B)^{-1} $ として定義されるブレグマンスプリット演算子を用いて、$ A $ と $ B $ を別々に活性化する。
• プリマルデュアル構造を採用し、双対変数は $ L $ の随伴を用いて更新され、Kuhn-Tucker条件と整合性を保つ。
• この手法は、$ abla f + au A $ および $ abla g + ho B $ の強強制性および定義域の全域性に依存しており、これはレジェンドル関数および超強制性仮定のもとで保証される。
• 反射的バナッハ空間において、$ orm{L} $ の知識や追加の単調性制約なしに、強い収束性が確立される。

実験結果

リサーチクエスチョン

• RQ1 反射的バナッハ空間における合成単調包含に対して、ヒルバート空間の枠を超えてプリマルデュアルオペレータスプリット法を開発できるか？
• RQ2 合成モデル $ A + L^*BL $ における線形作用素 $ L $ のノルムの知識なしに、強い収束性を達成できるか？
• RQ3 ユークリッド空間において、標準的プロキシマル手法よりも効率的または柔軟性に優れたフレームワークをブレグマン距離が提供できるか？
• RQ4 バナッハ空間において、ブレグマン距離を用いて与えられた点からKuhn-Tucker集合への最良の近似を構築できるか？
• RQ5 計算的実行可能性の観点から、ブレグマンスプリット演算子は標準的プロキシマル演算子と比べてどのように異なるか？

主な発見

• 提案手法は、反射的バナッハ空間において、与えられた点からKuhn-Tucker集合への最良のブレグマン近似に強い収束性を示す。
• この手法は $ orm{L} $ の知識を必要とせず、ヒルバート空間における先行手法の主要な制限を克服する。
• ユークリッド空間では、標準的プロキシマル手法の代替として機能し、計算的により効率的なブレグマンスプリット演算子を提供する。
• 特定の $ f $ の選択（例：ボルツマン＝シャノン自己エネルギー関数やフェルミ＝ディラックエントロピー）に対して、Lambert関数を用いてブレグマンスプリット演算子を明示的に計算可能である。
• 元の関数 $ f $ が二次関数でない場合でも、本手法は適用可能であり、ヒルバート空間におけるプロキシマルアルゴリズムの範囲を超えて広範な適用性を有する。
• 理論的保証は最小限の仮定のもとで確立されている：$ f $ はレジェンドル関数であり、$ A $ と $ B $ は適切な定義域条件を満たす極大単調作用素である。