[論文レビュー] The Persistent Homology of Random Geometric Complexes on Fractals.

Benjamin Schweinhart|arXiv (Cornell University)|Aug 7, 2018

Topological and Geometric Data Analysis参考文献 23被引用数 3

ひとこと要約

本稿は、アーフォルス正則測度を備えた距離空間のフラクタル次元 $d$ が、$n$ 個のi.i.d.点の最小スパニングツリーの $\alpha$-重みを通じて、ランダムサンプルの恒常ホモロジーから回復可能であることを確立する。$n \to \infty$ のとき、$n^{-(d-\alpha)/d} E^0_\alpha(x_1,\dots,x_n)$ が高確率で定数に収束することを証明し、スティール（1988）の結果を特異的でない空間からフラクタル的状況に一般化する。

ABSTRACT

We prove that the fractal dimension of a metric space equipped with an Ahlfors regular measure can be recovered from the persistent homology of random samples. Our main result is that if $x_1,\ldots, x_n$ are i.i.d. samples from a $d$-Ahlfors regular measure on a metric space, and $E^0_\alpha\left(x_1,\ldots,x_n ight)$ denotes the $\alpha$-weight of the minimum spanning tree on $x_1,\ldots,x_n:$ \[E_\alpha^0\left(x_1,\ldots,x_n ight)=\sum_{e\in T\left(x_1,\ldots,x_n ight)} |e|^\alpha\,,\] then there exist constants $0<C_1\leq C_2$ so that \[C_1\leq n^{-\frac{d-\alpha}{d}} E^0_\alpha\left(x_1,\ldots,x_n ight)\leq C_2\,\] with high probability as $n ightarrow \infty.$ In particular, \[\log\big(E^0_\alpha(x_1,\ldots,x_n)\big)/\log(n)\longrightarrow (d-\alpha)/d\,.\] This is a generalization of a result of Steele (1988) from the non-singular case to the fractal setting. Our result is best possible, in the sense that there exist Ahlfors regular measures for which the limit $\lim_{n ightarrow\infty} n^{-\frac{d-\alpha}{d}} E^0_\alpha\left(x_1,\ldots,x_n ight)$ does not exist with high probability. We also prove analogous results for weighted sums defined in terms of higher dimensional persistent homology.

研究の動機と目的

• 距離空間にアーフォルス正則測度を備えた場合の恒常ホモロジーとフラクタル次元の間の関係を確立すること。
• 特異的でない空間における最小スパニングツリー重みに関するスティール（1988）の結果を、フラクタル的・特異的状況に一般化すること。
• 最小スパニングツリーの $\alpha$-重みのスケーリング特性が、背後にあるフラクタル次元 $d$ を明らかにすることを証明すること。
• 高確率で $n^{-(d-\alpha)/d} E^0_\alpha$ の極限が存在し、正の定数の間で有界であることを示すこと。
• 重み付き和を用いて、高次元恒常ホモロジーへの分析を拡張すること。

提案手法

• $E^0_\alpha(x_1,\dots,x_n)$ を、$d$-アーフォルス正則測度から得た $n$ 個のi.i.d.サンプルの最小スパニングツリーに属するすべての辺 $e$ について $|e|^\alpha$ の和として定義する。
• $n \to \infty$ のとき、$n^{-(d-\alpha)/d} E^0_\alpha$ が高確率で正の定数 $C_1$ と $C_2$ の間で確率的有界であることを確率的解析を用いて示す。
• 測度のアーフォルス正則性を活用して、ランダムサンプルの局所的密度と幾何的構造を制御する。
• 集中不等式と幾何確率技法を適用して、正規化された重みの高確率収束を確立する。
• 高次元単体上の類似する重み付き和を定義することで、結果を高次元恒常ホモロジーに一般化する。
• 反例を構築して、結果のタイトさを示す：あるアーフォルス正則測度に対して、極限が高確率で存在しないことが示される。

実験結果

リサーチクエスチョン

• RQ1 アーフォルス正則測度を備えた距離空間のフラクタル次元は、ランダムサンプルの恒常ホモロジーから回復可能か？
• RQ2 $n$ 個のi.i.d.サンプルの最小スパニングツリーの $\alpha$-重みは、背後にある次元 $d$ を明らかにするようにスケーリングされるか？
• RQ3 スティール（1988）の最小スパニングツリー重みに関する結果は、フラクタル的・特異的測度へ拡張可能か？
• RQ4 $n \to \infty$ のとき、$n^{-(d-\alpha)/d} E^0_\alpha(x_1,\dots,x_n)$ の正確な漸近的挙動は何か？
• RQ5 極限が高確率で存在しない場合があるのか、すなわち正規化された重みの極限が存在しないケースは存在するか？

主な発見

• 高確率で $n \to \infty$ のとき、正規化された $\alpha$-重み $n^{-(d-\alpha)/d} E^0_\alpha(x_1,\dots,x_n)$ は正の定数 $C_1$ と $C_2$ の間で有界である。
• $n \to \infty$ のとき、$\log(E^0_\alpha)/\log(n)$ がほとんど確実に $(d - \alpha)/d$ に収束する。
• スティール（1988）の非特異的ケースの結果をフラクタル的測度へ一般化し、恒常ホモロジーとフラクタル幾何学との間にリンクを確立する。
• 有界性はタイトである：極限 $\lim_{n \to \infty} n^{-(d-\alpha)/d} E^0_\alpha$ が高確率で存在しない $d$-アーフォルス正則測度が存在する。
• 高次元単体上の重み付き和を用いて、類似の結果が高次元恒常ホモロジーに対しても成り立つ。
• スケーリング則は、ランダムサンプルの最小スパニングツリー重みに基づくフラクタル次元 $d$ の統計的推定器を提供する。