[論文レビュー] The difference vectors for convex sets and a resolution of the geometry conjecture

Salihah Alwadani, Heinz H. Bauschke+2 more|arXiv (Cornell University)|Dec 8, 2020

Point processes and geometric inequalities参考文献 23被引用数 4

ひとこと要約

本稿は、25年以上にわたり未解決の幾何学的予想を解消した。ヒルバート空間内の空でない閉凸集合への射影の巡回的合成の不動点集合が、平行移動された集合の共通部分集合に等しいことを証明し、その平行移動ベクトル（差分ベクトル）を単調作用素理論とAttouch-Théra双対性を用いて明示的に特定した。この解法により、差分ベクトルの完全で構成的な公式が得られ、25年以上にわたり未解決の予想が解決された。

ABSTRACT

The geometry conjecture, which was posed nearly a quarter of a century ago, states that the fixed point set of the composition of projectors onto nonempty closed convex sets in Hilbert space is actually equal to the intersection of certain translations of the underlying sets. In this paper, we provide a complete resolution of the geometry conjecture. Our proof relies on monotone operator theory. We revisit previously known results and provide various illustrative examples. Comments on the numerical computation of the quantities involved are also presented.

研究の動機と目的

• 巡回的射影の不動点集合が、平行移動された凸集合の共通部分集合に等しいという幾何学的予想を解消すること。
• 特に不動点集合が空の場合に、予想における差分ベクトル（平行移動ベクトル）の明示的特徴付けを提供すること。
• 積空間の再定式化と双対性を介して、凸集合のサイクルと単調作用素理論との間の関係を確立すること。
• 特に、積集合と対角部分空間の和への射影を近似するSeegerのアルゴリズムを用いた、差分ベクトルの数値計算手法の開発。
• 今後の研究において、標準的射影子を超えて、アンダーリラクスト射影子やより一般的な近接作用素へのフレームワークの拡張。

提案手法

• 元の集合のカルテシアン積と対角部分空間を用いて、問題を積ヒルバート空間に再定式化する。
• Attouch-Théra双対性を適用し、積空間における単調包含問題の解と巡回的射影の不動点集合を関連付ける。
• 円形右シフト作用素とその性質を用いて、不動点集合および関連する差分ベクトルの構造を特徴付ける。
• 差分ベクトルを、恒等作用素とシフト作用素を含む作用素の和の逆作用素を用いて、双対単調包含問題の解として導出する。
• 適応的パラメータを用いた前向き-後向きアルゴリズムを用いて、不動点および差分ベクトルを数値的に計算し、強い収束を保証する。
• 数値実装の鍵となる、$\overline{{\mathbf{C}} + {\boldsymbol{\Delta}}}$ への射影を近似するSeegerのアルゴリズムを用いる。

実験結果

リサーチクエスチョン

• RQ1 不動点集合が空であっても、幾何学的予想における差分ベクトルの均一な公式が存在するか？
• RQ2 特にAttouch-Théra双対性を用いた単調作用素理論のツールによって、幾何学的予想が解消可能か？
• RQ3 凸集合のサイクルと、積空間における単調包含問題の解との間の明確な関係は何か？
• RQ4 不動点集合が空または非空であっても、差分ベクトルはどのように数値的に計算可能か？
• RQ5 このフレームワークは、アンダーリラクスト射影子やより一般的な近接作用素へ拡張可能か？

主な発見

• 幾何学的予想は肯定的に完全に解消された：巡回的射影の合成の不動点集合は、平行移動された凸集合の共通部分集合に等しく、その平行移動ベクトルは明示的に決定された。
• 差分ベクトルは $\mathbf{v} = (\mathbf{e} - \mathbf{y})$ で与えられ、ここで $\mathbf{e}$ と $\mathbf{y}$ は円形右シフト作用素と対角部分空間を含む双対単調包含問題の解である。
• $m=2$ の場合、差分ベクトルは明示的に $P_{\overline{C_2 - C_1}}(0)$ および $P_{\overline{C_1 - C_2}}(0)$ であり、既知の結果を確認するとともに、一般の場合へ拡張された。
• 前向き-後向きアルゴリズムにおいて $\gamma = \frac{1}{2}$ または $\gamma = \frac{m}{m+2}$ を用いることで、強い収束が保証され、後者の選択ではアルゴリズムの内部作用素がリプシッツ連続となる。
• $m=2$ の場合、解は摂動に対して安定であるが、$m \geq 3$ で不動点集合が空の場合、差分ベクトルの一意性は失われる。
• 差分ベクトルの数値的計算は、$\overline{{\mathbf{C}} + {\boldsymbol{\Delta}}}$ への射影を近似するSeegerのアルゴリズムを用いて可能であり、実装が可能である。