Improved approximate rips filtrations with shifted integer lattices and cubical complexes

Abstract

Rips complexes are important structures for analyzing topological features of metric spaces. Unfortunately, generating these complexes is expensive because of a combinatorial explosion in the complex size. For n points in ${\mathbb{R}}^d$, we present a scheme to construct a 2-approximation of the filtration of the Rips complex in the $L_{\infty }$-norm, which extends to a $2d^{0.25}$-approximation in the Euclidean case. The k-skeleton of the resulting approximation has a total size of $n{2}^{O(dlogk+d)}$. The scheme is based on the integer lattice and simplicial complexes based on the barycentric subdivision of the d-cube. We extend our result to use cubical complexes in place of simplicial complexes by introducing cubical maps between complexes. We get the same approximation guarantee as the simplicial case, while reducing the total size of the approximation to only $n{2}^{O(d)}$ (cubical) cells. There are two novel techniques that we use in this paper. The first is the use of acyclic carriers for proving our approximation result. In our application, these are maps which relate the Rips complex and the approximation in a relatively simple manner and greatly reduce the complexity of showing the approximation guarantee. The second technique is what we refer to as scale balancing, which is a simple trick to improve the approximation ratio under certain conditions.

Introduction

Context. Persistent homology (Carlsson 2009; Edelsbrunner and Harer 2010; Edelsbrunner et al. 2002) is a technique to analyze data sets using topological invariants. The idea is to build a multi-scale representation of data sets and to track its homological changes across the scales.

A standard construction for the important case of point clouds in Euclidean space is the Vietoris-Rips complex (usually abbreviated as simply the Rips complex): for a scale parameter $\alpha \ge 0$, it is the collection of all subsets of points with diameter at most $\alpha$. When $\alpha$ increases from 0 to $\infty$, the Rips complexes form a filtration, an increasing sequence of nested simplicial complexes whose homological changes can be computed and represented in terms of a barcode.

The computational drawback of Rips complexes is their sheer size: the k-skeleton of a Rips complex (that is, where only subsets of size at most $k+1$ are considered) for n points consists of $\mathrm{\Theta }(n^{k+1})$ simplices because every $(k+1)$-subset joins the complex for a sufficiently large scale parameter. This size bound makes barcode computations for large point clouds infeasible even for low-dimensional homological features1. This difficulty motivates the question of what we can say about the barcode of the Rips filtration without explicitly constructing all of its simplices.

We address this question using approximation techniques. The space of barcodes forms a metric space: two barcodes are close if similiar homological features occur on roughly the same range of scales. More precisely, the bottleneck distance is used as a distance metric between barcodes. The first approximation scheme by Sheehy (2013) constructs a $(1+\epsilon )$-approximation of the k-skeleton of the Rips filtration using only $n{(\frac{1}{\epsilon })}^{O(\lambda k)}$ simplices for arbitrary finite metric spaces, where $\lambda$ is the doubling dimension of the metric. Further approximation techniques for Rips complexes (Dey et al. 2014) and the closely related Čech complexes (Botnan and Spreemann 2015; Cavanna et al. 2015; Kerber and Sharathkumar 2013) have been derived subsequently, all with comparable size bounds. More recently, we constructed an approximation scheme (Choudhary et al. 2019) for the Čech filtrations of n points in ${\mathbb{R}}^d$ that had size $n{\left(\frac{1}{\epsilon }\right)}^{O(d)}{2}^{O(dlogd+dk)}$ for the k-skeleton, improving the size bound from previous work.

In Choudhary et al. (2017b), we constructed an approximation scheme for Rips filtration in Euclidean space that yields a worse approximation factor of only O(d), but uses only $n{2}^{O(dlogk+d)}$ simplices. In Choudhary et al. (2017b), we also show a lower bound result on the size of approximations: for any $\epsilon <1/{log}^{1+c}n$ with some constant $c\in (0,1)$, any $\epsilon$-approximate filtration has size $n^{\mathrm{\Omega }(loglogn)}$.

There has also been work on using cubical complexes to compute persistent homology, such as in Wagner et al. (2012). Cubical complexes are typically smaller than their simplicial counterparts, simply because they avoid triangulations. However, to our knowledge, there has been no attempt to utilize them in computing approximations of filtrations. Also, while there are efficient methods to compute persistence for simplicial complexes connected with simplicial maps (Dey et al. 2014; Kerber and Schreiber 2017), we are not aware of such counterparts for cubical complexes.

Our contributions. For the Rips filtration of n points in ${\mathbb{R}}^d$ with distances taken in the $L_{\infty }$-norm, we present a 2-approximation whose k-skeleton has size at most $n{6}^{d-1}(2k+4)(k+3)!\left\{\begin{array}{c}d\\ k+2\end{array}\right\}=n{2}^{O(dlogk+d)}$ where $\left\{\begin{array}{c}a\\ b\end{array}\right\}$ denotes Stirling numbers of the second kind. This translates to a $2d^{0.25}$-approximation of the Rips filtration in the Euclidean metric and hence improves the asymptotic approximation quality of our previous approach (Choudhary et al. 2017b) with the same size bound. Our scheme gives the best size guarantee over all previous approaches.

On a high level, our approach follows a straightforward approximation scheme: given a scaled and appropriately shifted integer grid on ${\mathbb{R}}^d$, we identify those grid points that are close to the input points and build an approximation complex using these grid points. The challenge lies in how to connect these grid points to a simplicial complex such that close-by grid points are connected, while avoiding too many connections to keep the size small. Our approach first selects a set of active faces in the cubical complex defined over the grid, and defines the approximation complex using the barycentric subdivision of this cubical complex.

We also describe an output-sensitive algorithm to compute our approximation. By randomizing the aforementioned shifts of the grids, we obtain a worst-case running time of $n{2}^{O(d)}log\mathrm{\Delta }+2^{O(d)}M$ in expectation, where $\mathrm{\Delta }$ is the spread of the point set (that is, the ratio of the diameter to the closest distance of two points) and M is the size of the approximation.

Additionally, this paper makes the following technical contributions:

• We follow the standard approach of defining a sequence of approximation complexes and establishing an interleaving between the Rips filtration and the approximation. We realize our interleaving using chain maps connecting a Rips complex at scale $\alpha$ to an approximation complex at scale $c\alpha$, and vice versa, with $c\ge 1$ being the approximation factor. Previous approaches (Choudhary et al. 2017b; Dey et al. 2014; Sheehy 2013) used simplicial maps for the interleaving, which induce an elementary form of chain maps and are therefore more restrictive.

  The explicit construction of such maps can be a non-trivial task. The novelty of our approach is that we avoid this construction by the usage of acyclic carriers (Munkres 1984). In short, carriers are maps that assign subcomplexes to subcomplexes under some mild extra conditions. While they are more flexible, they still certify the existence of suitable chain maps, as we exemplify in Sect. 2. We believe that this technique is of general interest for the construction of approximations of cell complexes.

• We exploit a simple trick that we call scale balancing to improve the quality of approximation schemes. In short, if the aforementioned interleaving maps from and to the Rips filtration do not increase the scale parameter by the same amount, one can simply multiply the scale parameter of the approximation by a constant. Concretely, given maps

  $$\begin{array}{c}\hfill {\varphi }_{\alpha }:{\mathcal{R}}_{\alpha }\to {\mathcal{X}}_{\alpha }{\psi }_{\alpha }:{\mathcal{X}}_{\alpha }\to {\mathcal{R}}_{c\alpha }\end{array}$$

  interleaving the Rips complex ${\mathcal{R}}_{\alpha }$ and the approximation complex ${\mathcal{X}}_{\alpha }$, we can define ${\mathcal{X}}_{\alpha }^{\prime }:={\mathcal{X}}_{\alpha /\sqrt{c}}$ and obtain maps

  $$\begin{array}{c}\hfill {\varphi }_{\alpha }^{\prime }:{\mathcal{R}}_{\alpha }\to {\mathcal{X}}_{\sqrt{c}\alpha }^{\prime }{\psi }_{\alpha }:{\mathcal{X}}_{\alpha }^{\prime }\to {\mathcal{R}}_{\sqrt{c}\alpha }\end{array}$$

  which improves the interleaving from c to $\sqrt{c}$. While it has been observed that the same trick can be used for improving the worst-case distance between Rips and Čech filtrations,2 our work seems to be the first to make use of it in the context of approximations.

• We extend our approximation scheme to use cubical complexes instead of simplicial complexes, thereby achieving a marked reduction in size complexity. To connect the cubical complexes at different scales, we introduce the notion of cubical maps, which is a simple extension of simplicial maps to the cubical case. While we do not know of an algorithm that can compute persistence for the case of cubical complexes with cubical maps, we believe that this is a first step towards advocating the use of cubical complexes as approximating structures.

Our technique can be combined with dimension reduction techniques in the same way as in Choudhary et al. (2017b) (see Theorems 19, 21, and 22 therein), with improved logarithmic factors. We state the main results in the paper, while omitting the technical details.

Updates from the conference version. An earlier version of this paper appeared at the 25th European Symposium on Algorithms (Choudhary et al. 2017a). In that version, we achieved a $3\sqrt{2}$-approximation of the $L_{\infty }$ Rips filtration and correspondingly, a $3\sqrt{2}{d}^{0.25}$-approximation of the $L_2$ case. In this version, we improve the weak interleaving of Choudhary et al. (2017a) to a strong interleaving to get improved approximation factors. We expand upon the details of scale balancing, among other proofs that were missing from the conference version. We add the case of cubical complexes in this version.

There is a subtle yet important distinction between the approximation complexes used in the conference version and the current result. In the conference version, our simplicial complex was built using only active faces, while the current version uses both active and secondary faces (please see Sect. 4 for definitions). This makes it easier to relate the simplicial and the cubical complexes in the current version. On the other hand the complexes are different, hence the associated proofs have been adapted accordingly.

Outline. We start by explaining the relevant topological concepts in Sect. 2. We give details of the integer grids that we use in Sect. 3. In Sect. 4 we present our approximation scheme that uses the barycentric subdivision, and present the computational aspects in Sect. 5. The extension to cubical complexes is presented in Sect. 6. We discuss practical aspects of our scheme and conclude in Sect. 7. Some details of the strong interleaving from Sect. 4 are deferred to Appendix A.

Preliminaries

We briefly review the essential topological concepts needed. More details are available in standard references (see Bubenik et al. 2015; Chazal et al. 2009; Edelsbrunner and Harer 2010; Hatcher 2002; Munkres 1984).

Simplicial complexes. A simplicial complex K on a finite set of elements S is a collection of subsets $\{\sigma \subseteq S\}$ called simplices such that each subset $\tau \subset \sigma$ is also in K. The dimension of a simplex $\sigma \in K$ is $k:=|\sigma |-1$, in which case $\sigma$ is called a k-simplex. A simplex $\tau$ is a sub-simplex of $\sigma$ if $\tau \subseteq \sigma$. We remark that, commonly a sub-simplex is called a “face” of a simplex, but we reserve the word “face” for a different structure. For the same reason, we do not introduce the common notation of of “vertices” and “edges” of simplicial complexes, but rather refer to 0- and 1-simplices throughout. The k-skeleton of K consists of all simplices of K whose dimension is at most k. For instance, the 1-skeleton of K is a graph defined by its 0-simplices and 1-simplices.

Given a point set $P\subset {\mathbb{R}}^d$ and a real number $\alpha \ge 0$, the (Vietoris-)Rips complex on P at scale $\alpha$ consists of all simplices $\sigma =(p_0,\cdots ,p_k)\subseteq P$ such that $diam(\sigma )\le \alpha$, where diam denotes the diameter. In this work, we write ${\mathcal{R}}_{\alpha }$ for the Rips complex at scale $2\alpha$ with the Euclidean metric, and ${\mathcal{R}}_{\alpha }^{\infty }$ when using the metric of the $L_{\infty }$-norm. In either way, a Rips complex is an example of a flag complex, which means that whenever a set $\{p_0,\cdots ,p_k\}\subseteq P$ has the property that every 1-simplex $\{p_i,p_j\}$ is in the complex, then the k-simplex $\{p_0,\cdots ,p_k\}$ is also in the complex.

A related complex is the Čech complex of P at scale $\alpha$, which consists of simplices of P for which the radius of the minimum enclosing ball is at most $\alpha$. We do not study Čech complexes in this paper, but we mention them briefly while showing a connection with the Rips complex later in this section.

A simplicial complex $K^{\prime }$ is a subcomplex of K if $K^{\prime }\subseteq K$. For instance, ${\mathcal{R}}_{\alpha }$ is a subcomplex of ${\mathcal{R}}_{{\alpha }^{\prime }}$ for $0\le \alpha \le {\alpha }^{\prime }$. Let L be a simplicial complex. Let $\widehat{\phi }$ be a map which assigns a vertex of L to each vertex of K. A simplicial map is a map $\phi :K\to L$ induced by a vertex map $\widehat{\phi }$, such that for every simplex $\{p_0,\cdots ,p_k\}$ in K, the set $\{\widehat{\phi }(p_0),\cdots ,\widehat{\phi }(p_k)\}$ is a simplex of L. For $K^{\prime }$ a subcomplex of K, the inclusion map $inc:K^{\prime }\to K$ is an example of a simplicial map. A simplicial map is completely determined by its action on the 0-simplices of K.

