Elastic Level Set Matching

In different imaging scenarios, such as medical and biological applications, several images of the same or similar objects are taken with the purpose of observing changes in them. However, the environment in which the acquisition is performed cannot be fully controlled, so one can not assume that the data will correspond point by point. Usually some deformation of the domain of definition of the images is necessary to align the data before comparing it. This problem is known as image registration. In many cases only the shape of an object (which may be extracted from images by segmentation techniques) is relevant. Registration in this case gives rise to the problem matching of two given surfaces. In this purely geometrical situation, what is sought is a map from one surface to another, which correctly matches shape features such as crests, valleys or bumps, and only introduces a low amount of distortion.

We have developed a model for the matching of surfaces represented by their signed distance functions. The model consists in an energy functional, which is to be minimized among deformations of a computational domain in which two given surfaces are embedded, producing a deformation that closely matches one of the surfaces to the other.

Our energy draws inspiration by the mathematical theory of nonlinear elasticity and reflects expected phenomena like resistance to compression and expansion of the surface and resistance to bending. For the modelling, our starting point is to consider the reference surface as a layer of an elastic material embedded in a block of another much softer isotropic elastic material, subject to a matching force that pushes it onto the template surface.

An advantage of this point of view is that physical material parameters which are relevant in applications may be effortlessly introduced. In fact, our formulation is dimension independent and may be used also in the case of curve matching.

Systematically exploting the geometry of the level sets, our model manages to balance full geometrical invariance with existence of global minimizers for any pair of surfaces of the same topology, while only including first derivatives of the unknown deformation. By introducing an explicit dependence on the deformed configuration, arguments of compensated compactness in varying directions can be applied to obtain weak lower semicontinuity of every term of the energy.

Figure 1. Matching of surfaces in 3D.
Left: original shape with visualization texture.
Middle: target shape.
Right: match obtained, with the texture marking which parts are identified.
Data BP Data

For the numerical implementation of the model, a multilinear finite element discretization and a multilevel minimization strategy have been considered. The use of hierarchichal adaptive grids refined around the given surfaces allows for efficient computations.

Figure 2. Matching of curves, and underlying 2D grids.
Left: original shape, and resulting deformed shape.
Right: numerical grid before and after the final deformation.
Data Data Data Data

Contributors:

José A. Iglesias, Otmar Scherzer

Collaborators:

Martin Rumpf, Universität Bonn.

References:

Contact

Computational Science Center
Faculty of Mathematics
University of Vienna

Oskar-Morgenstern-Platz 1
1090 Wien
T: +43-1-4277-55771