Universal Distances for Extended Persistence (2007.01834v5)
Abstract: The extended persistence diagram is an invariant of piecewise linear functions, which is known to be stable under perturbations of functions with respect to the bottleneck distance as introduced by Cohen-Steiner, Edelsbrunner, and Harer. We address the question of universality, which asks for the largest possible stable distance on extended persistence diagrams, showing that a more discriminative variant of the bottleneck distance is universal. Our result applies more generally to settings where persistence diagrams are considered only up to a certain degree. We achieve our results by establishing a functorial construction and several characteristic properties of relative interlevel set homology, which mirror the classical Eilenberg--Steenrod axioms. Finally, we contrast the bottleneck distance with the interleaving distance of sheaves on the real line by showing that the latter is not intrinsic, let alone universal. This particular result has the further implication that the interleaving distance of Reeb graphs is not intrinsic either.
- Structure and Interleavings of Relative Interlevel Set Cohomology. https://arxiv.org/abs/2108.09298v3, 2022.
- Quasi-universality of Reeb graph distances. In 38th International Symposium on Computational Geometry (SoCG 2022), volume 224 of LIPIcs. Leibniz Int. Proc. Inform., pages Paper No. 14, 18. Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, 2022.
- Metrics for generalized persistence modules. Found. Comput. Math., 15(6):1501–1531, 2015.
- Interleaving and gromov-hausdorff distance, 2017. Preprint.
- Homology and robustness of level and interlevel sets. Homology Homotopy Appl., 15(1):51–72, 2013.
- Relative Interlevel Set Cohomology Categorifies Extended Persistence Diagrams. arXiv e-prints, May 2022.
- A derived isometry theorem for sheaves. Adv. Math., 394:Paper No. 108033, 39, 2022.
- Level-sets persistence and sheaf theory. arXiv e-prints, Jul 2019.
- The Reeb graph edit distance is universal. Found. Comput. Math., 21(5):1441–1464, 2021.
- Moduli spaces of Morse functions for persistence. J. Appl. Comput. Topol., 4(3):353–385, 2020.
- The universal ℓpsuperscriptℓ𝑝\ell^{p}roman_ℓ start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT-metric on merge trees. In 38th International Symposium on Computational Geometry (SoCG 2022), volume 224 of LIPIcs. Leibniz Int. Proc. Inform., pages Paper No. 24, 20. Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, 2022.
- Zigzag persistent homology and real-valued functions. In Proceedings of the Twenty-fifth Annual Symposium on Computational Geometry, SCG ’09, pages 247–256, New York, NY, USA, 2009. ACM.
- Parametrized homology via zigzag persistence. Algebr. Geom. Topol., 19(2):657–700, 2019.
- Local equivalence and intrinsic metrics between Reeb graphs. In 33rd International Symposium on Computational Geometry, volume 77 of LIPIcs. Leibniz Int. Proc. Inform., pages Art. No. 25, 15. Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, 2017.
- Stability of persistence diagrams. Discrete Comput. Geom., 37(1):103–120, 2007.
- Extending persistence using Poincaré and Lefschetz duality. Found. Comput. Math., 9(1):79–103, 2009.
- Justin Michael Curry. Sheaves, cosheaves and applications. PhD thesis, University of Pennsylvania, 2014.
- Jordan DeSha. Inverse Problems for Topological Summaries in Topological Data Analysis. PhD thesis, University at Albany, State University of New York, 2021.
- Categorified Reeb graphs. Discrete Comput. Geom., 55(4):854–906, 2016.
- Stability of critical points with interval persistence. Discrete Comput. Geom., 38(3):479–512, 2007.
- Topological persistence and simplification. Discrete Comput. Geom., 28(4):511–533, 2002.
- Peter Gabriel. Unzerlegbare Darstellungen. I. Manuscripta Math., 6:71–103; correction, ibid. 6 (1972), 309, 1972.
- Stéphane Guillermou. The three cusps conjecture. arXiv e-prints, March 2016.
- A comparison framework for interleaved persistence modules. J. Appl. Comput. Topol., 3(1-2):85–118, 2019.
- Sheaves on manifolds, volume 292 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1990. With a chapter in French by Christian Houzel.
- Persistent homology and microlocal sheaf theory. J. Appl. Comput. Topol., 2(1-2):83–113, 2018.
- Michael Lesnick. The theory of the interleaving distance on multidimensional persistence modules. Found. Comput. Math., 15(3):613–650, 2015.
- Bottleneck stability for generalized persistence diagrams. Proc. Amer. Math. Soc., 148(7):3149–3161, 2020.
- Luis Scoccola. Locally Persistent Categories And Metric Properties Of Interleaving Distances. PhD thesis, Western University, 2020.
- Edwin H. Spanier. Algebraic topology. Springer-Verlag, New York-Berlin, 1981. Corrected reprint.
- The Stacks project authors. The stacks project. https://stacks.math.columbia.edu, 2024.
- Tammo tom Dieck. Algebraic topology. EMS Textbooks in Mathematics. European Mathematical Society (EMS), Zürich, 2008.