Discrete conformal mappings via circle patterns

We introduce a novel method for the construction of discrete conformal mappings from surface meshes of arbitrary topology to the plane. Our approach is based on circle patterns, that is, arrangements of circles---one for each face---with prescribed intersection angles. Given these angles, the circle radii follow as the unique minimizer of a convex energy. The method supports very flexible boundary conditions ranging from free boundaries to control of the boundary shape via prescribed curvatures. Closed meshes of genus zero can be parameterized over the sphere. To parameterize higher genus meshes, we introduce cone singularities at designated vertices. The parameter domain is then a piecewise Euclidean surface. Cone singularities can also help to reduce the often very large area distortion of global conformal maps to moderate levels. Our method involves two optimization problems: a quadratic program and the unconstrained minimization of the circle pattern energy. The latter is a convex function of logarithmic radius variables with simple explicit expressions for gradient and Hessian. We demonstrate the versatility and performance of our algorithm with a variety of examples

Menelaus' theorem, Clifford configurations and inversive geometry of the Schwarzian KP hierarchy

It is shown that the integrable discrete Schwarzian KP (dSKP) equation which constitutes an algebraic superposition formula associated with, for instance, the Schwarzian KP hierarchy, the classical Darboux transformation and quasi-conformal mappings encapsulates nothing but a fundamental theorem of ancient Greek geometry. Thus, it is demonstrated that the connection with Menelaus' theorem and, more generally, Clifford configurations renders the dSKP equation a natural object of inversive geometry on the plane. The geometric and algebraic integrability of dSKP lattices and their reductions to lattices of Menelaus-Darboux, Schwarzian KdV, Schwarzian Boussinesq and Schramm type is discussed. The dSKP and discrete Schwarzian Boussinesq equations are shown to represent discretizations of families of quasi-conformal mappings.Comment: 26 pages, 9 figure

Approximation of conformal mappings using conformally equivalent triangular lattices

Consider discrete conformal maps defined on the basis of two conformally equivalent triangle meshes, that is edge lengths are related by scale factors associated to the vertices. Given a smooth conformal map $f$, we show that it can be approximated by such discrete conformal maps $f^\epsilon$. In particular, let $T$ be an infinite regular triangulation of the plane with congruent triangles and only acute angles (i.e.\ $<\pi/2$). We scale this tiling by $\epsilon>0$ and approximate a compact subset of the domain of $f$ with a portion of it. For $\epsilon$ small enough we prove that there exists a conformally equivalent triangle mesh whose scale factors are given by $\log|f'|$ on the boundary. Furthermore we show that the corresponding discrete conformal maps $f^\epsilon$ converge to $f$ uniformly in $C^1$ with error of order $\epsilon$.Comment: 14 pages, 3 figures; v2 typos corrected, revised introduction, some proofs extende