Metrics for Generalized Persistence Modules
We consider the question of defining interleaving metrics on generalized persistence modules over arbitrary preordered sets. Our constructions are functorial, which implies a form of stability for these metrics. We describe a large class of examples, inverse-image persistence modules, which occur whenever a topological space is mapped to a metric space. Several standard theories of persistence and their stability can be described in this framework. This includes the classical case of sublevelset persistent homology. We introduce a distinction between ‘soft’ and ‘hard’ stability theorems. While our treatment is direct and elementary, the approach can be explained abstractly in terms of monoidal functors.
KeywordsPersistent topology Interleaving Stability Sublinear projections Superlinear families Inverse-image persistence
Mathematics Subject Classification55U99 68U05
The first author gratefully acknowledges the support of AFOSR Grant FA9550-13-1-0115. The second author thanks his home institution, Pomona College, for a sabbatical leave of absence in 2013–2014. The sabbatical was partially supported by the Simons Foundation (Grant #267571) and hosted by the Institute for Mathematics and its Applications, University of Minnesota, with funds provided by the National Science Foundation.
- 5.Dan Burghelea and Stefan Haller. Topology of angle valued maps, bar codes and Jordan blocks. arXiv:1303.4328 [math.AT], 2013.
- 7.Gunnar Carlsson, Vin de Silva, and Dmitriy Morozov. Zigzag persistent homology and real-valued functions. In Proceedings 25th ACM Symposium on Computational Geometry (SoCG), pages 247–256, 2009.Google Scholar
- 9.Frédéric Chazal, David Cohen-Steiner, Marc Glisse, Leo Guibas, and Steve Oudot. Proximity of persistence modules and their diagrams. In Proceedings of the 25th Annual ACM Symposium on Computational Geometry (SoCG), pages 237–246, 2009.Google Scholar
- 10.Frédéric Chazal, Vin de Silva, Marc Glisse, and Steve Oudot. The structure and stability of persistence modules. arXiv:1207.3674 [math.AT], 2012.
- 12.David Cohen-Steiner, Herbert Edelsbrunner, and John Harer. Extending persistence using Poincaré and Lefschetz duality. Foundations of Computational Mathematics, 2008.Google Scholar
- 13.David Cohen-Steiner, Herbert Edelsbrunner, John Harer, and Dmitriy Morozov. Persistent homology for kernels, images, and cokernels. In Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 1011–1020, Philadelphia, PA, 2009. SIAM.Google Scholar
- 14.Justin Curry. Sheaves, cosheaves and applications. Thesis, University of Pennsylvania, 2014.Google Scholar
- 15.Herbert Edelsbrunner, David Letscher, and Afra Zomorodian. Topological persistence and simplification. In IEEE Symposium on Foundations of Computer Science, pages 454–463, 2000.Google Scholar
- 16.Patrizio Frosini. Measuring shape by size functions. In Proceedings of SPIE on Intelligent Robotic Systems, volume 1607, pages 122–133, 1991.Google Scholar
- 18.G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott. Continuous lattices and domains, volume 93 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 2003.Google Scholar
- 19.G. M. Kelly. Doctrinal adjunction. In Category Seminar (Proc. Sem., Sydney, 1972/1973), pages 257–280. Lecture Notes in Math., Vol. 420. Springer, Berlin, 1974.Google Scholar
- 20.F. William Lawvere. Metric spaces, generalized logic, and closed categories [Rend. Sem. Mat. Fis. Milano 43 (1973), 135–166 (1974); MR0352214 (50 #4701)]. Repr. Theory Appl. Categ., 1:1–37, 2002. With an author commentary: Enriched categories in the logic of geometry and analysis.Google Scholar
- 21.Michael Lesnick. The theory of the interleaving distance on multidimensional persistence modules. arXiv:1106.5305, 2011.
- 22.Saunders Mac Lane. Categories for the working mathematician, volume 5 of Graduate Texts in Mathematics. Springer-Verlag, New York, second edition, 1998.Google Scholar
- 23.Dmitriy Morozov, Kenes Beketayev, and Gunther Weber. Interleaving distance between merge trees. manuscript, 2013.Google Scholar