Persistent (Co)Homology in Matrix Multiplication Time

Dmitriy Morozov, Primoz Skraba.
Proceedings of the International Symposium on Computational Geometry (SoCG). Leibniz International Proceedings in Informatics (LIPIcs), Volume 332, pp. 68:1-68:16, 2025.
DOI: 10.4230/lipics.socg.2025.68
arXiv: 2412.02591
PDF SoCG
Abstract
Most algorithms for computing persistent homology do so by tracking cycles that represent homology classes. There are many choices of such cycles, and specific choices have found different uses in applications. Although it is known that persistence diagrams can be computed in matrix multiplication time for the more general case of zigzag persistent homology [21], it is not clear how to extract cycle representatives, especially if specific representatives are desired. In this paper, we provide the same matrix multiplication bound for computing representatives for the two choices common in applications in the case of ordinary persistent (co)homology. We first provide a fast version of the reduction algorithm, which is simpler than the algorithm in [21], but returns a different set of representatives than the standard algorithm [15]. We then give a fast version of a variant called the row algorithm [10], which returns the same representatives as the standard algorithm.
References
[10]
Vin de Silva, Dmitriy Morozov, Mikael Vejdemo-Johansson. Dualities in Persistent (Co)Homology. Inverse Problems, vol. 27, 2011.
[15]
Herbert Edelsbrunner, David Letscher and Afra Zomorodian. Topological persistence and simplification. Discrete Comput. Geom. 28 (2002), 511-533.
[21]
Nikola Milosavljevic, Dmitriy Morozov, Primoz Skraba. Zigzag Persistent Homology in Matrix Multiplication Time. Proceedings of the Annual Symposium on Computational Geometry, pages 216-225, 2011.