1. T. J. Peters, University of Connecticut Computer Science Mathematics www.cse.uconn.edu/~tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis, D. R. Ferguson Computational Topology for Reconstruction of Manifolds With Boundary (Potential Applications to Prosthetic Design)

2. Problem in Approximation Input: Set of unorganized sample points Approximation of underlying manifold Want –Error bounds –Topological fidelity

3. Typical Point Cloud Data

4. Subproblem in Sampling Sampling density is important For error bounds and topology

5. Recent Overviews on Point Clouds Notices AMS,11/04, Discretizing Manifolds via Minimum Energy Points, ‘bagels with red seeds’ –Energy as a global criterion for shape (minimum separation of points, see examples later) –Leading to efficient numerical algorithms SIAM News: Point Clouds in Imaging, 9/04, report of symposium at Salt Lake City summarizing recent work of 4 primary speakers of ….

6. Recent Overviews on Point Clouds F. Menoti (UMn), compare with Gromov- Hausdorff metric, probabalistic D. Ringach (UCLA), neuroscience applications G. Carlsson (Stanford), algebraic topology for analysis in high dimensions for tractable algorithms D. Niyogi (UChi), pattern recognition

7. Seminal Paper Surface reconstruction from unorganized points, H. Hoppe, T. DeRose, et al., 26 (2), Siggraph, `92 Modified least squares method. Initial claim of topological correctness.

8. Modified Claim The output of our reconstruction method produced the correct topology in all the examples. We are trying to develop formal guarantees on the correctness of the reconstruction, given constraints on the sample and the original surface

10. Sampling Via Medial Axis Delauney Triangulation Use of Medial Axis to control sampling for every point x on F the distance from x to the nearest sampling point is at most 0.08 times the distance from x to MA(F)

11. Medial Axis Defined by H. Blum Biological Classification, skeleton of object Grassfire method

13. X

16. Formal Definition: Medial Axis The medial axis of F, MA(F), is the closure of the set of all points that have at least two distinct nearest points on S.

19. Sampling Via Medial Axis Nice: Adaptive for every point x on F the distance from x to the nearest sampling point is at most 0.08 times the distance from x to MA(F) Bad –Small change to surface can give large change to MA –Distance from surface to MA can be zero

20. Need for Positive Separation Differentiable surfaces,continuous 2 nd derivatives Shift from MA to –Curvature (local) –Separation (global)

21. Topological Equivalence Criterion? Alternative from knot theory KnotPlot Homeomorphism not strong enough

22. Unknot

23. Bad Approximation Why? Curvature? Separation?

24. Good Approximation All Vertices on Curve Respects Embedding Via Curvature (local) Separation (global)

25. Boundary or Not Surface theory – no boundary Curve theory – OK for both boundary & no boundary

26. Related Work D. Manocha (UNC), MA algorithms, exact arithmetic T. Dey, (OhSU), reconstruction with MA J. Damon (UNC, Math), skeletal alternatives K. Abe, J. Bisceglio, D. R. Ferguson, T. J. Peters, A. C. Russell, T. Sakkalis, for no boundary ….

35. Computational Topology Generalization D. Blackmore, sweeps, next week Different from H. Edelsbrunner emphasis on PL-approximations, some Morse theory. A. Zamorodian, Topology for Computing Computation Topology Workshop, Summer Topology Conference, July 14, ‘05, Denison. –Digital topology, domain theory –Generalizations, unifications?

36. 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.