27 variants of Tutte's theorem for plane near-triangulations and an application to periodic spline surface fitting

The theoretical basis of Floater’s parameterization technique for triangulated surfaces is simultaneously a generalization (to non-barycentric weights) and a specialization (to a plane near-triangulation, which is an embedding of a planar graph with the property that all bounded faces are – possibly curved – triangles) of Tutte’s Spring Embedding Theorem. Extensions of this technique cover surfaces with holes and periodic surfaces. The proofs presented previously need advanced concepts, such as rather involved results from graph theory or the theory of discrete 1-forms and consistent perturbations, or are not directly applicable to the above-mentioned extensions. We present a particularly simple geometric derivation of Tutte’s theorem for plane near-triangulations and various extensions thereof, using solely the Euler formula for planar graphs. In particular, we include the case of meshes possessing a cylindrical topology – which has not yet been addressed explicitly but possesses important applications to periodic spline surface fitting – and we correct a minor inaccuracy in a previous result concerning Floater-type parameterizations for genus-1 meshes.

[1]  O. Taussky A Recurring Theorem on Determinants , 1949 .

[2]  Michael S. Floater,et al.  Convex combination maps over triangulations, tilings, and tetrahedral meshes , 2006, Adv. Comput. Math..

[3]  Tamás Várady,et al.  Parameterizing and extending trimmed regions for tensor-product surface fitting , 2017, Comput. Aided Des..

[4]  Bert Jüttler,et al.  Geometry + Simulation Modules: Implementing Isogeometric Analysis , 2014 .

[5]  Michael E. Saks,et al.  On the bandwidth of triangulated triangles , 1995, Discret. Math..

[6]  W. T. Tutte How to Draw a Graph , 1963 .

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

[8]  Josef Hoschek,et al.  Fundamentals of computer aided geometric design , 1996 .

[9]  Kai Hormann,et al.  Iterative coordinates , 2020, Comput. Aided Geom. Des..

[10]  Jürgen Richter-Gebert Realization Spaces of Polytopes , 1996 .

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

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

[13]  Yaron Lipman,et al.  Orbifold Tutte embeddings , 2015, ACM Trans. Graph..

[14]  Craig Gotsman,et al.  Discrete one-forms on meshes and applications to 3D mesh parameterization , 2006, Comput. Aided Geom. Des..

[15]  Michael S. Floater,et al.  Parametrization and smooth approximation of surface triangulations , 1997, Comput. Aided Geom. Des..

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

[17]  K. H. Chew,et al.  A sufficient condition for nonvanishing of determinants , 1974 .

[18]  Michael S. Floater,et al.  One-to-one piecewise linear mappings over triangulations , 2003, Math. Comput..

[19]  Gábor Renner,et al.  Advanced surface fitting techniques , 2002, Comput. Aided Geom. Des..

[20]  Marcel Campen,et al.  Seamless Parametrization with Arbitrary Cones for Arbitrary Genus , 2019, ACM Trans. Graph..

[21]  Pierre Alliez,et al.  Designing quadrangulations with discrete harmonic forms , 2006, SGP '06.

[22]  J. Geelen ON HOW TO DRAW A GRAPH , 2012 .

[23]  Alessandra Sestini,et al.  Adaptive fitting with THB-splines: Error analysis and industrial applications , 2018, Comput. Aided Geom. Des..

[24]  ZHONGSHI JIANG,et al.  Bijective projection in a shell , 2020, ACM Trans. Graph..