Computational topology for isotopic surface reconstruction

New computational topology techniques are presented for surface reconstruction of 2-manifolds with boundary, while rigorous proofs have previously been limited to surfaces without boundary. This is done by an intermediate construction of the envelope (as defined herein) of the original surface. For any compact C2-manifold M embedded in R3, it is shown that its envelope is C1,1. Then it is shown that there exists a piecewise linear (PL) subset of the reconstruction of the envelope that is ambient isotopic to M, whenever M is orientable. The emphasis of this paper is upon the formal mathematical proofs needed for these extensions. (Practical application examples have already been published in a companion paper.) Possible extensions to non-orientable manifolds are also discussed. The mathematical exposition relies heavily on known techniques from differential geometry and topology, but the specific new proofs are intended to be sufficiently specialized to prompt further algorithmic discoveries.

[1]  W. Boothby.  An introduction to differentiable manifolds and Riemannian geometry , 1975 .

[2]  Dinesh Manocha,et al.  Simplification envelopes , 1996, SIGGRAPH.

[3]  Manfredo P. do Carmo,et al.  Differential geometry of curves and surfaces , 1976 .

[4]  Takis Sakkalis,et al.  Ambient isotopic approximations for surface reconstruction and interval solids , 2003, SM '03.

[5]  J. van Leeuwen,et al.  Theoretical Computer Science , 2003, Lecture Notes in Computer Science.

[6]  Thomas J. Peters,et al.  Computational Topology for Geometric Design and Molecular Design , 2005 .

[7]  Takis Sakkalis,et al.  Isotopic approximations and interval solids , 2004, Comput. Aided Des..

[8]  B. Dundas,et al.  DIFFERENTIAL TOPOLOGY , 2002 .

[9]  W. Rudin.  Principles of mathematical analysis , 1964 .

[10]  Sunghee Choi,et al.  The power crust , 2001, SMA '01.

[11]  Nicholas M. Patrikalakis,et al.  Analysis and applications of pipe surfaces , 1998, Comput. Aided Geom. Des..

[12]  Alexander Russell,et al.  Computational topology for reconstruction of surfaces with boundary: integrating experiments and theory , 2005, International Conference on Shape Modeling and Applications 2005 (SMI' 05).

[13]  Daniel Freedman.  Combinatorial curve reconstruction in Hilbert spaces: A new sampling theory and an old result revisited , 2002, Comput. Geom..

[14]  Jesse Freeman,et al.  in Morse theory, , 1999 .

[15]  Sunghee Choi,et al.  The power crust, unions of balls, and the medial axis transform , 2001, Comput. Geom..

[16]  H. Piaggio.  Differential Geometry of Curves and Surfaces , 1952, Nature.

[17]  Sunghee Choi,et al.  A simple algorithm for homeomorphic surface reconstruction , 2000, SCG '00.

[18]  N. Hicks.  Notes on Differential Geometry , 1967 .

[19]  R. Bing.  The Geometric Topology of 3-Manifolds , 1983 .

[20]  Ren-Hong Wang,et al.  On computational geometry , 2003 .

[21]  T. Willmore.  AN INTRODUCTION TO DIFFERENTIABLE MANIFOLDS AND RIEMANNIAN GEOMETRY (Second edition) , 1987 .

[22]  Thomas J. Peters,et al.  Computational topology of spline curves for geometric and molecular approximations , 2006 .

[23]  Meenakshisundaram Gopi.  On sampling and reconstructing surfaces with boundaries , 2002, CCCG.

[24]  Alexander Russell,et al.  Computational topology: ambient isotopic approximation of 2-manifolds , 2003, Theor. Comput. Sci..

[25]  Tamal K. Dey,et al.  Tight cocone: a water-tight surface reconstructor , 2003, SM '03.