In 2009, Chazal et al. introduced ϵ-interleavings of persistence modules. ϵ-interleavings induce a pseudometric dI on (isomorphism classes of) persistence modules, the interleaving distance. The definitions of ϵ-interleavings and dI generalize readily to multidimensional persistence modules. In this paper, we develop the theory of multidimensional interleavings, with a view toward applications to topological data analysis. We present four main results. First, we show that on 1-D persistence modules, dI is equal to the bottleneck distance dB. This result, which first appeared in an earlier preprint of this paper, has since appeared in several other places, and is now known as the isometry theorem. Second, we present a characterization of the ϵ-interleaving relation on multidimensional persistence modules. This expresses transparently the sense in which two ϵ-interleaved modules are algebraically similar. Third, using this characterization, we show that when we define our persistence modules over a prime field, dI satisfies a universality property. This universality result is the central result of the paper. It says that dI satisfies a stability property generalizing one which dB is known to satisfy, and that in addition, if d is any other pseudometric on multidimensional persistence modules satisfying the same stability property, then d≤dI. We also show that a variant of this universality result holds for dB, over arbitrary fields. Finally, we show that dI restricts to a metric on isomorphism classes of finitely presented multidimensional persistence modules.
Bibliographical noteFunding Information:
The first version of this paper was written while I was a graduate student. Discussions with my Ph.D. adviser Gunnar Carlsson catalyzed the research presented here in several ways. In addition, Gunnar served as a patient and helpful sounding board for the ideas of this paper. I thank him for his support and guidance. Thanks to Henry Adams, Peter Bubenik, Patrizio Frosini, Peter Landweber, Dmitriy Morozov, and the anonymous referees for useful corrections and helpful feedback on this work. Parts of the exposition in Sects. and benefited from edits done jointly with Ulrich Bauer on closely related material in . The main result of William Crawley-Boevey’s paper  plays an important role in the present version of this work. I thank Bill for writing his paper and both Bill and Vin de Silva for enlightening discussions about structure theorems for -graded persistence modules. Thanks to Stanford University, the Technion, the Institute for Advanced Study, and the Institute for Mathematics and its Applications for their support hospitality during the writing and revision of this paper. This work was supported by ONR grant N00014-09-1-0783 and NSF grant DMS-1128155. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author and do not necessarily reflect the views of the National Science Foundation.
© 2015, SFoCM.
- Algebraic stability
- Isometry theorem
- Multidimensional persistence
- Persistence modules
- Stability of persistent homology