Chapter 49 – Computational topology

Publisher Summary This chapter provides an overview of computational topology. The first usage of the term “computational topology” appears to have occurred in the dissertation of M. Mantyla. The focus there was upon the connective topology joining vertices, edges, and faces in geometric models, frequently informally described as the symbolic information of a solid model. These vertices, edges, and faces are discussed as the operands for the classical Euler operations. One of the basic goals in computational topology is to create computer generated procedures for obtaining representations of objects having the same shape—at least in some acceptable approximate sense—as a given geometric object. Although computational topology is a relatively new discipline, it has grown and matured rapidly partially because of its increasing importance to many vital contemporary applications areas such as computer-aided design and manufacturing, (CAD/CAM), the life sciences, image processing, and virtual reality. It is leading to new techniques in algorithm and representation theory. These applications are evoking new connections between mathematical subdisciplines such as algebraic geometry, algebraic topology, differential geometry, differential topology, dynamical systems theory, general topology, and singularity, and stratification theory.

[1]  K. Hofmann,et al.  A Compendium of Continuous Lattices , 1980 .

[2]  Nicholas M. Patrikalakis,et al.  Topological and Geometric Properties of Interval Solid Models , 2001, Graph. Model..

[3]  S. Donaldson Geometry of Low-dimensional Manifolds: Yang-Mills invariants of four-manifolds , 1991 .

[4]  K. Hofmann,et al.  Continuous Lattices and Domains , 2003 .

[5]  P. R. Meyer,et al.  Boundaries in digital planes , 1990 .

[6]  Ming C. Leu,et al.  The sweep-envelope differential equation algorithm and its application to NC machining verification , 1997, Comput. Aided Des..

[7]  Vladimir Kovalevsky,et al.  Some Topology‐based Image Processing Algorithms , 1994 .

[8]  Karim Abdel-Malek,et al.  On swept volume formulations: implicit surfaces , 2001, Comput. Aided Des..

[9]  Nicholas M. Patrikalakis,et al.  Shape Interrogation for Computer Aided Design and Manufacturing , 2002, Springer Berlin Heidelberg.

[10]  Frédéric Chazal,et al.  Projection-homeomorphic surfaces , 2005, SPM '05.

[11]  Neil F. Stewart,et al.  Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling , 2006, Reliable Implementation of Real Number Algorithms.

[12]  Aristides A. G. Requicha,et al.  Closure of Boolean operations on geometric entities , 1980 .

[13]  Valerio Pascucci,et al.  Morse-smale complexes for piecewise linear 3-manifolds , 2003, SCG '03.

[14]  Ralph Kopperman,et al.  A Jordan surface theorem for three-dimensional digital spaces , 1991, Discret. Comput. Geom..

[15]  Dinesh Manocha,et al.  Exact computation of the medial axis of a polyhedron , 2004, Comput. Aided Geom. Des..

[16]  Tamal K. Dey,et al.  Curve and Surface Reconstruction , 2004, Handbook of Discrete and Computational Geometry, 2nd Ed..

[17]  Franz-Erich Wolter Cut Locus and Medial Axis in Global Shape Interrogation and Representation , 1995 .

[18]  Neil A. Dodgson,et al.  Preventing Self-Intersection under Free-Form Deformation , 2001, IEEE Trans. Vis. Comput. Graph..

[19]  Herbert Edelsbrunner,et al.  Geometry and Topology for Mesh Generation , 2001, Cambridge monographs on applied and computational mathematics.

[20]  Takis Sakkalis,et al.  Approximating Curves via Alpha Shapes , 1999, Graph. Model. Image Process..

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

[22]  David W. Rosen,et al.  The role of topology in engineering design research , 1996 .

[23]  Kaleem Siddiqi,et al.  Flux invariants for shape , 2003, 2003 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2003. Proceedings..

[24]  J. Flachsmeyer Zur Spektralentwicklung topologischer Räume , 1961 .

[25]  David W. Rosen,et al.  The Diversity of Topological Applications within Computer‐aided Geometric Design , 1994 .

[26]  Tamal K. Dey,et al.  Sampling and meshing a surface with guaranteed topology and geometry , 2004, SCG '04.

[27]  M. Carter Computer graphics: Principles and practice , 1997 .

