Thickenings of a metric space capture local geometric properties of the space. Here we exhibit applications of lower bounding the topology of thickenings of the circle and more generally the sphere. We explain interconnections with the geometry of circle actions on Euclidean space, the structure of zeros of trigonometric polynomials, and theorems of Borsuk-Ulam type. We use the combinatorial and geometric structure of the convex hull of orbits of circle actions on Euclidean space to give geometric proofs of the homotopy type of metric thickenings of the circle. Homotopical connectivity bounds of thickenings of the sphere allow us to prove that a weighted average of function values of odd maps @math on a small diameter set is zero. We prove an additional generalization of the Borsuk-Ulam theorem for odd maps @math . We prove such results for odd maps from the circle to any Euclidean space with optimal quantitative bounds. This in turn implies that any raked homogeneous trigonometric polynomial has a zero on a subset of the circle of a specific diameter; these results are optimal.
While the theorems of @cite_14 @cite_9 describe conditions under which the homotopy type of a manifold is recoverable from a Vietoris--Rips complex for sufficiently small @math , much less is known about the topological behavior of these constructions for large values of @math , even though large values of @math commonly arise in applications of persistent homology @cite_35 . However, more is known in the specific case when the underlying manifold is the circle. The following theorem from @cite_28 is based on @cite_32 @cite_37 .
@cite_35 @cite_37 @cite_14 @cite_28 @cite_9 @cite_32
1900583485 2908292748 2120672285 2963754066
Given a metric space X and a distance threshold r>0, the Vietoris-Rips simplicial complex has as its simplices the finite subsets of X of diameter less than r. A theorem of Jean-Claude Hausmann states that if X is a Riemannian manifold and r is sufficiently small, then the Vietoris-Rips complex is homotopy equivalent to the original manifold. Little is known about the behavior of Vietoris-Rips complexes for larger values of r, even though these complexes arise naturally in applications using persistent homology. We show that as r increases, the Vietoris-Rips complex of the circle obtains the homotopy types of the circle, the 3-sphere, the 5-sphere, the 7-sphere, ..., until finally it is contractible. As our main tool we introduce a directed graph invariant, the winding fraction, which in some sense is dual to the circular chromatic number. Using the winding fraction we classify the homotopy types of the Vietoris-Rips complex of an arbitrary (possibly infinite) subset of the circle, and we study the expected homotopy type of the Vietoris-Rips complex of a uniformly random sample from the circle. Moreover, we show that as the distance parameter increases, the ambient Cech complex of the circle also obtains the homotopy types of the circle, the 3-sphere, the 5-sphere, the 7-sphere, ..., until finally it is contractible. We inspect Vietoris-Rips complexes @math of certain metric spaces @math using a new generalization of Bestvina-Brady discrete Morse theory. Our main result is a pair of metric criteria on @math , called the Morse Criterion and Link Criterion, that allow us to deduce information about the homotopy types of certain @math . One application is to topological data analysis, specifically persistence of homotopy type for certain Vietoris-Rips complexes. For example we recover some results of Adamaszek-Adams and Hausmann regarding homotopy types of @math . Another application is to geometric group theory; we prove that any group acting geometrically on a metric space satisfying a version of the Link Criterion admits a geometric action on a contractible simplicial complex, which has implications for the finiteness properties of the group. This applies for example to asymptotically @math groups. We also prove that any group with a word metric satisfying the Link Criterion in an appropriate range has a contractible Vietoris-Rips complex, and use combings to exhibit a family of groups with this property. We study the expected topological properties of Cech and Vietoris–Rips complexes built on random points in ℝd . We find higher-dimensional analogues of known results for connectivity and component counts for random geometric graphs. However, higher homology H k is not monotone when k>0. In particular, for every k>0, we exhibit two thresholds, one where homology passes from vanishing to nonvanishing, and another where it passes back to vanishing. We give asymptotic formulas for the expectation of the Betti numbers in the sparser regimes, and bounds in the denser regimes. A standard way of approximating or discretizing a metric space is by taking its Rips complexes. These approximations for all parameters are often bound together into a filtration, to which we apply the fundamental group or the first homology. We call the resulting object persistence. Recent results demonstrate that persistence of a compact geodesic locally contractible space X carries a lot of geometric information. However, by definition the corresponding Rips complexes have uncountably many vertices. In this paper we show that nonetheless, the whole persistence of X may be obtained by an appropriate finite sample (subset of X), and that persistence of any subset of X is well interleaved with the persistence of X. It follows that the persistence of X is the minimum of persistences obtained by all finite samples. Furthermore, we prove a much improved Stability theorem for such approximations. As a special case we provide for each (r>0 ) a density (s>0 ), so that for each s-dense sample (S X ) the corresponding fundamental group (and the first homology) of the Rips complex of S is isomorphic to the one of X, leading to an improved reconstruction result.