Chain complexes. A chain complex ${\mathcal{C}}_{\ast }=({\mathcal{C}}_p,{\partial }_p)$ with $p\in \mathbb{Z}$ is a collection of abelian groups ${\mathcal{C}}_p$ and homomorphisms ${\partial }_p:{\mathcal{C}}_p\to {\mathcal{C}}_{p-1}$ such that ${\partial }_{p-1}\circ {\partial }_p=0$. A simplicial complex K gives rise to a chain complex ${\mathcal{C}}_{\ast }(K)$ for a fixed base field $\mathcal{F}$: define ${\mathcal{C}}_p$ for $p\ge 0$ as the set of formal linear combinations of p-simplices in K over $\mathcal{F}$, and ${\mathcal{C}}_{-1}:=\mathcal{F}$. The boundary of a k-simplex with $k\ge 1$ is the (signed) sum of its sub-simplices of co-dimension one3; the boundary of a 0-simplex is simply set to 1. The homomorphisms ${\partial }_p$ are then defined as the linear extensions of this boundary operator. Note that ${\mathcal{C}}_{\ast }(K)$ is sometimes called augmented chain complex of K, where the augmentation refers to the addition of the non-trivial group ${\mathcal{C}}_{-1}$.

A chain map $\varphi :{\mathcal{C}}_{\ast }\to D_{\ast }$ between chain complexes ${\mathcal{C}}_{\ast }=({\mathcal{C}}_p,{\partial }_p)$ and $D_{\ast }=(D_p,{\partial }_p^{\prime })$ is a collection of group homomorphisms ${\varphi }_p:{\mathcal{C}}_p\to D_p$ such that ${\varphi }_{p-1}\circ {\partial }_p={\partial }_p^{\prime }\circ {\varphi }_p$. For simplicial complexes K and L, we call a chain map $\varphi :{\mathcal{C}}_{\ast }(K)\to {\mathcal{C}}_{\ast }(L)$ augmentation-preserving if ${\varphi }_{-1}$ is the identity. A simplicial map $\phi :K\to L$ between simplicial complexes induces an augmentation-preserving chain map $\overline{\phi }:{\mathcal{C}}_{\ast }(K)\to {\mathcal{C}}_{\ast }(L)$ between the corresponding chain complexes. This construction is functorial, meaning that for $\phi$ the identity function on a simplicial complex K, $\overline{\phi }$ is the identity function on ${\mathcal{C}}_{\ast }(K)$, and for composable simplicial maps $\phi ,{\phi }^{\prime }$, we have that $\overline{\phi \circ {\phi }^{\prime }}=\overline{\phi }\circ \overline{{\phi }^{\prime }}$.

Homology. The p-th homology group $H_p({\mathcal{C}}_{\ast })$ of a chain complex is defined as $\ker {\partial }_p/\mathrm{im}{\partial }_{p+1}$. The p-th homology group of a simplicial complex K, $H_p(K)$, is the p-th homology group of its induced chain complex ${\mathcal{C}}_{\ast }(K)$. Note that this definition is commonly referred to as reduced homology, but we ignore this distinction and consider reduced homology throughout. $H_p({\mathcal{C}}_{\ast })$ is an $\mathcal{F}$-vector space because we have chosen our base ring $\mathcal{F}$ as a field. Intuitively, when the chain complex is generated from a simplicial complex, the dimension of the p-th homology group counts the number of p-dimensional holes in the complex. We write $H({\mathcal{C}}_{\ast })$ for the direct sum of all $H_p({\mathcal{C}}_{\ast })$ for $p\ge 0$.

A chain map $\varphi :{\mathcal{C}}_{\ast }\to D_{\ast }$ induces a linear map ${\varphi }^{\ast }:H({\mathcal{C}}_{\ast })\to H(D_{\ast })$ between the homology groups. Again, this construction is functorial, meaning that it maps identity maps to identity maps, and it is compatible with compositions.

Acyclic carriers. We call a simplicial complex K acyclic, if K is connected and all homology groups $H_p(K)$ are trivial. For simplicial complexes K and L, an acyclic carrier $\mathrm{\Phi }$ is a map that assigns to each simplex $\sigma$ in K, a non-empty acyclic subcomplex $\mathrm{\Phi }(\sigma )\subseteq L$, and whenever $\tau$ is a sub-simplex of $\sigma$, then $\mathrm{\Phi }(\tau )\subseteq \mathrm{\Phi }(\sigma )$. We say that a chain $c\in {\mathcal{C}}_p(K)$ is carried by a subcomplex $K^{\prime }$, if c takes value 0 except for p-simplices in $K^{\prime }$. A chain map $\varphi :{\mathcal{C}}_{\ast }(K)\to {\mathcal{C}}_{\ast }(L)$ is carried by  $\mathrm{\Phi }$, if for each simplex $\sigma \in K$, $\varphi (\sigma )$ is carried by $\mathrm{\Phi }(\sigma )$. We state the acyclic carrier theorem (Munkres 1984, Thm 13.3), adapted to our notation:

Theorem 1

Let $\mathrm{\Phi }:K\to L$ be an acyclic carrier. Then,

• There exists an augmentation-preserving chain map $\varphi :{\mathcal{C}}_{\ast }(K)\to {\mathcal{C}}_{\ast }(L)$ carried by $\mathrm{\Phi }$.

• If two augmentation-preserving chain maps ${\varphi }_1,{\varphi }_2:{\mathcal{C}}_{\ast }(K)\to {\mathcal{C}}_{\ast }(L)$ are both carried by $\mathrm{\Phi }$, then ${\varphi }_1^{\ast }={\varphi }_2^{\ast }$.4

We remark that “augmentation-preserving” is crucial in the statement: without it, the trivial chain map (that maps everything to 0) turns the first statement trivial and easily leads to a counter-example for the second claim.

Filtrations and towers. Let $I\subseteq \mathbb{R}$ be a set of real values which we refer to as scales. A filtration is a collection of simplicial complexes ${(K_{\alpha })}_{\alpha \in I}$ such that $K_{\alpha }\subseteq K_{\alpha }^{\prime }$ for all $\alpha \le {\alpha }^{\prime }\in I$. For instance, ${({\mathcal{R}}_{\alpha })}_{\alpha \ge 0}$ is a filtration which we call the Rips filtration. A (simplicial) tower is a sequence ${(K_{\alpha })}_{\alpha \in J}$ of simplicial complexes with J being a discrete set (for instance $J=\{2^k\mid k\in \mathbb{Z}\}$), together with simplicial maps ${\phi }_{\alpha }:K_{\alpha }\to K_{{\alpha }^{\prime }}$ between complexes at consecutive scales. For instance, the Rips filtration can be turned into a tower by restricting to a discrete range of scales, and using the inclusion maps as $\phi$. The approximation constructed in this paper will be another example of a tower.

We say that a simplex $\sigma$ is included in the tower at scale ${\alpha }^{\prime }$, if $\sigma$ is not in the image of the map ${\phi }_{\alpha }:K_{\alpha }\to K_{{\alpha }^{\prime }}$, where $\alpha$ is the scale preceding ${\alpha }^{\prime }$ in the tower. The size of a tower is the number of simplices included over all scales. If a tower arises from a filtration, its size is simply the size of the largest complex in the filtration (or infinite, if no such complex exists). However, this is not true in general for simplicial towers, because simplices can collapse in the tower and the size of the complex at a given scale may not take into account the collapsed simplices which were included at earlier scales in the tower.

Barcodes and Interleavings. A collection of vector spaces ${(V_{\alpha })}_{\alpha \in I}$ connected with linear maps ${\lambda }_{{\alpha }_1,{\alpha }_2}:V_{{\alpha }_1}\to V_{{\alpha }_2}$ is called a persistence module, if ${\lambda }_{\alpha ,\alpha }$ is the identity on $V_{\alpha }$ and ${\lambda }_{{\alpha }_2,{\alpha }_3}\circ {\lambda }_{{\alpha }_1,{\alpha }_2}={\lambda }_{{\alpha }_1,{\alpha }_3}$ for all ${\alpha }_1\le {\alpha }_2\le {\alpha }_3\in I$ for the index set I.

We generate persistence modules using the previous concepts. Given a simplicial tower ${(K_{\alpha })}_{\alpha \in I}$, we generate a sequence of chain complexes ${({\mathcal{C}}_{\ast }(K_{\alpha }))}_{\alpha \in I}$. By functoriality, the simplicial maps $\phi$ of the tower give rise to chain maps $\overline{\phi }$ between these chain complexes. Using functoriality of homology, we obtain a sequence ${(H(K_{\alpha }))}_{\alpha \in I}$ of vector spaces with linear maps ${\overline{\phi }}^{\ast }$, forming a persistence module. The same construction applies to filtrations as a special case.

Persistence modules admit a decomposition into a collection of intervals of the form $[\alpha ,\beta ]$ (with $\alpha ,\beta \in I$), called the barcode, subject to certain tameness conditions. The barcode of a persistence module characterizes the module uniquely up to isomorphism. If the persistence module is generated by a simplicial complex, an interval $[\alpha ,\beta ]$ in the barcode corresponds to a homological feature (a “hole”) that comes into existence at complex $K_{\alpha }$ and persists until it disappears at $K_{\beta }$.

Two persistence modules ${(V_{\alpha })}_{\alpha \in I}$ and ${(W_{\alpha })}_{\alpha \in I}$ with linear maps ${\varphi }_{·,·}$ and ${\psi }_{·,·}$ are said to be weakly (multiplicatively) c-interleaved with $c\ge 1$, if there exist linear maps ${\gamma }_{\alpha }:V_{\alpha }\to W_{c\alpha }$ and ${\delta }_{\alpha }:W_{\alpha }\to V_{c\alpha }$, called interleaving maps, such that the diagram

1

commutes, that is, $\psi =\gamma \circ \delta$ and $\varphi =\delta \circ \gamma$ for all $\{\cdots ,\alpha /c^2,\alpha /c,\alpha ,c\alpha ,\cdots \}\in I$ (we have skipped the subscripts of the maps for readability). In such a case, the barcodes of the two modules are 3c-approximations of each other in the sense of Chazal et al. (2009). We say that two towers are c-approximations of each other if their persistence modules are c-approximations.

Under the more stringent conditions of strong interleaving, the approximation ratio can be improved. Two persistence modules ${(V_{\alpha })}_{\alpha \ge 0}$ and ${(W_{\alpha })}_{\alpha \ge 0}$ with respective linear maps ${\varphi }_{·,·}$ and ${\psi }_{·,·}$ are said to be (multiplicatively) strongly c-interleaved if there exist a pair of families of linear maps ${\gamma }_{\alpha }:V_{\alpha }\to W_{c\alpha }$ and ${\delta }_{\alpha }:W_{\alpha }\to V_{c\alpha }$ for $c>0$, such that Diagram (2) commutes for all $0\le \alpha \le {\alpha }^{\prime }$ (the subscripts of the maps are excluded for readability). In such a case, the persistence barcodes of the two modules are said to be c-approximations of each other in the sense of Chazal et al. (2009).

2

Finally, we mention a special case that relates equivalent persistence modules (Carlsson and Zomorodian 2005; Goodman et al. 2017). Two persistence modules $\mathbb{V}={(V_{\alpha })}_{\alpha \in I}$ and $\mathbb{W}={(W_{\alpha })}_{\alpha \in I}$ that are connected through linear maps $\varphi ,\psi$ respectively are isomorphic if there exists an isomorphism $f_{\alpha }:V_{\alpha }\to W_{\alpha }$ for each $\alpha \in I$ for which the following diagram commutes for all $\alpha \le \beta \in I$:

3

Isomorphic persistence modules have identical persistence barcodes.

Scale balancing. Let $\mathbb{V}={(V_{\alpha })}_{\alpha \in I}$ and $\mathbb{W}={(W_{\alpha })}_{\alpha \in I}$ be two persistence modules with linear maps $f_v,f_w$, respectively. Let there be linear maps $\varphi :V_{\alpha /{\epsilon }_1}\to W_{\alpha }$ and $\psi :W_{\alpha }\to V_{\alpha {\epsilon }_2}$ for $1\le {\epsilon }_1,{\epsilon }_2$ such that all $\alpha ,\alpha /{\epsilon }_1,\alpha {\epsilon }_2\in I$. Suppose that the following diagram commutes, for all $\alpha \in I$.

4

