Gromov-Wasserstein Bound between Reeb and Mapper Graphs
Abstract
Since its introduction as a computable approximation of the Reeb graph, the Mapper graph has become one of the most popular tools from topological data analysis for performing data visualization and inference. However, finding an appropriate metric (that is, a tractable metric with theoretical guarantees) for comparing Reeb and Mapper graphs, in order to, e.g., quantify the rate of convergence of the Mapper graph to the Reeb graph, is a difficult problem. While several metrics have been proposed in the literature, none is able to incorporate measure information, when data points are sampled according to an underlying probability measure. The resulting Reeb and Mapper graphs are therefore purely deterministic and combinatorial, and substantial effort is thus required to ensure their statistical validity. In this article, we handle this issue by treating Reeb and Mapper graphs as metric measure spaces. This allows us to use Gromov-Wasserstein metrics to compare these graphs directly in order to better incorporate the probability measures that data points are sampled from. Then, we describe the geometry that arises from this perspective, and we derive rates of convergence of the Mapper graph to the Reeb graph in this context. Finally, we showcase the usefulness of such metrics for Reeb and Mapper graphs in a few numerical experiments.
Related
- Algebraic realization of stable Poincaré-Reeb graphs
- Gromov-compactifiability of Wasserstein spaces
- Quantitative Stability and Sample Complexity for Regularized Gromov-Wasserstein Distance
- Dynamic Generalized Gromov-Wasserstein Optimal Transport
- A Provably Convergent and Practical Algorithm for Gromov--Wasserstein Optimal Transport
BibTeX
@article{oulhaj2026gromovwasserstein,
title = {{Gromov-Wasserstein Bound between Reeb and Mapper Graphs}},
author = {Ziyad Oulhaj and Mathieu Carrière and Bertrand Michel},
journal = {Journal of Applied and Computational Topology},
year = {2026},
month = oct,
doi = {10.1007/s41468-026-00254-y},
eprint = {2506.02810},
archivePrefix = {arXiv},
url = {https://inria.hal.science/hal-05097643v1},
note = {CC BY 4.0},
}
RIS
TY - JOUR
TI - Gromov-Wasserstein Bound between Reeb and Mapper Graphs
AU - Ziyad Oulhaj
AU - Mathieu Carrière
AU - Bertrand Michel
PY - 2026
DA - 2026/10/13
JO - Journal of Applied and Computational Topology
DO - 10.1007/s41468-026-00254-y
UR - https://inria.hal.science/hal-05097643v1
AB - Since its introduction as a computable approximation of the Reeb graph, the Mapper graph has become one of the most popular tools from topological data analysis for performing data visualization and inference. However, finding an appropriate metric (that is, a tractable metric with theoretical guarantees) for comparing Reeb and Mapper graphs, in order to, e.g., quantify the rate of convergence of the Mapper graph to the Reeb graph, is a difficult problem. While several metrics have been proposed in the literature, none is able to incorporate measure information, when data points are sampled according to an underlying probability measure. The resulting Reeb and Mapper graphs are therefore purely deterministic and combinatorial, and substantial effort is thus required to ensure their statistical validity. In this article, we handle this issue by treating Reeb and Mapper graphs as metric measure spaces. This allows us to use Gromov-Wasserstein metrics to compare these graphs directly in order to better incorporate the probability measures that data points are sampled from. Then, we describe the geometry that arises from this perspective, and we derive rates of convergence of the Mapper graph to the Reeb graph in this context. Finally, we showcase the usefulness of such metrics for Reeb and Mapper graphs in a few numerical experiments.
SN - 2367-1726
ER -