Computing Minimal Presentations and Betti Numbers of 2-Parameter Persistent Homology

02/15/2019
by   Michael Lesnick, et al.
0

Motivated by applications to topological data analysis, we give an efficient algorithm for computing a (minimal) presentation of a bigraded K[x,y]-module M, where K is a field. The algorithm assumes that M is given implicitly: It takes as input a short chain complex of free bipersistence modules F^2 ∂^2 F^1 ∂^1 F^0 such that M∂^1/im∂^2. The algorithm runs in time O(∑_i |F^i|^3) and requires O(∑_i |F^i|^2) storage, where |F^i| denotes the size of a basis of F^i. Given the presentation, the bigraded Betti numbers of the module are readily computed. We also present a different but related algorithm, based on Koszul homology, which computes the bigraded Betti numbers without computing a presentation, with these same complexity bounds. These algorithms have been implemented in RIVET, a software tool for the visualization and analysis of two-parameter persistent homology. In preliminary experiments on topological data analysis problems, our approach outperforms the standard computational commutative algebra packages Singular and Macaulay2 by a wide margin.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/15/2019

Computing Minimal Presentations and Bigraded Betti Numbers of 2-Parameter Persistent Homology

Motivated by applications to topological data analysis, we give an effic...
research
10/29/2020

Fast Minimal Presentations of Bi-graded Persistence Modules

Multi-parameter persistent homology is a recent branch of topological da...
research
04/07/2019

Generalized Persistence Algorithm for Decomposing Multi-parameter Persistence Modules

The classical persistence algorithm virtually computes the unique decomp...
research
07/22/2021

Compression for 2-Parameter Persistent Homology

Compression aims to reduce the size of an input, while maintaining its r...
research
01/08/2016

Anti-commutative Dual Complex Numbers and 2D Rigid Transformation

We introduce a new presentation of the two dimensional rigid transformat...
research
12/22/2021

On the stability of multigraded Betti numbers and Hilbert functions

Multigraded Betti numbers are one of the simplest invariants of multipar...
research
05/10/2019

Delay Parameter Selection in Permutation Entropy Using Topological Data Analysis

Permutation Entropy (PE) is a powerful tool for quantifying the predicta...

Please sign up or login with your details

Forgot password? Click here to reset