[論文レビュー] Riemannian Center of Mass and so called karcher mean

Hermann Karcher|arXiv (Cornell University)|Jul 3, 2014

Morphological variations and asymmetry参考文献 7被引用数 30

ひとこと要約

この論文は、リーマン多様体へのユークリッド重心の一般化であるリーマン中心座標の歴史的発展をたどる。これは逆指数写像から導かれるベクトル場を介して定義される。ジャコビ場の推定を用いて、凸近傍内での中心の存在と一意性を確立し、測地的オイラー手順による収束を示している。主な応用分野には群作用と曲率推定がある。

ABSTRACT

The Riemannian center of mass was constructed in [GrKa] (1973). In [GKR1, GKR2, Gr, Ka, BuKa] (1974-1981) it was successfully applied with more refined estimates. Probably in 1990 someone renamed it without justification into karcher mean and references to the older papers were omitted by those using the new name. As a consequence newcomers started to reprove results from the above papers. - Here I explain the older history.

研究の動機と目的

• リーマン中心座標の歴史的起源を明確にし、ヘルマン・カーチャーに帰属される誤った「カーチャー平均」という用語の是正。
• ベクトル場解析と微分幾何学を用いて、リーマン多様体の凸近傍内での中心座標の存在と一意性を確立すること。
• 測地的オイラー手順が中心に向かって収束することを示し、各ステップでの進行具合の定量的推定を提供すること。
• 特に直交群に対して、リーマン計量よりもフィンスラー計量を用いる利点を強調すること。
• 中心座標が「カーチャー平均」として再命名されたことが、結果の重複的再発見と、1973年から1981年の初期の研究からの基礎的知見の無視を招いたと主張すること。

提案手法

• リーマン多様体 $ M $ 上で、$ V(x) = \sum m_i \cdot \exp^{-1}_x p_i $ と定義されるベクトル場 $ V(x) $ を定義し、これはユークリッド重心の一般化である。
• インデックス理論と微分作用素 $ DV $ の推定を用いて、質量点 $ p_i $ を含む凸球内でのベクトル場 $ -V $ が一意にゼロ点を持つことを証明する。
• 微分不等式とジャコビ場の推定（微分幾何学ではなく）を用いて、曲率の影響を制御し、中心への測地的フローの収束を保証する。
• 中心座標を $ C^1 $-近い群作用に作用させ、コン act 群のほぼ準同型を反復的に改善する。
• 同じ中心座標がリーマン計量およびフィンスラー計量の両方に対して不変であることを示すが、フィンスラー計量はより大きな凸集合とより優れた収束推定をもたらす。
• 等長埋め込みを介して $ \mathbb{R}^{n+1} $ に埋め込み、その後多様体に戻って射影することで、$ \mathbb{H}^n $ や $ \mathbb{S}^n $ などの対称空間における明示的な中心座標を構成する。

実験結果

リサーチクエスチョン

• RQ1 なぜ1990年に「カーチャー平均」という用語が導入されたのか。その歴史的根拠は何か。
• RQ2 リーマン中心座標は非線形多様体においてどのようにユークリッド重心を一般化するのか。
• RQ3 リーマン多様体内での中心座標の存在と一意性を保証する条件は何か。
• RQ4 ジャコビ場の推定と微分不等式は、測地的オイラー手順が中心に向かって収束することを証明するためにどのように寄与するか。
• RQ5 リーマン計量と比較して、リー群上での中心座標の計算においてフィンスラー計量がもたらす利点は何か。

主な発見

• リーマン中心座標は、質量点を含む凸近傍内でのベクトル場 $ V(x) = \sum m_i \cdot \exp^{-1}_x p_i $ の唯一のゼロ点である。
• 微分作用素 $ -DV $ は単位元に近く、各測地的オイラー手順 $ \gamma(t) $ で $ \gamma'(0) = V(x) $ とすることで、中心への距離が減少することが保証される。
• 関数 $ f(x) = \sum m_i \cdot d(x, p_i)^2 $ は、与えられた曲率と凸性の仮定の下で多様体上で凸であるが、本論文では関数よりもベクトル場に重点を置いている。
• 直交群にフィンスラー計量を適用することで、リーマン計量と比較してより大きな凸集合と顕著に改善された収束推定が得られる。
• リー群上では、中心座標の構成がリーマン計量およびフィンスラー計量の両方に対して不変であるが、フィンスラー版はより強い定量的結果をもたらす。
• 中心座標が「カーチャー平均」として再命名されたことが、結果の独立的再発見と、1973年から1981年の初期の研究からの基礎的知見の無視を招き、顕著な研究の重複を生じさせた。