TY - JOUR
T1 - On the Contractibility of Random Vietoris–Rips Complexes
AU - Müller, Tobias
AU - Stehlík, Matěj
N1 - Funding Information:
We thank Gert Vegter for helpful discussions. We thank the anonymous referees for comments that have improved our paper. Partially supported by NWO Grants 639.032.529 and 612.001.409. This work was commenced while the author was at Laboratoire G-SCOP, Univ. Grenoble Alpes, France. Partially supported by ANR Project GATO (ANR-16-CE40-0009-01) and by LabEx PERSYVAL-Lab (ANR-11-LABX-0025).
Publisher Copyright:
© 2022, The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature.
PY - 2023
Y1 - 2023
N2 - We show that the Vietoris–Rips complex R(n, r) built over n points sampled at random from a uniformly positive probability measure on a convex body K⊆ Rd is a.a.s. contractible when r≥ c(ln n/ n) 1/d for a certain constant that depends on K and the probability measure used. This answers a question of Kahle (Discrete Comput. Geom. 45(3), 553–573 (2011)). We also extend the proof to show that if K is a compact, smooth d-manifold with boundary—but not necessarily convex—then R(n, r) is a.a.s. homotopy equivalent to K when c1(ln n/ n) 1/d≤ r≤ c2 for constants c1= c1(K) , c2= c2(K). Our proofs expose a connection with the game of cops and robbers.
AB - We show that the Vietoris–Rips complex R(n, r) built over n points sampled at random from a uniformly positive probability measure on a convex body K⊆ Rd is a.a.s. contractible when r≥ c(ln n/ n) 1/d for a certain constant that depends on K and the probability measure used. This answers a question of Kahle (Discrete Comput. Geom. 45(3), 553–573 (2011)). We also extend the proof to show that if K is a compact, smooth d-manifold with boundary—but not necessarily convex—then R(n, r) is a.a.s. homotopy equivalent to K when c1(ln n/ n) 1/d≤ r≤ c2 for constants c1= c1(K) , c2= c2(K). Our proofs expose a connection with the game of cops and robbers.
KW - Contractibility
KW - Random simplicial complex
KW - Vietoris–Rips complex
UR - http://www.scopus.com/inward/record.url?scp=85127276152&partnerID=8YFLogxK
U2 - 10.1007/s00454-022-00378-9
DO - 10.1007/s00454-022-00378-9
M3 - Article
AN - SCOPUS:85127276152
SN - 0179-5376
VL - 69
SP - 1139
EP - 1156
JO - Discrete and Computational Geometry
JF - Discrete and Computational Geometry
ER -