We consider the tasks of representing, analysing and manipulating maps between shapes. We model maps as densities over the product manifold of the input shapes; these densities can be treated as scalar functions and therefore are manipulable using the language of signal processing on manifolds. Being a manifold itself, the product space endows the set of maps with a geometry of its own, which we exploit to define map operations in the spectral domain; we also derive relationships with other existing representations (soft maps and functional maps). To apply these ideas in practice, we discretize product manifolds and their Laplace–Beltrami operators, and we introduce localized spectral analysis of the product manifold as a novel tool for map processing. Our framework applies to maps defined between and across 2D and 3D shapes without requiring special adjustment, and it can be implemented efficiently with simple operations on sparse matrices.
- PAR ID:
- 10185279
- Date Published:
- Journal Name:
- European Conference on Computer Vision (ECCV2020)
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
more » « less
Abstract -
more » « less
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 quasi-harmonic 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. -
Mapping a desired 2D pattern onto a curved surface has many applications. This includes motion planning for mobile robots to perform coverage path planing, robot end effector trajectory design for tasks such as printing, depositing, wielding on a 3D surface. This problem becomes more difficult if we want the mapped pattern to keep the properties of the original pattern (i.e, least possible mapping distortion), and pass over some desired points and/or remain bounded in a specific region on the surface. In this paper, we apply surface parameterization and mapping distortion analysis, which is rarely used in robot motion planning works, to map a pattern onto 3D surface. To meet additional goals such as passing over certain points, a planar mapping determined by constrained optimization is employed on the original pattern. Our focus is on printing/depositing materials on curved surfaces, and simulations and experiments are provided to confirm the performance of the approach.more » « less
-
more » « less
Abstract We revisit the inverse source problem in a two dimensional absorbing and scattering medium and present a direct reconstruction method, which does not require iterative solvability of the forward problem, using measurements of the radiating flux at the boundary. The attenuation and scattering coefficients are known and the unknown source is isotropic. The approach is based on the Cauchy problem for a Beltrami-like equation for the sequence valued maps, and extends the original ideas of Bukhgeim from the non-scattering to the scattering media. We demonstrate the feasibility of the method in a numerical experiment in which the scattering is modeled by the two dimensional Henyey–Greenstein kernel with parameters meaningful in optical tomography.
-
The Decomposition Problem in the class $LIP(\S^2)$ is to decompose any bi-Lipschitz map $f:\S^2 \to \S^2$ as a composition of finitely many maps of arbitrarily small isometric distortion. In this paper, we construct a decomposition for certain bi-Lipschitz maps which spiral around every point of a Cantor set $X$ of Assouad dimension strictly smaller than one. These maps are constructed by considering a collection of Dehn twists on the Riemann surface $\S^2 \setminus X$. The decomposition is then obtained via a bi-Lipschitz path which simultaneously unwinds these Dehn twists. As part of our construction, we also show that $X \subset \S^2$ is uniformly disconnected if and only if the Riemann surface $\S^2 \setminus X$ has a pants decomposition whose cuffs have hyperbolic length uniformly bounded above, which may be of independent interest.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Conference Paper:
- https://doi.org/10.1007/978-3-030-58577-8_22
