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 x1,…,xn are i.i.d. samples from a d-Ahlfors regular measure on a metric space, and Eα0(x1,…,xn) denotes the α-weight of the minimum spanning tree on x1,…,xn: Eα0(x1,…,xn)=∑e∈T(x1,…,xn)∣e∣α, then there exist constants 0<C1≤C2 so that C1≤n−dd−αEα0(x1,…,xn)≤C2 with high probability as n→∞. In particular, log(Eα0(x1,…,xn))/log(n)⟶(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 limn→∞n−dd−αEα0(x1,…,xn) does not exist with high probability. We also prove analogous results for weighted sums defined in terms of higher dimensional persistent homology.