Algebraic & Geometric Topology

Rips filtrations for quasimetric spaces and asymmetric functions with stability results

Katharine Turner

Full-text: Access denied (no subscription detected)

However, an active subscription may be available with MSP at msp.org/agt.

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Abstract

The Rips filtration over a finite metric space and its corresponding persistent homology are prominent methods in topological data analysis to summarise the “shape” of data. Crucial to their use is the stability result that says if X and Y are finite metric spaces then the (bottleneck) distance between the persistence diagrams constructed via the Rips filtration is bounded by 2 d GH ( X , Y ) (where d GH is the Gromov–Hausdorff distance). A generalisation of the Rips filtration to any symmetric function f : X × X was defined by Chazal, de Silva and Oudot (Geom. Dedicata 173 (2014) 193–214), where they showed it was stable with respect to the correspondence distortion distance. Allowing asymmetry, we consider four different persistence modules, definable for pairs ( X , f ) where f : X × X is any real valued function. These generalise the persistent homology of the symmetric Rips filtration in different ways. The first method is through symmetrisation. For each a [ 0 , 1 ] we can construct a symmetric function sym a ( f ) ( x , y ) = a min { d ( x , y ) , d ( y , x ) } + ( 1 a ) max { d ( x , y ) , d ( y , x ) } . We can then apply the standard theory for symmetric functions and get stability as a corollary. The second method is to construct a filtration { dir ( X ) t } of ordered tuple complexes where ( x 0 , x 2 , , x p ) dir ( X ) t if d ( x i , x j ) t for all i j . Both our first two methods have the same persistent homology as the standard Rips filtration when applied to a metric space, or more generally to a symmetric function. We then consider two constructions using an associated filtration of directed graphs or preorders. For each t we can define a directed graph { D ( X ) t } where directed edges x y are included in D ( X ) t whenever max { f ( x , y ) , f ( x , x ) , f ( y , y ) } t (note this is when d ( x , y ) t for f = d a quasimetric). From this we construct a preorder where x y if there is a path from x to y in D ( X ) t . We build persistence modules using the strongly connected components of the graphs D ( X ) t , which are also the equivalence classes of the associated preorders. We also consider persistence modules using a generalisation of poset topology to preorders.

The Gromov–Hausdorff distance, when expressed via correspondence distortions, can be naturally extended as a correspondence distortion distance to set–function pairs ( X , f ) . We prove that all these new constructions enjoy the same stability as persistence modules built via the original persistent homology for symmetric functions.

Article information

Source
Algebr. Geom. Topol., Volume 19, Number 3 (2019), 1135-1170.

Dates
Received: 12 December 2016
Revised: 1 November 2018
Accepted: 10 November 2018
First available in Project Euclid: 29 May 2019

Permanent link to this document
https://projecteuclid.org/euclid.agt/1559095421

Digital Object Identifier
doi:10.2140/agt.2019.19.1135

Mathematical Reviews number (MathSciNet)
MR3954277

Subjects
Primary: 54E99: None of the above, but in this section 55N35: Other homology theories
Secondary: 05C20: Directed graphs (digraphs), tournaments 06A11: Algebraic aspects of posets 55U10: Simplicial sets and complexes

Keywords
persistent homology Rips filtration quasimetric space stability

Citation

Turner, Katharine. Rips filtrations for quasimetric spaces and asymmetric functions with stability results. Algebr. Geom. Topol. 19 (2019), no. 3, 1135--1170. doi:10.2140/agt.2019.19.1135. https://projecteuclid.org/euclid.agt/1559095421


Export citation

References

  • D Burago, Y Burago, S Ivanov, A course in metric geometry, Graduate Studies in Mathematics 33, Amer. Math. Soc., Providence, RI (2001)
  • G Carlsson, Topology and data, Bull. Amer. Math. Soc. 46 (2009) 255–308
  • F Chazal, D Cohen-Steiner, M Glisse, L J Guibas, S Y Oudot, Proximity of persistence modules and their diagrams, from “Proceedings of the twenty-fifth annual symposium on computational geometry”, ACM, New York (2009) 237–246
  • F Chazal, D Cohen-Steiner, L J Guibas, F Mémoli, S Y Oudot, Gromov–Hausdorff stable signatures for shapes using persistence, Computer Graphics Forum 28 (2009) 1393–1403
  • F Chazal, V de Silva, S Oudot, Persistence stability for geometric complexes, Geom. Dedicata 173 (2014) 193–214
  • S Chowdhury, F Mémoli, A functorial Dowker theorem and persistent homology of asymmetric networks, preprint (2016)
  • S Chowdhury, F Mémoli, Convergence of hierarchical clustering and persistent homology methods on directed networks, preprint (2017)
  • S Chowdhury, F Mémoli, Persistent path homology of directed networks, from “Proceedings of the twenty-ninth annual ACM–SIAM symposium on discrete algorithms” (A Czumaj, editor), SIAM, Philadelphia (2018) 1152–1169
  • H Edelsbrunner, J Harer, Persistent homology: a survey, from “Surveys on discrete and computational geometry” (J E Goodman, J Pach, R Pollack, editors), Contemp. Math. 453, Amer. Math. Soc., Providence, RI (2008) 257–282
  • R Ghrist, Barcodes: the persistent topology of data, Bull. Amer. Math. Soc. 45 (2008) 61–75
  • M Kaiser, A tutorial in connectome analysis: topological and spatial features of brain networks, Neuroimage 57 (2011) 892–907
  • S Klamt, A von Kamp, Computing paths and cycles in biological interaction graphs, BMC Bioinformatics 10 (2009) art. id. 181
  • M J Kukieła, On homotopy types of Alexandroff spaces, Order 27 (2010) 9–21
  • H Lee, M K Chung, H Kang, B-N Kim, D S Lee, Discriminative persistent homology of brain networks, from “2011 IEEE international symposium on biomedical imaging: from nano to macro” (S Wright, X Pan, M Liebling, editors), IEEE, Piscataway, NJ (2011) 841–844
  • J P May, Finite spaces and simplicial complexes, lecture notes (2003) Available at \setbox0\makeatletter\@url http://www.math.uchicago.edu/~may/MISCMaster.html {\unhbox0
  • M C McCord, Singular homology groups and homotopy groups of finite topological spaces, Duke Math. J. 33 (1966) 465–474
  • J R Munkres, Elements of algebraic topology, volume 2, Addison-Wesley, Menlo Park, CA (1984)
  • M W Reimann, M Nolte, M Scolamiero, K Turner, R Perin, G Chindemi, P Dłotko, R Levi, K Hess, H Markram, Cliques of neurons bound into cavities provide a missing link between structure and function, Front. Comput. Neurosci. 11 (2017) 48
  • S Weinberger, What is$\ldots$persistent homology?, Notices Amer. Math. Soc. 58 (2011) 36–39
  • K Xia, G-W Wei, Persistent homology analysis of protein structure, flexibility, and folding, Int. J. Numer. Methods Biomed. Eng. 30 (2014) 814–844
  • A Zomorodian, G Carlsson, Computing persistent homology, Discrete Comput. Geom. 33 (2005) 249–274