Efficient Parallel Transport in the Group of Diffeomorphisms via Reduction to the Lie Algebra

This paper presents an efficient, numerically stable algorithm for parallel transport of tangent vectors in the group of diffeomorphisms. Previous approaches to parallel transport in large deformation diffeomorphic metric mapping (LDDMM) of images represent a momenta field, the dual of a tangent vector to the diffeomorphism group, as a scalar field times the image gradient. This "scalar momenta" constraint couples tangent vectors with the images being deformed and leads to computationally costly horizontal lifts in parallel transport. This paper uses the vector momenta formulation of LDDMM, which decouples the diffeomorphisms from the structures being transformed, e.g., images, point sets, etc. This decoupling leads to parallel transport expressed as a linear ODE in the Lie algebra. Solving this ODE directly is numerically stable and significantly faster than other LDDMM parallel transport methods. Results on 2D synthetic data and 3D brain MRI demonstrate that our algorithm is fast and conserves the inner products of the transported tangent vectors.

[1]  Michael I. Miller,et al.  Evolutions equations in computational anatomy , 2009, NeuroImage.

[2]  J. Cheeger,et al.  Comparison theorems in Riemannian geometry , 1975 .

[3]  Alain Trouvé,et al.  Computing Large Deformation Metric Mappings via Geodesic Flows of Diffeomorphisms , 2005, International Journal of Computer Vision.

[4]  Joy T. Matsui,et al.  Development of image processing tools and procedures for analyzing multi-site longitudinal diffusion-weighted imaging studies , 2014 .

[5]  Xavier Pennec,et al.  International Journal of Computer Vision manuscript No. (will be inserted by the editor) Geodesics, Parallel Transport & One-parameter Subgroups for Diffeomorphic Image Registration , 2022 .

[6]  Michael I. Miller,et al.  Parallel Transport in Diffeomorphisms Distinguishes the Time-dependent Pattern of Hippocampal Surface Deformation Due to Healthy Aging and the Dementia of the Alzheimer's Type , 2007 .

[7]  Guido Gerig,et al.  Optimal Data-Driven Sparse Parameterization of Diffeomorphisms for Population Analysis , 2011, IPMI.

[8]  P. Thomas Fletcher,et al.  Bayesian Estimation of Regularization and Atlas Building in Diffeomorphic Image Registration , 2013, IPMI.

[9]  P. Thomas Fletcher,et al.  Finite-Dimensional Lie Algebras for Fast Diffeomorphic Image Registration , 2015, IPMI.

[10]  Guido Gerig,et al.  Morphometry of anatomical shape complexes with dense deformations and sparse parameters , 2014, NeuroImage.

[11]  Michael I. Miller,et al.  Transport of Relational Structures in Groups of Diffeomorphisms , 2008, Journal of Mathematical Imaging and Vision.

[12]  Nicholas Ayache,et al.  Schild's Ladder for the Parallel Transport of Deformations in Time Series of Images , 2011, IPMI.

[13]  Alain Trouvé,et al.  Geodesic Shooting for Computational Anatomy , 2006, Journal of Mathematical Imaging and Vision.

[14]  Daniel Rueckert,et al.  Diffeomorphic 3D Image Registration via Geodesic Shooting Using an Efficient Adjoint Calculation , 2011, International Journal of Computer Vision.

[15]  P. Thomas Fletcher,et al.  A vector momenta formulation of diffeomorphisms for improved geodesic regression and atlas construction , 2013, 2013 IEEE 10th International Symposium on Biomedical Imaging.

[16]  Michael I. Miller,et al.  Time sequence diffeomorphic metric mapping and parallel transport track time-dependent shape changes , 2009, NeuroImage.

[17]  V. Arnold Sur la géométrie différentielle des groupes de Lie de dimension infinie et ses applications à l'hydrodynamique des fluides parfaits , 1966 .