-
Operations on Metric Thickenings
Authors:
Henry Adams,
Johnathan Bush,
Joshua Mirth
Abstract:
Many simplicial complexes arising in practice have an associated metric space structure on the vertex set but not on the complex, e.g. the Vietoris-Rips complex in applied topology. We formalize a remedy by introducing a category of simplicial metric thickenings whose objects have a natural realization as metric spaces. The properties of this category allow us to prove that, for a large class of t…
▽ More
Many simplicial complexes arising in practice have an associated metric space structure on the vertex set but not on the complex, e.g. the Vietoris-Rips complex in applied topology. We formalize a remedy by introducing a category of simplicial metric thickenings whose objects have a natural realization as metric spaces. The properties of this category allow us to prove that, for a large class of thickenings including Vietoris-Rips and Cech thickenings, the product of metric thickenings is homotopy equivalent to the metric thickenings of product spaces, and similarly for wedge sums.
△ Less
Submitted 25 January, 2021;
originally announced January 2021.
-
Representations of Energy Landscapes by Sublevelset Persistent Homology: An Example With n-Alkanes
Authors:
Joshua Mirth,
Yanqin Zhai,
Johnathan Bush,
Enrique G Alvarado,
Howie Jordan,
Mark Heim,
Bala Krishnamoorthy,
Markus Pflaum,
Aurora Clark,
Yang Zhang,
Henry Adams
Abstract:
Encoding the complex features of an energy landscape is a challenging task, and often chemists pursue the most salient features (minima and barriers) along a highly reduced space, i.e. 2- or 3-dimensions. Even though disconnectivity graphs or merge trees summarize the connectivity of the local minima of an energy landscape via the lowest-barrier pathways, there is more information to be gained by…
▽ More
Encoding the complex features of an energy landscape is a challenging task, and often chemists pursue the most salient features (minima and barriers) along a highly reduced space, i.e. 2- or 3-dimensions. Even though disconnectivity graphs or merge trees summarize the connectivity of the local minima of an energy landscape via the lowest-barrier pathways, there is more information to be gained by also considering the topology of each connected component at different energy thresholds (or sublevelsets). We propose sublevelset persistent homology as an appropriate tool for this purpose. Our computations on the configuration phase space of n-alkanes from butane to octane allow us to conjecture, and then prove, a complete characterization of the sublevelset persistent homology of the alkane $C_m H_{2m+2}$ potential energy landscapes, for all $m$, and in all homological dimensions. We further compare both the analytical configurational potential energy landscapes and sampled data from molecular dynamics simulation, using the united and all-atom descriptions of the intramolecular interactions. In turn, this supports the application of distance metrics to quantify sampling fidelity and lays the foundation for future work regarding new metrics that quantify differences between the topological features of high-dimensional energy landscapes.
△ Less
Submitted 19 March, 2021; v1 submitted 2 November, 2020;
originally announced November 2020.
-
A torus model for optical flow
Authors:
Henry Adams,
Johnathan Bush,
Brittany Carr,
Lara Kassab,
Joshua Mirth
Abstract:
We propose a torus model for high-contrast patches of optical flow. Our model is derived from a database of ground-truth optical flow from the computer-generated video \emph{Sintel}, collected by Butler et al.\ in \emph{A naturalistic open source movie for optical flow evaluation}. Using persistent homology and zigzag persistence, popular tools from the field of computational topology, we show tha…
▽ More
We propose a torus model for high-contrast patches of optical flow. Our model is derived from a database of ground-truth optical flow from the computer-generated video \emph{Sintel}, collected by Butler et al.\ in \emph{A naturalistic open source movie for optical flow evaluation}. Using persistent homology and zigzag persistence, popular tools from the field of computational topology, we show that the high-contrast $3\times 3$ patches from this video are well-modeled by a \emph{torus}, a nonlinear 2-dimensional manifold. Furthermore, we show that the optical flow torus model is naturally equipped with the structure of a fiber bundle, related to the statistics of range image patches.
△ Less
Submitted 24 November, 2019; v1 submitted 9 November, 2018;
originally announced December 2018.
-
A fractal dimension for measures via persistent homology
Authors:
Henry Adams,
Manuchehr Aminian,
Elin Farnell,
Michael Kirby,
Chris Peterson,
Joshua Mirth,
Rachel Neville,
Patrick Shipman,
Clayton Shonkwiler
Abstract:
We use persistent homology in order to define a family of fractal dimensions, denoted $\mathrm{dim}_{\mathrm{PH}}^i(μ)$ for each homological dimension $i\ge 0$, assigned to a probability measure $μ$ 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, i…
▽ More
We use persistent homology in order to define a family of fractal dimensions, denoted $\mathrm{dim}_{\mathrm{PH}}^i(μ)$ for each homological dimension $i\ge 0$, assigned to a probability measure $μ$ 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 $μ$ is supported on a compact subset of Euclidean space $\mathbb{R}^m$ for $m\ge2$, then Steele's work implies that $\mathrm{dim}_{\mathrm{PH}}^0(μ)=m$ if the absolutely continuous part of $μ$ has positive mass, and otherwise $\mathrm{dim}_{\mathrm{PH}}^0(μ)<m$. Experiments suggest that similar results may be true for higher-dimensional homology $0<i<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 $μ$ in an i.i.d. fashion. To some measures $μ,$ 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 $μ$ is the uniform distribution over the unit interval, and conjecture that it exists when $μ$ is the rescaled probability measure for a compact set in Euclidean space with positive Lebesgue measure.
△ Less
Submitted 30 January, 2019; v1 submitted 2 August, 2018;
originally announced August 2018.
-
Metric thickenings of Euclidean submanifolds
Authors:
Henry Adams,
Joshua Mirth
Abstract:
Given a sample $Y$ from an unknown manifold $X$ embedded in Euclidean space, it is possible to recover the homology groups of $X$ by building a Vietoris--Rips or Čech simplicial complex on top of the vertex set $Y$. However, these simplicial complexes need not inherit the metric structure of the manifold, in particular when $Y$ is infinite. Indeed, a simplicial complex is not even metrizable if it…
▽ More
Given a sample $Y$ from an unknown manifold $X$ embedded in Euclidean space, it is possible to recover the homology groups of $X$ by building a Vietoris--Rips or Čech simplicial complex on top of the vertex set $Y$. However, these simplicial complexes need not inherit the metric structure of the manifold, in particular when $Y$ is infinite. Indeed, a simplicial complex is not even metrizable if it is not locally finite. We instead consider metric thickenings, called the \emph{Vietoris--Rips} and \emph{Čech thickenings}, which are equipped with the 1-Wasserstein metric in place of the simplicial complex topology. We show that for Euclidean subsets $X$ with positive reach, the thickenings satisfy metric analogues of Hausmann's theorem and the nerve lemma (the metric Vietoris--Rips and Čech thickenings of $X$ are homotopy equivalent to $X$ for scale parameters less than the reach). To our knowledge this is the first version of Hausmann's theorem for Euclidean submanifolds (as opposed to Riemannian manifolds), and our result also extends to non-manifold shapes (as not all sets of positive reach are manifolds). In contrast to Hausmann's original proof, 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.
△ Less
Submitted 2 April, 2018; v1 submitted 7 September, 2017;
originally announced September 2017.