Let $\epsilon :=max({\epsilon }_1,{\epsilon }_2)$. Then, by replacing ${\epsilon }_1,{\epsilon }_2$ by $\epsilon$ in Diagram (4), the diagram still commutes, so $\mathbb{V}$ is a $3\epsilon$-approximation of $\mathbb{W}$.

We define a new vector space $V_{c\alpha }^{\prime }:=V_{\alpha }$, where $c=\sqrt{\frac{{\epsilon }_1}{{\epsilon }_2}}$ and $c\alpha \in I$. This gives rise to a new persistence module, ${\mathbb{V}}^{\prime }={(V_{c\alpha })}_{\alpha \in I}$. The maps $\varphi$ and $\psi$ can then be interpreted as $\varphi :V_{\alpha /\sqrt{{\epsilon }_1{\epsilon }_2}}^{\prime }\to W_{\alpha }$, or $\varphi :V_{\alpha }^{\prime }\to W_{\alpha \sqrt{{\epsilon }_1{\epsilon }_2}}$ and $\psi :W_{\alpha }\to V_{\alpha \sqrt{{\epsilon }_1{\epsilon }_2}}^{\prime }$. Then, Diagram (4) can be re-interpreted as

5

which still commutes. Therefore, ${\mathbb{V}}^{\prime }$ is a $3\sqrt{{\epsilon }_1{\epsilon }_2}$-approximation of $\mathbb{W}$, which is an improvement over $\mathbb{V}$, since $\sqrt{{\epsilon }_1{\epsilon }_2}\le max({\epsilon }_1,{\epsilon }_2)$. $\mathbb{V}$ and ${\mathbb{V}}^{\prime }$ have the same barcode up to a scaling factor.

This scaling trick also works when $\mathbb{V}$ and $\mathbb{W}$ are strongly interleaved. If we have the following commutative diagrams: (where we have skipped the maps for readability):

6

then $\mathbb{V}$ and $\mathbb{W}$ are $max({\epsilon }_1,{\epsilon }_2)$-approximations of each other. By defining ${\mathbb{V}}^{\prime }$ as before, the following diagrams

7

commute for $d=c{\epsilon }_2=\sqrt{{\epsilon }_1{\epsilon }_2}$, so we can improve a $max({\epsilon }_1,{\epsilon }_2)$-approximation to an $\sqrt{{\epsilon }_1{\epsilon }_2}$-approximation.

We end the section by discussing a basic but important relation between Čech and Rips filtrations. It is well-known that for any $\alpha \ge 0$, ${\mathcal{C}}_{\alpha }\subseteq {\mathcal{R}}_{\alpha }\subseteq {\mathcal{C}}_{\sqrt{2}\alpha }$ (Edelsbrunner and Harer 2010). This gives a strong interleaving between the towers ${({\mathcal{C}}_{\alpha })}_{\alpha \ge 0}$ and ${({\mathcal{R}}_{\alpha })}_{\alpha \ge 0}$ with ${\epsilon }_1=1$ and ${\epsilon }_2=\sqrt{2}$. Applying the scale balancing technique, we get that

Lemma 1

The scaled Čech persistence module ${(H({\mathcal{C}}_{\sqrt[4]{2}\alpha }))}_{\alpha \ge 0}$ and the Rips persistence module ${(H({\mathcal{R}}_{\alpha }))}_{\alpha \ge 0}$ are $\sqrt[4]{2}$-approximations of each other.

Shifted integer lattices

In this section, we take a look at simple modifications of the integer lattice.

We denote by $I:=\{{\alpha }_s:=\lambda 2^s\mid s\in \mathbb{Z}\}$ with $\lambda >0$, a discrete set of scales. For each scale in I, we define grids which are scaled and translated (shifted) versions of the integer lattice.

Definition 1

(Scaled and shifted grids) For each scale ${\alpha }_s\in I$, we define the scaled and shifted grid $G_{{\alpha }_s}$ inductively as:

• For $s=0$, $G_{{\alpha }_s}$ is simply the scaled integer grid $\lambda {\mathbb{Z}}^d$, where each basis vector has been scaled by $\lambda$.

• For $s\ge 0$, we choose an arbitrary point $O_{{\alpha }_s}\in G_{{\alpha }_s}$ and define

  $$\begin{array}{c}\hfill G_{{\alpha }_{s+1}}=2\left(G_{{\alpha }_s},-,O_{{\alpha }_s}\right)+O_{{\alpha }_s}+\frac{{\alpha }_s}{2}\left(\pm ,1,,,\cdots ,,,\pm ,1\right),\end{array}$$ 8

  where the signs of the components of the last vector are chosen independently and uniformly at random (and the choice is independent for each s).
• For $s\le 0$, we define

  $$\begin{array}{c}\hfill G_{{\alpha }_{s-1}}=\frac{1}{2}\left(G_{{\alpha }_s},-,O_{{\alpha }_s}\right)+O_{{\alpha }_s}+\frac{{\alpha }_{s-1}}{2}\left(\pm ,1,,,\cdots ,,,\pm ,1\right),\end{array}$$ 9

  where the last vector is chosen as in the case of $s\ge 0$.

Equations (8) and (9) are consistent at $s=0$. A simple example of the above construction is the sequence of grids with $G_{{\alpha }_s}:={\alpha }_s{\mathbb{Z}}^d$ for even s, and $G_{{\alpha }_s}:={\alpha }_s{\mathbb{Z}}^d+\frac{{\alpha }_{s-1}}{2}(1,\cdots ,1)$ for odd s.

Next, we motivate the shifting of the grids. Let ${\mathrm{Vor}}_{G_s}(x)$ denote the Voronoi cell of any point $x\in G_s$ with respect to the point set $G_s$. It is clear that the Voronoi cell is a cube of side length ${\alpha }_s$ centered at x. The shifting of the grids ensures that each $x\in G_{{\alpha }_s}$ lies in the Voronoi region of a unique $y\in G_{{\alpha }_{s+1}}$. Using an elementary calculation, we show a stronger statement:

Lemma 2

Let $x\in G_{{\alpha }_s},y\in G_{{\alpha }_{s+1}}$ be such that $x\in {\mathrm{Vor}}_{G_{{\alpha }_{s+1}}}(y)$. Then,

$$\begin{array}{c}\hfill {\mathrm{Vor}}_{G_{{\alpha }_s}}(x)\subset {\mathrm{Vor}}_{G_{{\alpha }_{s+1}}}(y).\end{array}$$

Proof

Without loss of generality, we can assume that ${\alpha }_s=2$ and x is the origin, using an appropriate translation and scaling. Also, we assume for the sake of simplicity that $G_{{\alpha }_{s+1}}=2G_{{\alpha }_s}+(1,\cdots ,1)$; the proof is analogous for any other translation vector. In that case, it is clear that $y=(1,\cdots ,1)$. Since $G_{{\alpha }_s}=2{\mathbb{Z}}^d$, the Voronoi region of x is the set ${[-1,1]}^d$. Since $G_{{\alpha }_{s+1}}$ is a translated version of $4{\mathbb{Z}}^d$, the Voronoi region of y is the cube ${[-1,3]}^d$, which covers ${[-1,1]}^d$. The claim follows. For an example look to Fig. 1. $\square$

Fig. 1.

$G_{{\alpha }_s}$ is represented by small disks (yellow), while $G_{{\alpha }_{s+1}}$ is represented by larger disks (green). Possible locations of x are indicated with their Voronoi regions. The Voronoi regions of the larger grid contain those of x

Cubical complex of ${\mathbb{Z}}^d$

The integer grid ${\mathbb{Z}}^d$ naturally defines a cubical complex, where each element is an axis-aligned, k-dimensional cube with $0\le k\le d$. To define it formally, let $\square$ denote the set of all integer translates of faces of the unit cube ${[0,1]}^d$, considered as a convex polytope in ${\mathbb{R}}^d$. We call the elements of $\square$ faces of ${\mathbb{Z}}^d$.

Each face has a dimension k; the 0-faces, or vertices are exactly the points in ${\mathbb{Z}}^d$. The facets of a k-face E are the $(k-1)$-faces contained in E. We call a pair of facets of E opposite facets, if they are disjoint. Naturally, these concepts carry over to scaled and shifted versions of ${\mathbb{Z}}^d$, so we define ${\square }_{{\alpha }_s}$ as the cubical complex defined by $G_{{\alpha }_s}$.

We define a map $g_{{\alpha }_s}:{\square }_{{\alpha }_s}\to {\square }_{{\alpha }_{s+1}}$ as follows: for vertices of ${\square }_{{\alpha }_s}$, we assign to $x\in G_{{\alpha }_s}$ the (unique) vertex $y\in G_{{\alpha }_{s+1}}$ such that $x\in {\mathrm{Vor}}_{G_{{\alpha }_{s+1}}}(y)$ (see Lemma 2). For a k-face f of ${\square }_{{\alpha }_s}$ with vertices $(p_1,\cdots ,p_{2^k})$ in $G_{{\alpha }_s}$, we set $g_{{\alpha }_s}(f)$ to be the convex hull of $\{g_{{\alpha }_s}(p_1),\cdots ,g_{{\alpha }_s}(p_{2^k})\}$; the next lemma shows that this is a well-defined map. In this paper, we sometimes call $g_{{\alpha }_s}$ a cubical map, since it is a counterpart of simplicial maps for cubical complexes.

Lemma 3

Let f be k-face of ${\square }_{{\alpha }_s}$ with vertices $\{p_1,\cdots ,p_{2^k}\}\subset G_{{\alpha }_s}$. Then

• the set of vertices $\{g_{{\alpha }_s}(p_1),\cdots ,g_{{\alpha }_s}(p_{2^k})\}$ form a face e of ${\square }_{{\alpha }_{s+1}}$.

• for every face $e_1\subset e$, there is a face $f_1\subset f$ such that $g_{{\alpha }_s}(f_1)=e_1$.

• if $e_1,e_2$ are any two opposite facets of e, then there exists a pair of opposite facets $f_1,f_2$ of f such that $g_{{\alpha }_s}(f_1)=e_1$ and $g_{{\alpha }_s}(f_2)=e_2$.

Proof

First claim: We prove the first claim by induction on the dimension of faces of $G_{{\alpha }_s}$. Base case: for vertices, the claim is trivial using Lemma 2. Induction case: let the claim hold true for all $(k-1)$-faces of $G_{{\alpha }_s}$. We show that the claim holds true for all k-faces of $G_{{\alpha }_s}$.

Let f be a k-face of $G_{{\alpha }_s}$. Let $f_1$ and $f_2$ be opposite facets of f, along the m-th coordinate. Let us denote the vertices of $f_1$ by $(p_1,\cdots ,p_{2^{k-1}})$ and those of $f_2$ by $(p_{2^{k-1}+1},\cdots ,p_{2^k})$ taken in the same order, that is, $p_j$ and $p_{2^{k-1}+j}$ differ in only the m-th coordinate for all $1\le j\le 2^{k-1}$. By definition, all vertices of $f_1$ share the m-th coordinate, and we denote coordinate of these vertices by z. Then, the m-th coordinate of all vertices of $f_2$ equals $z+{\alpha }_s$. Then $g_{{\alpha }_s}(p_j)$ and $g_{{\alpha }_s}(p_{2^{k-1}+j})$ have the same coordinates, except possibly the m-th coordinate. By induction hypothesis, $e_1=g_{{\alpha }_s}(f_1)$ and $e_2=g_{{\alpha }_s}(f_2)$ are two faces of $G_{s+1}$. This implies that $e_2$ is a translate of $e_1$ along the m-th coordinate.

There are two cases: if $e_1$ and $e_2$ share the m-th coordinate, then $e_1=e_2$ and therefore $g_{{\alpha }_s}(f)=e_1=e_2=e$, so the claim follows. On the other hand, if $e_1$ and $e_2$ do not share the m-th coordinate, then they are two faces of ${\square }_{{\alpha }_{s+1}}$ which differ in only one coordinate by ${\alpha }_{s+1}$. So they are opposite facets of a co-dimension one face e of $G_{{\alpha }_{s+1}}$. Using induction, the claim follows.

Second claim: We prove the claim by induction over the dimension of $e_1$. Base case: $e_1$ is a vertex. The vertices of f in Voronoi region of $e_1$ form $f_1$. Since f is an axis parallel face and the Voronoi region is also axis-parallel, it is immediate that $f_1$ is a face of f. Assume that the claim is true up to dimension i. For $e_1$ a face of dimension $i+1$, consider opposite facets $e_a$ and $e_b$ of e. By the induction claim, there exist faces $f_a,f_b\subset f$ that satisfy $g_{{\alpha }_s}(f_a)=e_a,g_{{\alpha }_s}(f_b)=e_b$. $f_a$ and $f_b$ are disjoint since otherwise $g_{{\alpha }_s}(f_a\cap f_b)$ would be common to both $e_a$ and $e_b$, a contradiction. If $e_a$ is a translate of $e_b$ along the m-th coordinate, then $f_a$ is also a translate of $f_b$ along the same coordinate. Therefore $f_a$ and $f_b$ are opposite faces of a face $f_1$ and $g_{{\alpha }_s}(f_1)=e_1$.

