My research is in applied topology. In particular, I am interested in the structure of Vietoris–Rips simplicial complexes, discrete Morse theory, and persistent homology.

I am co-organizer of the Greenslopes seminar at Colorado State University.

# Papers

"A fractal dimension for measures via persistent homology"

With Henry Adams, Manuchehr Aminian, Elin Farnell, Michael Kirby, Rachel Neville, Chris Peterson, Patrick Shipman, and Clayton Shonkwiler.

[arXiv:1808.01079, Abstract]

We use persistent homology in order to define a family of fractal dimensions, denoted \(\dim_{\text{PH}}^i(\mu)\) for each homological dimension \(i\ge 0\), assigned to a probability measure \(\mu\) on a metric space.
The case of \(0\)-dimensional homology (\(i=0\)) relates to work by Michael J Steele (1988) studying the total length of a minimal spanning tree on a random sampling of points.
Indeed, if \(\mu\) is supported on a compact subset of Euclidean space \(\mathbb{R}^m\) for \(m\ge2\), then Steele's work implies that \(\dim_{\text{PH}}^0(\mu)=m\) if the absolutely continuous part of \(\mu\) has positive mass, and otherwise \(\dim_{\text{PH}}^0(\mu) \lt m\). Experiments suggest that similar results may be true for higher-dimensional homology \(0 \lt i \lt m\), though this is an open question.
Our fractal dimension is defined by considering a limit, as the number of points \(n\) goes to infinity, of the total sum of the \(i\)-dimensional persistent homology interval lengths for \(n\) random points selected from \(\mu\) in an i.i.d. fashion.
To some measures \(\mu,\) we are able to assign a finer invariant, a curve measuring the limiting distribution of persistent homology interval lengths as the number of points goes to infinity.
We prove this limiting curve exists in the case of \(0\)-dimensional homology when \(\mu\) is the uniform distribution over the unit interval, and conjecture that it exists when \(\mu\) is the rescaled probability measure for a compact set in Euclidean space with positive Lebesgue measure.

"Metric Thickenings of Euclidean Submanifolds"

With Henry Adams.

Submitted December 2017

[arXiv:1709.02492, Abstract, Master's Thesis]

Given a sample \(X\) from an unknown manifold \(M\) embedded in Euclidean space, it is possible to recover the homology groups of \(M\) by building a Vietoris-Rips or Čech simplicial complex on top of the vertex set \(X\).
However, these simplicial complexes need not inherit the metric structure of the manifold, in particular when \(X\) is infinite.
Indeed, a simplicial complex is not even metrizable if it is not locally finite.
We instead consider metric thickenings of \(X\), called the *Vietoris-Rips* and *Čech thickenings*, which are equipped with the 1-Wasserstein metric in place of the simplicial complex topology.
We show that for Euclidean subsets \(M\) with positive reach, the thickenings satisfy metric analogues of Hausmann's theorem and the nerve lemma (the metric Vietoris-Rips and Čech thickenings of \(M\) are homotopy equivalent to \(M\) for scale parameters less than the reach).
In contrast to Hausmann's original result, our homotopy equivalence is a deformation retraction, is realized by canonical maps in both directions, and furthermore can be proven to be a homotopy equivalence via simple linear homotopies from the map compositions to the corresponding identity maps.