1: \begin{abstract}

2: Fix a finite set of points in Euclidean $n$-space $\euc^n$, thought

3: of as a point-cloud sampling of a certain domain $D\subset\euc^n$.

4: The Rips complex is a combinatorial simplicial complex based on

5: proximity of neighbors that serves as an easily-computed but

6: high-dimensional approximation to the homotopy type of $D$. There is

7: a natural ``shadow'' projection map from the Rips complex to

8: $\euc^n$ that has as its image a more accurate $n$-dimensional

9: approximation to the homotopy type of $D$.

10: 

11: We demonstrate that this projection map is 1-connected for the

12: planar case $n=2$. That is, for planar domains, the Rips complex

13: accurately captures connectivity and fundamental group data. This

14: implies that the fundamental group of a Rips complex for a planar

15: point set is a free group. We show that, in contrast, introducing

16: even a small amount of uncertainty in proximity detection leads to

17: `quasi'-Rips complexes with nearly arbitrary fundamental groups.

18: This topological noise can be mitigated by examining a pair of

19: quasi-Rips complexes and using ideas from persistent topology.

20: Finally, we show that the projection map does not preserve

21: higher-order topological data for planar sets, nor does it preserve

22: fundamental group data for point sets in dimension larger than

23: three.

24: \end{abstract}

25: