Vector field processing on triangle meshes

While scalar fields on surfaces have been staples of geometry processing, the use of tangent vector fields has steadily grown in geometry processing over the last two decades: they are crucial to encoding directions and sizing on surfaces as commonly required in tasks such as texture synthesis, non-photorealistic rendering, digital grooming, and meshing. There are, however, a variety of discrete representations of tangent vector fields on triangle meshes, and each approach offers different tradeoffs among simplicity, efficiency, and accuracy depending on the targeted application. This course reviews the three main families of discretizations used to design computational tools for vector field processing on triangle meshes: face-based, edge-based, and vertex-based representations. In the process of reviewing the computational tools offered by these representations, we go over a large body of recent developments in vector field processing in the area of discrete differential geometry. We also discuss the theoretical and practical limitations of each type of discretization, and cover increasingly-common extensions such as n-direction and n-vector fields. While the course will focus on explaining the key approaches to practical encoding (including data structures) and manipulation (including discrete operators) of finite-dimensional vector fields, important differential geometric notions will also be covered: as often in Discrete Differential Geometry, the discrete picture will be used to illustrate deep continuous concepts such as covariant derivatives, metric connections, or Bochner Laplacians.

[1]  B. O. Koopman,et al.  Hamiltonian Systems and Transformation in Hilbert Space. , 1931, Proceedings of the National Academy of Sciences of the United States of America.

[2]  R. Macneal The solution of partial differential equations by means of electrical networks , 1949 .

[3]  H. Whitney Geometric Integration Theory , 1957 .

[4]  M. Spivak A comprehensive introduction to differential geometry , 1979 .

[5]  V. K. Patodi,et al.  Riemannian Structures and Triangulations of Manifold , 1976 .

[6]  M. Eisenberg,et al.  A Proof of the Hairy Ball Theorem , 1979 .

[7]  J. Nédélec Mixed finite elements in ℝ3 , 1980 .

[8]  R. Abraham,et al.  Manifolds, tensor analysis, and applications: 2nd edition , 1988 .

[9]  Brian Cabral,et al.  Imaging vector fields using line integral convolution , 1993, SIGGRAPH.

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

[11]  L. Kettunen,et al.  Yee‐like schemes on a tetrahedral mesh, with diagonal lumping , 1999 .

[12]  K. Polthier,et al.  Variational Approach to Vector Field Decomposition , 2000, VisSym.

[13]  Aaron Hertzmann,et al.  Illustrating smooth surfaces , 2000, SIGGRAPH.

[14]  C. Mercat Discrete Riemann Surfaces and the Ising Model , 2001, 0909.3600.

[15]  Konrad Polthier,et al.  Identifying Vector Field Singularities Using a Discrete Hodge Decomposition , 2002, VisMath.

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

[17]  Anil N. Hirani,et al.  Discrete exterior calculus , 2005, math/0508341.

[18]  Santiago V. Lombeyda,et al.  Discrete multiscale vector field decomposition , 2003, ACM Trans. Graph..

[19]  Yiying Tong,et al.  Discrete differential forms for computational modeling , 2005, SIGGRAPH Courses.

[20]  Pierre Alliez,et al.  Farthest point seeding for efficient placement of streamlines , 2005, VIS 05. IEEE Visualization, 2005..

[21]  Konstantin Mischaikow,et al.  Vector field design on surfaces , 2006, TOGS.

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

[23]  Peter Schröder,et al.  Building your own DEC at home , 2005, SIGGRAPH Courses.

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

[25]  Mathieu Desbrun Discrete differential forms and applications to surface tiling , 2006, SCG '06.

[26]  Ke Wang,et al.  Edge subdivision schemes and the construction of smooth vector fields , 2006, ACM Trans. Graph..

[27]  Eitan Grinspun,et al.  Introduction to discrete differential geometry: the geometry of plane curves , 2006, SIGGRAPH Courses.

[28]  D. Arnold,et al.  Finite element exterior calculus, homological techniques, and applications , 2006, Acta Numerica.

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

[30]  Eugene Zhang,et al.  Rotational symmetry field design on surfaces , 2007, ACM Trans. Graph..