Third claim: Without loss of generality, assume that $x_1$ is the direction in which $e_2$ is a translate of $e_1$. Using the second claim, let h denote the maximal face of f such that $g_{{\alpha }_s}(h)=e_1$. Clearly, $h\ne f$, since that would imply $g_{{\alpha }_s}(f)=e_1=e$, which is a contradiction.

Suppose h has dimension less than $k-1$. Let $h^{\prime }$ be the facet of f that contains h and has the same $x_1$ coordinates for all vertices. Then $g_{{\alpha }_s}(h^{\prime })=e_1$, which contradicts the maximality of h.

Therefore, the only possibility is that h is a facet $f_1$ of f such that $g_{{\alpha }_s}(f_1)=e_1$. Let $f_2$ be the opposite facet of $f_1$. From the proof of the first claim, it is easy to see that $g_{{\alpha }_s}(f_2)=e_2$. The claim follows. $\square$

Barycentric subdivision

We discuss a special triangulation of ${\square }_{{\alpha }_s}$. A flag in ${\square }_{{\alpha }_s}$ is a set of faces $\{f_0,\cdots ,f_k\}$ of ${\square }_{{\alpha }_s}$ such that

$$\begin{array}{c}\hfill f_0\subseteq \cdots \subseteq f_k.\end{array}$$

The barycentric subdivision of ${\square }_{{\alpha }_s}$, denoted by $s{d}_{{\alpha }_s}$, is the (infinite) simplicial complex whose simplices are the flags of ${\square }_{{\alpha }_s}$ (Munkres 1984).

In particular, the 0-simplices of $s{d}_{{\alpha }_s}$ are the faces of ${\square }_{{\alpha }_s}$. An equivalent geometric description of $s{d}_{{\alpha }_s}$ can be obtained by defining the 0-simplices as the barycenters of the faces in $s{d}_{{\alpha }_s}$, and introducing a k-simplex between $(k+1)$ barycenters if the corresponding faces form a flag. For a simple example, see Figs. 2 and 3. It is easy to see that $s{d}_{{\alpha }_s}$ is a flag complex. Given a face f in ${\square }_{{\alpha }_s}$, we write sd(f) for the subcomplex of $s{d}_{{\alpha }_s}$ consisting of all flags that are formed only by faces contained in f.

Fig. 2.

A portion of the grid in two dimensions. The dots are the grid points which form the 0-faces of the cubical complex

Fig. 3.

The barycentric subdivision of the grid. The tiny squares are barycenters of the 1-faces and 2-faces of the cubical complex

Approximation scheme with simplicial complexes

We define our approximation complex for a finite set of points in ${\mathbb{R}}^d$. Recall from Definition 1 that we can define a collection of scaled and shifted integer grids $G_{{\alpha }_s}$ over a collection of scales $I:=\{{\alpha }_s=2^s\mid s\in \mathbb{Z}\}$ in ${\mathbb{R}}^d$. To make the exposition simple, we define our complex in a slightly generalized form.

Barycentric spans

Fix some $s\in \mathbb{Z}$ and let V denote any non-empty subset of $G_{{\alpha }_s}$.

Vertex span. We say that a face $f\in {\square }_{{\alpha }_s}$ is spanned by V, if the set of vertices $V(f):=f\cap V$

• is non-empty, and

• not contained in any facet of f.

Trivially, the vertices of ${\square }_{{\alpha }_s}$ which are spanned by V are precisely the points in V. Any face of ${\square }_{{\alpha }_s}$ which is not a vertex must contain at least two vertices of V in order to be spanned. We point out that the set of spanned faces of ${\square }_{{\alpha }_s}$ is not closed under taking sub-faces. For instance, if V consists of two antipodal points of a d-cube, the only faces spanned by V are the d-cube and the two vertices; all other faces of the d-cube contain at most one vertex and hence are not spanned.

It is simple to test whether any given k-face $f\in {\square }_{{\alpha }_s}$ is spanned by the set of points V(f). Let $T\subseteq [1,\cdots ,d]$ be the set of common coordinates of the points in V(f). V(f) spans f if and only if the standard basis vectors of ${\mathbb{R}}^d$ corresponding to T span f. T can be computed in $|V(f)|O(d)=O(2^{k}d)$ time by a linear scan of the coordinates. The coordinate directions spanned by f can also be found and compared with T within the same time bound.

Barycentric span. The barycentric span of V is the subcomplex of $s{d}_{{\alpha }_s}$ obtained by taking the union of the complete barycentric subdivisions of the maximal faces of ${\square }_{{\alpha }_s}$ that are spanned by V. The barycentric span of V is indeed a simplicial complex by definition. Moreover, the barycentric span is a flag complex. Then for any face $f\in {\square }_{{\alpha }_s}$, the barycentric span of V(f) is either empty or acyclic.

Furthermore, for any non-empty subset $W\subseteq V$, the faces of ${\square }_{{\alpha }_s}$ that are spanned by W are also spanned by V. Consequently, the barycentric span of W is a subcomplex of the barycentric span of V.

Approximation complex

We denote by $P\subset {\mathbb{R}}^d$ a finite set of points. We define two maps:

• $a_{{\alpha }_s}:P\to G_{{\alpha }_s}$: for each point $p\in P$, we let $a_{{\alpha }_s}(p)$ denote the grid point in $G_{{\alpha }_s}$ that is closest to p, that is, $p\in {\mathrm{Vor}}_{G_{{\alpha }_s}}(a_{{\alpha }_s}(p))$. We assume for simplicity that this closest point is unique, which can be ensured using well-known methods (Edelsbrunner and Mücke 1990). We define the active vertices of $G_{{\alpha }_s}$ as

  $$\begin{array}{c}\hfill V_{{\alpha }_s}:=\mathrm{im}\left(a_{{\alpha }_s}\right)=a_{{\alpha }_s}(P)\subset G_{{\alpha }_s},\end{array}$$

  that is, the set of grid points that have at least one point of P in their Voronoi cells.

• $b_{{\alpha }_s}:V_{{\alpha }_s}\to P$: the map $b_{{\alpha }_s}$ takes an active vertex of $G_{{\alpha }_s}$ to its closest point in P. By taking an arbitrary total order on P to resolve multiple assignments, we ensure that this assignment is unique.

Naturally, $b_{{\alpha }_s}(v)$ is a point inside ${\mathrm{Vor}}_{G_{{\alpha }_s}}(v)$ for any $v\in V_{{\alpha }_s}$. It follows that the map $b_{{\alpha }_s}$ is a section of $a_{{\alpha }_s}$, that is, $a_{{\alpha }_s}\circ b_{{\alpha }_s}:V_{{\alpha }_s}\to V_{{\alpha }_s}$ is the identity on $V_{{\alpha }_s}$. However, this is not true for $b_{{\alpha }_s}\circ a_{{\alpha }_s}$ in general.

Recall that the map $g_{{\alpha }_s}:{\square }_{{\alpha }_s}\to {\square }_{{\alpha }_{s+1}}$ takes grid points of $G_{{\alpha }_s}$ to grid points of $G_{{\alpha }_{s+1}}$. Using Lemma 2, it follows at once that:

Lemma 4

For all ${\alpha }_s\in I$ and each $x\in V_{{\alpha }_s}$, $g_{{\alpha }_s}(x)=(a_{{\alpha }_{s+1}}\circ b_{{\alpha }_s})(x)$.

Recall that ${\mathcal{R}}_{\alpha }^{\infty }$ denotes the Rips complex at scale $\alpha$ for the $L_{\infty }$-norm. The next statement is a direct application of the the triangle inequality; let $dia{m}_{\infty }()$ denote the diameter in the $L_{\infty }$-norm.

Lemma 5

Let $Q\subseteq P$ be a non-empty subset such that $dia{m}_{\infty }(Q)\le {\alpha }_s$. Then, the set of grid points $a_{{\alpha }_s}(Q)$ is contained in a face of ${\square }_{{\alpha }_s}$.

Equivalently, for any simplex $\sigma =(p_0,\cdots ,p_k)\in {\mathcal{R}}_{{\alpha }_s/2}^{\infty }$ on P, the set of active vertices $\{a_{{\alpha }_s}(p_0),\cdots ,a_{{\alpha }_s}(p_k)\}$ is contained in a face of ${\square }_{{\alpha }_s}$.

Proof

We prove the claim by contradiction. Suppose that the set of active vertices $a_{{\alpha }_s}(Q)$ is not contained in a face of ${\square }_{{\alpha }_s}$. Then, there exists at least one pair of points $\{x,y\}\in Q$ such that $a_{{\alpha }_s}(x)$, $a_{{\alpha }_s}(y)$ are not in a common face of ${\square }_{{\alpha }_s}$. By the definition of the grid $G_{{\alpha }_s}$, the grid points $a_{{\alpha }_s}(x)$, $a_{{\alpha }_s}(y)$ therefore have $L_{\infty }$-distance at least $2{\alpha }_s$. Moreover, x has $L_{\infty }$-distance less than ${\alpha }_s/2$ from $a_{{\alpha }_s}(x)$, and the same is true for y and $a_{{\alpha }_s}(y)$. By the triangle inequality, the $L_{\infty }$-distance of x and y is more than ${\alpha }_s$, which is a contradiction to the fact that $dia{m}_{\infty }(Q)\le {\alpha }_s$. $\square$

We now define our approximation tower. For any scale ${\alpha }_s$, we define ${\mathcal{X}}_{{\alpha }_s}$ as the barycentric span of the active vertices $V_{{\alpha }_s}\subset G_{{\alpha }_s}$. See Figs. 4, 5 and 6 for a simple illustration.

Fig. 4.

A two-dimensional grid, shown along with its cubical complex. The green points (small dots) denote the points in P and the red vertices (encircled) are the active vertices (color figure online)

Fig. 5.

The active faces are shaded. The closure of the active faces forms the cubical complex

Fig. 6.

The generated approximation complex, whose vertices consist of those of the cubical complex and the blue vertices (small dots), which are the barycenters of active and secondary faces

To simplify notation, we denote

• the faces of ${\square }_{{\alpha }_s}$ spanned by $V_{{\alpha }_s}$ as active faces, and

• the faces of active faces that are not spanned by $V_{{\alpha }_s}$ as secondary faces.

To complete the description of the approximation tower, we need to define simplicial maps of the form ${\tilde{g}}_{{\alpha }_s}:{\mathcal{X}}_{{\alpha }_s}\to {\mathcal{X}}_{{\alpha }_{s+1}}$, which connect the simplicial complexes at consecutive scales. We show that such maps are induced by $g_{{\alpha }_s}$.

Lemma 6

Let f be any active face of ${\square }_{{\alpha }_s}$. Then, $g_{{\alpha }_s}(f)$ is an active face of ${\square }_{{\alpha }_{s+1}}$.

Proof

Using Lemma 3, $e:=g_{{\alpha }_s}(f)$ is a face of ${\square }_{{\alpha }_s}$. If e is a vertex, then it is active, because f contains at least one active vertex v, and $g_{{\alpha }_s}(v)=e$ in this case. If e is not a vertex, we assume for a contradiction that it is not active. Then, it contains a facet $e_1$ that contains all active vertices in e. Let $e_2$ denote the opposite facet of $e_1$ in e. By Lemma 3, f contains opposite facets $f_1$, $f_2$ such that $g_{{\alpha }_s}(f_1)=e_1$ and $g_{{\alpha }_s}(f_2)=e_2$. Since f is active, both $f_1$ and $f_2$ contain active vertices; in particular, $f_2$ contains an active vertex v. But then the active vertex $g_{{\alpha }_s}(v)$ must lie in $e_2$, contradicting the fact that $e_1$ contains all active vertices of e. $\square$

As a result, g is well defined for each face $e\in {\square }_{{\alpha }_s}$, since there exists some active face $e^{\prime }\in {\square }_{{\alpha }_s}$ with $e\subseteq e^{\prime }$, and $g(e)\subseteq g(e^{\prime })$. By definition, a simplex $\sigma \in {\mathcal{X}}_{{\alpha }_s}$ is a flag $(f_0\subseteq \cdots \subseteq f_k)$ of faces in ${\square }_{{\alpha }_s}$. We set

$$\begin{array}{c}\hfill {\tilde{g}}_{{\alpha }_s}(\sigma ):=\left(g_{{\alpha }_s},\left(f_0\right),,,\cdots ,,,g_{{\alpha }_s},\left(f_k\right)\right),\end{array}$$

where $(g_{{\alpha }_s}(f_0)\subseteq \cdots \subseteq g_{{\alpha }_s}(f_k))$ is a flag of faces in ${\square }_{{\alpha }_{s+1}}$ by Lemma 6, and hence is a simplex in ${\mathcal{X}}_{{\alpha }_{s+1}}$. It follows that ${\tilde{g}}_s:{\mathcal{X}}_{{\alpha }_s}\to {\mathcal{X}}_{{\alpha }_{s+1}}$ is a simplicial map. This completes the description of the simplicial tower

