Vietoris-Rips Metric Thickenings of the Circle

TL;DR

This paper proves that Vietoris-Rips metric thickenings of the circle are homotopy equivalent to odd-dimensional spheres at specific scales, confirming conjectures and linking persistent homology with geometric topology.

Contribution

It confirms conjectures about the homotopy types of Vietoris-Rips metric thickenings of the circle and provides a new proof using quotient spaces and CW complex descriptions.

Findings

Vietoris-Rips metric thickenings of the circle are homotopy equivalent to odd-dimensional spheres.

The approach involves quotient spaces that preserve homotopy type and are described as CW complexes.

Provides a natural, scale-parameter-respecting quotient map that proves the persistent homology.

Abstract

Vietoris-Rips metric thickenings have previously been proposed as an alternate approach to understanding Vietoris-Rips simplicial complexes and their persistent homology. Recent work has shown that for totally bounded metric spaces, Vietoris-Rips metric thickenings have persistent homology barcodes that agree with those of Vietoris-Rips simplicial complexes, ignoring whether endpoints of bars are open or closed. Combining this result with the known homotopy types and barcodes of the Vietoris-Rips simplicial complexes of the circle, the barcodes of the Vietoris-Rips metric thickenings of the circle can be deduced up to endpoints, and conjectures have been made about their homotopy types. We confirm these conjectures are correct, proving that the Vietoris-Rips metric thickenings of the circle are homotopy equivalent to odd-dimensional spheres at the expected scale parameters. Our approach is to find quotients of the metric thickenings that preserve homotopy type and show that the quotient spaces can be described as CW complexes. The quotient maps are also natural with respect to the scale parameter and thus provide a direct proof of the persistent homology of the metric thickenings.