Bi-Filtration and Stability of TDA Mapper for Point Cloud Data

TL;DR

This paper investigates the stability and filtration properties of TDA Mapper applied to point cloud data, analyzing how parameter choices and noise affect the resulting topological summaries and proposing methods to ensure stability.

Contribution

It introduces a bi-filtration approach for TDA Mapper that ensures stability under data perturbations by adjusting cover size and psilon, especially when using DBSCAN clustering.

Findings

Filtrations exist for MinPts = 1 or 2 but are unstable in 1D.

Adding noise can significantly alter persistent homology.

Bi-filtrations with respect to cover size and psilon are 2 elta-interleaved.

Abstract

Carlsson, Singh and Memoli's TDA mapper takes a point cloud dataset and outputs a graph that depends on several parameter choices. Dey, Memoli, and Wang developed Multiscale Mapper for abstract topological spaces so that parameter choices can be analyzed via persistent homology. However, when applied to actual data, one does not always obtain filtrations of mapper graphs. DBSCAN, one of the most common clustering algorithms used in the TDA mapper software, has two parameters, \textbf{$\epsilon$} and \textbf{MinPts}. If \textbf{MinPts = 1} then DBSCAN is equivalent to single linkage clustering with cutting height \textbf{$\epsilon$}. We show that if DBSCAN clustering is used with \textbf{MinPts $>$ 2}, a filtration of mapper graphs may not exist except in the absence of free-border points; but such filtrations exist if DBSCAN clustering is used with \textbf{MinPts = 1} or \textbf{2} as the cover size increases, \textbf{$\epsilon$} increases, and/or \textbf{MinPts} decreases. However, the 1-dimensional filtration is unstable. If one adds noise to a data set so that each data point has been perturbed by a distance at most \textbf{$\delta$}, the persistent homology of the mapper graph of the perturbed data set can be significantly different from that of the original data set. We show that we can obtain stability by increasing both the cover size and \textbf{$\epsilon$} at the same time. In particular, we show that the bi-filtrations of the homology groups with respect to cover size and $\epsilon$ between these two datasets are \textbf{2$\delta$}-interleaved.