Abstract:This work proposes a rigorous and practical algorithm for quad-mesh generation based the Abel–Jacobi theory of algebraic curves. We prove sufficient and necessary conditions for a flat metric with cone singularities to be compatible with a quad-mesh, in terms of the deck-transformation, then develop an algorithm based on the theorem. The algorithm has two stages: first, a meromorphic quartic differential is generated to induce a T-mesh; second, the edge lengths of the T-mesh are adjusted by solving a linear system to satisfy the deck transformation condition, which produces a quad-mesh.In the first stage, the algorithm pipeline can be summarized as follows: calculate the homology group; compute the holomorphic differential group; construct the period matrix of the surface and Jacobi variety; calculate the Abel–Jacobi map for a given divisor; optimize the divisor to satisfy the Abel–Jacobi condition by integer programming; compute a flat Riemannian metric with cone singularities at the divisor by Ricci flow; isometrically immerse the surface punctured at the divisor onto the complex plane and pull back the canonical holomorphic differential to the surface to obtain the meromorphic quartic differential; construct a motorcycle graph to generate a T-Mesh.In the second stage, the deck transformation constraints are formulated as a linear equation system of the edge lengths of the T-mesh. The solution provides a flat metric with integral deck transformations, which leads to the final quad-mesh.The proposed method is rigorous and practical. The T-mesh and quad-mesh results can be applied for constructing Splines directly. The efficiency and efficacy of the proposed algorithm are demonstrated by experimental results on surfaces with complicated topologies and geometries.

An improved algorithm for constructing moving quadrics from moving planes

Implicitizing Rational Surfaces Using Moving Quadrics Constructed from Moving Planes

Quadratic Approximation to Plane Parametric Curves and Its Application in Approximate Implicitization

Rational Quadratic Approximation to Real Algebraic Curves

Implicitizing Rational Surfaces Without Base Points by Moving Planes and Moving Quadrics

An Improved Laplacian Smoothing Approach for Surface Meshes

Advancing front quadrilateral surface mesh generation

Efficient Computation of Moving Planes for Rational Parametric Surfaces with Base Points Using Dixon Resultants

Path Planning for Autonomous Driving with Curvature-considered Quadratic Optimization.

Algebraic algorithms for computing intersections between Torus and natural Quadrics

Constructing Quartic Triangular Surfaces Over 3d Triangulations

Determinantal tensor product surfaces and the method of moving quadrics

Implicitization and Parametrization of Quadratic Surfaces with One Simple Base Point.

A Wave-Based Anisotropic Quadrangulation Method

Quadric surface reconstruction based on segmentation and constrained optimization

Implicitization, parameterization and singularity computation of Steiner surfaces using moving surfaces

New Quadric Metric for Simplifying Meshes to Retain the Feature Edge

T-Base: A Triangle-Based Iterative Algorithm for Smoothing Quadrilateral Meshes

Converting Triangular Bezier Surface into Optimal Trimmed Tensor-Product Bezier Surface

Modified Affine Arithmetic in Tensor Form for Trivariate Polynomial Evaluation and Algebraic Surface Plotting

Quadrilateral mesh generation III : Optimizing singularity configuration based on Abel–Jacobi theory