Efficient Two-Parameter Persistence Computation via Cohomology

Ulrich Bauer, Fabian Lenzen, Michael Lesnick

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

Clearing is a simple but effective optimization for the standard algorithm of persistent homology (ph), which dramatically improves the speed and scalability of ph computations for Vietoris-Rips filtrations. Due to the quick growth of the boundary matrices of a Vietoris-Rips filtration with increasing dimension, clearing is only effective when used in conjunction with a dual (cohomological) variant of the standard algorithm. This approach has not previously been applied successfully to the computation of two-parameter ph. We introduce a cohomological algorithm for computing minimal free resolutions of two-parameter ph that allows for clearing. To derive our algorithm, we extend the duality principles which underlie the one-parameter approach to the two-parameter setting. We provide an implementation and report experimental run times for function-Rips filtrations. Our method is faster than the current state-of-the-art by a factor of up to 20.

Original languageEnglish
Title of host publication39th International Symposium on Computational Geometry, SoCG 2023
EditorsErin W. Chambers, Joachim Gudmundsson
DOIs
StatePublished - 1 Jun 2023
Event39th International Symposium on Computational Geometry, SoCG 2023 - Dallas, United States
Duration: 12 Jun 202315 Jun 2023

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISSN (Print)1868-8969

Conference

Conference39th International Symposium on Computational Geometry, SoCG 2023
Country/TerritoryUnited States
CityDallas
Period12/06/2315/06/23

Keywords

  • Persistent homology
  • clearing
  • persistent cohomology
  • two-parameter persistence

Fingerprint

Dive into the research topics of 'Efficient Two-Parameter Persistence Computation via Cohomology'. Together they form a unique fingerprint.

Cite this