The Generalized Rank Invariant: Möbius invertibility, Discriminating Power, and Connection to Other Invariants (2207.11591v5)
Abstract: In addition to inherent computational challenges, the absence of a canonical method for quantifying persistence' in multi-parameter persistent homology remains a hurdle in its application. One of the best known quantifications of persistence for multi-parameter persistent homology is the rank invariant, which has recently evolved into the generalized rank invariant (GRI) by naturally extending its domain. This extension enables us to quantify persistence across a broader range of regions in the indexing poset compared to the rank invariant. However, the size of the domain of the GRI is generally formidable, making it desirable to restrict its domain to a more manageable subset for computational purposes. The foremost questions regarding such a restriction of the domain are: (1) How to restrict, if possible, the domain of the GRI without any loss of information? (2) When can we more compactly encode the GRI as a
persistence diagram'? (3) What is the trade-off between computational efficiency and the discriminating power of the GRI as the amount of the restriction on the domain varies? (4) What proxies exist for persistence diagrams in the multi-parameter setting that can be derived from the GRI? To address the first three questions, we generalize and axiomatize the classic fundamental lemma of persistent homology via the notion of M\"obius invertibility of the GRI which we propose. This extension also contextualizes known results regarding the (generalized) rank invariant within the classical theory of M\"obius inversion. We conduct a comprehensive comparison between M\"obius invertibility and other existing concepts related to the structural simplicity of persistence modules. We address the fourth question through the notion of motivic invariants. We demonstrate that many invariants from the literature can be both derived from the GRI and recast as motivic invariants.
- Invariants of persistence modules defined by order-embeddings. arXiv preprint arXiv:2402.09190, 2024.
- On interval decomposability of 2D persistence modules. Computational Geometry, 105:101879, 2022.
- Approximation by interval-decomposables and interval resolutions of persistence modules. Journal of Pure and Applied Algebra, 227(10):107397, 2023.
- On approximation of 2D persistence modules by interval-decomposables. Journal of Computational Algebra, 6:100007, 2023.
- Gorô Azumaya. Corrections and supplementaries to my paper concerning Krull-Remak-Schmidt’s theorem. Nagoya Mathematical Journal, 1:117–124, 1950.
- Graded persistence diagrams and persistence landscapes. Discrete & Computational Geometry, 67(1):203–230, 2022.
- Homological approximations in persistence theory. Canadian Journal of Mathematics, pages 1–24, 2021.
- Algebraic stability of zigzag persistence modules. Algebraic & Geometric topology, 18(6):3133–3204, 2018.
- On rectangle-decomposable 2-parameter persistence modules. Discrete & Computational Geometry, pages 1–24, 2022.
- Signed barcodes for multi-parameter persistence via rank decompositions and rank-exact resolutions. arXiv preprint arXiv:2107.06800, 2021.
- On the bottleneck stability of rank decompositions of multi-parameter persistence modules. arXiv preprint arXiv:2208.00300, 2022.
- Metrics for generalized persistence modules. Foundations of Computational Mathematics, 15(6):1501–1531, 2015.
- Zigzag persistence. Foundations of computational mathematics, 10(4):367–405, 2010.
- Zigzag persistent homology and real-valued functions. In Proceedings of the twenty-fifth annual symposium on Computational geometry, pages 247–256, 2009.
- Classifying clustering schemes. Foundations of Computational Mathematics, 13:221–252, 2013.
- Representable hierarchical clustering methods for asymmetric networks. In Data Science: Innovative Developments in Data Analysis and Clustering, pages 83–95. Springer, 2017.
- Robust hierarchical clustering for directed networks: an axiomatic approach. SIAM Journal on Applied Algebra and Geometry, 5(4):675–700, 2021.
- Topological data analysis with applications. Cambridge University Press, 2021.
- The theory of multidimensional persistence. Discrete & Computational Geometry, 42(1):71–93, 2009.
- Effective computation of relative homological invariants for functors over posets. arXiv preprint arXiv:2209.05923, 2022.
- Persistent homology over directed acyclic graphs. In Research in Computational Topology, pages 11–32. Springer, 2018.
- Proximity of persistence modules and their diagrams. In Proceedings of the twenty-fifth annual symposium on Computational geometry, pages 237–246, 2009.
- The structure and stability of persistence modules, volume 10. Springer, 2016.
- Meta-diagrams for 2-parameter persistence. In 39th International Symposium on Computational Geometry (SoCG 2023). Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2023.
- Spatiotemporal persistent homology computation tool. https://github.com/ndag/PHoDMSs, 2020.
- Stability of persistence diagrams. Discrete & computational geometry, 37(1):103–120, 2007.
- William Crawley-Boevey. Decomposition of pointwise finite-dimensional persistence modules. Journal of Algebra and its Applications, 14(05):1550066, 2015.
- Categorified reeb graphs. Discrete & Computational Geometry, 55(4):854–906, 2016.
- Theory of interleavings on categories with a flow. Theory and Applications of Categories, 33(21):583–607, 2018.
- Updating zigzag persistence and maintaining representatives over changing filtrations. arXiv preprint arXiv:2112.02352, 2021.
- Fast computation of zigzag persistence. In 30th Annual European Symposium on Algorithms (ESA 2022). Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2022.
- Computing generalized rank invariant for 2-parameter persistence modules via zigzag persistence and its applications. In 38th International Symposium on Computational Geometry (SoCG 2022). Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2022.
- Computational topology: an introduction. American Mathematical Society, 2008.
- Peter Gabriel. Unzerlegbare darstellungen i. Manuscripta mathematica, 6(1):71–103, 1972.
- Mario Gomez. Curvature Sets and Persistent Homology. PhD thesis, Ohio State University, 2023.
- Curvature sets over persistence diagrams. Discrete and Computational Geometry, 2024 (to appear).
- Metric structures for Riemannian and non-Riemannian spaces, volume 152. Springer, 1999.
- Galois connections in persistent homology. arXiv preprint arXiv:2201.06650, 2022.
- Stratifying multiparameter persistent homology. SIAM Journal on Applied Algebra and Geometry, 3(3):439–471, 2019.
- Generalized persistence diagrams for persistence modules over posets. Journal of Applied and Computational Topology, 5(4):533–581, 2021.
- Spatiotemporal persistent homology for dynamic metric spaces. Discrete & Computational Geometry, 66(3):831–875, 2021.
- Bigraded Betti numbers and generalized persistence diagrams. arXiv preprint arXiv:2111.02551v3, 2021.
- Ryan Kinser. The rank of a quiver representation. Journal of Algebra, 320(6):2363–2387, 2008.
- Claudia Landi. The rank invariant stability via interleavings. In Research in computational topology, pages 1–10. Springer, 2018.
- Michael Lesnick. The theory of the interleaving distance on multidimensional persistence modules. Foundations of Computational Mathematics, 15(3):613–650, 2015.
- Interactive visualization of 2d persistence modules. arXiv preprint arXiv:1512.00180, 2015.
- Stable vectorization of multiparameter persistent homology using signed barcodes as measures. Advances in Neural Information Processing Systems, 36, 2024.
- László Lovász. Large networks and graph limits, volume 60. American Mathematical Soc., 2012.
- Hanbaek Lyu. Motif sampling. https://github.com/HanbaekLyu/motif_sampling, 2023.
- Sampling random graph homomorphisms and applications to network data analysis. Journal of machine learning research, 24(9):1–79, 2023.
- Saunders Mac Lane. Categories for the working mathematician, volume 5. Springer Science & Business Media, 2013.
- Bottleneck stability for generalized persistence diagrams. Proceedings of the American Mathematical Society, 148(7):3149–3161, 2020.
- Edit distance and persistence diagrams over lattices. SIAM Journal on Applied Algebra and Geometry, 6(2):134–155, 2022.
- Facundo Mémoli and Guilherme Vituri F Pinto. Motivic clustering schemes for directed graphs. arXiv preprint arXiv:2001.00278, 2020.
- Persistent cup product structures and related invariants. To appear in Journal of Applied and Computational Topology, arXiv preprint arXiv:2211.16642, 2022.
- Ezra Miller. Homological algebra of modules over posets. arXiv preprint arXiv:2008.00063, 2020.
- Zigzag persistent homology in matrix multiplication time. In Proceedings of the twenty-seventh Annual Symposium on Computational Geometry, pages 216–225, 2011.
- Samantha Moore. A combinatorial formula for the bigraded betti numbers. arXiv preprint arXiv:2004.02239, 2020.
- Output-sensitive computation of generalized persistence diagrams for 2-filtrations. arXiv preprint arXiv:2112.03980, 2021.
- On the stability of multigraded betti numbers and hilbert functions. SIAM Journal on Applied Algebra and Geometry, 8(1):54–88, 2024.
- Amit Patel. Generalized persistence diagrams. Journal of Applied and Computational Topology, 1(3):397–419, 2018.
- Ville Puuska. Erosion distance for generalized persistence modules. Homotopy, Homology, and Applications, 2020.
- Gian-Carlo Rota. On the foundations of combinatorial theory I: Theory of Möbius functions. Zeitschrift für Wahrscheinlichkeitstheorie und verwandte Gebiete, 2(4):340–368, 1964.
- Richard P Stanley. Enumerative combinatorics volume 1 second edition. Cambridge studies in advanced mathematics, 2011.
- Ashleigh Linnea Thomas. Invariants and metrics for multiparameter persistent homology. PhD thesis, Duke University, 2019.
- Gril: A 2222-parameter persistence based vectorization for machine learning. In Topological, Algebraic and Geometric Learning Workshops 2023, pages 313–333. PMLR, 2023.