2000 character limit reached
Computing Generalized Ranks of Persistence Modules via Unfolding to Zigzag Modules (2403.08110v2)
Published 12 Mar 2024 in math.AT and cs.CG
Abstract: For a $P$-indexed persistence module ${\sf M}$, the (generalized) rank of ${\sf M}$ is defined as the rank of the limit-to-colimit map for the diagram of vector spaces of ${\sf M}$ over the poset $P$. For $2$-parameter persistence modules, recently a zigzag persistence based algorithm has been proposed that takes advantage of the fact that generalized rank for $2$-parameter modules is equal to the number of full intervals in a zigzag module defined on the boundary of the poset. Analogous definition of boundary for $d$-parameter persistence modules or general $P$-indexed persistence modules does not seem plausible. To overcome this difficulty, we first unfold a given $P$-indexed module ${\sf M}$ into a zigzag module ${\sf M}{ZZ}$ and then check how many full interval modules in a decomposition of ${\sf M}{ZZ}$ can be folded back to remain full in a decomposition of ${\sf M}$. This number determines the generalized rank of ${\sf M}$. For special cases of degree-$d$ homology for $d$-complexes, we obtain a more efficient algorithm including a linear time algorithm for degree-$1$ homology in graphs.
- Gorô Azumaya. Corrections and supplementaries to my paper concerning Krull-Remak-Schmidt’s theorem. Nagoya Mathematical Journal, 1:117–124, 1950.
- ℓℓ\ellroman_ℓpp{}^{\mbox{p}}start_FLOATSUPERSCRIPT p end_FLOATSUPERSCRIPT-distances on multiparameter persistence modules. CoRR, abs/2106.13589, 2021. URL: https://arxiv.org/abs/2106.13589, arXiv:2106.13589.
- Signed barcodes for multi-parameter persistence via rank decompositions and rank-exact resolutions. arXiv preprint arXiv:2107.06800, 2021.
- Decomposition of persistence modules. Proc. American Mathematical Society (AMS), 148(5):4581–4596, 2020.
- An introduction to multiparameter persistence, 2023. arXiv:2203.14289.
- Annotating simplices with a homology basis and its applications. In Algorithm Theory - SWAT 2012 - 13th Scandinavian Symposium and Workshops, volume 7357 of Lecture Notes in Computer Science, pages 189–200. Springer, 2012.
- Zigzag persistent homology and real-valued functions. In Proceedings of the twenty-fifth annual symposium on Computational geometry, pages 247–256, 2009.
- The theory of multidimensional persistence. Discrete & Computational Geometry, 42(1):71–93, 2009.
- Betti numbers in multidimensional persistent homology are stable functions. Mathematical Methods in the Applied Sciences, 36(12):1543–1557, 2013.
- Persistent homology over directed acyclic graphs. In Research in Computational Topology, pages 11–32. Springer, 2018.
- William Crawley-Boevey. Locally finitely presented additive categories. Communications in Algebra, 22(5):1641–1674, 1994. arXiv:https://doi.org/10.1080/00927879408824927, doi:10.1080/00927879408824927.
- Fast computation of zigzag persistence. In 30th European Symposium on Algorithms (ESA 2022), 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, volume 224 of LIPIcs, pages 34:1–34:17, 2022.
- Computational Topology for Data Analysis. Cambridge University Press, 2022.
- Generalized persistence algorithm for decomposing multiparameter persistence modules. Journal of Applied and Computational Topology, pages 1–52, 2022.
- Computational Topology: An Introduction. American Mathematical Society, Jan 2010.
- Persistence modules on commutative ladders of finite type. Discrete & Computational Geometry, 55(1):100–157, 2016.
- Peter Gabriel. Unzerlegbare Darstellungen I. Manuscripta Mathematica, 6(1):71–103, 1972. doi:10.1007/BF01298413.
- Rank-profile revealing gaussian elimination and the CUP matrix decomposition. J. Symb. Comput., 56:46–68, 2013. URL: https://doi.org/10.1016/j.jsc.2013.04.004.
- Exact computation of the matching distance on 2-parameter persistence modules. J. Comput. Geom., 11(2):4–25, 2020.
- Fast minimal presentations of bi-graded persistence modules. In Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2021, Virtual Conference, January 10-11, 2021, pages 207–220. SIAM, 2021.
- Generalized persistence diagrams for persistence modules over posets. Journal of Applied and Computational Topology, 5(4):533–581, 2021.
- Michael Lesnick. The theory of the interleaving distance on multidimensional persistence modules. Foundations of Computational Mathematics, 15(3):613–650, 2015.
- Computing minimal presentations and bigraded betti numbers of 2-parameter persistent homology. SIAM J. Appl. Algebra Geom., 6(2):267–298, 2022.
- Saunders Mac Lane. Categories for the working mathematician, volume 5. Springer Science & Business Media, 2013.
- Zigzag persistence via reflections and transpositions. In Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 181–199. SIAM, 2014.
- Ezra Miller. Modules over posets: commutative and homological algebra. arXiv preprint arXiv:1908.09750, 2019.
- Zigzag persistent homology in matrix multiplication time. In Proceedings of the twenty-seventh Annual Symposium on Computational Geometry, pages 216–225, 2011.
- Steve Oudot. Persistence Theory: From Quiver Representations to Data Analysis, volume 209. AMS Mathematical Surveys and Monographs, 2015.
- Amit Patel. Generalized persistence diagrams. Journal of Applied and Computational Topology, 1(3):397–419, 2018.
- Principal components along quiver representations. Found. Comput. Math., 23(4):1129–1165, 2023.