Persistent homology for kernels, images, and cokernels

ABSTRACT

Motivated by the measurement of local homology and of functions on noisy domains, we extend the notion of persistent homology to sequences of kernels, images, and cokernels of maps induced by inclusions in a filtration of pairs of spaces. Specifically, we note that persistence in this context is well defined, we prove that the persistence diagrams are stable, and we explain how to compute them.

REFERENCES

• 1: D. Attali, H. Edelsbrunner, J. Harer and Y. Mileyko. Alpha-beta witness complexes. In "Proc. 11th Workshop Alg. Data Struct., 2007", Springer-Verlag, Lecture Notes in Computer Science 4619, 386--397.
• 2: Paul Bendich , David Cohen-Steiner , Herbert Edelsbrunner , John Harer , Dmitriy Morozov, Inferring Local Homology from Sampled Stratified Spaces, Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science, p.536-546, October 21-23, 2007 [doi>10.1109/FOCS.2007.33]
• 3: Gunnar Carlsson , Afra Zomorodian, The theory of multidimensional persistence, Proceedings of the twenty-third annual symposium on Computational geometry, June 06-08, 2007, Gyeongju, South Korea [doi>10.1145/1247069.1247105]
• 4: Frédéric Chazal , David Cohen-Steiner , André Lieutier, A sampling theory for compact sets in Euclidean space, Proceedings of the twenty-second annual symposium on Computational geometry, June 05-07, 2006, Sedona, Arizona, USA [doi>10.1145/1137856.1137904]
• 5: Frederic Chazal , Andre Lieutier, Stability and Computation of Topological Invariants of Solids in ${\Bbb R}^n$, Discrete & Computational Geometry, v.37 n.4, p.601-617, May 2007 [doi>10.1007/s00454-007-1309-8]
• 6: David Cohen-Steiner , Herbert Edelsbrunner , John Harer, Stability of Persistence Diagrams, Discrete & Computational Geometry, v.37 n.1, p.103-120, January 2007 [doi>10.1007/s00454-006-1276-5]
• 7: David Cohen-Steiner , Herbert Edelsbrunner , John Harer, Extending Persistence Using Poincaré and Lefschetz Duality, Foundations of Computational Mathematics, v.9 n.1, p.79-103, January 2009 [doi>10.1007/s10208-008-9027-z]
• 8: David Cohen-Steiner , Herbert Edelsbrunner , Dmitriy Morozov, Vines and vineyards by updating persistence in linear time, Proceedings of the twenty-second annual symposium on Computational geometry, June 05-07, 2006, Sedona, Arizona, USA [doi>10.1145/1137856.1137877]
• 9: V. de Silva and G. Carlsson. Topological estimation using witness complexes. In "Proc. Sympos. Point-Based Graphics, 2004", 157--166.
• 10: H. Edelsbrunner, D. Letscher and A. Zomorodian. Topological persistence and simplification. Discrete Comput. Geom. 28 (2002), 511--533.
• 11: D. Morozov. Homological Illusions of Persistence and Stability. Ph.D. Thesis, Duke University, 2008.
• 12: J. R. Munkres. Elements of Algebraic Topology. Addison-Wesley, Redwood City, California, 1984.
• 13: L. Vietoris. Über den höheren Zusammenhang kompakter Räume and eine Klasse von zusammenhangstreuen Abbildungen. Math. Ann. 97 (1927), 454--472.
• 14: Afra Zomorodian , Gunnar Carlsson, Computing Persistent Homology, Discrete & Computational Geometry, v.33 n.2, p.249-274, February 2005 [doi>10.1007/s00454-004-1146-y]

INDEX TERMS

Primary Classification:
  G. Mathematics of Computing
  G.2 DISCRETE MATHEMATICS
      G.2.0 General