Convergence between categorical representations of Reeb space and mapper

DOI10.4230/LIPICS.SOCG.2016.53zbMATH Open1388.68289arXiv1512.04108MaRDI QIDQ3132889FDOQ3132889

Bei Wang, Elizabeth Munch

Publication date: 30 January 2018

Abstract: The Reeb space, which generalizes the notion of a Reeb graph, is one of the few tools in topological data analysis and visualization suitable for the study of multivariate scientific datasets. First introduced by Edelsbrunner et al., it compresses the components of the level sets of a multivariate mapping and obtains a summary representation of their relationships. A related construction called mapper, and a special case of the mapper construction called the Joint Contour Net have been shown to be effective in visual analytics. Mapper and JCN are intuitively regarded as discrete approximations of the Reeb space, however without formal proofs or approximation guarantees. An open question has been proposed by Dey et al. as to whether the mapper construction converges to the Reeb space in the limit. In this paper, we are interested in developing the theoretical understanding of the relationship between the Reeb space and its discrete approximations to support its use in practical data analysis. Using tools from category theory, we formally prove the convergence between the Reeb space and mapper in terms of an interleaving distance between their categorical representations. Given a sequence of refined discretizations, we prove that these approximations converge to the Reeb space in the interleaving distance; this also helps to quantify the approximation quality of the discretization at a fixed resolution.

Full work available at URL: https://arxiv.org/abs/1512.04108

Recommendations

• Statistical analysis of Mapper for stochastic and multivariate filters
• Probabilistic convergence and stability of random mapper graphs
• Reeb spaces of piecewise linear mappings
• Structure and stability of the one-dimensional Mapper
• Structure and stability of the 1-dimensional mapper

zbMATH Keywords

topological data analysiscategory theoryReeb spacemapper

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) General geometric structures on low-dimensional manifolds (57M50) Low-dimensional topology of special (e.g., branched) coverings (57M12)

Cited In (12)

• Structure and stability of the one-dimensional Mapper
• Certified Mapper: Repeated Testing for Acyclicity and Obstructions to the Nerve Lemma
• Sheaf-theoretic stratification learning from geometric and topological perspectives
• Topological Data Analysis of Single-Cell Hi-C Contact Maps
• The Approximation of Pareto Sets Using Directed Joint Contour Nets
• Statistical Analysis and Parameter Selection for Mapper
• Topological spaces of persistence modules and their properties
• On the Reeb spaces of definable maps
• Stitch fix for mapper and topological gains
• Statistical analysis of Mapper for stochastic and multivariate filters
• Probabilistic convergence and stability of random mapper graphs
• Classification of Constructible Cosheaves

This page was built for publication: Convergence between categorical representations of Reeb space and mapper

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3132889)