[28]  J. Little,et al.  Interactive topological drawing , 1998 .

[29]  Neil F. Stewart,et al.  Conditions for use of a non-selfintersection conjecture , 2006, Comput. Aided Geom. Des..

[30]  T. Yung Kong,et al.  A topological approach to digital topology , 1991 .

[31]  W. Haken Theorie der Normalflächen , 1961 .

[32]  J. Morgan,et al.  Recent progress on the Poincaré conjecture and the classification of 3-manifolds , 2004 .

[33]  Paul A. Yushkevich,et al.  Deformable M-Reps for 3D Medical Image Segmentation , 2003, International Journal of Computer Vision.

[34]  Herbert Edelsbrunner,et al.  Three-dimensional alpha shapes , 1994, ACM Trans. Graph..

[35]  Thomas A. Grandine,et al.  Applications of Contouring , 2000, SIAM Rev..

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

[37]  Alexander Russell,et al.  Computational topology for isotopic surface reconstruction , 2006, Theor. Comput. Sci..

[38]  Thomas A. Grandine,et al.  A new approach to the surface intersection problem , 1997, Comput. Aided Geom. Des..

[39]  Herbert Edelsbrunner,et al.  Topological Persistence and Simplification , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[40]  Vladimir V. Tkachuk,et al.  The Approximation of Compacta by Finite T0-Spaces , 2003 .

[41]  H. Whitney Analytic Extensions of Differentiable Functions Defined in Closed Sets , 1934 .

[42]  Michael H. Freedman,et al.  The topology of four-dimensional manifolds , 1982 .

[43]  James R. Munkres,et al.  Elements of algebraic topology , 1984 .

[44]  Sergei Matveev,et al.  Algorithmic Topology and Classification of 3-Manifolds , 2003 .

[45]  Gert Vegter,et al.  Approximation by skin surfaces , 2003, SM '03.

[46]  Neil F. Stewart,et al.  Polyhedral perturbations that preserve topological form , 1995, Comput. Aided Geom. Des..

[47]  Herbert Edelsbrunner,et al.  Computing the Writhing Number of a Polygonal Knot , 2002, SODA '02.

[48]  William S. Massey,et al.  Algebraic Topology: An Introduction , 1977 .

[49]  Tamal K. Dey,et al.  A simple provable algorithm for curve reconstruction , 1999, SODA '99.

[50]  J. Damon Smoothness and geometry of boundaries associated to skeletal structures, II: Geometry in the Blum case , 2004, Compositio Mathematica.

[51]  H. Whitney Tangents to an Analytic Variety , 1965 .