[31]  M. Wardetzky Discrete Differential Operators on Polyhedral Surfaces - Convergence and Approximation , 2007 .

[32]  Konrad Polthier,et al.  QuadCover ‐ Surface Parameterization using Branched Coverings , 2007, Comput. Graph. Forum.

[33]  Hugues Hoppe,et al.  Design of tangent vector fields , 2007, SIGGRAPH 2007.

[34]  Yiying Tong,et al.  Stable, circulation-preserving, simplicial fluids , 2007, TOGS.

[35]  Mathieu Desbrun,et al.  Discrete Differential Geometry , 2008 .

[36]  Bruno Lévy,et al.  N-symmetry direction field design , 2008, TOGS.

[37]  J. Marsden,et al.  Structure-preserving discretization of incompressible fluids , 2009, 0912.3989.

[38]  Mathieu Desbrun,et al.  Height and Tilt Geometric Texture , 2009, ISVC.

[39]  Bruno Lévy,et al.  Geometry-aware direction field processing , 2009, TOGS.

[40]  Keenan Crane,et al.  Energy-preserving integrators for fluid animation , 2009, ACM Trans. Graph..

[41]  D. Bommes,et al.  Mixed-integer quadrangulation , 2009, ACM Trans. Graph..

[42]  Keenan Crane,et al.  Trivial Connections on Discrete Surfaces , 2010, Comput. Graph. Forum.

[43]  V. K. Patodi Riemannian Structures and Triangulations of Manifolds , 2010 .

[44]  Leonidas J. Guibas,et al.  On Discrete Killing Vector Fields and Patterns on Surfaces , 2010, Comput. Graph. Forum.

[45]  Evan S. Gawlik,et al.  Geometric, variational discretization of continuum theories , 2010, 1010.4851.

[46]  Daniele Panozzo,et al.  Fields on symmetric surfaces , 2012, ACM Trans. Graph..

[47]  Eugene Zhang,et al.  Hexagonal Global Parameterization of Arbitrary Surfaces , 2010, IEEE Transactions on Visualization and Computer Graphics.

[48]  Yiying Tong,et al.  Orientation Field Guided Texture Synthesis , 2013, Journal of Computer Science and Technology.

[49]  Maks Ovsjanikov,et al.  An Operator Approach to Tangent Vector Field Processing , 2013, SGP '13.

[50]  The Power of Orthogonal Duals , 2013 .

[51]  Keenan Crane,et al.  Digital geometry processing with discrete exterior calculus , 2013, SIGGRAPH '13.

[52]  Keenan Crane,et al.  Globally optimal direction fields , 2013, ACM Trans. Graph..

[53]  Mathieu Desbrun,et al.  The chain collocation method: A spectrally accurate calculus of forms , 2014, J. Comput. Phys..

[54]  Yiying Tong,et al.  Discrete 2‐Tensor Fields on Triangulations , 2014, Comput. Graph. Forum.

[55]  Olga Sorkine-Hornung,et al.  Designing N‐PolyVector Fields with Complex Polynomials , 2014, Comput. Graph. Forum.

[56]  Mathieu Desbrun,et al.  The Power of Orthogonal Duals (Invited Talk) , 2014 .

[57]  Keenan Crane,et al.  Stripe patterns on surfaces , 2015, ACM Trans. Graph..

[58]  Maks Ovsjanikov,et al.  Discrete Derivatives of Vector Fields on Surfaces -- An Operator Approach , 2015, ACM Trans. Graph..

[59]  Daniele Panozzo,et al.  Directional Field Synthesis, Design, and Processing , 2016, Comput. Graph. Forum.

[60]  Mark Meyer,et al.  Subdivision exterior calculus for geometry processing , 2016, ACM Trans. Graph..

[61]  Yiying Tong,et al.  Discrete Connection and Covariant Derivative for Vector Field Analysis and Design , 2016, ACM Trans. Graph..

[62]  Daniele Panozzo,et al.  Directional Field Synthesis, Design, and Processing , 2016, Comput. Graph. Forum.