技術要約：アダマール空間における近接点アルゴリズムと一般化フェルマー・トリチェリ問題

1. 問題設定と背景

本論文は、与えられた点または集合への距離の総和を最小化する点を求める問題、すなわち古典的なフェルマー・トリチェリ問題の一般化を取り扱っている。この問題は、ユークリッド空間（ヘロン、フェルマー、トリチェリ、シュタイナー）において豊かな歴史を持ち、ヒルベルト空間やリーマン多様体へと拡張されてきたが、本研究はより広範なフレームワークであるアダマール空間（完備CAT(0)空間）内で展開される。

著者らは、以下の3つの異なる凸最小化問題を単一のフレームワークへと統合することを目指している：

1. 重み付きフェルマー・トリチェリ問題
2. 凸実行可能問題
3. 最良近似問題

具体的な課題は、これらの問題をアダマール空間において解くことにある。アダマール空間にはヒルベルト空間のような大域的な線形構造が存在しない。そのため、標準的なツールである有界線形作用素は、連続な測地線保存写像（計量的な意味でのアフィン写像）に置き換えられる必要がある。本論文では、これらの問題に対する**不正確な巡回分割近接点アルゴリズム（inexact cyclic splitting proximal point algorithms: SPPA）**の収束特性、特に以下に焦点を当てて調査している：

• $\Delta$-収束（計量的な意味での弱収束）。
• 強収束の速度（線形および超線形）。
• 特定の幾何学的条件の下での有限終了性。

2. 手法と数学的枠組み

2.1 幾何学的および解析的基礎

本研究は、アダマール空間の幾何学を利用しており、以下に基づいている：

• 接錐（Tangent Cones）： ニコラエフの手法に従い、指数写像を用いずに単調性を扱うために接錐 $T_x X$ を定義している。これにより、非多様体空間（例：$\mathbb{R}$-ツリー、ヒルベルト球）にも理論を適用することが可能となる。
• 準線形化（Quasilinearization）： 準内積 $\langle \vec{ab}, \vec{cd} \rangle$ を用いて、内積の性質を一般化している。
• 単調作用素： 接束 $TX$ と条件 $g_x(\eta, \mu_{x,y}) + g_y(\nu, \mu_{y,x}) \leq 0$ を通じて定義される。本論文では、これらの作用素に対する全射条件を仮定している。これは、ヒルベルト空間では自動的に保証されるが、アダマール空間では必ずしも保証されないため、重要な仮定となっている。
• レゾルベント（Resolvents）： アルゴリズムは、Yosida-Moreau正則化を通じて定義される単調作用素 $A$ のレゾルベント $J_r^A$ に依存している。

2.2 アルゴリズムの構造

本論文は、3つのレベルの不正確な巡回分割近接点アルゴリズムを提案し、分析している：

1. 基本的不正確PPA (Algorithm 1.1):
   $$\lambda_n d(y_n, x_n)\mu_{y_n, x_n} \in A(y_n), \quad d(x_{n+1}, y_n) \leq \epsilon_n$$
   これは、単一の単調作用素 $A$ の特異点を近似するものである。

2. 単一和不正確巡回SPPA (Algorithm 1.2):
   $f(x) = \sum_{i=1}^m f_i(x)$ を最小化するために設計されている。レゾルベントを循環的に適用する：
   $$y_n = J_{r_n}^{f_m} \circ \dots \circ J_{r_n}^{f_1}(x_n), \quad d(x_{n+1}, y_n) \leq \epsilon_n$$

3. 二重和不正確巡回SPPA (Algorithm 1.3):
   二重和構造を持つ一般化フェルマー・トリチェリ問題のために設計されている：
   $$f(x) = \sum_{i=1}^m \sum_{j=1}^{m_i} f_{i,j}(x)$$
   反復計算は、入れ子状のレゾルベント合成を含む：
   $$x_n^{(i,j)} = J_{r_n}^{f_{i,j}}(x_n^{(i,j-1)}), \quad y_n = x_n^{(m, m_m)}$$
   ここで、$d(x_{n+1}, y_n) \leq \epsilon_n$ である。

3. 主な貢献

本論文は、分割アルゴリズムと定量的収束理論の間の溝を埋めることにより、主に3つの貢献を行っている：

1. レート理論を伴う二重和不正確巡回分割PPA:
   著者らは、一般化フェルマー・トリチェリ問題に特化した二重和バージョンの巡回分割アルゴリズムを開発した。存在型の収束（例：$\Delta$-収束）のみを確立していた従来の著作とは異なり、本論文はこれらの特定の分割スキームに対して線形および超線形収束速度と有限終了性の結果を確立している。

