Vietoris–Rips Filtration

In topological data analysis, the Vietoris–Rips filtration (sometimes shortened to "Rips filtration") is the collection of nested Vietoris–Rips complexes on a metric space created by taking the sequence of Vietoris–Rips complexes over an increasing scale parameter. Often, the Vietoris–Rips filtration is used to create a discrete, simplicial model on point cloud data embedded in an ambient metric space. The Vietoris–Rips filtration is a multiscale extension of the Vietoris–Rips complex that enables researchers to detect and track the persistence of topological features, over a range of parameters, by way of computing the persistent homology of the entire filtration. It is named after Leopold Vietoris and Eliyahu Rips.

Definition

The Vietoris–Rips filtration is the nested collection of Vietoris–Rips complexes indexed by an increasing scale parameter. The Vietoris–Rips complex is a classical construction in mathematics that dates back to a 1927 paper of Leopold Vietoris, though it was independently considered by Eliyahu Rips in the study of hyperbolic groups, as noted by Mikhail Gromov in the 1980s. The conjoined name "Vietoris–Rips" is due to Jean-Claude Hausmann.

Given a metric space $X$ and a scale parameter (sometimes called the ''threshold'' or ''distance parameter'') $r \in$diameter'', i.e. the maximum distance of points lying in $S$.

Observe that if $r \leq s \in [0, \infty)$, there is a simplicial inclusion map">Simplicial map">simplicial inclusion map $\mathbf_r(X) \hookrightarrow \mathbf_s(X)$ . The Vietoris–Rips filtration is the nested collection of complexes $\mathbf_r(X)$ :

$\mathbf(X) = \_$

If the non-negative real numbers $[0, \infty)$ are viewed as a posetal category via the $\leq$ Partially ordered set, relation, then the Vietoris–Rips filtration can be viewed as a functor $\mathbf(X) :$category of simplicial complexes and simplicial maps, where the morphisms (i.e., relations in the poset) in the source category induce inclusion maps among the complexes. Note that the category of simplicial complexes may be viewed as a subcategory of $\mathbf$, the category of topological spaces, by post-composing with the geometric realization functor.

Properties

The ''size'' of a filtration refers to the number of simplices in the largest complex, assuming the underlying metric space is finite. The $k$-skeleton, i.e., the number of simplices up to dimension $k$, of the Vietoris–Rips filtration is known to be $O\left(n^\right)$, where $n$ is the number of points. The size of the complete skeleton has precisely $2^n - 1$ simplices, one for each non-empty subset of points. Since this is exponential, researchers usually only compute the skeleton of the Vietoris–Rips filtration up to small values of $k$.

When the underlying metric space is finite, the Vietoris–Rips filtration is sometimes referred to as ''essentially discrete'', meaning that there exists some ''terminal'' or ''maximum'' scale parameter $r_ \in [0, \infty)$ such that $\mathbf_s(X) = \mathbf_(X)$ for all $s \geq r_$, and furthermore that the inclusion map $\mathbf_(X): \mathbf_s(X) \hookrightarrow \mathbf_(X)$ is an isomorphism for all but finitely many parameters $s \leq t$. In other words, when the underlying metric space is finite, the Vietoris–Rips filtration has a largest complex, and the complex changes at only a finite number of steps. The latter implies that the Vietoris–Rips filtration on a finite metric space can be considered as indexed over a discrete set such as $\mathbb N$, by restricting the filtration to the scale parameters at which the filtration changes, then relabeling the complexes using the natural numbers.

An explicit bound can also be given for the number of steps at which the Vietoris–Rips filtration changes. The Vietoris–Rips complex is a ''clique complex'', meaning it is entirely determined by its 1-skeleton. Therefore the number of steps at which the Vietoris–Rips filtration changes is bounded by the number of edges in the largest complex. The number of edges in the largest complex is $= n(n-1)/2$, since all $n$ vertices are joined by an edge. Therefore the Vietoris–Rips filtration changes at $O(n^2)$ steps, where $O(-)$ denotes an asymptotic upper bound.