$$\begin{array}{c}\hfill {\left({\mathcal{X}}_{{\alpha }_s}\right)}_{s\in \mathbb{Z}}.\end{array}$$

Interleaving with the Rips module

First, we show that our tower is a constant-factor approximation of the the $L_{\infty }$-Rips filtration of P. We then show the relation between our approximation tower and the Euclidean Rips filtration of P.

We start by defining two acyclic carriers. First, we set $\lambda =1$ and abbreviate $\alpha :={\alpha }_s=2^s$ to simplify notation.

• $C_1^{\alpha }:{\mathcal{R}}_{\alpha /2}^{\infty }\to {\mathcal{X}}_{\alpha }$: for any simplex $\sigma =(p_0,\cdots ,p_k)$ in ${\mathcal{R}}_{\alpha /2}^{\infty }$, we set $C_1^{\alpha }(\sigma )$ as the barycentric span of $U:=\{a_s(p_0),\cdots ,a_s(p_k)\}$, which is a subcomplex of ${\mathcal{X}}_{\alpha }$. Using Lemma 5, U lies in a maximal active face f of ${\square }_{\alpha }$, so that $C_1^{\alpha }(\sigma )$ is acyclic. The barycentric span of any subset of U is a subcomplex of the barycentric span of U, so $C_1^{\alpha }$ is a carrier. Therefore, $C_1^{\alpha }$ is an acyclic carrier.

• $C_2^{\alpha }:{\mathcal{X}}_{\alpha }\to {\mathcal{R}}_{\alpha }^{\infty }$: let $\sigma$ be any flag of ${\mathcal{X}}_{\alpha }$ and let E be the smallest active face of ${\square }_{\alpha }$ that contains $\sigma$ (we break ties by making use of an arbitrary global order $\succ$ on P)5. We collect all the points of P that map to vertices of E under the map $a_{\alpha }$ and set $C_2^{\alpha }(\sigma )$ as the simplex on this set of points. By an application of the triangle inequality, we see that the $L_{\infty }$-diam of $C_2^{\alpha }(\sigma )$ is at most $2\alpha$, so $C_2^{\alpha }(\sigma )\in {\mathcal{R}}_{\alpha }^{\infty }$ and is acyclic. It is also clear that $C_2^{\alpha }(\tau )\subseteq C_2^{\alpha }(\sigma )$ for each $\tau \subseteq \sigma$, so $C_2^{\alpha }$ is an acyclic carrier.

Using the acyclic carrier theorem (Theorem 1), there exist augmentation-preserving chain maps

$$\begin{array}{c}\hfill c_1^{\alpha }:{\mathcal{C}}_{\ast }\left({\mathcal{R}}_{\alpha /2}^{\infty }\right)\to {\mathcal{C}}_{\ast }\left({\mathcal{X}}_{\alpha }\right)\text{and}{c}_2^{\alpha }:{\mathcal{C}}_{\ast }\left({\mathcal{X}}_{\alpha }\right)\to {\mathcal{C}}_{\ast }\left({\mathcal{R}}_{\alpha }^{\infty }\right),\end{array}$$

between the chain complexes, which are carried by $C_1^{\alpha }$ and $C_2^{\alpha }$ respectively, for each $\alpha \in I$. We obtain the following diagram of augmentation-preserving chain maps:

10

where inc corresponds to the chain map for inclusion maps, and $\tilde{g}$ denotes the chain map for the corresponding simplicial map g (we removed indices of the maps for readability).

The chain complexes give rise to a diagram of the corresponding homology groups, connected by the induced linear maps $c_1^{\ast },c_2^{\ast },in{c}^{\ast },{\tilde{g}}^{\ast }$:

11

Lemma 7

For all $\alpha \in I$, the linear maps in the lower triangle of Diagram (11) commute, that is,

$$\begin{array}{c}\hfill {\tilde{g}}^{\ast }=c_1^{\ast }\circ c_2^{\ast }.\end{array}$$

Proof

We look at the corresponding triangle in Diagram (10). We show that the (augmentation-preserving) chain maps $\tilde{g}$ and $c_1\circ c_2$ are both carried by an acyclic carrier $D:{\mathcal{X}}_{\alpha }\to {\mathcal{X}}_{2\alpha }$. The claim then follows from the acyclic carrier theorem.

Let $\sigma \in {\mathcal{X}}_{\alpha }$ be any flag and let $E\in {\square }_{\alpha }$ denote the minimal active face containing $\sigma$. Let $\{q_1,\cdots ,q_k\}$ be the active vertices of E. Let $\{p_1,\cdots ,p_m\}$ be the set of points of P that map to $\{q_1,\cdots ,q_k\}$ under the map $a_{\alpha }$. Since the $L_{\infty }$-diameter of $\{p_1,\cdots ,p_m\}$ is at most $2\alpha$, using Lemma 5 we see that $\{a_{2\alpha }(p_1),\cdots ,a_{2\alpha }(p_m)\}$ is a face of ${\square }_{2\alpha }$. We set $D(\sigma )$ as the barycentric span of $\{a_{2\alpha }(p_1),\cdots ,a_{2\alpha }(p_m)\}$. It follows that D is an acyclic carrier.

Further, $\{a_{2\alpha }(p_1),\cdots ,a_{2\alpha }(p_m)\}=\{g_{2\alpha }(q_1),\cdots ,g_{2\alpha }(q_k)\}$ from Lemma 2, so $D(\sigma )$ is the barycentric subdivision of $g_{2\alpha }(E)$. As a result $D=C_1\circ C_2$ so that it carries $c_1\circ c_2$. We show that D also carries the map $\tilde{g}$.

By definition, for each face $e\subseteq E$, $g(e)\subseteq g(E)$ and $\tilde{g}(sd(e))\subseteq \tilde{g}(sd(E))$. This means that $\tilde{g}(\sigma )$ is contained in g(E). This shows that $\tilde{g}(\sigma )\in C_1\circ C_2(\sigma )$ implying that $\tilde{g}$ is carried by $C_1\circ C_2$, as required. $\square$

Lemma 8

For all $\alpha \in I$, the linear maps in the upper triangle of Diagram (11) commute, that is,

$$\begin{array}{c}\hfill in{c}^{\ast }=c_2^{\ast }\circ c_1^{\ast }.\end{array}$$

Proof

The proof technique is analogous to the proof of Lemma 7. We define an acyclic carrier $D:{\mathcal{R}}_{\alpha }^{\infty }\to {\mathcal{R}}_{2\alpha }^{\infty }$ which carries inc and $c_2\circ c_1$, both of which are augmentation-preserving.

Let $\sigma =(p_0,\cdots ,p_k)\in {\mathcal{R}}_{\alpha }^{\infty }$ be any simplex. The set of active vertices

$$\begin{array}{c}\hfill U:=\left\{a_{2\alpha },\left(p_0\right),,,\cdots ,,,a_{2\alpha },\left(p_k\right)\right\}\subset G_{2\alpha }\end{array}$$

lie in a face f of $G_{2\alpha }$, using Lemma 5. We can assume that f is active, as otherwise, we argue about a facet of f that contains U. We set $D(\sigma )$ as the simplex on the subset of points in P, whose closest grid point in $G_{2\alpha }$ is any vertex of f. Using the triangle inequality we see that $D(\sigma )\in {\mathcal{R}}_{2\alpha }^{\infty }$, so D is an acyclic carrier. The vertices of $\sigma$ are a subset of $D(\sigma )$, so D carries the map inc. Showing that D carries $c_2\circ c_1$ requires further explanation.

Let $\delta$ be any simplex in ${\mathcal{X}}_{2\alpha }$ for which the chain $c_1(\sigma )$ takes a non-zero value. Since $c_1(\sigma )$ is carried by $C_1(\sigma )$, we have that $\delta \in C_1(\sigma )$, which is the barycentric span of U. Furthermore, for any $\tau \in C_1(\sigma )$, $C_2(\tau )$ is a simplex on the set of vertices $\{p\in P\mid a_{2\alpha }(p)\in V(f)\}$. It follows that $C_2(\tau )\subseteq D(\sigma )$. In particular, since $c_2$ is carried by $C_2$, $c_2(c_1(\sigma ))\subseteq D(\sigma )$ as well. $\square$

Using Lemmas 7 and 8, we see that the two persistence modules ${\left(H,(,{\mathcal{X}}_{{\alpha }_s},)\right)}_{s\in \mathbb{Z}}$ and ${\left(H,(,{\mathcal{R}}_{\alpha }^{\infty },)\right)}_{\alpha \ge 0}$ are weakly 2-interleaved.

With elementary modifications in the definition of $\mathcal{X}$ and $\tilde{g}$, we can get a tower of the form ${({\mathcal{X}}_{\alpha })}_{\alpha \ge 0}$. Furthermore, with minor changes in the interleaving arguments, we show that the corresponding persistence module is strongly 4-interleaved with the $L_{\infty }$-Rips module. Using scale balancing, this result improves to a strong 2-interleaving (see Lemma 16). Since the techniques used in the proof are very similar to the concepts used in this section, for the sake of brevity we defer all further details to Appendix A.

Using the strong stability theorem for persistence modules and taking scale balancing into account, we immediately get that:

Theorem 2

The scaled persistence module $(H({\mathcal{X}}_{2\alpha }){)}_{\alpha \ge 0}$ and the $L_{\infty }$-Rips persistence module $(H({\mathcal{R}}_{\alpha }^{\infty }){)}_{\alpha \ge 0}$ are 2-approximations of each other.

For any pair of points $p,p^{\prime }\in {\mathbb{R}}^d$, it holds that

$$\begin{array}{c}\hfill \Vert p-p^{\prime }{\Vert }_{\infty }\le \Vert p-p^{\prime }{\Vert }_2\le \sqrt{d}{\Vert p-p^{\prime }\Vert }_{\infty }.\end{array}$$

This in turn shows that the $L_2$- and the $L_{\infty }$-Rips filtrations are strongly $\sqrt{d}$-interleaved. Using the scale balancing technique for strongly interleaved persistence modules, we get:

Lemma 9

The scaled persistence module ${(H({\mathcal{R}}_{\alpha /d^{0.25}}))}_{\alpha \ge 0}$ and ${(H({\mathcal{R}}_{\alpha }^{\infty }))}_{\alpha \ge 0}$ are strongly $d^{0.25}$-interleaved.

Using Theorem 2, Lemma 9 and the fact that interleavings satisfy the triangle inequality (Bubenik and Scott 2014, Theorem  3.3), we see that the module ${(H({\mathcal{X}}_{2\alpha }))}_{\alpha \ge 0}$ is strongly $2d^{0.25}$-interleaved with the scaled Rips persistence module ${(H({\mathcal{R}}_{\alpha /d^{0.25}}))}_{\alpha \ge 0}$. We can remove the scaling in the Rips filtration simply by multiplying the scales on both sides with $d^{0.25}$ and obtain our final approximation result:

Theorem 3

The module $(H({\mathcal{X}}_{2\sqrt[4]{d}\alpha }){)}_{\alpha \ge 0}$ and the Euclidean Rips persistence module $(H({\mathcal{R}}_{\alpha }){)}_{\alpha \ge 0}$ are $2d^{0.25}$-approximations of each other.

Computational complexity

In this section, we discuss the computational aspects of constructing the approximation tower. In Sect. 5.1 we discuss the size complexity of the tower. An algorithm to compute the tower efficiently is presented in Sect. 5.2.

Range of relevant scales. Set $n:=|P|$ and let CP(P) denote the closest pair distance of P. At scale ${\alpha }_0:=\frac{CP(P)}{3d}$ and lower, no two active vertices lie in the same face of the grid, so the approximation complex consists of n isolated 0-simplices. At scale ${\alpha }_m:=diam(P)$ and higher, points of P map to active vertices of a common face (by Lemma 5), so the generated complex is acyclic. We inspect the range of scales $[{\alpha }_0,{\alpha }_m]$ to construct the tower, since the barcode is explicitly known for scales outside this range. For this, we set $\lambda ={\alpha }_0$ in the definition of the scales. The total number of scales is

$$\begin{array}{c}\hfill \lceil {log}_2{\alpha }_m/{\alpha }_0\rceil =⌈{log}_2,\frac{diam(P)3d}{CP(P)}⌉=\lceil {log}_2\mathrm{\Delta }+{log}_{2}3d\rceil =O(log\mathrm{\Delta }+logd),\end{array}$$

where $\mathrm{\Delta }=\frac{diam(P)}{CP(P)}$ is the spread of the point set.

Size of the tower

The size of a tower is the number of simplices that do not have a preimage, that is, the number of simplex inclusions in the tower. We start by counting the number of active faces used in the tower.

Lemma 10

