arXiv subjects

Kenneth McCabe

Publications and source records attributed to Kenneth McCabe.

3 recordsLinked to original sources

arXiv2026

Lower Bounds for Approximating the Vietoris-Rips Filtration

The Vietoris-Rips filtration $\mathcal{VR}(-)$ is a standard tool for analyzing the shape of data within topological data analysis. Beginning with seminal work of Sheehy, a substantial amount of research has centered on constructing linear-size sparse approximations to $\mathcal{VR}(-)$ and related filtrations for metric spaces of bounded doubling dimension. We show that this geometric assumption is necessary in a precise sense. Working in the framework of homotopy interleavings, we show that for any fixed $c \in [1, \sqrt{2})$, there exists a family of finite metric spaces for which any finitely presented $c$-approximation to $\mathcal{VR}(-)$ has exponential size. We also show that for any fixed $c \geq 1$, there exists a family of finite metric spaces for which any finitely presented $c$-approximation to $\mathcal{VR}(-)$ has superlinear size, yielding an obstruction to linear-size approximations for any fixed approximation factor. Both results extend to the intrinsic \v{C}ech filtration and to any bifiltration containing $\mathcal{VR}(-)$ as a $1$-parameter slice, including the function-Rips, degree-Rips, and subdivision-Rips bifiltrations.

math.AT↗

arXiv2024

Sparse Approximation of the Subdivision-Rips Bifiltration for Doubling Metrics

The Vietoris-Rips filtration, the standard filtration on metric data in topological data analysis, is notoriously sensitive to outliers. Sheehy's subdivision-Rips bifiltration $\mathcal{SR}(-)$ is a density-sensitive refinement that is robust to outliers in a strong sense, but whose 0-skeleton has exponential size. For $X$ a finite metric space of constant doubling dimension and fixed $\epsilon>0$, we construct a $(1+\epsilon)$-homotopy interleaving approximation of $\mathcal{SR}(X)$ whose $k$-skeleton has size $O(|X|^{k+2})$. For $k\geq 1$ constant, the $k$-skeleton can be computed in time $O(|X|^{k+3})$.

math.AT↗

arXiv2024

Nerve Models of Subdivision Bifiltrations

We study the size of Sheehy's subdivision bifiltrations, up to homotopy. We focus in particular on the subdivision-Rips bifiltration $\mathcal{SR}(X)$ of a metric space $X$, the only density-sensitive bifiltration on metric spaces known to satisfy a strong robustness property. Given a simplicial filtration $\mathcal{F}$ with a total of $m$ maximal simplices across all indices, we introduce a nerve-based simplicial model for its subdivision bifiltration $\mathcal{SF}$ whose $k$-skeleton has size $O(m^{k+1})$. We also show that the $0$-skeleton of any simplicial model of $\mathcal{SF}$ has size at least $m$. We give several applications: For an arbitrary metric space $X$, we introduce a $\sqrt{2}$-approximation to $\mathcal{SR}(X)$, denoted $\mathcal{J}(X)$, whose $k$-skeleton has size $O(|X|^{k+2})$. This improves on the previous best approximation bound of $\sqrt{3}$, achieved by the degree-Rips bifiltration, which implies that $\mathcal{J}(X)$ is more robust than degree-Rips. Moreover, we show that the approximation factor of $\sqrt{2}$ is tight; in particular, there exists no exact model of $\mathcal{SR}(X)$ with poly-size skeleta. On the other hand, we show that for $X$ in a fixed-dimensional Euclidean space with the $\ell_p$-metric, there exists an exact model of $\mathcal{SR}(X)$ with poly-size skeleta for $p\in \{1, \infty\}$, as well as a $(1+\epsilon)$-approximation to $\mathcal{SR}(X)$ with poly-size skeleta for any $p \in (1, \infty)$ and fixed ${\epsilon > 0}$.

math.AT↗