Planar polynomial curves have rational offset curves, if they are either Pythagorean-hodograph (PH) or indirect Pythagorean-hodograph (iPH) curves. In this paper, we derive an algebraic and two geometric characterizations for planar quartic iPH curves. The characterizations are given in terms of quantities related to the Bézier control polygon of the curve, and naturally extend to quartic and cubic PH and quadratic iPH curves.
Surface conformal parameterizations have been widely applied to various tasks in computer graphics. In this paper, we develop a convergent conformal energy minimization (CCEM) iterative algorithm via the line-search gradient descent method with a quadratic approximation for the computation of disk-shaped conformal parameterizations of simply connected open triangular meshes. In addition, we prove the global convergence of the proposed CCEM iterative algorithm. Moreover, under some mild assumptions, we prove the existence of the nontrivial solution, which is a local minimum of the conformal energy with a bijective boundary map. Numerical experiments indicate that the efficiency of the proposed CCEM algorithm is highly improved and the accuracy is competitive with that of state-of-the-art algorithms.
3D surface classification is a fundamental problem in computer vision and computational geometry. Surfaces can be classified by different transformation groups. Traditional classification methods mainly use topological transformation groups and Euclidean transformation groups. This paper introduces a novel method to classify surfaces by conformal transformation groups. Conformal equivalent class is refiner than topological equivalent class and coarser than isometric equivalent class, making it suitable for practical classification purposes. For general surfaces, the gradient fields of conformal maps form a vector space, which has a natural structure invariant under conformal transformations. We present an algorithm to compute this conformal structure, which can be represented as matrices, and use it to classify surfaces. The result is intrinsic to the geometry, invariant to triangulation and insensitive to resolution. To the best of our knowledge, this is the first paper to classify surfaces with arbitrary topologies by global conformal invariants. The method introduced here can also be used for surface matching problems.
In this work, we introduce two sets of algorithms inspired by the ideas from modern geometry. One is computational conformal geometry method, including harmonic maps, holomorphic 1-forms and Ricci flow. The other one is optimization method using affine normals.
This paper is motivated by the problem of subdividing a prismatic mesh to a tetrahedral mesh (without inserting Steiner points) so as to not only match arbitrarily prescribed boundary conditions but also allow arbitrary topologies in the base mesh. We explore all possible combinations of these two factors, and propose a complete solution to this 3D problem by converting it to an equivalent 2D graph problem, called cutting flow problem. For each case, we not only prove the sufficient and necessary condition for the existence of solutions, but also provide linear and provable algorithms to compute a solution whenever there is one.
Brain Cortical surface registration is required for inter-subject studies of functional and anatomical data. Harmonic mapping has been applied for brain mapping, due to its existence, uniqueness, regularity and numerical stability. In order to improve the registration accuracy, sculcal landmarks are usually used as constraints for brain registration. Unfortunately, constrained harmonic mappings may not be diffeomorphic and produces invalid registration. This work conquer this problem by changing the Riemannian metric on the target cortical surface to a hyperbolic metric, so that the harmonic mapping is guaranteed to be a diffeomorphism while the landmark constraints are enforced as boundary matching condition. The computational algorithms are based on the Ricci flow method and hyperbolic heat diffusion. Experimental results demonstrate that, by changing the Riemannian metric, the registrations are
Structured light system using a digital video projector is increasingly used for a 3-D shape measurement because of its digital nature. However, the nonlinear gamma of the projector causes the projected fringe patterns to be non-sinusoidal, which results in phase error therefore shape measurement error. Previous work showed that, by using a small look-up-table (LUT), this type of phase error can be reduced significantly for a three-step phase-shifting algorithm. In this research, we prove that this type of phase error compensation method is not limited to a three-step phase-shifting algorithm. It is generic for any phase-shifting algorithm. The phase error compensation algorithm is able to theoretically eliminate the phase error caused by the gamma of the projector completely. It is based on our finding that in phase domain, the phase error due to the projector's gamma is preserved for arbitrary object's surface
We propose a method to map a multiply connected bounded planar region conformally to a bounded region with circular boundaries. The norm of the derivative of such a conformal map satisfies the Laplace equation with a nonlinear Neumann type boundary condition. We analyze the singular behavior at corners of the boundary and separate the major singular part. The remaining smooth part solves a variational problem which is easy to discretize. We use a finite element method and a gradient descent method to find an approximate solution. The conformal map is then constructed from this norm function. We tested our algorithm on a polygonal region and a curvilinear smooth region.
Computational conformal geometry focuses on developing the computational methodologies on discrete surfaces to discover conformal geometric invariants. In this work, we briefly summarize the recent developments for methods and related applications in computational conformal geometry. There are two major approaches, holomorphic differentials and curvature flow. The holomorphic differential method is a linear method, which is more efficient and robust to triangulations with lower quality. The curvature flow method is nonlinear and requires higher quality triangulations, but more flexible. The conformal geometric methods have been broadly applied in many engineering fields, such as computer graphics, vision, geometric modeling and medical imaging. The algorithms are robust for surfaces scanned from real life, general for surfaces with different topologies. The efficiency and efficacy of the algorithms
Can you capture the motion of a smile in 3-D? This paper presents a video acquisition system that measures 3-D geometry accurately. The data acquisition speed is 90 fps and over one quarter million points per frame. Acquisition, reconstruction, and display are simultaneously realized at 30 fps.