610 likes | 749 Views
Mesh Deformation Based on Discrete Differential Geometry. Reporter: Zhongping Ji. 4.4.2007. Leonhard Euler 1707.4.15-1783.9.18 . Papers. (A) Linear Rotation-invariant Coordinates for Meshes [SIG 2005] Yaron Lipman Olga Sorkine David Levin Daniel Cohen-Or Tel Aviv University
E N D
Mesh Deformation Based onDiscrete Differential Geometry Reporter: Zhongping Ji 4.4.2007
Papers • (A) Linear Rotation-invariant Coordinates for Meshes [SIG 2005] • Yaron Lipman Olga Sorkine David Levin Daniel Cohen-Or • Tel Aviv University • (B) Volume and Shape Preservation via Moving Frame Manipulation [TOG 2007] • Yaron Lipman Daniel Cohen-Or Gal Ran David Levin • Tel Aviv University
About authors • A Ph.D. student at The School of Mathematical Sciences, Tel-Aviv University.His supervisors are Prof. David Levin and Prof. Danny Cohen-Or. • http://www.math.tau.ac.il/~lipmanya/
( A ) Rotation-Invariant • A rotation-invariant representation for triangular mesh based on two discrete forms; • The first form locally discribes the tangential component of the surface; • The second form locally discribes the normal component of the surface.
Classical differential geometry • The first and second fundamental forms; • Given two fundamental forms I and II, and they hold some compatibility conditions, Gauss-Codazzi-Mainardi equations; • Given an initial right-hand frame, then solve a first-order linear PDE.
Discrete Forms • Notations
First form The length and the signed angle Parameterization: First form: Coefficients:
Second form Second form: Height function of a vertex above the tangent plane Coefficients:
Lemma • Given the discrete form coefficients and the orientation bits at vertex i, the 1-ring neighborhood of i is defined up to a rigid transformation. • Fixing the position of vertex i, and fixing the direction of one edge emanating from vertex i and the normal, uniquely defines all the rest of the 1-ring vertex positions.
Discrete surface equations • Define a discrete frame at vertex i, Discrete surface equations: (1)
Theorem 1 • The coefficients of the discrete surface equations can be expressed by the discrete forms.
Theorem 2 • Given an initial discrete frame at an arbitrary vertex i0, and given that the first and second discrete forms with the orientation bits are taken from an existing mesh, there exists a unique solution to the set of discrete surface equations.
Theorem 3 • Given the discrete frame at each vertex, there exists a unique embedding of the vertices of the mesh in R3 up to a translation, such that the resulting mesh has the given discrete forms and discrete frames.
Proof More constraints can be added to this equation. Geometry difference equations:
Mesh representation • The first discrete form is represented by the lengths of the projected edges and angles between adjacent projected edges. • The second discrete form represents the orthogonal component. • This sums to 3di scalars, and the scalars are rigid motion invariant.
To reconstruct the mesh given its discrete form coefficients, an initial discrete frame and a position of one vertex in space. • Construct the discrete surface equations; • Add the initial discrete frame as an additional equation; • Solve the augmented linear system in the least-squares sense to obtain the discrete frames; • Construct the geometry difference equations; • Add the given initial vertex position as an additional equation; • Solve the augmented linear system in the least-squares sense to get the positions of the vertices.
Mesh editing • Two constraints and two sparse linear systems; • Transformation constraints on the local frames and translation constraints on the vertex positions; • Discrete surface equations and geometry difference equations.
Future work • Directly manipulate the local frames; • Improve the co-existence of constraints on the local frames and the vertex positions; • Use this representation for detail editing, such as detail enhancement.
( B ) Moving Frame • Isometric shape-preserving • Aiming at minimizing distortion of the shape. • Local volume preservation • Control the local volume by scaling the moving frames.
Motivation • Look for a deformation which maintains the first fundamental form intact (isometry), and minimizes changes in the second fundamental form. • Based on the Stokes’ theorem, using a carefully designed differential form which establishes a connetion between local volum and surface properties.
Shape-preserving • Isometric deformation • Defining a rigid motion-invariant geometric distance(GD) between two isometric surfaces; • Given a surface and a set of rotational constraints, look for an isometric deformation minimizing the GD to the original surface under the constraints.
Shape operator Orthonormal frame: Tangent plane: Shape operator: Second fundamental form:
Geometric distance Point to point: Surface to surface: meaning: measures to what extent the surface M and deformed surface are rigid motion of each other. Geometric deformation problem: Given a surface M, the goal is to deform it into another surface, subject to some prescribed constraints such that the geometric distance between them is minimal.
Solve the problem Dirichlet-type integral: An energy functional on the rotation’s field. The minimizer of the intergral, subject to constraints, is a harmonic function defined on a Lie group.
Shape-preserving method • Compute a rotation field R such that the enerty is minimized subject to constraints; • Apply rotations over the moving frames, and reconstruct the isometry f.
Parametrization of SO(3) • Dim(SO(n)) = n(n-1)/2 • Two parametrization: • orthogonal parametrization; • conformal parametrization.
Piecewise-Linear Case (II) Iterative scheme
Volume preservation • Motivation,Strokes’ theorem: • Designing a two-form: is a volumetric form and reflects the local volume underlying the pointpon surfaceM.
Requirements: Illustration: (1) (2)
Derive two-form • Let (b1,b2,b3) denote the standard basis in R3,
Calculate scaling factor Scale the moving frame, scaling factor:
Calculate h(t) • Defining the depth function • Solve the ODE