[52]  Vadim Shapiro,et al.  Epsilon-regular sets and intervals , 2005, International Conference on Shape Modeling and Applications 2005 (SMI' 05).

[53]  J. Milnor Lectures on the h-cobordism theorem , 1965 .

[54]  Gábor Székely,et al.  Multiscale Medial Loci and Their Properties , 2003, International Journal of Computer Vision.

[55]  H. Blum Biological shape and visual science (part I) , 1973 .

[56]  Valerio Pascucci,et al.  Time-varying Reeb graphs for continuous space-time data , 2008, Comput. Geom..

[57]  P. R. Meyer,et al.  Computer graphics and connected topologies on finite ordered sets , 1990 .

[58]  Abigail Thompson,et al.  Thin Position and the Recognition Problem for $\bold{S^3}$ , 1994 .

[59]  Ralph Kopperman,et al.  The Khalimsky Line as a Foundation for Digital Topology , 1994 .

[60]  Herbert Edelsbrunner,et al.  Algorithms in Combinatorial Geometry , 1987, EATCS Monographs in Theoretical Computer Science.

[61]  Ralph Kopperman,et al.  Dimensional properties of graphs and digital spaces , 1996, Journal of Mathematical Imaging and Vision.

[62]  Charles Terence Clegg Wall,et al.  Surgery on compact manifolds , 1970 .

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

[64]  Jeffrey C. Lagarias,et al.  The computational complexity of knot and link problems , 1999, JACM.

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

[66]  Mark Braverman,et al.  Computing over the Reals: Foundations for Scientific Computing , 2005, ArXiv.

[67]  John Mitchell Topological obstructions to blending algorithms , 2000, Comput. Aided Geom. Des..

[68]  Gert Vegter,et al.  Contour generators of evolving implicit surfaces , 2003, SM '03.

[69]  Neil F. Stewart,et al.  Error Analysis for Operations in Solid Modeling in the Presence of Uncertainty , 2007, SIAM J. Sci. Comput..

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

[71]  ARISTIDES A. G. REQUICHA,et al.  Representations for Rigid Solids: Theory, Methods, and Systems , 1980, CSUR.

[72]  Herbert Edelsbrunner,et al.  Computing Linking Numbers of a Filtration , 2001, WABI.

[73]  Neil F. Stewart,et al.  Selfintersection of composite curves and surfaces , 1998, Computer Aided Geometric Design.

[74]  Amitabh Varshney,et al.  Hierarchical geometric approximations , 1994 .

[75]  Leonidas J. Guibas,et al.  A Singly Exponential Stratification Scheme for Real Semi-Algebraic Varieties and its Applications , 1991, Theor. Comput. Sci..

[76]  Michael Shantz,et al.  Rendering cubic curves and surfaces with integer adaptive forward differencing , 1989, SIGGRAPH.

[77]  Karim Abdel-Malek,et al.  Geometric representation of the swept volume using Jacobian rank-deficiency conditions , 1997, Comput. Aided Des..

[78]  Nicholas M. Patrikalakis,et al.  Differential and Topological Properties of Medial Axis Transforms , 1996, CVGIP Graph. Model. Image Process..

[79]  Karim Abdel-Malek,et al.  NC Verification of Up to 5 Axis Machining Processes Using Manifold Stratification , 2001 .

[80]  J. Munkres,et al.  Elementary Differential Topology. , 1967 .

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

[82]  Neil F. Stewart,et al.  Sufficient condition for correct topological form in tolerance specification , 1993, Comput. Aided Des..

[83]  Ming C. Leu,et al.  Singularity Theory Approach to swept Volumes , 2000, Int. J. Shape Model..

[84]  Herbert Edelsbrunner,et al.  Hierarchical Morse—Smale Complexes for Piecewise Linear 2-Manifolds , 2003, Discret. Comput. Geom..

[85]  Huai-Dong Cao,et al.  A Complete Proof of the Poincaré and Geometrization Conjectures - application of the Hamilton-Perelman theory of the Ricci flow , 2006 .

[86]  Neil F. Stewart,et al.  Specifying useful error bounds for geometry tools: an intersector exemplar , 2003, Comput. Aided Geom. Des..

[87]  B. Hamann,et al.  A multi-resolution data structure for two-dimensional Morse-Smale functions , 2003, IEEE Visualization, 2003. VIS 2003..

[88]  Marshall W. Bern,et al.  A new Voronoi-based surface reconstruction algorithm , 1998, SIGGRAPH.

[89]  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).

[90]  J. Mather,et al.  Stratifications and Mappings , 1973 .

[91]  Bernd Hamann,et al.  A topological hierarchy for functions on triangulated surfaces , 2004, IEEE Transactions on Visualization and Computer Graphics.

[92]  R. Kopperman,et al.  On the role of finite, hereditarily normal spaces and maps in the genesis of compact Hausdorff spaces , 2004 .

[93]  Afra Zomorodian,et al.  Computing Persistent Homology , 2005, Discret. Comput. Geom..

[94]  James N. Damon,et al.  Determining the Geometry of Boundaries of Objects from Medial Data , 2005, International Journal of Computer Vision.

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

[96]  Les A. Piegl,et al.  The NURBS Book , 1995, Monographs in Visual Communication.

[97]  Ralph Kopperman,et al.  Bounded complete models of topological spaces , 2004 .

[98]  N. F. Stewart,et al.  Imperfect Form Tolerancing on Manifold Objects: A Metric Approach , 1992 .

[99]  Nicholas M. Patrikalakis,et al.  COMPUTATIONAL TOPOLOGY FOR REGULAR CLOSED SETS (WITHIN THE I-TANGO PROJECT) , 2004 .

[100]  Neil F. Stewart,et al.  Equivalence of Topological Form for Curvilinear Geometric Objects , 2000, Int. J. Comput. Geom. Appl..

