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.

A discretize–optimize approach for lddmm registration

Frequency Diffeomorphisms for Efficient Image Registration

Information-Theoretic Registration with Explicit Reorientation of Diffusion-Weighted Images

Region-specific diffeomorphic metric mapping

Data-Driven Model Order Reduction For Diffeomorphic Image Registration

An optimal control approach for deformable registration

Memory efficient LDDMM for lung CT

Sliding at first order: Higher-order momentum distributions for discontinuous image registration

Large deformation diffeomorphic registration of diffusion-weighted images with explicit orientation optimization

INR-LDDMM: Fluid-based Medical Image Registration Integrating Implicit Neural Representation and Large Deformation Diffeomorphic Metric Mapping

Distributed-memory large deformation diffeomorphic 3D image registration

A Multi-scale Optimization Learning Framework for Diffeomorphic Deformable Registration.

Diffeomorphic Metric Learning and Template Optimization for Registration-Based Predictive Models

Sliding at First-Order: Higher-Order Momentum Distributions for Discontinuous Image Registration

Diffeomorphic Image Registration with an Optimal Control Relaxation and Its Implementation

An Integrated Method for Large Deformable Registration of Brain Images.

An Inexact Newton-Krylov Algorithm for Constrained Diffeomorphic Image Registration

Efficient Laplace Approximation for Bayesian Registration Uncertainty Quantification

Deformable Image Registration Using Functions of Bounded Deformation

An Efficient Large Deformation Method Using Domain Decomposition