The number of active faces without pre-image in the tower is at most $n{3}^d$.

Proof

At scale ${\alpha }_0$, there are n inclusions of 0-simplices in the tower, due to n active vertices. Using Lemma 2, g is surjective on the active vertices of $\square$ (for any scale). Hence, no further active vertices are added to the tower.

It remains to count the maximal active faces of dimension $\ge 1$ without preimage. We will use a charging argument, charging the existence of such an active face to one of the points in P. We show that each point of P is charged at most $3^d-1$ times, which proves the claim. For that, we first fix an arbitrary total order $\prec$ on P. Each active vertex on any scale has a non-empty subset of P in its Voronoi region; we call the maximal such point with respect to the order $\prec$ the representative of the active vertex.

For each active face f of dimension at least one, we define the signature of f as the set of representatives of the active vertices of f. If for any set of active vertices $u_1,\cdots ,u_k$ we have that $v=g(u_1)=\cdots =g(u_k)$, then the representative of v is one of the representatives of $u_1,\cdots ,u_k$, using Lemma 2. Therefore, the signatures of the active faces that are images of f under g are subsets of the signature of f. This implies that each maximal active face that is included has a unique maximal signature. We bound the number of maximal signatures to get a bound on the number of maximal active face inclusions. We charge the addition of each maximal signature to the lowest ordered point according to $\prec$.

Each signature contains representatives of active vertices from a face of ${\square }_{\alpha }$. Since each active vertex v has $3^d-1$ neighboring vertices in the grid that lie in a common face, the representative p of v can be charged $3^d-1$ times. There is a canonical isomorphism between the neighboring vertices of v at each scale. Then, for p to be charged more times, the image of v and some neighboring vertex u must be identical under g at some scale. But then, the representative of $g(v)=g(u)$ is not p anymore, since p was the lowest ranked point in its neighborhood, hence the representative changes when the Voronoi regions are combined. So, p could not have been charged in such a case. Therefore, each point $p\in P$ is indeed charged at most $3^d-1$ times.

There are n active faces of dimension 0 and at most $n(3^d-1)$ active faces of higher dimension. The upper bound is $n+n(3^d-1)=n{3}^d$, as claimed. $\square$

Theorem 4

The k-skeleton of the tower has size at most

$$\begin{array}{c}\hfill n{6}^{d-1}(2k+4)(k+3)!\left\{\begin{array}{c}d\\ k+2\end{array}\right\}=n{2}^{O(dlogk+d)},\end{array}$$

where $\left\{\begin{array}{c}a\\ b\end{array}\right\}$ denotes the Stirling number of the second kind.

Proof

Each k-simplex that is included in the tower at any given scale $\alpha$ is a part of the barycentric subdivision of an active face that is also included at $\alpha$. Therefore, we can account for the inclusion of this simplex by including the barycentric subdivision of its parent active face.

From Lemma 10 at most $n{3}^d$ active faces are included in the tower over all dimensions. We bound the number of k-simplices in the barycentric subdivision of a d-cube. Multiplying with $n{3}^d$ gives the required bound.

Let c be any d-cube of ${\square }_{\alpha }$. To count the number of flags of length $(m+1)$ contained in c that start with some vertex and end with c, we use similar ideas as in Edelsbrunner and Kerber (2012): first, we fix any vertex v of c and count the flags of the form $v\subseteq \cdots \subseteq c$. Every $\ell$-face in c incident to v corresponds to a subset of $\ell$ coordinate indices, in the sense that the coordinates not chosen are fixed to the coordinates of v for the face. With this correspondence, a flag from v to c of length $(m+1)$ corresponds to an ordered m-partition of $\{1,\cdots ,d\}$. The number of such partitions is known as m! times the quantity $\left\{\begin{array}{c}d\\ m\end{array}\right\}$, which is the Stirling number of second kind (Rennie and Dobson 1969), and is upper bounded by $2^{O(dlogm)}$. Since c has $2^d$ vertices, the total number of flags $v\subseteq \cdots \subseteq c$ of length $(m+1)$ with any vertex v is hence $2^{d}m!\left\{\begin{array}{c}d\\ m\end{array}\right\}$.

We now count the number of flags of length $k+1$. Each such flag is $(k+1)$-subset of some flag of length $m=k+3$ that start with a vertex and end with c. There are $2^d(k+2)!\left\{\begin{array}{c}d\\ k+2\end{array}\right\}$ such flags and each of them has $\left(\begin{array}{c}k+3\\ k+1\end{array}\right)=(k+3)(k+2)/2$ subsets of size $(k+1)$. The number of $(k+1)$-flags is upper bounded by $2^d(k+2)!\left\{\begin{array}{c}d\\ k+2\end{array}\right\}\frac{(k+3)(k+2)}{2}=2^{d-1}(k+2)(k+3)!\left\{\begin{array}{c}d\\ k+2\end{array}\right\}$. The k-skeleton has size at most

$$\begin{array}{c}\hfill n{3}^d{2}^{d-1}(k+2)(k+3)!\left\{\begin{array}{c}d\\ k+2\end{array}\right\}=n{6}^{d-1}(2k+4)(k+3)!\left\{\begin{array}{c}d\\ k+2\end{array}\right\}.\end{array}$$

$\square$

Computing the tower

From Sect. 3, we know that $G_{{\alpha }_{s+1}}$ is built from $G_{{\alpha }_s}$ by making use of an arbitrary translation vector $(\pm 1,\cdots ,\pm 1)\in {\mathbb{Z}}^d$. In our algorithm, we pick the components of this translation vector uniformly at random from $\{+1,-1\}$, and independently for each scale. The choice behind choosing this vector randomly becomes more clear in the next lemma.

From the definition, the cubical maps $g_{{\alpha }_s}:{\square }_{{\alpha }_s}\to {\square }_{{\alpha }_{s+1}}$ can be composed for multiple scales. For a fixed ${\alpha }_s$, we denote by $g^{(j)}:{\square }_{{\alpha }_s}\to {\square }_{{\alpha }_{s+j}}$ the j-fold composition of g, that is,

$$\begin{array}{c}\hfill g^{(j)}=g_{{\alpha }_{s+j-1}}\circ g_{{\alpha }_{s+j-2}}\circ \cdots \circ g_{{\alpha }_{s+1}}\circ g_{{\alpha }_s},\end{array}$$

for $j\ge 1$.

Lemma 11

For any k-face $f\in {\square }_{{\alpha }_s}$ with $1\le k\le d$, let Y denote the minimal integer j such that $g^{(j)}(f)$ is a vertex, for a given choice of the randomly chosen translation vectors. Then, the expected value of Y satisfies

$$\begin{array}{c}\hfill \mathbb{E}[Y]\le 3logk,\end{array}$$

which implies that no face of ${\square }_{{\alpha }_s}$ survives more than $3logd$ scales in expectation.

Proof

Without loss of generality, assume that the grid under consideration is ${\mathbb{Z}}^d$ and f is the k-face spanned by the vertices $\{{\underbrace{\{0,1\},\cdots ,\{0,1\}}}_k,0,\cdots ,0\}$, so that the origin is a vertex of f. The proof for the general case is analogous.

Let $y_1\in \{-1,1\}$ denote the randomly chosen first coordinate of the translation vector, so that the corresponding shift is one of $\{-1/2,1/2\}$.

• If $y_1=1$, then the grid $G^{\prime }$ on the next scale has some grid point with $x_1$-coordinate 1/2. Clearly, the closest grid point in $G^{\prime }$ to the origin is of the form $(+1/2,\pm 1/2,\cdots ,\pm 1/2)$, and thus, this point is also closest to $(1,0,0,\cdots ,0)$. The same is true for any point $(0,\ast ,\cdots ,\ast )$ and its corresponding point $(1,\ast ,\cdots ,\ast )$ on the opposite facet of f. Hence, for $y_1=1$, g(f) is a face where all points have the same $x_1$-coordinate.

• On the other hand, if $y_1=-1$, the origin is mapped to some point which has the form $(-1/2,\pm 1/2,\cdots ,\pm 1/2)$ and $(1,0,\cdots ,0)$ is mapped to $(3/2,\pm 1/2,\cdots ,\pm 1/2)$, as one can directly verify. Hence, in this case, in g(f), points do not all have the same $x_1$ coordinate.

We say that the $x_1$-coordinate collapses in the first case and survives in the second. Both events occur with the same probability 1/2. Because the shift is chosen uniformly at random for each scale, the probability that $x_1$ did not collapse after j iterations is $1/2^j$.

f spans k coordinate directions, so it must collapse along each such direction to contract to a vertex. Once a coordinate collapses, it stays collapsed at all higher scales. As the random shift is independent for each coordinate direction, the probability of a collapse is the same along all coordinate directions that f spans. Using the union bound, the probability that $g^j(f)$ has not collapsed to a vertex is at most $k/2^j$. With Y as in the statement of the lemma, it follows that

$$\begin{array}{c}\hfill P(Y\ge j)\le k/2^j.\end{array}$$

Hence,

$$\begin{array}{cc}\hfill \mathbb{E}[Y]=& \sum _{j=1}^{\infty }jP(Y=j)=\sum _{j=1}^{\infty }P(Y\ge j)\hfill \\ \hfill & \le logk+\sum _{c=1}^{\infty }\sum _{j=clogk}^{(c+1)logk}P(Y\ge j)\hfill \\ \hfill & \le logk+\sum _{c=1}^{\infty }\sum _{j=clogk}^{(c+1)logk}P(Y\ge clogk)\hfill \\ \hfill & \le logk+\sum _{c=1}^{\infty }logk\frac{k}{2^{clogk}}\hfill \\ \hfill & \le logk+logk\sum _{c=1}^{\infty }\frac{1}{k^{c-1}}\hfill \\ \hfill & \le logk+2logk\le 3logk.\hfill \end{array}$$

$\square$

As a consequence of the lemma, the expected “lifetime” of k-simplices in our tower with $k>0$ is rather short: given a flag $e_0\subseteq \cdots \subseteq e_{\ell }$, the face $e_{\ell }$ will be mapped to a vertex after $O(logd)$ steps, and so will be all its sub-faces, turning the flag into a vertex. It follows that summing up the total number of k-simplices with $k>0$ over ${\mathcal{X}}_{\alpha }$ for all $\alpha \ge 0$ yields an upper bound of $n{2}^{O(dlogk+d)}$ as well.

Algorithm description

Recall that a simplicial map can be written as a composition of simplex inclusions and contractions of vertices (Dey et al. 2014; Kerber and Schreiber 2017). That means, given the complex ${\mathcal{X}}_{{\alpha }_s}$, to describe the complex at the next scale ${\alpha }_{s+1}$, it suffices to specify

• which pairs of vertices in ${\mathcal{X}}_{{\alpha }_s}$ map to the same image under $\tilde{g}$, and

• which simplices in ${\mathcal{X}}_{{\alpha }_{s+1}}$ are included at scale ${\mathcal{X}}_{{\alpha }_{s+1}}$.

The input is a set of n points $P\subset {\mathbb{R}}^d$. The output is a list of events, where each event is of one of the three following types:

• A scale event defines a real value $\alpha$ and signals that all upcoming events happen at scale $\alpha$ (until the next scale event).

• An inclusion event introduces a new simplex, specified by the list of vertices on its boundary (we assume that every vertex is identified by a unique integer).

• A contraction event is a pair of vertices (i, j) from the previous scale, and signifies that i and j are identified as the same from that scale.

In a first step, we estimate the range of scales that we are interested in. We compute a 2-approximation of diam(P) by taking any point $p\in P$ and calculating ${max}_{q\in P}\Vert p-q\Vert$. Then we compute CP(P) using a randomized algorithm in $n{2}^{O(d)}$ expected time (Khuller and Matias 1995).

Next, we proceed scale-by-scale and construct the list of events accordingly. On the lowest scale, we simply compute the active vertices by point location for P in a cubical grid, and enlist n inclusion events (this is the only step where the input points are considered in the algorithm).

For the data structure, we use an auxiliary container S and maintain the invariant that whenever a new scale is considered, S consists of all simplices of the previous scale, sorted by dimension. In S, for each vertex, we store an id and a coordinate representation of the active face to which it corresponds. Every $\ell$-simplex with $\ell >0$ is stored just as a list of integers, denoting its boundary vertices. We initialize S with the n active vertices at the lowest scale.

Let $\alpha <{\alpha }^{\prime }$ be any two consecutive scales with $\square ,{\square }^{\prime }$ the respective cubical complexes and $\mathcal{X},{\mathcal{X}}^{\prime }$ the approximation complexes, with $\tilde{g}:\mathcal{X}\to {\mathcal{X}}^{\prime }$ being the simplicial map connecting them. Suppose we have already constructed all events at scale $\alpha$.

• First, we enlist the scale event for ${\alpha }^{\prime }$.

