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. Fornpoints in$$\mathbb {R}^d$$Rd, we present a scheme to construct a 2-approximation of the filtration of the Rips complex in the$$L_\infty $$L∞-norm, which extends to a$$2d^{0.25}$$2d0.25-approximation in the Euclidean case. Thek-skeleton of the resulting approximation has a total size of$$n2^{O(d\log k +d)}$$n2O(dlogk+d). The scheme is based on the integer lattice and simplicial complexes based on the barycentric subdivision of thed-cube. We extend our result to use cubical complexes in place of simplicial complexes by introducingcubical mapsbetween complexes. We get the same approximation guarantee as the simplicial case, while reducing the total size of the approximation to only$$n2^{O(d)}$$n2O(d)(cubical) cells. There are two novel techniques that we use in this paper. The first is the use ofacyclic carriersfor 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 asscale balancing, which is a simple trick to improve the approximation ratio under certain conditions.