Variational Quasi-Harmonic Maps for Computing Diffeomorphisms

doi:10.1145/3592105

Return

Variational Quasi-Harmonic Maps for Computing Diffeomorphisms

2023-07-26

DOI：10.1145/3592105

Original request for help

Save

Abstract

En 中文

Computation of injective (or inversion-free) maps is a key task in geometry processing, physical simulation, and shape optimization. Despite being a longstanding problem, it remains challenging due to its highly nonconvex and combinatoric nature. We propose computation of variational quasiharmonic maps to obtain smooth inversion-free maps. Our work is built on a key observation about inversion-free maps: A planar map is a diffeomorphism if and only if it is quasi-harmonic and satisfies a special Cauchy boundary condition. We hence equate the inversion-free mapping problem to an optimal control problem derived from our theoretical result, in which we search in the space of parameters that define an elliptic PDE. We show that this problem can be solved by minimizing within a family of functionals. Similarly, our discretized functionals admit exactly injective maps as the minimizers, empirically producing inversion-free discrete maps of triangle meshes. We design efficient numerical procedures for our problem that prioritize robust convergence paths. Experiments show that on challenging examples our methods can achieve up to orders of magnitude improvement over state-of-the-art, in terms of speed or quality. Moreover, we demonstrate how to optimize a generic energy in our framework while restricting to quasi-harmonic maps.

Keywords:

geometric graph theory

diffeomorphism

inverse problems

optimal control

partial differential equations (PDEs)

PDE-constrained optimization

sigma-harmonic functions

quasi-conformal maps

geometric variational problem

Dirichlet-to-Neumann