2. 線形構造を持たない計量的劣正規性（Metric Subregularity）:
   本論文は、空間を線形化するための指数写像に頼るのではなく、接錐内の距離（$d_x(0_x, A(x))$）を直接用いて計量的劣正規性を定式化している。この定義は、多様体ではない一般的なアダマール空間（例：$\mathbb{R}$-ツリー）にも適用可能であり、Kohlenbachらによるヒルベルト空間や多様体でのレート理論を、一般的なCAT(0)の設定へと拡張するものである。

3. 測地線保存写像による一般化フェルマー・トリチェリ:
   本論文は、測地線保存（アフィン）写像と凸部分集合への距離を用いた、新しいフェルマー・トリチェリ問題（問題6.1）の定式化を導入している。これは、従来の線形/ヒルベルト的な定式化を非線形なアダマール設定へと拡張し、重み付き距離最小化、実行可能性、および最良近似を統一するものである。

4. 主要な結果

4.1 収束解析

• $\Delta$-収束： 誤差列 $\{\epsilon_n\}$ が総和可能であるという仮定の下で、生成される数列は準Fejér単調であり、$A^{-1}(0)$ または最小化集合 $C$ へと $\Delta$-収束することが示される。
• 強収束と速度： 計量的劣正規性（定義4.1）を導入することにより、作用素が計量的劣正規であれば、アルゴリズムは線形に収束することを証明している。
  • 超線形収束： 特異集合が単一集合であり、かつ正則性モジュラスが退化している（すなわち、モジュラスがゼロである）、または近接パラメータ $\lambda_n$ が消失する場合（$\lim \lambda_n = 0$）、収束は超線形となる。

4.2 有限終了性

本論文は、法錐（normal cones）に基づく弱鋭ミニマ型条件（weak sharp minima-type condition）（定義5.1）を導入している。

• 問題がモジュラス $\alpha$ を持つ大域的な弱鋭ミニマ型条件を満たし、かつ $A(x)$ が解集合のすべての $x$ に対して単一集合である場合、アルゴリズムは有限ステップで終了する。
• この結果は、弱鋭条件が計量的劣正規性を意味し、誤差許容範囲とステップサイズが特定の境界を満たすとき、反復計算が解集合に正確に到達することを示すことで導かれる。

4.3 一般化フェルマー・トリチェリへの適用

• 存在性： 本論文は、目的関数が凸であり、下半連続であることを証明している。強制条件（定理6.1における条件F1およびF2）の下で、最小値が存在する。
• 劣微分特性： 重み付きフェルマー・トリチェリ問題の特定の場合、その劣微分が計量的劣正規であることが示されており、収束速度定理の適用が妥当であることを検証している。

5. 数値検証

理論的結果は、特定の（アダマール多様体 $X = \mathbb{R}_{++}$ で特定の計量を持つ）アダマール多様体における数値実験を通じて検証されている。

• 例 7.1 (超線形収束): 重み付きフェルマー・トリチェリ問題を解いている。結果は、初期段階では線形収束を示し、$\lambda_n \to 0$ に伴って超線形収束へと移行することを確認しており、これは定理6.3と一致している。
• 例 7.2 (有限終了): 最良近似問題を解いている。数列が解集合に到達し、有限回の反復後に正確に終了することを示しており、定理6.4および弱鋭ミニマ条件を検証している。

6. 意義と主張

著者らは、本研究を以下の2つの以前から別個であった研究の流れを統一するものとして位置づけている：

1. 分割アルゴリズム： アダマール空間における分割スキーム（例：後退・後退スキーム）は、これまで存在性と弱収束に焦点を当てており、収束速度や有限終了性については扱ってこなかった。
2. 定量的理論： 以前のレート解析（Kohlenbachらによるものなど）は、主にヒルベルト空間における単一作用素の設定に限定されていたか、あるいは多様体構造を必要としていた。

本論文の主張は以下の通りである：

• 分割アルゴリズム（特に二重和巡回スキーム）のための、一般的なアダマール空間におけるレートおよび有限終了理論を提供し、これら2つの研究分野が「まだ出会っていない」空白領域に対処した。
• 線形作用素が測地線保存写像に置き換わる設定においても、明示的なレゾルベント公式を通じて問題の扱いやすさを維持しつつ、フェルマー・トリチェリ問題を成功裏に拡張した。
• 本手法は、基礎となる空間が局所コンパクトであることや多様体であることを要求せず、近接点法の適用範囲を $\mathbb{R}$-ツリーやヒルベルト球などの空間へと広げている。

著者らは、枠組みは確立されたものの、自然な今後の方向性は、アダマール空間における複数の出力集合を含む分割実行可能問題への拡張であると結論付けている。