Abstract:We propose numerical algorithms for solving large deformation diffeomorphic image registration problems. We formulate the nonrigid image registration problem as a problem of optimal control. This leads to an infinite-dimensional partial differential equation (PDE) constrained optimization problem. The PDE constraint consists, in its simplest form, of a hyperbolic transport equation for the evolution of the image intensity. The control variable is the velocity field. Tikhonov regularization on the control ensures well-posedness. We consider standard smoothness regularization based on H1- or H2-seminorms. We augment this regularization scheme with a constraint on the divergence of the velocity field (control variable) rendering the deformation incompressible (Stokes regularization scheme) and thus ensuring that the determinant of the deformation gradient is equal to one, up to the numerical error. We use a Fourier pseudospectral discretization in space and a Chebyshev pseudospectral discretization in time. The latter allows us to reduce the number of unknowns and enables the time-adaptive inversion for nonstationary velocity fields. We use a preconditioned, globalized, matrix-free, inexact Newton-Krylov method for numerical optimization. A parameter continuation is designed to estimate an optimal regularization parameter. Regularity is ensured by controlling the geometric properties of the deformation field. Overall, we arrive at a black-box solver that exploits computational tools that are precisely tailored for solving the optimality system. We study spectral properties of the Hessian, grid convergence, numerical accuracy, computational efficiency, and deformation regularity of our scheme. We compare the designed Newton-Krylov methods with a globalized Picard method (preconditioned gradient descent). We study the influence of a varying number of unknowns in time. The reported results demonstrate excellent numerical accuracy, guaranteed local deformation regularity, and computational efficiency with an optional control on local mass conservation. The Newton-Krylov methods clearly outperform the Picard method if high accuracy of the inversion is required. Our method provides equally good results for stationary and nonstationary velocity fields for two-image registration problems.

Gradient Calculations for Nonrigid Surface Registration

Using Rigid Motion Constraints for the Registration of Free-Form Surfaces.

Research of Non-rigid Medical Image Registration Based on Gradient Information

Robust surface reconstruction from gradient fields

Elastic Shape Registration of Surfaces in 3D Space with Gradient Descent and Dynamic Programming

Progressive Finite Newton Approach to Real-time Nonrigid Surface Detection

Registration of algebraic varieties using Riemannian optimization

Geometry and Convergence Analysis of Algorithms for Registration of 3d Shapes

Accurate Surface Normal Representation to Facilitate Gradient Coil Optimization on Curved Surface

Convergence Analysis of Gradient Algorithms on Riemannian Manifolds Without Curvature Constraints and Application to Riemannian Mass

Recurrent Multi-view Alignment Network for Unsupervised Surface Registration

Efficient Registration for Human Surfaces via Isometric Regularization on Embedded Deformation

Partial Elastic Shape Registration of 3D Surfaces using Dynamic Programming

Hierarchical Multiview Rigid Registration

An Inexact Newton-Krylov Algorithm for Constrained Diffeomorphic Image Registration

Medical Image Registration using optimal control of a linear hyperbolic transport equation with a DG discretization

Towards Riemannian Accelerated Gradient Methods

Quasi-Newton Solver for Robust Non-Rigid Registration

Geometric Registration of High-genus Surfaces

SPARE: Symmetrized Point-to-Plane Distance for Robust Non-Rigid Registration