Efficient Computation of Image Persistence

MCML Authors

Ulrich Bauer

Prof. Dr.

Core PI

Applied Topology and Geometry

Abstract

We present an algorithm for computing the barcode of the image of a morphism in persistent homology induced by an inclusion of filtered finite-dimensional chain complexes. The algorithm makes use of the clearing optimization and can be applied to inclusion-induced maps in persistent absolute homology and persistent relative cohomology for filtrations of pairs of simplicial complexes. The clearing optimization works particularly well in the context of relative cohomology, and using previous duality results we can translate the barcodes of images in relative cohomology to those in absolute homology. This forms the basis for an implementation of image persistence computations for inclusions of filtrations of Vietoris–Rips complexes in the framework of the software Ripser.

article DS25

---

Discrete and Computational Geometry

74.4. Dec. 2025.

---

Authors

U. Bauer • M. Schmahl

---

Links

DOI

---

Research Area

 A2 | Mathematical Foundations