[論文レビュー] Distance Functions, Critical Points, and Topology for Some Random Complexes

Omer Bobrowski, Robert J. Adler|arXiv (Cornell University)|Jul 24, 2011

Topological and Geometric Data Analysis被引用数 13

ひとこと要約

本稿は、R^d 内のランダムな有限点集合への距離関数の臨界点の漸近的分布を研究し、各モース指数 k における臨界点数の正確な極限期待値と分散を導出する。分布の極限定理を確立し、それらをランダム・チーア複体のベッチ数と関連づけ、Kahle (2009) および Kahle & Meckes (2011) の結果を拡張する。

ABSTRACT

For a finite set of points $P$ in $R^d$, the function $d_P:R^d o R_+$ measures Euclidean distance to the set $P$. We study the number of critical points of $d_P$ when $P$ is random. In particular, we study the limit behavior of $N_k$ - the number of critical points of $d_P$ with Morse index $k$ - as the number of points in $P$ goes to infinity. We present explicit computations for the normalized, limiting, expectations and variances of the $N_k$, as well as distributional limit theorems. We link these results to recent results in Kahle (2009), and Kahle and Meckes (2011), in which the Betti numbers of the random Cech complex based on $P$ were studied.

研究の動機と目的

• |P| → ∞ のとき、R^d 内のランダム点集合 P に対する距離関数 d_P の臨界点数の極限挙動を理解すること。
• N_k（モース指数 k の臨界点数）の正規化極限期待値と分散を計算すること。
• 適切なスケーリングの下で N_k の分布の極限定理を確立すること。
• 臨界点の統計と、同じ点集合に基づくランダム・チーア複体のトポロジカル性質（特にベッチ数）との関連を明らかにすること。
• Kahle (2009) および Kahle & Meckes (2011) の結果を統合的に拡張し、ランダム複体の幾何学的およびトポロジカル不変量を結びつけること。

提案手法

• P ⊂ R^d を有限点集合とするとき、d_P: R^d → R_+ をユークリッド距離関数として定義する。
• 臨界点を、その点におけるヘッシアン行列の負固有値の数に一致するモース指数 k で特徴付ける。
• |P| → ∞ の極限において、各指数 k における臨界点数の期待値を確率論的・幾何学的技法を用いて計算する。
• モーメント法と空間確率過程を用いて、N_k の正規化極限期待値と分散の明示的公式を導出する。
• 適切な正規化の下で N_k の中心極限定理を確立し、正規分布への収束を示す。
• 双対性およびモース理論的議論を用いて、臨界点の分布とランダム・チーア複体のベッチ数を関連づける。

実験結果

リサーチクエスチョン

• RQ1 R^d 内の大きなランダム点集合に対する距離関数のモース指数 k の臨界点数の極限期待値は何か？
• RQ2 点数が増加するに従い、指数 k の臨界点数の分散はどのように漸近的に振る舞うか？
• RQ3 各指数 k における正規化された臨界点数は、大規模極限において中心極限定理を満たすか？
• RQ4 臨界点の統計は、同じ点集合に基づくランダム・チーア複体のベッチ数とどのように関連しているか？
• RQ5 チーア複体のトポロジーと距離関数の臨界点構造との間の明確な漸近的関係は何か？

主な発見

• N_k の正規化極限期待値は、次元 d とインデックス k に依存する計算可能な定数に収束する。
• N_k の極限分散は明示的に計算され、それが有限であることが示され、平均のまわりへの測度の集中を示している。
• 各インデックス k における正規化された臨界点数は中心極限定理を満たし、正規分布に分布収束する。
• インデックス k における臨界点の分布は、j ≠ k であるインデックス j における分布と漸近的に無相関であることが示され、極限において統計的独立性を示している。
• 本研究の結果は、ランダム・チーア複体に現れるベッチ数の背後にある幾何的解釈を提供し、距離関数の臨界点構造と結びつける。
• 本研究の発見は、Kahle (2009) および Kahle & Meckes (2011) の先行研究を統合的に拡張し、観察されたベッチ数の漸近的挙動の背後にあるモース理論的基盤を提供する。