Mathematics > Numerical Analysis
[Submitted on 27 Aug 2014 (this version), latest version 7 May 2015 (v3)]
Title:An inexact Newton-Krylov algorithm for constrained diffeomorphic image registration
View PDFAbstract:We propose numerical algorithms for solving large deformation diffeomorphic image registration problems. We formulate the non-rigid 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 ensures well-posedness. We consider standard smoothness regularization based on $H^1$- or $H^2$-norms of the velocity field. We augment this regularization scheme with a constraint on the divergence of the velocity field rendering the flow incompressible.
We use a Fourier pseudo-spectral discretization in space and a Chebyshev pseudo-spectral discretization in time. We use a preconditioned, matrix-free, inexact Gauss-Newton-Krylov reduced space sequential quadratic programming (RSQP) method for numerical optimization. A parameter continuation, which can intuitively be informed about regularity requirements, is designed to estimate an optimal regularization parameter. Regularity is ensured by controlling geometric features of the deformation field. Overall, we arrive at a black-box solver that exploits computational tools 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 Gauss-Newton-Krylov RSQP method with a Picard method. 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.
Submission history
From: Andreas Mang [view email][v1] Wed, 27 Aug 2014 02:36:11 UTC (8,656 KB)
[v2] Mon, 26 Jan 2015 23:05:07 UTC (9,104 KB)
[v3] Thu, 7 May 2015 13:37:06 UTC (8,058 KB)
Current browse context:
math.NA
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.