DeepAI AI Chat
Log In Sign Up

Discrete Morse Theory for Computing Zigzag Persistence

by   Clément Maria, et al.

We introduce a theoretical and computational framework to use discrete Morse theory as an efficient preprocessing in order to compute zigzag persistent homology. From a zigzag filtration of complexes (K_i), we introduce a zigzag Morse filtration whose complexes (A_i) are Morse reductions of the original complexes (K_i), and we prove that they both have same persistent homology. This zigzag Morse filtration generalizes the filtered Morse complex of Mischaikow and Nanda MischaikowN13, defined for standard persistence. The maps in the zigzag Morse filtration are forward and backward inclusions, as is standard in zigzag persistence, as well as a new type of map inducing non trivial changes in the boundary operator of the Morse complex. We study in details this last map, and design algorithms to compute the update both at the complex level and at the homology matrix level when computing zigzag persistence. We deduce an algorithm to compute the zigzag persistence of a filtration that depends mostly on the number of critical cells of the complexes, and show experimentally that it performs better in practice.


page 1

page 2

page 3

page 4


Persistence-perfect discrete gradient vector fields and multi-parameter persistence

The main objective of this paper is to introduce and study a notion of p...

Strong Collapse for Persistence

We introduce a fast and memory efficient approach to compute the persist...

Computing Connection Matrices via Persistence-like Reductions

Connection matrices are a generalization of Morse boundary operators fro...

Move Schedules: Fast persistence computations in sparse dynamic settings

The standard procedure for computing the persistent homology of a filter...

On Association between Absolute and Relative Zigzag Persistence

Duality results connecting persistence modules for absolute and relative...

Algorithmic Reconstruction of the Fiber of Persistent Homology on Cell Complexes

Let K be a finite simplicial, cubical, delta or CW complex. The persiste...

Persistent homology of unweighted complex networks via discrete Morse theory

We present a new method based on discrete Morse theory to study topologi...