Additive Partial Matchings Induced by Persistence Maps

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Gonzalez-Diaz, R., Soriano-Trigueros, M., Torras-Casas, A.
Format: Preprint
Veröffentlicht: 2020
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866908829534388224
author Gonzalez-Diaz, R.
Soriano-Trigueros, M.
Torras-Casas, A.
author_facet Gonzalez-Diaz, R.
Soriano-Trigueros, M.
Torras-Casas, A.
contents Persistent homology is a fundamental tool in Topological Data Analysis. The associated algebraic structure is the persistence module, a sequence of vector spaces connected by linear maps. Persistence modules admit a complete and fast-to-compute invariant known as the persistence diagram. However, this is no longer the case for maps between persistence modules (i.e. persistence maps). We propose a new invariant for persistence maps, consisting of a partial matching between the persistent diagrams of the domain and codomain modules. We show that this invariant is additive with respect to the direct sum decomposition of persistence maps, is more discriminative than the image invariant, and is computable in cubic time. Furthermore, we provide an implementation and demonstrate its efficiency by integrating it with edge collapse techniques for flag complexes (e.g., Vietoris-Rips complexes). As a key technical contribution, we describe how to induce a persistence map between two flag complexes that have been independently simplified via edge collapses, even when a direct simplicial map between them is no longer available.
format Preprint
id arxiv_https___arxiv_org_abs_2006_11100
institution arXiv
publishDate 2020
record_format arxiv
spellingShingle Additive Partial Matchings Induced by Persistence Maps
Gonzalez-Diaz, R.
Soriano-Trigueros, M.
Torras-Casas, A.
Algebraic Topology
Rings and Algebras
55N31, 16G20
Persistent homology is a fundamental tool in Topological Data Analysis. The associated algebraic structure is the persistence module, a sequence of vector spaces connected by linear maps. Persistence modules admit a complete and fast-to-compute invariant known as the persistence diagram. However, this is no longer the case for maps between persistence modules (i.e. persistence maps). We propose a new invariant for persistence maps, consisting of a partial matching between the persistent diagrams of the domain and codomain modules. We show that this invariant is additive with respect to the direct sum decomposition of persistence maps, is more discriminative than the image invariant, and is computable in cubic time. Furthermore, we provide an implementation and demonstrate its efficiency by integrating it with edge collapse techniques for flag complexes (e.g., Vietoris-Rips complexes). As a key technical contribution, we describe how to induce a persistence map between two flag complexes that have been independently simplified via edge collapses, even when a direct simplicial map between them is no longer available.
title Additive Partial Matchings Induced by Persistence Maps
topic Algebraic Topology
Rings and Algebras
55N31, 16G20
url https://arxiv.org/abs/2006.11100