Contractibility of the Rips complexes of Integer lattices via local domination

Abstract

We prove that for each positive integer $n$, the Rips complexes of the $n$-dimensional integer lattice in the $d_1$ metric (i.e., the Manhattan metric, also called the natural word metric in the Cayley graph) are contractible at scales above $n^2(2n-1)$, with the bounds arising from the Jung's constants. We introduce a new concept of locally dominated vertices in a simplicial complex, upon which our proof strategy is based. This allows us to deduce the contractibility of the Rips complexes from a local geometric condition called local crushing. In the case of the integer lattices in dimension $n$ and a fixed scale $r$, this condition entails the comparison of finitely many distances to conclude that the corresponding Rips complex is contractible. In particular, we are able to verify that for $n=1,2,3$, the Rips complex of the $n$-dimensional integer lattice at scale greater or equal to $n$ is contractible. We conjecture that the same proof strategy can be used to extend this result to all dimensions $n$

arXiv comment18 pages, 3 figures. Fixed the gap in the proof of Theorem 5.2 (journal version), which was kindly pointed out by Samir Shukla

References in corpus (11)

• Ripser: efficient computation of Vietoris-Rips persistence barcodes
• The Vietoris-Rips complexes of a circle
• Rips complexes as nerves and a Functorial Dowker-Nerve Diagram
• On Vietoris-Rips complexes of ellipses
• Approximations of 1-Dimensional Intrinsic Persistence of Geodesic Spaces and Their Stability
• Footprints of geodesics in persistent homology
• Contractions in persistence and metric graphs
• Gromov Hyperbolicity, Geodesic Defect, and Apparent Pairs in Vietoris-Rips Filtrations
• Equivariant Morse theory on Vietoris-Rips complexes & universal spaces for proper actions
• Matching complexes of $3\times \mathbf{n}$ grid graphs
• Lower bounds on the homology of Vietoris-Rips complexes of hypercube graphs