Topological Analysis of Nerves, Reeb Spaces, Mappers, and Multiscale Mappers

Data analysis often concerns not only the space where data come from, but also various types of maps attached to data. In recent years, several related structures have been used to study maps on data, including Reeb spaces, mappers and multiscale mappers. The construction of these structures also relies on the so-called nerve of a cover of the domain. In this paper, we aim to analyze the topological information encoded in these structures in order to provide better understanding of these structures and facilitate their practical usage. More specifically, we show that the one-dimensional homology of the nerve complex N(U) of a path-connected cover U of a domain X cannot be richer than that of the domain X itself. Intuitively, this result means that no new H_1-homology class can be "created" under a natural map from X to the nerve complex N(U). Equipping X with a pseudometric d, we further refine this result and characterize the classes of H_1(X) that may survive in the nerve complex using the notion of size of the covering elements in U. These fundamental results about nerve complexes then lead to an analysis of the H_1-homology of Reeb spaces, mappers and multiscale mappers. The analysis of H_1-homology groups unfortunately does not extend to higher dimensions. Nevertheless, by using a map-induced metric, establishing a Gromov-Hausdorff convergence result between mappers and the domain, and interleaving relevant modules, we can still analyze the persistent homology groups of (multiscale) mappers to establish a connection to Reeb spaces.

[1]  Ulrich Bauer,et al.  Measuring Distance between Reeb Graphs , 2013, SoCG.

[2]  Steve Oudot,et al.  The Structure and Stability of Persistence Modules , 2012, Springer Briefs in Mathematics.

[3]  P. Y. Lum,et al.  Extracting insights from the shape of complex data using topology , 2013, Scientific Reports.

[4]  Leonidas J. Guibas,et al.  Proximity of persistence modules and their diagrams , 2009, SCG '09.

[5]  Facundo Mémoli,et al.  Topological Methods for the Analysis of High Dimensional Data Sets and 3D Object Recognition , 2007, PBG@Eurographics.

[6]  Bei Wang,et al.  Convergence between Categorical Representations of Reeb Space and Mapper , 2015, SoCG.

[7]  Tamal K. Dey,et al.  Reeb Graphs: Approximation and Persistence , 2011, SoCG '11.

[8]  Herbert Edelsbrunner,et al.  Reeb spaces of piecewise linear mappings , 2008, SCG '08.

[9]  Jian Sun,et al.  Gromov-Hausdorff Approximation of Filament Structure Using Reeb-type Graph , 2014, SoCG.

[10]  Yusu Wang,et al.  A Complete Characterization of the One-Dimensional Intrinsic Čech Persistence Diagrams for Metric Graphs , 2017, 1702.07379.

[11]  Anders Björner,et al.  Nerves, fibers and homotopy groups , 2003, J. Comb. Theory, Ser. A.

[12]  Roar Bakken Stovner On the Mapper Algorithm: A study of a new topological method for data analysis , 2012 .

[13]  K. Borsuk On the imbedding of systems of compacta in simplicial complexes , 1948 .

[14]  Amit Patel,et al.  Categorified Reeb Graphs , 2015, Discret. Comput. Geom..

[15]  J. Leray,et al.  L'anneau spectral et l'anneau filtré d'homologie d'un espace localement compact et d'une application continue , 1950 .

[16]  Steve Oudot,et al.  Structure and Stability of the 1-Dimensional Mapper , 2016, SoCG.

[17]  Herbert Edelsbrunner,et al.  Computational Topology - an Introduction , 2009 .

[18]  Tamal K. Dey,et al.  Multiscale Mapper: Topological Summarization via Codomain Covers , 2016, SODA.

[19]  V. Prasolov,et al.  Elements of combinatorial and differential topology , 2006 .

[20]  Steve Oudot,et al.  Persistence stability for geometric complexes , 2012, ArXiv.

[21]  R. Ho Algebraic Topology , 2022 .

[22]  Daniela Giorgi,et al.  Reeb graphs for shape analysis and applications , 2008, Theor. Comput. Sci..