arXiv++ Combinatorics

The Eden cell growth model is a simple discrete stochastic process which produces a "blob" in $\mathbb{R}^d$: start with one cube in the regular grid, and at each time step add a neighboring cube uniformly at random. This process has been used as a model for the growth of aggregations, tumors, and bacterial colonies and the healing of wounds, among other natural processes. Here, we study the topology and local geometry of the resulting structure, establishing asymptotic bounds for Betti numbers. Our main result is that the Betti numbers grow at a rate between the conjectured rate of growth of the site perimeter and the actual rate of growth of the site perimeter. We also present the results of computational experiments on finer aspects of the geometry and topology, such as persistent homology and the distribution of shapes of holes.

We study the asymptotic behavior of random variables of the form \begin{equation*} E_α^i\left(x_1,\ldots,x_n\right)=\sum_{\left(b,d\right)\in \mathit{PH}_i\left(x_1,\ldots,x_n\right)} \left(d-b\right)^α \end{equation*} where $\left\{x_j\right\}_{j\in\mathbb{N}}$ are i.i.d. samples from a probability measure on a triangulable metric space, and $\textit{PH}_i\left(x_1,\ldots,x_n\right)$ denotes the $i$-dimensional reduced persistent homology of the Čech complex of $\left\{x_1,\ldots,x_n\right\}.$ These quantities are a higher-dimensional generalization of the $α$-weighted sum of a minimal spanning tree; we seek to prove analogues of the theorems of Steele (1988) and Aldous and Steele (1992) in this context. As a special case of our main theorem, we show that if $\left\{x_j\right\}_{j\in\mathbb{N}}$ are distributed independently and uniformly on the $m$-dimensional Euclidean sphere, $α<m,$ and $0\leq i <n,$ then there are real numbers $γ$ and $Γ$ so that \begin{equation*} γ\leq \lim_{n\rightarrow\infty} n^{-\frac{m-α}{m}} E_i^α\left(x_1,\ldots,x_n\right) \leq Γ\end{equation*} in probability. More generally, we prove results about the asymptotics of the expectation of $E_α^i$ for points sampled from a locally bounded probability measure on a space that is the bi-Lipschitz image of an $m-$dimensional Euclidean simplicial complex, as well as measures supported on sets of fractional dimension that respect box counting.

We introduce a fractal dimension for a metric space defined in terms of the persistent homology of extremal subsets of that space. We exhibit hypotheses under which this dimension is comparable to the upper box dimension; in particular, the dimensions coincide for subsets of $\mathbb{R}^2$ whose upper box dimension exceeds $1.5.$ These results are related to extremal questions about the number of persistent homology intervals of a set of $n$ points in a metric space.