Algebraic Wasserstein distances and stable homological invariants of data

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Agerberg, Jens, Guidolin, Andrea, Ren, Isaac, Scolamiero, Martina
Format: Preprint
Veröffentlicht: 2023
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866916364588941312
author Agerberg, Jens
Guidolin, Andrea
Ren, Isaac
Scolamiero, Martina
author_facet Agerberg, Jens
Guidolin, Andrea
Ren, Isaac
Scolamiero, Martina
contents Distances have a ubiquitous role in persistent homology, from the direct comparison of homological representations of data to the definition and optimization of invariants. In this article we introduce a family of parametrized pseudometrics between persistence modules based on the algebraic Wasserstein distance defined by Skraba and Turner, and phrase them in the formalism of noise systems. This is achieved by comparing $p$-norms of cokernels (resp. kernels) of monomorphisms (resp. epimorphisms) between persistence modules and corresponding bar-to-bar morphisms, a novel notion that allows us to bridge between algebraic and combinatorial aspects of persistence modules. We use algebraic Wasserstein distances to define invariants, called Wasserstein stable ranks, which are 1-Lipschitz stable with respect to such pseudometrics. We prove a low-rank approximation result for persistence modules which allows us to efficiently compute Wasserstein stable ranks, and we propose an efficient algorithm to compute the interleaving distance between them. Importantly, Wasserstein stable ranks depend on interpretable parameters which can be learnt in a machine learning context. Experimental results illustrate the use of Wasserstein stable ranks on real and artificial data and highlight how such pseudometrics could be useful in data analysis tasks.
format Preprint
id arxiv_https___arxiv_org_abs_2301_06484
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle Algebraic Wasserstein distances and stable homological invariants of data
Agerberg, Jens
Guidolin, Andrea
Ren, Isaac
Scolamiero, Martina
Algebraic Topology
55N31 (Primary) 62R40, 55U99 (Secondary)
Distances have a ubiquitous role in persistent homology, from the direct comparison of homological representations of data to the definition and optimization of invariants. In this article we introduce a family of parametrized pseudometrics between persistence modules based on the algebraic Wasserstein distance defined by Skraba and Turner, and phrase them in the formalism of noise systems. This is achieved by comparing $p$-norms of cokernels (resp. kernels) of monomorphisms (resp. epimorphisms) between persistence modules and corresponding bar-to-bar morphisms, a novel notion that allows us to bridge between algebraic and combinatorial aspects of persistence modules. We use algebraic Wasserstein distances to define invariants, called Wasserstein stable ranks, which are 1-Lipschitz stable with respect to such pseudometrics. We prove a low-rank approximation result for persistence modules which allows us to efficiently compute Wasserstein stable ranks, and we propose an efficient algorithm to compute the interleaving distance between them. Importantly, Wasserstein stable ranks depend on interpretable parameters which can be learnt in a machine learning context. Experimental results illustrate the use of Wasserstein stable ranks on real and artificial data and highlight how such pseudometrics could be useful in data analysis tasks.
title Algebraic Wasserstein distances and stable homological invariants of data
topic Algebraic Topology
55N31 (Primary) 62R40, 55U99 (Secondary)
url https://arxiv.org/abs/2301.06484