![Page 1: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/1.jpg)
T. J. Peters, University of Connecticut
Computer ScienceMathematics
www.cse.uconn.edu/~tpeterswith
K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis, D. R.
Ferguson
Computational Topology for Reconstruction ofManifolds With Boundary
(Potential Applications to Prosthetic Design)
![Page 2: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/2.jpg)
Problem in Approximation
• Input: Set of unorganized sample points
• Approximation of underlying manifold
• Want – Error bounds– Topological fidelity
![Page 3: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/3.jpg)
Typical Point Cloud Data
![Page 4: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/4.jpg)
Subproblem in Sampling
• Sampling density is important
• For error bounds and topology
![Page 5: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/5.jpg)
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 ….
![Page 6: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/6.jpg)
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
![Page 7: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/7.jpg)
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.
![Page 8: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/8.jpg)
Modified Claim
The output of our reconstruction method produced the correct topology in all the examples.
We are trying to develop formal guaranteeson the correctness of the reconstruction, given constraints on the sample and the original surface
![Page 9: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/9.jpg)
![Page 10: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/10.jpg)
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)
![Page 11: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/11.jpg)
Medial Axis
• Defined by H. Blum
• Biological Classification, skeleton of object
• Grassfire method
![Page 12: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/12.jpg)
![Page 13: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/13.jpg)
X
![Page 14: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/14.jpg)
![Page 15: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/15.jpg)
![Page 16: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/16.jpg)
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.
![Page 17: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/17.jpg)
![Page 18: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/18.jpg)
![Page 19: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/19.jpg)
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
![Page 20: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/20.jpg)
Need for Positive Separation
• Differentiable surfaces,continuous 2nd derivatives
• Shift from MA to– Curvature (local)– Separation (global)
![Page 21: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/21.jpg)
Topological Equivalence Criterion?
• Alternative from knot theory
• KnotPlot
• Homeomorphism not strong enough
![Page 22: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/22.jpg)
Unknot
![Page 23: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/23.jpg)
BadApproximation
Why?
Curvature?
Separation?
![Page 24: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/24.jpg)
Good Approximation
All Vertices on Curve
Respects Embedding
Via
Curvature (local)
Separation (global)
![Page 25: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/25.jpg)
Boundary or Not
• Surface theory – no boundary
• Curve theory – OK for both boundary & no boundary
![Page 26: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/26.jpg)
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 ….
![Page 27: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/27.jpg)
![Page 28: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/28.jpg)
![Page 29: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/29.jpg)
![Page 30: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/30.jpg)
![Page 31: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/31.jpg)
![Page 32: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/32.jpg)
![Page 33: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/33.jpg)
![Page 34: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/34.jpg)
![Page 35: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/35.jpg)
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?
![Page 36: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/36.jpg)
Acknowledgements, NSF
• 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.
• Computational Topology for Surface Approximation, September 15, 2004,
#FMM -0429477.
![Page 37: T. J. Peters, University of Connecticut Computer Science Mathematics tpeters with K. Abe, J. Bisceglio, A. C. Russell, T. Sakkalis,](https://reader035.vdocument.in/reader035/viewer/2022062423/56649d535503460f94a2f679/html5/thumbnails/37.jpg)