Fractal dimension and the persistent homology of random geometric complexes (Q783205)

Let \(\{x_1, \ldots, x_n\}\) be i.i.d. samples from a \(d\)-Ahlfors regular measure on a metric space. Let \(E^0_\alpha\) denote the \(\alpha\)-weight of the minimum spanning tree on \(\{x_1, \ldots, x_n\}\), i.e., \[ E^0_\alpha (x_1, \ldots, x_n) = \sum_{e\in T(x_1, \ldots, x_n)} |e|^\alpha. \] The author proves that there exist positive constants \(0 < C_1\leq C_2\) such that \[ C_1 \leq n^{-\frac{d-\alpha}{d}} E^0_\alpha (x_1, \ldots, x_n) \leq C_2, \] with high probability as \(n\to\infty\). This result then enables one to recover the dimension \(d\). An examples of an Ahlfors regular measure for which \[ \lim_{n\to\infty} n^{-\frac{d-\alpha}{d}} E^0_\alpha (x_1, \ldots, x_n) \] does not exist with high probability is also given.