[論文レビュー] Limit theorems for empirical Fréchet means of independent and non-identically distributed manifold-valued random variables

Wilfrid S. Kendall, Huiling Le|arXiv (Cornell University)|Feb 1, 2011

Morphological variations and asymmetry参考文献 18被引用数 6

ひとこと要約

本稿は、リーマン多様体上に存在する独立かつ同一分布でない確率的変数の経験的フレシェ平均に関して、弱大数の法則およびリンデバーグ型中心極限定理を確立する。リーマン多様体上の指数写像と曲率に基づくヘッセ行列の推定を用いて、新たなベクトル値リンデバーグ中心近似定理を構築することで、一般のモーメントおよび曲率条件のもとで経験的平均の漸近正規性を導出し、古典的なi.i.d.結果を多様体上の非同一分布に拡張する。

ABSTRACT

We prove weak laws of large numbers and central limit theorems of Lindeberg type for empirical centres of mass (empirical Fréchet means) of independent non-identically distributed random variables taking values in Riemannian manifolds. In order to prove these theorems we describe and prove a simple kind of Lindeberg-Feller central approximation theorem for vector-valued random variables, which may be of independent interest and is therefore the subject of a self-contained section. This vector-valued result allows us to clarify the number of conditions required for the central limit theorem for empirical Fréchet means, while extending its scope.

研究の動機と目的

• i.i.d. な場合の古典的極限定理（弱大数の法則および中心極限定理）を、独立かつ同一分布でない多様体値確率的変数に拡張すること。
• リーマン多様体上における非同一分布仮定のもとで、経験的フレシェ平均に対する既存の中心極限定理理論の欠如を解消すること。
• スカラー正規化とトレースに基づく分散・共分散近似を用いて、リーマン多様体設定に特化した新たなベクトル値リンデバーグ型中心極限定理を構築すること。
• 経験的フレシェ平均の漸近正規性に必要な最小限の条件、特に曲率およびモーメント条件を明確にすること。
• 定曲率またはケーラー多様体の場合に、バタチャーリャとパトラングェナルー（2005）の先行結果を回復・一般化すること。

提案手法

• 既存の文献とは異なり、スカラー正規化を許容し、退化した分散・共分散行列を取り扱える新たなベクトル値リンデバーグ中心近似定理（定理3）を提唱する。
• リーマン多様体上の確率的変数を接空間への線形化に用いる指数写像を用い、変換された変数に対してユークリッド空間における中心極限定理を適用可能にする。
• エネルギー関数 $ \operatorname{dist}(x,X_i)^2 $ の二階微分を用いて、ヘッセ作用素 $ H_i(x) $ を定義し、平均の漸近分布に及ぼす曲率効果を捉える。
• 中心点における期待ヘッセ行列 $ \tilde{H} $ を用いて、$ \sqrt{n} \operatorname{Exp}^{-1}_{\text{o}}(x_n) $ の漸近分布が、平均ゼロ、分散・共分散行列 $ \tilde{H}^{-1} \mathbb{E}[\Phi_{\text{o},X_1}] \tilde{H}^{-1} $ の多変量正規分布であることを導出する。
• 局所座標系とノーマル座標を用いて、クリスティオーベル記号を用いてヘッセ行列を表現し、対称な場合の漸近分散を簡略化する。
• 定曲率およびケーラー多様体の場合に、関数 $ f_\kappa(s) $, $ S_\kappa(s) $, および $ C_\kappa(s) $ を用いて $ H_i(x) $ の明示的表現を提供し、曲率依存の分散推定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 独立かつ同一分布でない多様体値確率的変数の経験的フレシェ平均が、集約エネルギー関数の局所最小値に確率的に収束するための条件は何か？
• RQ2 元の確率的変数が同一分布でない場合に、経験的フレシェ平均に対してリンデバーグ型中心極限定理を確立できるか？
• RQ3 分散・共分散行列が特異である可能性があるリーマン多様体設定において、経験的フレシェ平均の正しい正規化および極限分布は何か？
• RQ4 曲率および多様体の幾何構造が、経験的フレシェ平均の漸近分散にどのように影響を与えるか？
• RQ5 定曲率多様体の場合に、バタチャーリャとパトラングェナルー（2005）の中心極限定理を回復または一般化できるか？

主な発見

• ヘッセ作用素のモーメントおよび連続性に関する弱い条件下で、経験的フレシェ平均 $ x_n $ は集約エネルギー関数の局所最小値に確率的に収束する。
• スカラー正規化を許容し、退化した分散・共分散行列を取り扱える新たなベクトル値リンデバーグ中心近似定理が確立され、非i.i.i.d.設定において極めて重要である。
• $ \sqrt{n} \operatorname{Exp}^{-1}_{\text{o}}(x_n) $ の漸近分布は、平均ゼロ、分散・共分散行列 $ \tilde{H}^{-1} \mathbb{E}[\Phi_{\text{o},X_1}] \tilde{H}^{-1} $ の多変量正規分布である。ここで $ \tilde{H} = \mathbb{E}[H_1(\text{o})] $ である。
• 中心点 $ \text{o} $ を原点とするノーマル座標系において、座標ベクトル $ \boldsymbol{\zeta}^n $ の漸近分布は、分散・共分散行列 $ (\mathbb{E}[H^\psi])^{-1} G V_\psi G (\mathbb{E}[H^\psi])^{-1} $ の多変量正規分布である。ここで $ G $ は計量テンソル、$ V_\psi $ は接ベクトルの共分散である。
• 定断面曲率 $ \kappa $ の多様体において、ヘッセ作用素 $ H_i(x) $ は $ f_\kappa(s) $, $ S_\kappa(s) $, および $ C_\kappa(s) $ を用いた明示的表現を有し、曲率依存の分散推定が可能になる。
• 定ホロモルフィック断面曲率 $ \kappa $ のケーラー多様体において、ヘッセ行列には複素構造 $ \jmath $ を含む追加項が現れ、ホロノミー効果を反映した曲率補正が行われる。