Modeling time and topology for animation and visualization with examples on parametric geometry

The art of animation relies upon modeling objects that change over time. A sequence of static images is displayed to produce an illusion of motion. Even for simple cases, a careful analysis exposes that formal topological guarantees are often lacking. This absence of rigor can result in subtle, but significant, topological flaws. A new modeling approach is proposed to integrate topological rigor with a continuous model of time. Examples will be given for Bezier curves, while indicating extensions to a richer class of parametric curves and surfaces. Applications to scientific visualization for molecular modeling are discussed. Prototype animations are available for viewing over the web.

[1]  Stefan Friedrich,et al.  Topology , 2019, Arch. Formal Proofs.

[2]  Leonidas J. Guibas,et al.  Efficient Collision Detection among Moving Spheres with Unknown Trajectories , 2005, Algorithmica.

[3]  Kirk E. Jordan,et al.  Adaptive Curve Approximation by Bending Energy , 2007 .

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

[5]  J. Edward Swan,et al.  Proceedings of the conference on Visualization '02 , 2001 .

[6]  Leonidas J. Guibas,et al.  Modeling motion , 2004, Handbook of Discrete and Computational Geometry, 2nd Ed..

[7]  Leonidas J. Guibas,et al.  Exploring Protein Folding Trajectories Using Geometric Spanners , 2004, Pacific Symposium on Biocomputing.

[8]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

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

[10]  Jorge Stolfi,et al.  Approximating parametric curves with strip trees using affine arithmetic , 2002, Proceedings. XV Brazilian Symposium on Computer Graphics and Image Processing.

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

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

[13]  John Lasseter,et al.  Principles of traditional animation applied to 3D computer animation , 1987, SIGGRAPH.

[14]  Leonidas J. Guibas,et al.  Inverse Kinematics in Biology: The Protein Loop Closure Problem , 2005, Int. J. Robotics Res..

[15]  C. Rourke,et al.  Introduction to Piecewise-Linear Topology , 1972 .

[16]  Neil F. Stewart,et al.  Integrating Topology and Geometry for Macro-Molecular Simulations , 2005, Spatial Representation.

[17]  Thomas J. Peters,et al.  Floating Point Geometric Algorithms for Topologically Correct Scientific Visualization , 2006, Reliable Implementation of Real Number Algorithms.

[18]  De Witt L. Sumners.  Complexity measures for random knots , 1990, Comput. Chem..

[19]  Thomas J. Peters,et al.  Preserving computational topology by subdivision of quadratic and cubic Bézier curves , 2006, Computing.

[20]  L. Piegl,et al.  The NURBS Book , 1995, Monographs in Visual Communications.

[21]  Alex Pentland,et al.  Good vibrations: modal dynamics for graphics and animation , 1989, SIGGRAPH.

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

[23]  Witt Sumners De.  Complexity measures for random knots , 1990 .

[24]  Dinesh Manocha,et al.  Interactive collision detection between deformable models using chromatic decomposition , 2005, SIGGRAPH 2005.

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

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

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

[28]  Alexander Russell,et al.  Topological Neighborhoods for Spline Curves: Practice & Theory , 2008, Reliable Implementation of Real Number Algorithms.

[29]  Ralph Kopperman,et al.  Spatial Representation: Discrete vs. Continuous Computational Models , 2005, Spatial Representation.

[30]  Joseph O'Rourke,et al.  Handbook of Discrete and Computational Geometry, Second Edition , 1997 .

[31]  Ivan E. Sutherland,et al.  Reentrant polygon clipping , 1974, Commun. ACM.

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

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

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

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

[36]  M. Levas.  OBBTree : A Hierarchical Structure for Rapid Interference Detection , .

[37]  Gerald Farin,et al.  Curves and surfaces for computer aided geometric design , 1990 .

[38]  Dinesh Manocha,et al.  I-COLLIDE: an interactive and exact collision detection system for large-scale environments , 1995, I3D '95.

[39]  Herbert Edelsbrunner,et al.  Hierarchical morse complexes for piecewise linear 2-manifolds , 2001, SCG '01.

[40]  E. Atkins,et al.  Elongational flow studies on DNA in aqueous solution and stress‐induced scission of the double helix , 1992, Biopolymers.

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

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

[43]  Ming C. Lin,et al.  Collision detection and proximity queries , 2004, SIGGRAPH '04.

[44]  Leonidas J. Guibas,et al.  Collision detection for deforming necklaces , 2002, SCG '02.

[45]  Tunc Geveci,et al.  Advanced Calculus , 2014, Nature.

[46]  Kenneth L. Clarkson,et al.  Building triangulations using ε-nets , 2006, STOC '06.

[47]  Kurt Mehlhorn,et al.  Simultaneous inner and outer approximation of shapes , 2005, Algorithmica.

[48]  Jason H. Cantarella,et al.  On the minimum ropelength of knots and links , 2001, math/0103224.

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

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

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

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

[53]  Eric J. Rawdon,et al.  Visualizing the tightening of knots , 2005, VIS 05. IEEE Visualization, 2005..