Manifold splines with single extraordinary point

This paper develops a novel computational technique to define and construct powerful manifold splines with only one singular point by employing the rigorous mathematical theory of Ricci flow. The central idea and new computational paradigm of manifold splines are to systematically extend the algorithmic pipeline of spline surface construction from any planar domain to arbitrary topology. As a result, manifold splines can unify planar spline representations as their special cases. Despite their earlier success, the existing manifold spline framework is plagued by the topology-dependent, large number of singular points (i.e., |2g -- 2| for any genus-g surface), where the analysis of surface behaviors such as continuity remains extremely difficult. The unique theoretical contribution of this paper is that we devise new mathematical tools so that manifold splines can now be constructed with only one singular point, reaching their theoretic lower bound of singularity for real-world applications. Our new algorithm is founded upon the concept of discrete Ricci flow and associated techniques. First, Ricci flow is employed to compute a special metric of any manifold domain (serving as a parametric domain for manifold splines), such that the metric becomes flat everywhere except at one point. Then, the metric naturally induces an affine atlas covering the entire manifold except this singular point. Finally, manifold splines are defined over this affine atlas. The Ricci flow method is theoretically sound, and practically simple and efficient. We conduct various shape experiments and our new theoretical and algorithmic results alleviate the modeling difficulty of manifold splines, and hence, promising to promote the widespread use of manifold splines in surface and solid modeling, geometric design, and reverse engineering.

[1]  Lexing Ying,et al.  A simple manifold-based construction of surfaces of arbitrary smoothness , 2004, ACM Trans. Graph..

[2]  ShefferAlla,et al.  Mesh parameterization methods and their applications , 2006 .

[3]  Andrei Khodakovsky,et al.  Globally smooth parameterizations with low distortion , 2003, ACM Trans. Graph..

[4]  S. Yau,et al.  Global conformal surface parameterization , 2003 .

[5]  G. Perelman Finite extinction time for the solutions to the Ricci flow on certain three-manifolds , 2003, math/0307245.

[6]  B. Rodin,et al.  The convergence of circle packings to the Riemann mapping , 1987 .

[7]  Hong Qin,et al.  Surface reconstruction with triangular B-splines , 2004, Geometric Modeling and Processing, 2004. Proceedings.

[8]  Alla Sheffer,et al.  Parameterization of Faceted Surfaces for Meshing using Angle-Based Flattening , 2001, Engineering with Computers.

[9]  Kenneth Stephenson,et al.  Introduction to Circle Packing: The Theory of Discrete Analytic Functions , 2005 .

[10]  William P. Thurston,et al.  Hyperbolic geometry and 3-manifolds , 1982 .

[11]  Michael Henle,et al.  A combinatorial introduction to topology , 1978 .

[12]  John Hart,et al.  ACM Transactions on Graphics: Editorial , 2003, SIGGRAPH 2003.

[13]  Hans-Peter Seidel,et al.  An introduction to polar forms , 1993, IEEE Computer Graphics and Applications.

[14]  Kai Hormann,et al.  Surface Parameterization: a Tutorial and Survey , 2005, Advances in Multiresolution for Geometric Modelling.

[15]  Alla Sheffer,et al.  Fundamentals of spherical parameterization for 3D meshes , 2003, ACM Trans. Graph..

[16]  Hong Qin,et al.  Topology-driven surface mappings with robust feature alignment , 2005, VIS 05. IEEE Visualization, 2005..

[17]  Hong Qin,et al.  Automatic Shape Control of Triangular B-Splines of Arbitrary Topology , 2006, Journal of Computer Science and Technology.

[18]  Hong Qin,et al.  Polycube splines , 2007, Comput. Aided Des..

[19]  G. Perelman The entropy formula for the Ricci flow and its geometric applications , 2002, math/0211159.

[20]  Hong Qin,et al.  Manifold splines , 2006, Graph. Model..

[21]  Hugues Hoppe,et al.  Spherical parametrization and remeshing , 2003, ACM Trans. Graph..

[22]  Xianfeng Gu,et al.  Computing surface hyperbolic structure and real projective structure , 2006, SPM '06.

[23]  Richard S. Hamilton,et al.  The Ricci flow on surfaces , 1986 .

[24]  John F. Hughes,et al.  Modeling surfaces of arbitrary topology using manifolds , 1995, SIGGRAPH.

[25]  C. Micchelli,et al.  Blossoming begets B -spline bases built better by B -patches , 1992 .

[26]  Steven J. Gortler,et al.  Geometry images , 2002, SIGGRAPH.

[27]  Hong Qin,et al.  Rational spherical splines for genus zero shape modeling , 2005, International Conference on Shape Modeling and Applications 2005 (SMI' 05).

[28]  G. Perelman Ricci flow with surgery on three-manifolds , 2003, math/0303109.

[29]  B. Chow,et al.  The Ricci flow on surfaces , 2004 .

[30]  Neil A. Dodgson,et al.  Advances in Multiresolution for Geometric Modelling , 2005 .

[31]  B. Chow,et al.  COMBINATORIAL RICCI FLOWS ON SURFACES , 2002, math/0211256.

[32]  A. Bobenko,et al.  Variational principles for circle patterns and Koebe’s theorem , 2002, math/0203250.

[33]  J. Hart,et al.  Fair morse functions for extracting the topological structure of a surface mesh , 2004, SIGGRAPH 2004.

[34]  Bruno Lévy,et al.  ABF++: fast and robust angle based flattening , 2005, TOGS.

[35]  Guillermo Sapiro,et al.  Conformal Surface Parameterization for Texture Mapping , 1999 .

[36]  Hugues Hoppe,et al.  Spherical parametrization and remeshing , 2003, ACM Trans. Graph..

[37]  T. Chan,et al.  Genus zero surface conformal mapping and its application to brain surface mapping. , 2004, IEEE transactions on medical imaging.

[38]  X. Gu,et al.  Fairing Triangular B-splines of Arbitrary Topology , 2005 .

[39]  Pierre Alliez,et al.  Periodic global parameterization , 2006, TOGS.

[40]  Hong Qin,et al.  Manifold T-Spline , 2006, GMP.

[41]  Hugues Hoppe,et al.  Efficient implementation of progressive meshes , 1998, Comput. Graph..

[42]  Hong Qin,et al.  A C1 Globally Interpolatory Spline of Arbitrary Topology , 2005, VLSM.