Discrete Differential Geometry Operators for Triangulated...
Transcript of Discrete Differential Geometry Operators for Triangulated...
![Page 1: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/1.jpg)
Discrete Differential Geometry Operators for Triangulated 2-Manifolds
Mark Meyer, Mathieu Desbrun, Peter Schroder, and Alan H. BarrPresented by Christopher Batty
![Page 2: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/2.jpg)
Basic Premise
How can we extend differential geometry to meshes?
Goal – Consistent operators for first and second order differential properties:
● Normal● Curvatures (Mean, Gaussian, Principal), ● Principal Directions
We've already looked at a couple of approaches.
![Page 3: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/3.jpg)
Why?
Numerous mesh-processing applications:● Mesh smoothing/enhancement● Re-meshing● Parameterization● Subdivision● Simplification● Etc.
Also, applications in higher dimensions :● Denoising of data
![Page 4: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/4.jpg)
Approach
Take properties at vertices to be spatial average of a local region of the mesh (integrate), as seen in class.
Choose regions carefully to ensure maximum accuracy.
Derive expressions for differential operators that respect the same properties as continuous counterparts.
![Page 5: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/5.jpg)
Choosing RegionsSplit edges at midpoints.
How to join midpoints?
Either connect to: circumcenter barycenter (avg vertices).
![Page 6: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/6.jpg)
Mean Curvature Normal
Given a point P, the mean curvature normal (AKA Laplace-Beltrami) operator is:
Gives both the mean curvature and unit normal at the vertex.
![Page 7: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/7.jpg)
Mean Curvature Normal
For a triangle mesh, parameterized by u,v, along edges, over a region M, this is a Laplacian:
where:
![Page 8: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/8.jpg)
Gauss' Theorem
Gauss' theorem lets us convert an area integral into a line integral around the boundary.
Since our mesh is piece-wise linear, the gradient of x is a constant over each triangle.
![Page 9: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/9.jpg)
Mean Curvature NormalBecause the gradient is constant, our choice of region will not affect the integral's value.
Thus we can simply use a straight line.
For the integral in one trianglewe then have:
![Page 10: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/10.jpg)
Mean Curvature NormalNow, note that any point in the triangle is a linear combination of its vertices.
Taking the gradient gives:
![Page 11: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/11.jpg)
Mean Curvature NormalThe gradient of the B's are perpendicular to the opposing edge and sum to 0, so rearranging:
Applying this to the earlier integral gives:
Now, the dot product is proportional to a cosine, and the A
T term is proportional to a sine, so...
![Page 12: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/12.jpg)
Mean Curvature Normal
Replace with a cotangent ( = cos/sin) to get:
![Page 13: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/13.jpg)
And finally...
So what have we done exactly?
Derived a simple expression formean curvature normal depending only on vertex positions and angles of the adjacent triangles.
Mean Curvature Normal
![Page 14: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/14.jpg)
Error AnalysisConsider a C2 surface, tiled with our triangulated C0
surface.
We can express the error between our spatial average and the correct pointwise average as:
If Ci is the Lipschitz constant for K(x), then:
![Page 15: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/15.jpg)
Error AnalysisTaking the C
i's outside the summation:
Recall that Voronoi regions minimize ||x-xi|| by
definition.
Assuming C varies with ratio ε from patch to patch, we are guaranteed that the Voronoi region is no more than O(ε) from the true optimal patch.
![Page 16: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/16.jpg)
This is only valid for non-obtuse triangles.
For obtuse triangles the circumcenter will lie outside of the triangle.
Work-around: Use the midpoint of the edge opposite to the obtuse angle as the center.
Gives a non-overlapping tiling of the surface using Voronoi cells where possible.
But...
![Page 17: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/17.jpg)
Obtuse TrianglesExample of mixed areasaround a vertex:
Area of non-Voronoi regions iseither A
triangle/2 or A
triangle/4:
![Page 18: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/18.jpg)
Summary So FarArea computation:
Mean curvature normal operator:
![Page 19: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/19.jpg)
Gaussian CurvatureEasy! We looked at it in class already – use the
Gauss-Bonnet theorem (but with new region definition).
Gaussian Curvature operator:
![Page 20: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/20.jpg)
Principal CurvaturesWe now have both the mean and Gaussian
curvatures, and we know the relationships:
We can rearrange and solve.
Principal Curvature operators:
![Page 21: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/21.jpg)
Curvature Visualization
![Page 22: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/22.jpg)
Principal DirectionsBefore I get into (more) math, here's the overview:
Mean curvature formula can be seen as a weighted sum of normal curvatures along adjacent edges.
Use these samples of curvature normals to fit an ellipse with least squares, to determine a curvature tensor.
Extract eigenvectors from this tensor – these are the principal directions.
![Page 23: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/23.jpg)
Mean Curvature, Interpreted
Where:
This an expression for curvature along an edge.
![Page 24: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/24.jpg)
InterpretationRight angle implies:
Rearranged:
which is the inverse of what wejust saw:
Hence each KNi,j is an estimate of curvature along an
edge.
![Page 25: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/25.jpg)
So?So, our mean curvature formula can be interpreted as weighted combination of normal curvature samples along neighbouring edges.
Let's fit an ellipse to these curvature samples to find a least-squares approximation of the curvature tensor.
![Page 26: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/26.jpg)
Curvature TensorThe (symmetric) curvature tensor looks like:
Applied to a tangent vector, it should give the curvature normal along that direction.
We just project each edge onto the tangent plane to get d
i,j's.
![Page 27: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/27.jpg)
Curvature TensorApply least squares minimization to the error to get B.
Extract the eigenvectors from B, and voila! It is just that easy.
![Page 28: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/28.jpg)
Numerical ResultsAccuracy roughly equivalent to finite differences, without the restriction of regular meshes.
Compared against analytical surfaces at varying resolutions:
● Less than 1.3% error for Gaussian curvature● Less than 0.07% error for mean curvature
Irregular sampling reduces accuracy, but “inpractice, the rate at which the error increases islow.”
![Page 29: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/29.jpg)
Applications
![Page 30: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/30.jpg)
ConclusionsIs this approach an improvement?
Gives a more convincing justification for choice of both surface normal and the region type used for calculations.
Better numerical results than existing approaches.
Graceful degradation in the presence of irregular meshes (claimed).
![Page 31: Discrete Differential Geometry Operators for Triangulated ...sheffa/dgp/student_ppts/DifferentialGeometry... · Discrete Differential Geometry Operators for Triangulated 2-Manifolds](https://reader033.fdocuments.us/reader033/viewer/2022051321/5aebd91c7f8b9a45568d991d/html5/thumbnails/31.jpg)
References
M. Meyer, M. Desbrun, P. Schröder, and A. H. Barr, "Discrete differential geometry operators for triangulated 2-manifolds," in VisMath, 2002.
http://www.wikipedia.org
http://mathworld.wolfram.com/