1. T. J. Peters, University of Connecticut www.cse.uconn.edu/~tpeters K. Abe, A. C. Russell, J. Bisceglio, E.. Moore, D. R. Ferguson, T. Sakkalis Topological Examples for Algorithmic Verification

2. Outline: Topology & Approximation Algorithms Applications

3. Unknot

4. Bad Approximation Why? Curvature? Separation?

5. Why Bad? Homeomorphic! Changes Knot Type Now has 4 Crossings

6. Good Approximation Homeomorphic vs. Ambient Isotopic (with compact support) Via Curvature (local) Separation (global)

7. Summary – Key Ideas Curves –Don’t be deceived by images (3D !) –Crossings versus self-intersections Local and global arguments Knot equivalence via isotopy

8. Initial Assumptions on a 2-manifold, M Without boundary 2 nd derivatives are continuous (curvature)

9. T

10. Proof: Similar to flow on normal field. Comment: Points need not be on surface. (noise!) Theorem: Any approximation of F in T such that each normal hits one point of W is ambient isotopic to F.

11. Tubular Neighborhoods Its radius defined by ½ minimum –all radii of curvature on 2-manifold –global separation distance. Estimates, but more stable than medial axis. and Ambient Isotopy

12. Medial Axis H. Blum, biology, classification by skeleton Closure of the set of points that have at least 2 nearest neighbors on M

14. X

25. Large Data Set ! Partitioned Stanford Bunny

27. Acknowledgements, NSF I-TANGO: Intersections --- Topology, Accuracy and Numerics for Geometric Objects (in Computer Aided Design), May 1, 2002, #DMS-0138098.I-TANGO: Intersections --- Topology, Accuracy and Numerics for Geometric Objects (in Computer Aided Design), May 1, 2002, #DMS-0138098. SGER: Computational Topology for Surface Reconstruction, NSF, October 1, 2002, #CCR - 0226504.SGER: Computational Topology for Surface Reconstruction, NSF, October 1, 2002, #CCR - 0226504. Computational Topology for Surface Approximation, September 15, 2004,Computational Topology for Surface Approximation, September 15, 2004, #FMM -0429477.