[論文レビュー] On circumcenter mappings induced by nonexpansive operators

Heinz H. Bauschke, Hui Ouyang+1 more|arXiv (Cornell University)|Nov 28, 2018

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

ひとこと要約

本稿では、非拡大作用素、特に反転作用素と射影作用素によって誘導される外接中心写像を導入し、その適切性（すなわち、ヒルベルト空間のすべての入力に対して外接中心が定義されるか）を分析する。主な貢献は、適切性の必要十分条件を確立することであり、3作用素写像に関する特徴付けと、外接中心写像における半閉性原理を含む。これらの結果は、Circumcentered–Douglas–Rachford法などの可能性を高める解法の加速に応用可能である。

ABSTRACT

We introduce the circumcenter mapping induced by a set of (usually nonexpansive) operators. One prominent example of a circumcenter mapping is the celebrated Douglas--Rachford splitting operator. Our study is motivated by the Circumcentered--Douglas--Rachford method recently introduced by Behling, Bello Cruz, and Santos in order to accelerate the Douglas--Rachford method for solving certain classes of feasibility problems. We systematically explore the properness of the circumcenter mapping induced by reflectors or projectors. Numerous examples are presented. We also present a version of Browder's demiclosedness principle for circumcenter mappings.

研究の動機と目的

• 非拡大作用素の集合によって誘導される外接中心写像を形式化・分析すること。特に反転作用素と射影作用素に注目する。
• 外接中心写像が適切である、すなわちヒルベルト空間のすべての入力に対して定義されるための十分かつ必要十分条件を同定すること。
• 外接中心写像をブラウワーの半閉性原理と結びつけ、反復的アルゴリズムへの適用可能性を拡張すること。
• 外接中心に基づく反復によってDouglas–Rachford法および交替射影法の加速に理論的基盤を提供すること。

提案手法

• 集合 $ \mathcal{S} = \{T_1, \dots, T_m\} $ によって誘導される外接中心作用素とその合成として外接中心写像 $ CC_{\mathcal{S}} $ を定義し、各 $ x \in \mathcal{H} $ を $ \mathcal{S}(x) $ の外接中心に写像する（存在する場合）。
• アフィン包や線形包の幾何学的・代数的性質を用いて、$ \mathcal{S}(x) $ の外接中心が存在する条件を分析する。
• 非拡大作用素の構造と不動点集合を活用して、外接中心写像における半閉性原理を確立する。
• 特にスカラー倍を伴う1次元設定における反転作用素 $ R_A, R_B $ と射影作用素 $ P_A, P_B $ を含む特定のケースを分析する。
• 作用素に関連する固有値に類似したパrameter $ \alpha, \beta $ を用いて、適切性の必要十分条件を導出する。
• 反例とタイトネス解析を提示することで、導出された適切性条件の鋭さを示す。

実験結果

リサーチクエスチョン

• RQ1 外接中心写像 $ CC_{\mathcal{S}} $ が適切である、すなわちすべての $ x \in \mathcal{H} $ に対して定義されるための条件は何か？
• RQ2 非拡大作用素の文脈において、外接中心写像とブラウワーの半閉性原理の関係は何か？
• RQ3 3作用素の集合 $ \mathcal{S} = \{\text{Id}, R_A, R_B\} $ に対して、$ CC_{\mathcal{S}} $ が適切であるための必要十分条件は何か？
• RQ4 線形作用素のスペクトルパrameter $ \alpha $ と $ \beta $ は、$ CC_{\mathcal{S}} $ の適切性にどのように影響するか？
• RQ5 外接中心写像は、可能性問題を解くためのDouglas–Rachford法や交替射影法の加速に利用可能か？

主な発見

• 集合 $ \mathcal{S}_1 = \{\text{Id}, R_A, R_B\} $ に対して、$ A, B $ がパrameter $ \alpha, \beta $ を持つスカラー作用素であるとき、外接中心写像 $ CC_{\mathcal{S}} $ は $ \alpha \neq 0 $、$ \beta \neq 0 $、かつ $ \alpha \neq \beta $ である場合に限り不適切である。
• 集合 $ \mathcal{S}_2 = \{\text{Id}, R_A, R_B R_A\} $ に対して、$ CC_{\mathcal{S}} $ は $ \alpha \neq 0 $、$ \alpha \neq 1 $、$ \beta \neq 0 $、かつ $ \alpha \neq -\beta $ である場合に限り不適切である。
• 2つの線形部分空間によって誘導されるC–DRM作用素による外接中心写像は、提案されたフレームワークの特別な場合であり、導出された条件下で適切である。
• ブラウワーの半閉性原理のバージョンが外接中心写像に対して確立され、弱収束する列と不動点の挙動が結びつけられた。
• 外接中心写像は一般には線形でも連続でもないが、特定の作用素設定下では適切に定義される。
• 数値的探索の結果、$ (CC_{\mathcal{S}}^k x)_{k \in \mathbb{N}} $ が最良近似問題を効果的に解くことができ、特定の状況では標準的手法を上回ることが示唆された。