\ell^p-Distances on Multiparameter Persistence Modules

MaRDI QIDQ6371238zbMATH OpenFDO

Authors Håvard Bakke Bjerkevik, Michael Lesnick

Publication date 25 June 2021

Abstract: Motivated both by theoretical and practical considerations in topological data analysis, we generalize the $p$-Wasserstein distance on barcodes to multiparameter persistence modules. For each $pin[1,infty]$, we in fact introduce two such generalizations $d_{mathcalI}^p$ and $d_{mathcalM}^p$, such that $d_{mathcalI}^{i}nfty$ equals the interleaving distance and $d_{mathcalM}^{i}nfty$ equals the matching distance. We show that on 1- or 2-parameter persistence modules over prime fields, $d_{mathcalI}^p$ is the universal (i.e., largest) metric satisfying a natural stability property; this extends a stability theorem of Skraba and Turner for the $p$-Wasserstein distance on barcodes in the 1-parameter case, and is also a close analogue of a universality property for the interleaving distance given by the second author. We also show that $d_{mathcalM}^{p}leq{d}_{mathcalI}^p$ for all $pin[1,infty]$, extending an observation of Landi in the $p=infty$ case. We observe that on 2-parameter persistence modules, $d_{mathcalM}^p$ can be efficiently approximated. In a forthcoming companion paper, we apply some of these results to study the stability of ($2$-parameter) multicover persistent homology.

This page was built for publication: $\ell^p$-Distances on Multiparameter Persistence Modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6371238)