The Shadow of Vietoris--Rips Complexes in Limits

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Kawamura, Kazuhiro, Majhi, Sushovan, Mitra, Atish
Format: Preprint
Published: 2026
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866915707301658624
author Kawamura, Kazuhiro
Majhi, Sushovan
Mitra, Atish
author_facet Kawamura, Kazuhiro
Majhi, Sushovan
Mitra, Atish
contents The Vietoris-Rips complex, denoted $R_β(X)$, of a metric space $(X,d)$ at scale $β$ is an abstract simplicial complex where each $k$-simplex corresponds to $(k+1)$ points of $X$ within diameter $β$. For any abstract simplicial complex $K$ with the vertex set $K^{(0)}$ a Euclidean subset, its shadow, denoted $S(K)$, is the union of the convex hulls of simplices of $K$. This article centers on the homotopy properties of the shadow of Vietoris-Rips complexes $K=R_β(X)$ with vertices from $\mathbb{R}^N$, along with the canonical projection map $ p\colon R_β(X) \to S(R_β(X))$. The study of the geometric/topological behavior of $p$ is a natural yet non-trivial problem. The map $p$ may have many ``singularities'', which have been partially resolved only in low dimensions $N\leq 3$. The obstacle naturally leads us to study systems of these complexes $\{S(R_β(S)) \mid β> 0, S\subset X\}$. We address the challenge posed by singularities in the shadow projection map by studying systems of the shadow complex using inverse system techniques from shape theory, showing that the limit map exhibits favorable homotopy-theoretic properties. More specifically, leveraging ideas and frameworks from Shape Theory, we show that in the limit ``$β\to 0$ and $S \to X$'', the limit map ``$\lim p$'' behaves well with respect to homotopy/homology groups when $X$ is an ANR (Absolute Neighborhood Retract) and admits a metric that satisfies some regularity conditions. This results in limit theorems concerning the homotopy properties of systems of these complexes as the proximity scale parameter approaches zero and the sample set approaches the underlying space (e.g., a submanifold or Euclidean graph). The paper concludes by discussing the potential of these results for finite reconstruction problems in one-dimensional submanifolds.
format Preprint
id arxiv_https___arxiv_org_abs_2601_01359
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle The Shadow of Vietoris--Rips Complexes in Limits
Kawamura, Kazuhiro
Majhi, Sushovan
Mitra, Atish
Algebraic Topology
Geometric Topology
The Vietoris-Rips complex, denoted $R_β(X)$, of a metric space $(X,d)$ at scale $β$ is an abstract simplicial complex where each $k$-simplex corresponds to $(k+1)$ points of $X$ within diameter $β$. For any abstract simplicial complex $K$ with the vertex set $K^{(0)}$ a Euclidean subset, its shadow, denoted $S(K)$, is the union of the convex hulls of simplices of $K$. This article centers on the homotopy properties of the shadow of Vietoris-Rips complexes $K=R_β(X)$ with vertices from $\mathbb{R}^N$, along with the canonical projection map $ p\colon R_β(X) \to S(R_β(X))$. The study of the geometric/topological behavior of $p$ is a natural yet non-trivial problem. The map $p$ may have many ``singularities'', which have been partially resolved only in low dimensions $N\leq 3$. The obstacle naturally leads us to study systems of these complexes $\{S(R_β(S)) \mid β> 0, S\subset X\}$. We address the challenge posed by singularities in the shadow projection map by studying systems of the shadow complex using inverse system techniques from shape theory, showing that the limit map exhibits favorable homotopy-theoretic properties. More specifically, leveraging ideas and frameworks from Shape Theory, we show that in the limit ``$β\to 0$ and $S \to X$'', the limit map ``$\lim p$'' behaves well with respect to homotopy/homology groups when $X$ is an ANR (Absolute Neighborhood Retract) and admits a metric that satisfies some regularity conditions. This results in limit theorems concerning the homotopy properties of systems of these complexes as the proximity scale parameter approaches zero and the sample set approaches the underlying space (e.g., a submanifold or Euclidean graph). The paper concludes by discussing the potential of these results for finite reconstruction problems in one-dimensional submanifolds.
title The Shadow of Vietoris--Rips Complexes in Limits
topic Algebraic Topology
Geometric Topology
url https://arxiv.org/abs/2601.01359