Abstract

Forman's discrete Morse theory appeared to be useful for providing filtration-preserving reductions of complexes in the study of persistent homology. So far, the algorithms computing discrete Morse matchings have only been used for one-dimensional filtrations. This paper is perhaps the first attempt in the direction of extending such algorithms to multidimensional filtrations. An initial framework related to Morse matchings for the multidimensional setting is proposed, and a matching algorithm given by King, Knudson, and Mramor is extended in this direction. The correctness of the algorithm is proved, and its complexity analyzed. The algorithm is used for establishing a reduction of a simplicial complex to a smaller but not necessarily optimal cellular complex. First experiments with filtrations of triangular meshes are presented.

Highlights

  • The persistent homology has been intensely developed in the last decade as a tool for studying problems of two kinds

  • The 0–dimensional persistent homology case, where the topological invariants are based on the number of connected components, where known under the name of the size function theory since the paper by Frosini [17]

  • If a reduction by Morse pairings can be performed in a filtration–preserving way, that leads to a faster persistent homology computation

Read more

Summary

Introduction

The persistent homology has been intensely developed in the last decade as a tool for studying problems of two kinds. If a reduction by Morse pairings can be performed in a filtration–preserving way, that leads to a faster persistent homology computation This goal motivated the contributions of King, Knudson, and Mramor [21], Mischaikow and Nanda [23], Robins et al [25], and Dłotko and Wagner [13]. As pointed out in [23] for the one dimensional case, the complexity of computing multidimensional persistence homology of a filtration is essentially determined by the sizes of its complexes. These experiments show a fair rate of reduction but not an optimal one in the sense that the remaining cells are not all relevant in the computation of persistence homology. An improvement of our methods towards the optimality is a research in progress

S-complexes
Multidimensional Persistent Homology
Acyclic Partial Matchings
Reductions
Matching Algorithm
Indexing Map for Vertices
Complexity Analysis
Back to Reductions
Experimental Results and Conclusion
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call