For points in Euclidean space, the Vietoris–Rips filtration is an approximation to the Čech filtration, in the sense of the interleaving distance. This follows from the fact that for any scale parameter $\alpha$, the Vietoris–Rips and Čech complexes on a finite set $X$ of points in Euclidean space satisfy the inclusion relationship $\mathbf_\alpha (X) \subseteq \operatorname_(X) \subseteq \mathbf_(X)$, which is sometimes referred to as the ''Vietoris–Rips Lemma.'' In general metric spaces, a straightforward application of the triangle inequality shows that $\mathbf_\alpha (X) \subseteq \operatorname_(X) \subseteq \mathbf_(X)$ for any scale parameter $\alpha$.

Variants

Approximations

Since the Vietoris–Rips filtration has an exponential number of simplices in its complete skeleton, a significant amount of research has been done on approximating the persistent homology of the Vietoris–Rips filtration using constructions of smaller size. The first work in this direction was published by computer scientist Donald Sheehy in 2012, who showed how to construct a filtration of $O(n)$ size in $O(n \log n)$ time that approximates the persistent homology of the Vietoris–Rips filtration to a desired margin of error. This type of filtration is known as a S''parse Vietoris–Rips filtration'', since it removes points from the standard Vietoris–Rips filtration using ideas from computational geometry related to geometric spanners. Since then, there have been several more efficient methods developed for approximating the Vietoris–Rips filtration, mostly using the ideas of Sheehy, but also building upon approximation schemes developed for the Čech and Delaunay filtrations.

Multiparameter Extensions

It is known that persistent homology can be sensitive to outliers in the underlying data set. To remedy this, in 2009 Gunnar Carlsson and Afra Zomorodian proposed a multidimensional version of persistence, that considers filtrations with respect to multiple parameters, such as scale and density.

To that end, several multiparameter extensions of the Vietoris–Rips filtration have been developed.

* The ''Degree-Rips bifiltration'' extends the Vietoris–Rips filtration by constructing a sub-graph of the 1-skeleton of each complex in the Vietoris–Rips filtration, restricting only to vertices whose degree is at least a given parameter a \in a defines a filtration of ''each'' complex in the Vietoris–Rips filtration, where the complexes get smaller as $a$ increases. Altogether, this defines a 2-parameter extension of the Vietoris–Rips filtration, by considering the collection of bi-filtered complexes over all scale parameters $(a,r) \in \mathbb R^\operatorname \times \mathbb R$, where "op" denotes the opposite poset.
* The ''Function-Rips bifiltration'' extends the Vietoris–Rips filtration by bifiltering each complex according to the superlevel-sets of some function $\gamma: X \to \mathbb R$, where $\gamma$ can be a density function, an eccentricity function, or any other function. Namely, each complex is defined via $\mathbf\text\mathbf_(\gamma) = \mathbf_r (\gamma^[a, \infty))$, which yields a bifiltration indexed over $\mathbb R^\operatorname \times [0, \infty)$.
* The ''Subdivision bifiltration">subdivision-Rips bifiltration'' extends the Vietoris–Rips filtration by taking the barycentric subdivision of each complex in the Vietoris–Rips filtration, then filtering these complexes by dimension of each flag. Namely, the barycentric subdivision of a simplicial complex is the abstract simplicial complex defined using flags of simplices in the underlying complex, where a ''flag'' (sometimes called a ''chain'') is a nested series of simplices $\sigma_0 \subset \cdots\subset\sigma_m$. Then given the barycentric subdivision of a complex, one can filter it by taking the subcomplex spanned by vertices corresponding to simplices in the original complex of some minimum dimension $k$. The collection of all such complexes yields a bifiltration indexed over $[0, \infty)^{\operatorname{op \times [0, \infty)$.D. R. Sheehy
“A multicover nerve for geometric inference,”
in ''CCCG: Canadian conference in computational geometry'', 2012.

References

Applied mathematics
Computational topology
Geometric topology
Data analysis
Discrete mathematics