[論文レビュー] Attouch-Théra duality revisited: paramonotonicity and operator splitting

Heinz H. Bauschke, Radu Ioan Boţ+2 more|arXiv (Cornell University)|Oct 21, 2011

Optimization and Variational Analysis参考文献 33被引用数 10

ひとこと要約

この論文は、2つの極大単調作用素の和の零点を求める文脈において、Attouch-Théra双対性を再考し、1つの双対解からすべてのプライマル解を回復可能にする鍵となる性質として、パラモノトニック性を導入する。これは、最良近似結果をパラモノトニック作用素へ一般化し、Douglas-Rachford分割作用素の新しい固定点特徴付けを提供することで、単調作用素理論における収束解析と双対性理解を強化する。

ABSTRACT

The problem of finding the zeros of the sum of two maximally monotone operators is of fundamental importance in optimization and variational analysis. In this paper, we systematically study Attouch-Théra duality for this problem. We provide new results related to Passty's parallel sum, to Eckstein and Svaiter's extended solution set, and to Combettes' fixed point description of the set of primal solutions. Furthermore, paramonotonicity is revealed to be a key property because it allows for the recovery of all primal solutions given just one arbitrary dual solution. As an application, we generalize the best approximation results by Bauschke, Combettes and Luke [J. Approx. Theory 141 (2006), 63-69] from normal cone operators to paramonotone operators. Our results are illustrated through numerous examples.

研究の動機と目的

• 2つの極大単調作用素の和の零点を求める文脈において、Attouch-Théra双対性を体系的かつ系統的に研究すること。
• 双対性と解の回復を単純化する上で、パラモノトニック性が果たす重要な役割を明らかにすること。
• 従来の正規被覆作用素に対する最良近似結果を、パラモノトニック作用素へ一般化すること。
• Douglas-Rachford分割作用素の新しい固定点特徴付けを提供し、プライマル解集合の既存の記述を精緻化すること。
• パラモノトニック性と制約適合条件の下で、Eckstein-Ferris-Robinson双対性フレームワークを拡張すること。

提案手法

• ミントイパarametrizationを用いて、解像作用素と反射解像作用素を介して極大単調作用素のグラフを特徴付ける。
• Douglas-Rachford作用素の新しい固定点記述を導入し、コベットスのプライマル解集合の特徴付けを精緻化する。
• パスティの並列和およびエクスタイン＝スヴァイターの拡張解集合を用いて、解構造を分析する。
• パラモノトニック性を用いて、Douglas-Rachford作用素の固定点集合がヒルバート空間内に長方形を形成することを確立する。
• 逆解像作用素の恒等式とフェンヒェル共役双対性を用いて、プライマル解と双対解の間の関係を導出する。
• ハルペルン型およびオーガゼオ型アルゴリズムを適用し、パラモノトニック性の下で解像作用素の反復が最良近似解に収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 パラモノトニック性は、Attouch-Théra双対性における解集合の構造にどのように影響するか？
• RQ2 パラモノトニック性の下で、1つの双対解からすべてのプライマル解を回復可能か？
• RQ3 パラモノトニック性の下で、Douglas-Rachford分割作用素の固定点集合はどのようなものか？
• RQ4 正規被覆作用素に対する最良近似結果を、どのようにパラモノトニック作用素へ一般化できるか？
• RQ5 Eckstein-Ferris-Robinson双対性フレームワークにおいて、作用素 $L^*CL$ が $C$ からパラモノトニック性を継承するための条件は何か？

主な発見

• パラモノトニック性により、Douglas-Rachford作用素の固定点集合がヒルバート空間内に長方形を形成することが保証され、解の回復が単純化される。
• パラモノトニック性の下で、1つの双対解からすべてのプライマル解を回復可能であり、これは重要な構造的洞察である。
• 本研究では、バウシュケ、コベッツ、ルークの正規被覆作用素に対する最良近似結果が、パラモノトニック作用素へ一般化されている。
• Douglas-Rachford作用素の新しい固定点記述が提供され、コベットスによるプライマル解集合の特徴付けが精緻化されている。
• 作用素 $C$ がパラモノトニックであり、かつ $\mathbb{R}_{++}(\operatorname{ran}L - \operatorname{dom}C)$ が閉部分空間である場合、作用素 $L^*CL$ がパラモノトニックであることが示された。
• パラモノトニック性の下で、ハルペルン型およびオーガゼオ型アルゴリズムの収束が、解集合の最良近似に到達することを確立した。