The fiber of the persistence map for functions on the interval
- 1 Downloads
In this paper we study functions on the interval that have the same persistent homology, which is what we mean by the fiber of the persistence map. By imposing an equivalence relation called graph-equivalence, the fiber of the persistence map becomes finite and a precise enumeration is given. Graph-equivalence classes are indexed by chiral merge trees, which are binary merge trees where a left-right ordering of the children of each vertex is given. Enumeration of merge trees and chiral merge trees with the same persistence makes essential use of the Elder Rule, which is given its first detailed proof in this paper.
KeywordsPersistent homology Inverse problems Combinatorics
The first real step forward on this problem happened in conversations with Hans Riess, who was an undergraduate at Duke at the time. It was there that the author developed a method for constructing at least one function realizing any suitable barcode. A full characterization of the fiber of the persistence map was obtained after conversations with Yuliy Baryshnikov at ICERM and with John Harer at Duke. Yuliy Baryshnikov first introduced the concept of a chiral barcode associated to a time series in June 2015 in a talk at a conference on Geometry and Data Analysis at the Stevanovich Center for Financial Mathematics, the author then used the underlying concept of a chiral merge tree to create multiple realizations of a single barcode. Finally, John Harer helped cinch the counting result by pointing out the restriction that the Elder Rule imposed on chiral merge trees. The author believes that the conversations with Yuliy and John provided critical insights at the heart of this paper. Other discussions have benefited subsequent revisions of this paper. Rachel Levanger pointed out a deficiency in an earlier version of Definition 4.1. Elizabeth Munch and Anastasios Stefanou first made the connection between interleavings and certain labeled merge trees that eventually appeared in their work (Munch and Stefanou 2018). The author received several helpful comments from each of the anonymous referees, which helped improve the paper. One comment in particular caused the author to think more carefully about maps of ordered merge trees.
Compliance with ethical standards
Conflicts of interest
The author states that there is no conflicts of interest.
- Chazal, F., de Silva, V., Glisse, M., Oudot, S.: The structure and stability of persistence modules (2012). arXiv preprint arXiv:1207.3674
- Crawley-Boevey, W.: Decomposition of pointwise finite-dimensional persistence modules (2012). arXiv preprint arXiv:1210.0819
- Curry, J., Patel, A..: Classification of constructible cosheaves (2016). arXiv e-prints http://arxiv.org/abs/1603.01587
- Curry, J., Ghrist, R., Robinson, M.: Euler calculus with applications to signals and sensing. Proc. Symp. Appl. Math. 70, 75–146 (2012). arXiv:1202.0275 [math.AT]
- Edelsbrunner, H., Letscher, D., Zomorodian, A.: Topological persistence and simplification. In Proceedings 41st Annual Symposium on Foundations of Computer Science, pp. 454–463. IEEE (2000)Google Scholar
- Morozov, D., Beketayev, K., Weber, G.: Interleaving distance between merge trees. Discrete Comput. Geom. 49(22–45), 52 (2013)Google Scholar
- Munch, E., Stefanou, A.: The \(\ell ^\infty \)-cophenetic metric for phylogenetic trees as an interleaving distance (2018). arXiv:1803.07609 [cs.CG]