• Then, we enlist the contraction events. For that, we iterate through the vertices of $\mathcal{X}$ and compute their value under g, using point location in a cubical grid. We store the results in a list $S^{\prime }$ (which contains the simplices of ${\mathcal{X}}^{\prime }$). If for a vertex j, g(j) is found to be equal to g(i) for a previously considered vertex i, we choose the minimal such i and enlist a contraction event for (i, j).

• We turn to the inclusion events:

  • We start with the case of vertices. Every vertex of ${\mathcal{X}}^{\prime }$ is either an active face or a secondary face of ${\square }^{\prime }$. Each active face must contain an active vertex, which is also a vertex of ${\mathcal{X}}^{\prime }$. We iterate through the elements in $S^{\prime }$. For each active vertex v encountered, we go over all faces of the cubical complex ${\square }^{\prime }$ that contain v as a vertex, and check whether they are active. For every active face E encountered that is not in $S^{\prime }$ yet, we add it to $S^{\prime }$ and enlist an inclusion event of a new 0-simplex. Additionally, we go over each face of E, add it to $S^{\prime }$ and enlist a vertex inclusion event, thereby enumerating the secondary faces that are in E. At termination, all vertices of ${\mathcal{X}}^{\prime }$ have been detected.
  • Next, we iterate over the simplices of S of dimension $\ge 1$, and compute their image under $\tilde{g}$ using the pre-computed vertex map; we store the result in $S^{\prime }$.
  • To find the simplices of dimension $\ge 1$ included at ${\mathcal{X}}^{\prime }$, we exploit our previous insight that they contain at least one vertex that is included at the same scale (see the proof of Theorem 4). Hence, we iterate over the vertices included in ${\mathcal{X}}^{\prime }$ and find the included simplices inductively in dimension. Let v be the current vertex under consideration; assume that we have found all $(p-1)$-simplices in ${\mathcal{X}}^{\prime }$ that contain v. Each such $(p-1)$-simplex $\sigma$ is a flag of length p in ${\square }^{\prime }$. We iterate over all faces e that extend $\sigma$ to a flag of length $p+1$. If e is active, we have found a p-simplex in ${\mathcal{X}}^{\prime }$ incident to v. If this simplex is not in $S^{\prime }$ yet, we add it and enlist an inclusion event for it. We also enqueue the simplex in our inductive procedure, to look for $(p+1)$-simplices in the next round. At the end of the procedure, we have detected all simplices in ${\mathcal{X}}^{\prime }$ without preimage, and $S^{\prime }$ contains all simplices of ${\mathcal{X}}^{\prime }$. We set $S\leftarrow S^{\prime }$ and proceed to the next scale.

This ends the description of the algorithm.

Theorem 5

To compute the k-skeleton, the algorithm takes

$$\begin{array}{c}\hfill n{2}^{O(d)}log\mathrm{\Delta }+2^{O(d)}M\end{array}$$

time in expectation and M space, where M denotes the size of the tower. In particular, the expected time is bounded by

$$\begin{array}{c}\hfill n{2}^{O(d)}log\mathrm{\Delta }+n{2}^{O(dlogk+d)}\end{array}$$

and the space is bounded by $n{2}^{O(dlogk+d)}$.

Proof

In the analysis, we ignore the costs of point locations in grids, checking whether a face is active, and searches in data structures S, since all these steps have negligible costs when appropriate data structures are chosen.

Computing the image of a vertex of $\mathcal{X}$ costs $O(2^d)$ time. Moreover, there are at most $n{2}^{O(d)}$ vertices altogether in the tower in expectation (using Lemma 10), so this bound in particular holds on each scale. Hence, the contraction events on a fixed scale can be computed in $n{2}^{O(d)}$ time. Finding new active vertices requires iterating over the cofaces of a vertex in a cubical complex. There are $3^d$ such cofaces for each vertex. This has to be done for a subset of the vertices in ${\mathcal{X}}^{\prime }$, so the running time is also $n{2}^{O(d)}$. Further, for each new active face, we go over its $2^{O(d)}$ faces to enlist the secondary faces, so this step also consumes $n{2}^{O(d)}$ time. Since there are $O(log\mathrm{\Delta }+logd)$ scales considered, these steps require $n{2}^{O(d)}log\mathrm{\Delta }$ over all scales.

Computing the image of $\tilde{g}$ for a fixed scale costs at most $O(2^d|\mathcal{X}|)$. M is the size of the tower, that is, the simplices without preimage, and I is the set of scales considered. The expected bound for ${\sum }_{\alpha \in I}|{\mathcal{X}}_{\alpha }|=O(logdM)$, because every simplex has an expected lifetime of at most $3logd$ by Lemma 11. Hence, the cost of these steps is bounded by $2^{O(d)}M$.

In the last step of the algorithm, we find the simplices of ${\mathcal{X}}^{\prime }$ included at ${\alpha }^{\prime }$. We consider a subset of simplices of ${\mathcal{X}}^{\prime }$, and for each, we iterate over a collection of faces in the cubical complex of size at most $2^{O(d)}$. Hence, this step is also bounded by $2^{O(d)}|\mathcal{X}|$ per scale, and hence bounded $2^{O(d)}M$ as well.

For the space complexity, the auxiliary data structure S gets as large as $\mathcal{X}$, which is clearly bounded by M. For the output complexity, the number of contraction events is at most the number of inclusion events, because every contraction removes a vertex that has been included before. The number of inclusion events is the size of the tower. The number of scale events as described is $O(log\mathrm{\Delta }+logd)$. However, it is simple to get rid of this factor by only including scale events in the case that at least one inclusion or contraction takes place at that scale. The space complexity bound follows. $\square$

Dimension reduction

When the ambient dimension d is large, our approximation scheme can be combined with dimension reduction techniques to reduce the final complexity, very similar to the application in Choudhary et al. (2017b). For a set of n points $P\subset {\mathbb{R}}^d$, we apply the dimension reduction schemes of Johnson-Lindenstrauss (JL) (Johnson et al. 1986), Matoušek (MT) (Matoušek 1990), and Bourgain’s embedding (BG) (Bourgain 1985). We then compute the approximation on the lower-dimensional point set. We only state the main results in Table 1, leaving out the proofs since they are very similar to those from Choudhary et al. (2017b).

Table 1.

Comparison of dimension reduction techniques: here the approximation ratio is for the Rips persistence module, and the size refers to the size of the k-skeleton of the approximation

technique	approximation ratio	size	runtime
JL	$O({log}^{0.25}n)$	$n^{O(logk)}$	$n^{O(1)}log\mathrm{\Delta }+n^{O(logk)}$
MT	$O({(logn)}^{0.75}{(loglogn)}^{0.25})$	$n^{O(1)}$	$n^{O(1)}log\mathrm{\Delta }$
BG + MT	$O({(logn)}^{1.75}{(loglogn)}^{0.25})$	$n^{O(1)}$	$n^{O(1)}log\mathrm{\Delta }$

Approximation scheme with cubical complexes

We extend our approximation scheme to use cubical complexes in place of simplicial complexes. We start by detailing a few aspects of cubical complexes.

Cubical complexes

We now briefly describe the concept of cubical complexes, essentially expanding upon the contents of Sect. 3.1. For a detailed overview of cubical homology, we refer to Kaczynski et al. (2004).

Definition

We define cubical complexes over the grids $G_{{\alpha }_s}$. For any fixed ${\alpha }_s$, the grids $G_{{\alpha }_s}$ defines a natural collection of cubes. An elementary cube $\gamma$ is a product of intervals $\gamma =I_1\times I_2\times \cdots \times I_d$, where each interval is of the form $I_j=(x_j,x_j+m_j)$, such that the vertex $(x_1,\cdots ,x_m)\in G_{{\alpha }_s}$ and each $m_j$ is either 0 or ${\alpha }_s$. That means, an (elementary) cube is simply a face of a d-cube of the grid. An interval $I_j$ is said to be degenerate if $m_j=0$. The dimension of $\gamma$ is the number of non-degenerate intervals that defines it. We define the boundary of any interval as the two degenerate intervals that form its endpoints and denote this by $\partial (I_j)=(x_j,x_j)+(x_j+m_j,x_j+m_j)$. Taking the boundary of any fixed subset of the intervals defining $\gamma$ consecutively gives a sum of faces of $\gamma$. A cubical complex of $G_{{\alpha }_s}$ is a finite collection of cubes of $G_{{\alpha }_s}$.

We define chain complexes for the cubical case in the same way as in simplicial complexes. The chain complexes are connected by boundary homomorphisms, where the boundary of a cube is defined as:

$$\begin{array}{c}\hfill \partial \left(I_1,\times ,\cdots ,\times ,I_d\right)=\left(\partial ,(I_1),\times ,I_2,\times ,\cdots ,\times ,I_d\right)+\cdots +\left(I_1,\times ,\cdots ,\times ,I_{d-1},\times ,\partial ,(I_d)\right),\end{array}$$

where $(I_1\times \cdots \times \partial (I_j)\times \cdots \times I_d)$ denotes the sum

$$\begin{array}{c}\hfill \left(I_1,\times ,\cdots ,\times ,\left(x_i,,,x_i\right),\times ,\cdots ,\times ,I_d\right)+\left(I_1,\times ,\cdots ,\times ,\left(x_i,+,m_i,,,x_i,+,m_i\right),\times ,\cdots ,\times ,I_d\right).\end{array}$$

It can be quickly verified that for each cube $\gamma$, $\partial \circ \partial (\gamma )=0$ since each term appears twice in the expression and the addition is over ${\mathbb{Z}}_2$.

Cubical maps and induced homology

Let $T_{{\alpha }_s}$ and $T_{{\alpha }_t}$ denote the cubical complexes defined by the grids $G_{{\alpha }_s}$ and $G_{{\alpha }_t}$, respectively, for $s\le t$. We use the vertex map $g:G_{{\alpha }_s}\to G_{{\alpha }_t}$ to define a map between the cubical complexes. Note that if (a, b) are vertices of a cube of $T_{{\alpha }_s}$ that differ in one coordinate, then (g(a), g(b)) are vertices of a cube of $T_{{\alpha }_t}$ that differ in at most one coordinate. A cubical map is a map $f:T_{{\alpha }_s}\to T_{{\alpha }_t}$ defined using g, such that for each cube $\gamma =[a_1,b_1]\times \cdots \times [a_d,b_d]$ of $T_{{\alpha }_s}$, $f(\gamma ):=[g(a_1),g(b_1)]\times \cdots \times [g(a_d),g(b_d)]$ spans a cube of $T_{{\alpha }_t}$. The cubical map can also be restricted to sub-complexes of $T_{{\alpha }_s}$ and $T_{{\alpha }_t}$, provided that the image $f(\gamma )$ is well-defined.

Each cubical map also defines a corresponding continuous map between the underlying spaces of the respective complexes. Let $x\in |\gamma |$ be a point in $\gamma$. Then, the coordinates of x can be uniquely written as $x=[{\lambda }_1{a}_1+(1-{\lambda }_1)b_1,\cdots ,{\lambda }_d{a}_d+(1-{\lambda }_d)b_d]$ where each ${\lambda }_i\in [0,1]$. The image of x under the continuous extension of f is the point $[{\lambda }_{1}g(a_1)+(1-{\lambda }_1)g(b_1),\cdots ,{\lambda }_{d}g(a_d)+(1-{\lambda }_d)g(b_d)]$ in the cube $g(\gamma )$.

