Fractal Dimension and the Persistent Homology of Random Geometric Complexes

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_α\left(x_1,\ldots,x_n\right)$ denotes the $α$-weight of the minimum spanning tree on $x_1,\ldots,x_n:$ $E_α^0\left(x_1,\ldots,x_n\right)=\sum_{e\in T\left(x_1,\ldots,x_n\right)} |e|^α\,,$ then there exist constants $0<C_1\leq C_2$ so that $C_1\leq n^{-\frac{d-α}{d}} E^0_α\left(x_1,\ldots,x_n\right)\leq C_2\,$ with high probability as $n\rightarrow \infty.$ In particular, $\log\big(E^0_α(x_1,\ldots,x_n)\big)/\log(n)\longrightarrow (d-α)/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\rightarrow\infty} n^{-\frac{d-α}{d}} E^0_α\left(x_1,\ldots,x_n\right)$ does not exist with high probability. We also prove analogous results for weighted sums defined in terms of higher dimensional persistent homology.

No reviews yet.

No comments yet.