[101]  M. Golubitsky,et al.  Stable mappings and their singularities , 1973 .

[102]  Nicholas M. Patrikalakis,et al.  Analysis of boundary representation model rectification , 2001, SMA '01.

[103]  Samson Abramsky,et al.  Domain theory , 1995, LICS 1995.

[104]  John Stallings,et al.  Polyhedral homotopy-spheres , 1960 .

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

[106]  Aristides A. G. Requicha,et al.  Geometric Modeling of Mechanical Parts and Processes , 1977, Computer.

[107]  M. Boyer,et al.  Modeling Spaces for Toleranced Objects , 1991, Int. J. Robotics Res..

[108]  Herbert Edelsbrunner,et al.  Auditory Morse Analysis of Triangulated Manifolds , 1997, VisMath.

[109]  Leonidas J. Guibas,et al.  Emerging Challenges in Computational Topology , 1999, ArXiv.

[110]  Vadim Shapiro,et al.  epsilon-Topological formulation of tolerant solid modeling , 2006, Comput. Aided Des..

[111]  Kevin Weiler Topological Structures for Geometric Modeling , 1986 .

[112]  Herbert Edelsbrunner,et al.  A Combinatorial Approach to Cartograms , 1997, Comput. Geom..

[113]  José María Carazo,et al.  3-D reconstruction of 2-D crystals in real space , 2004, IEEE Transactions on Image Processing.

[114]  J. Damon Smoothness and geometry of boundaries associated to skeletal structures, II: Geometry in the Blum case , 2004, Compositio Mathematica.

[115]  André R. Foisy,et al.  Arbitrary-Degree Subdivision with Creases and Attributes , 2004, J. Graphics, GPU, & Game Tools.

[116]  Geoffrey Hemion The Classification of Knots and 3-Dimensional Spaces , 1992 .

[117]  C. Grimm Simple manifolds for surface modeling and parameterization , 2002, Proceedings SMI. Shape Modeling International 2002.

[118]  Tamal K. Dey,et al.  Manifold reconstruction from point samples , 2005, SODA '05.

[119]  Edgar Garduño,et al.  Implicit surface visualization of reconstructed biological molecules , 2005, Theor. Comput. Sci..

[120]  Frédéric Chazal,et al.  A condition for isotopic approximation , 2004, SM '04.

[121]  Vadim Shapiro Errata: Maintenance of Geometric Representations Through Space Decompositions , 1997, Int. J. Comput. Geom. Appl..

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

[123]  Leonidas J. Guibas,et al.  Estimating surface normals in noisy point cloud data , 2004, Int. J. Comput. Geom. Appl..

[124]  Ming C. Leu,et al.  Analysis and modelling of deformed swept volumes , 1994, Comput. Aided Des..

[125]  Tony DeRose,et al.  Surface reconstruction from unorganized points , 1992, SIGGRAPH.

[126]  Herbert Edelsbrunner,et al.  Extreme Elevation on a 2-Manifold , 2006, Discret. Comput. Geom..

[127]  René Thom,et al.  Ensembles et morphismes stratifiés , 1969 .

[128]  Di Jiang,et al.  Backward Error Analysis in Computational Geometry , 2006, ICCSA.

[129]  Herbert Edelsbrunner,et al.  Triangulating Topological Spaces , 1997, Int. J. Comput. Geom. Appl..

[130]  S. Smale Generalized Poincare's Conjecture in Dimensions Greater Than Four , 1961 .

[131]  Herbert Edelsbrunner Biological applications of computational topology , 2004, Handbook of Discrete and Computational Geometry, 2nd Ed..

[132]  G. Herman,et al.  3D Imaging In Medicine , 1991 .

[133]  J. Kister Small isotopies in euclidean spaces and 3-manifolds , 1959 .

[134]  Hwan Pyo Moon,et al.  MATHEMATICAL THEORY OF MEDIAL AXIS TRANSFORM , 1997 .

[135]  Tony DeRose,et al.  Subdivision surfaces in character animation , 1998, SIGGRAPH.

[136]  Herbert Edelsbrunner,et al.  Deformable Smooth Surface Design , 1999, Discret. Comput. Geom..