The cubical map f gives rise to a chain map $f_{\#}:C_p(T_{{\alpha }_s})\to C_p(T_{{\alpha }_t})$ between the p-th chain groups of the complexes, for each $p\in [0,\cdots ,d]$. For each cube $\gamma$, $f_{\#}(\gamma )=f(\gamma )$ if $dim(\gamma )=dim(f(\gamma ))$ and 0 otherwise. For any chain $c={\sum }_i{\gamma }_i$, the chain map is defined linearly $f_{\#}(c)={\sum }_i{f}_{\#}({\gamma }_i)$. It is simple to verify that $\partial \circ f_{\#}=f_{\#}\circ \partial$, so this gives a homomorphism between the chain groups.

Moving to the homology level, we get the respective homology groups $H(T_{{\alpha }_s})$ and $H(T_{{\alpha }_t})$ and the chain map from above induces a linear map between them. The concept of reduced homology and augmentation maps is also applicable to the cubical chain complexes. For a sequence of cubical complexes connected with cubical maps, this generates a persistence module.

Cubical filtrations and towers are defined in a similar manner to the simplicial case. A cubical filtration is a collection of cubical complexes ${(T_{\alpha })}_{\alpha \in I}$ such that $T_{\alpha }\subseteq T_{\alpha }^{\prime }$ for all $\alpha \le {\alpha }^{\prime }\in I$. A (cubical) tower is a sequence ${(T_{\alpha })}_{\alpha \in J}$ of cubical complexes with J being an index set together with cubical maps between complexes at consecutive scales. A cubical tower can be written as a sequence of inclusions and contractions, where an inclusion refers to the addition of a cube and a contraction refers to collapsing a cube along a coordinate direction to either of the endpoints of the interval.

Description

We choose the simplest possible cubical complex to define our approximation cubical tower: for each scale ${\alpha }_s$, we define the cubical complex $U_{{\alpha }_s}$ as the set of active faces and secondary faces spanned by $V_{{\alpha }_s}$. Hence the cubical complex is closed under taking faces and is well-defined. See Fig. 5 for a simple example.

Recall from Sect. 4 that for each $s\in \mathbb{Z}$, $U_{{\alpha }_s}$ and $U_{{\alpha }_{s+1}}$ are related by a cubical map $g_{{\alpha }_s}$, which gives rise to the cubical tower

$$\begin{array}{c}\hfill {\left(U_{{\alpha }_s}\right)}_{s\in \mathbb{Z}}.\end{array}$$

We extend this to a tower ${(U_{\alpha })}_{\alpha \ge 0}$ by using techniques from Appendix A. In Sect. 4 we saw that the tower ${({\mathcal{X}}_{\alpha })}_{\alpha \ge 0}$ gives an approximation to the Rips filtration. The relation between the simplicial and cubical towers is trivial: ${\mathcal{X}}_{{\alpha }_s}$ is simply a triangulation of $|U_{{\alpha }_s}|$. Hence ${\mathcal{X}}_{{\alpha }_s}$ and $U_{{\alpha }_s}$ have the same homology (Munkres 1984). Moreover, the simplicial map is derived from an application of the cubical map. In particular, the continuous versions of both maps are the same. For any $0\le \alpha \le \beta$, let

• $f_1:H_{\ast }(U_{\alpha })\to H_{\ast }(U_{\beta })$ denote the homomorphism induced by the cubical map,

• $f_2:H_{\ast }({\mathcal{X}}_{\alpha })\to H_{\ast }({\mathcal{X}}_{\beta })$ denote the homomorphism induced by the simplicial map, and

• $f_0:H_{\ast }(|{\mathcal{X}}_{\alpha }|=|U_{\alpha }|)\to H_{\ast }(|{\mathcal{X}}_{\beta }|=|U_{\beta }|)$ denote the homomorphism induced by the common continuous map.

It is well-established that $f_1=f_0$ (Kaczynski et al. 2004, Chapter. 6) and $f_2=f_0$ (Munkres 1984, Chapter. 2). Therefore, we conclude that the persistence modules $(H(U_{\alpha }){)}_{\alpha \ge 0}$ and $(H({\mathcal{X}}_{\alpha }){)}_{\alpha \ge 0}$ are persistence-equivalent. Combining this observation with the result of Theorem 3, we get

Theorem 6

The scaled persistence modules

• $(H(U_{2\alpha }){)}_{\alpha \ge 0}$ and the $L_{\infty }$-Rips module $(H({\mathcal{R}}_{\alpha }^{\infty }){)}_{\alpha \ge 0}$ are 2-approximations of each other, and

• $(H(U_{2\sqrt[4]{d}\alpha }){)}_{\alpha \ge 0}$ and the Rips module $(H({\mathcal{R}}_{\alpha }){)}_{\alpha \ge 0}$ $2d^{0.25}$-approximate each other.

To compute the cubical tower, we simply re-use the algorithm for the simplicial case, with small changes:

• In the simplicial case, we used a container S to hold the simplices from the previous scale. We alter S to store the cubes from the previous scale. For each interval, we store an id and its coordinates. Each cube is stored as the set of ids of the intervals that define it.

• At each scale, we enumerate the image of the cubical map by computing the image of each interval, and then use this pre-computed map to compute the image of $(\ge 1)$-dimensional cubes.

• For the inclusions, we find all the active and secondary faces but do not compute the simplices. The inclusions in the cubical tower correspond exactly to the inclusions of active and secondary faces in the simplicial tower, so this enumerates all inclusions correctly.

From Lemma 10 at most $n{3}^d$ active faces are added to the tower. Hence at most $n{3}^d{3}^d=n{6}^d$ active and secondary faces are added to the tower. Computing the tower takes time as in Theorem 5 by replacing M with the size bound. We conclude that:

Theorem 7

The cubical tower has size at most $n{6}^d$ and takes at most $n{6}^{d}log\mathrm{\Delta }$ time in expectation to compute, where $\mathrm{\Delta }$ is the spread of the point set.

Discussion

Practicality

We now touch upon the practical aspects of our constructions. An implementation of our approximation scheme would be a tool that computes the (approximate) persistence barcode for any input data set. For any scheme to be useful in practice, it should be able to compute sufficiently close approximations using a reasonable amount of resources.

Our cubical tower consists of cubical complexes connected via cubical maps. To our knowledge, there are no algorithms to compute barcodes in this setting where the cubical maps are more than just trivial inclusions. As such, although our cubical scheme has exponentially lower theoretical guarantees compared to the simplicial tower, we can not hope to test it in practice unless the appropriate primitives are available. It could be an interesting research direction to develop this primitive and in particular investigate whether the techniques used in computing persistence barcodes for a simplicial tower allow a generalization to the cubical case.

It makes more sense to inspect the simplicial tower. We saw in Theorem 4 that the size of the tower is $n{6}^{d-1}(2k+4)(k+3)!\left\{\begin{array}{c}d\\ k+2\end{array}\right\}$. Unfortunately, this bound is already too large so that the storage requirement of the Algorithm (Theorem 7) explodes exponentially. Let us assume a conservative bound of 1 Byte of memory requirement per simplex. For a point set in $d=8$ dimensions and $k=4$, the complexity bound is already at least 4000 Terabytes, before factoring in n. For a point set in $d=10$ dimensions and $k=5$, this explodes to ${10}^{20}$ Terabytes. While these are upper bounds, in practice the complexity will still need to be many orders of magnitude smaller to be feasile, which is unlikely. Even with conservative estimates our storage requirement is impractical.

Therefore we are not very hopeful that implementing the scheme in its current state will provide any useful insight for high dimensional approximations. Making it implementation-worthy demands more optimizations and tools at the algorithmic level. This is worth another Algorithmic engineering project in its own right. We plan to pursue this line of research in the future. Since our focus in this paper was geared towards theoretical aspects of approximations, we exclude experimental results in the current work. We hope that a more careful implementation-focussed approach may prove more practical.

On the other hand, the upper bound for the cubical case is simply $n{6}^d$. Even for $d=10$, the storage requirement would be less than 100 Megabytes before factoring in n. This is far more attractive than the simplicial case. As such, it may make more sense to invest time and effort in developing tools to compute barcodes in the cubical setup.

Summary

We presented an approximation scheme for the Rips filtration, with improved approximation ratio, size and computational complexity than previous approaches for the case of high-dimensional point clouds. In particular, we are able to achieve a marked reduction in the size of the approximation by using cubical complexes in place of simplicial complexes. This is in contrast to all other previous approaches that used simplicial complexes as approximating structures.

An important technique that we used in our scheme is the application of acyclic carriers to prove interleaving results. An alternative would to be explicitly construct chain maps between the Rips and the approximation towers; unfortunately, this make the interleaving analysis significantly more complex. While the proof of the interleaving in Sect. 4.3 is still technically challenging, it greatly simplifies by the usage of acyclic carriers. There is also no benefit in knowing the interleaving maps because they are only required for the analysis of the interleaving, and not for the actual computation of the approximation tower. We believe that this technique is of general interest for the construction of approximations of cell complexes.

Our simplicial tower is connected by simplicial maps; there are (implemented) algorithms to compute the barcode of such towers (Dey et al. 2014; Kerber and Schreiber 2017). It is also quite easy to adapt our tower construction to a streaming setting (Kerber and Schreiber 2017), where the output list of events is passed to an output stream instead of being stored in memory.

Strong interleaving for barycentric scheme

Recall that we build the approximation tower over the set of scales $I:=\{{\alpha }_s=2^s\mid s\in \mathbb{Z}\}$. The tower ${({\mathcal{X}}_{\alpha })}_{\alpha \in I}$ connected with the simplicial map $\tilde{g}$ can be extended to the set of scales $\{\alpha \ge 0\}$ with simple modifications:

• for $\alpha \in I$, we define ${\mathcal{X}}_{\alpha }$ in the usual manner. The map $\tilde{g}$ stays the same as before for complexes at such scales.

• for all $\alpha \in [{\alpha }_s,{\alpha }_{s+1})$, we set ${\mathcal{X}}_{\alpha }={\mathcal{X}}_{{\alpha }_s}$, for any ${\alpha }_s\in I$. That means, the complex stays the same in the interval between any two scales of I, so we define $\tilde{g}$ as the identity within this interval.

These give rise to the tower ${({\mathcal{X}}_{\alpha })}_{\alpha \ge 0}$, that is connected with the simplicial map $\tilde{g}$. This modification helps in improving the interleaving with the Rips persistence module.

First, we extend the acyclic carriers $C_1$ and $C_2$ from before to the new case:

• $C_1^{\alpha }:{\mathcal{R}}_{\alpha }^{\infty }\to {\mathcal{X}}_{4\alpha },\alpha >0$: we define $C_1$ as before, simply changing the scales in the definition. It is straightforward to see that $C_1$ is still a well-defined acyclic carrier.

• $C_2^{\alpha }:{\mathcal{X}}_{\alpha }\to {\mathcal{R}}_{\alpha }^{\infty },\alpha \ge 0$: this stays the same as before. It is simple to check that $C_2$ is still a well-defined acyclic carrier.

These give rise to augmentation-preserving chain maps between the chain complexes:

$$\begin{array}{c}\hfill c_1^{\alpha }:{\mathcal{C}}_{\ast }\left({\mathcal{R}}_{\alpha }^{\infty }\right)\to {\mathcal{C}}_{\ast }\left({\mathcal{X}}_{4\alpha }\right)\text{and}{c}_2^{\alpha }:{\mathcal{C}}_{\ast }\left({\mathcal{X}}_{\alpha }\right)\to {\mathcal{C}}_{\ast }\left({\mathcal{R}}_{\alpha }^{\infty }\right),\end{array}$$

using the acyclic carrier theorem as before (Theorem 1).

Lemma 12

The diagram

12

commutes on the homology level, for all $0\le \alpha \le {\alpha }^{\prime }$.

Proof

Consider the acyclic carrier $C_1\circ inc:{\mathcal{R}}_{\alpha }^{\infty }\to {\mathcal{X}}_{4{\alpha }^{\prime }}$. It is simple to verify that this carrier carries both $c_1\circ inc$ and $\tilde{g}\circ c_1$, so the induced diagram on the homology groups commutes, from Theorem 1. $\square$

Lemma 13

The diagram

13

commutes on the homology level, for all $0\le \alpha \le {\alpha }^{\prime }$.

Proof

We construct an acyclic carrier $D:{\mathcal{X}}_{\alpha }\to {\mathcal{R}}_{{\alpha }^{\prime }}^{\infty }$ which carries $inc\circ c_2$ and $c_2\circ \tilde{g}$, thereby proving the claim (Theorem 1).

Consider any simplex $\sigma \in {\mathcal{X}}_{\alpha }$ and let $E\in {\square }_{\alpha }$ be the minimal active face of containing $\sigma$. We set $D(\sigma )$ as the simplex on the set of input points of P, which lie in the Voronoi regions of the vertices of g(E). By the triangle inequality, $D(\sigma )$ is a simplex of ${\mathcal{R}}_{{\alpha }^{\prime }}^{\infty }$, so that D is a well-defined acyclic carrier. It is straightforward to verify that D carries both $c_2\circ \tilde{g}$ and $inc\circ c_2$. $\square$

Lemma 14

The diagram

14

commutes on the homology level, for all $0\le \alpha \le {\alpha }^{\prime }$.

Proof

The diagram is essentially the same as the lower triangle of Diagram 10, with a change in the scales. As a result, the proof of Lemma 7 also applies for our claim directly. $\square$

Lemma 15

The diagram

15

commutes on the homology level, for all $0\le \alpha \le {\alpha }^{\prime }$.

Proof

The diagram can be re-interpreted as:

16

The modified diagram is essentially the same as the upper triangle of Diagram 10, with a change in the scales and a replacement of $c_1$ with $\tilde{g}\circ c_1$, that is equivalent to the chain map at the scale ${\alpha }^{\prime }$. Hence, the proof of Lemma 8 also applies for our claim directly. $\square$

Using Lemmas 12, 13, 14, 15, and the scale balancing technique for strongly interleaved persistence modules, it follows that

Lemma 16

The persistence modules $(H({\mathcal{X}}_{2\alpha }){)}_{\alpha \ge 0}$ and $(H({\mathcal{R}}_{\alpha }^{\infty }){)}_{\alpha \ge 0}$ are strongly 2-interleaved.

Funding

Open Access funding enabled and organized by Projekt DEAL.

Declarations

Conflict of interest

On behalf of all authors, the corresponding author states that there is no conflict of interest.