Statistical Computing on Manifolds: From Riemannian Geometry to Computational Anatomy

Computational anatomy is an emerging discipline that aims at analyzing and modeling the individual anatomy of organs and their biological variability across a population. The goal is not only to model the normal variations among a population, but also discover morphological differences between normal and pathological populations, and possibly to detect, model and classify the pathologies from structural abnormalities. Applications are very important both in neuroscience, to minimize the influence of the anatomical variability in functional group analysis, and in medical imaging, to better drive the adaptation of generic models of the anatomy (atlas) into patient-specific data (personalization). However, understanding and modeling the shape of organs is made difficult by the absence of physical models for comparing different subjects, the complexity of shapes, and the high number of degrees of freedom implied. Moreover, the geometric nature of the anatomical features usually extracted raises the need for statistics and computational methods on objects that do not belong to standard Euclidean spaces. We investigate in this chapter the Riemannian metric as a basis for developing generic algorithms to compute on manifolds. We show that few computational tools derived from this structure can be used in practice as the atoms to build more complex generic algorithms such as mean computation, Mahalanobis distance, interpolation, filtering and anisotropic diffusion on fields of geometric features. This computational framework is illustrated with the joint estimation and anisotropic smoothing of diffusion tensor images and with the modeling of the brain variability from sulcal lines.

[1]  E. Hairer,et al.  Geometric Numerical Integration: Structure Preserving Algorithms for Ordinary Differential Equations , 2004 .

[2]  P. Thomas Fletcher,et al.  Gaussian Distributions on Lie Groups and Their Application to Statistical Shape Analysis , 2003, IPMI.

[3]  Nicholas Ayache,et al.  Clinical DT-MRI estimation, smoothing and fiber tracking with Log-Euclidean metrics , 2006, 3rd IEEE International Symposium on Biomedical Imaging: Nano to Macro, 2006..

[4]  D. Louis Collins,et al.  Object-based morphometry of the cerebral cortex , 2004, IEEE Transactions on Medical Imaging.

[5]  Stephen D. Howard,et al.  SENSOR MANAGEMENT FOR RADAR: A TUTORIAL , 2006 .

[6]  Cj Baker,et al.  Fundamentals of tomography and radar and Bistatic and multistatic sensors for homeland security, invited presentations, NATO Advanced Study Institute Advances in Sensing with Security Applications, Il Ciocco, Italy, 17–30 July 2005, Springer, 2005. , 2005 .

[7]  B. Ripley,et al.  Robust Statistics , 2018, Wiley Series in Probability and Statistics.

[8]  Paul M. Thompson,et al.  Extrapolation of Sparse Tensor Fields: Application to the Modeling of Brain Variability , 2005, IPMI.

[9]  P. George,et al.  Delaunay mesh generation governed by metric specifications. Part II. applications , 1997 .

[10]  M. Torrens Co-Planar Stereotaxic Atlas of the Human Brain—3-Dimensional Proportional System: An Approach to Cerebral Imaging, J. Talairach, P. Tournoux. Georg Thieme Verlag, New York (1988), 122 pp., 130 figs. DM 268 , 1990 .

[11]  P. Thompson,et al.  Evaluating Brain Anatomical Correlations via Canonical Correlation Analysis of Sulcal Lines , 2007 .

[12]  Xavier Pennec,et al.  Intrinsic Statistics on Riemannian Manifolds: Basic Tools for Geometric Measurements , 2006, Journal of Mathematical Imaging and Vision.

[13]  F. Bookstein,et al.  The Measurement of Biological Shape and Shape Change. , 1979 .

[14]  R. Darling Martingales on noncompact manifolds : maximal inequalities and prescribed limits , 1996 .

[15]  C. Y. Kaya,et al.  Geodesics and an optimal control algorithm , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[16]  D. Mumford,et al.  Riemannian Geometries on Spaces of Plane Curves , 2003, math/0312384.

[17]  Michael I. Miller,et al.  Group Actions, Homeomorphisms, and Matching: A General Framework , 2004, International Journal of Computer Vision.

[18]  Peter E. Jupp,et al.  A Unified View of the Theory of Directional Statistics, 1975-1988 , 1989 .

[19]  Michael I. Miller,et al.  Landmark matching via large deformation diffeomorphisms , 2000, IEEE Trans. Image Process..

[20]  Rachid Deriche,et al.  Regularizing Flows for Constrained Matrix-Valued Images , 2004, Journal of Mathematical Imaging and Vision.

[21]  Nicholas Ayache,et al.  Riemannian Elasticity: A Statistical Regularization Framework for Non-linear Registration , 2005, MICCAI.

[22]  U. Helmke,et al.  Optimization and Dynamical Systems , 1994, Proceedings of the IEEE.

[23]  Guido Gerig,et al.  Nonlinear anisotropic filtering of MRI data , 1992, IEEE Trans. Medical Imaging.

[24]  J. Szpunar,et al.  Part II applications , 2003 .

[25]  Daniel P Barboriak,et al.  Diffusion-weighted and perfusion MR imaging for brain tumor characterization and assessment of treatment response. , 2006, Radiology.

[26]  M. Émery,et al.  Sur le barycentre d'une probabilité dans une variété , 1991 .

[27]  F. e. Calcul des Probabilités , 1889, Nature.

[28]  X. Pennec Left-Invariant Riemannian Elasticity: a distance on shape diffeomorphisms ? , 2006 .

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

[30]  I. Dryden,et al.  Non-Euclidean statistics for covariance matrices, with applications to diffusion tensor imaging , 2009, 0910.1656.

[31]  P. Thomas Fletcher,et al.  Population Shape Regression from Random Design Data , 2007, 2007 IEEE 11th International Conference on Computer Vision.

[32]  M. Unser,et al.  Interpolation Revisited , 2000, IEEE Trans. Medical Imaging.

[33]  Michael I. Miller,et al.  Diffeomorphic metric surface mapping in subregion of the superior temporal gyrus , 2007, NeuroImage.

[34]  Peter J. Rousseeuw,et al.  Robust Regression and Outlier Detection , 2005, Wiley Series in Probability and Statistics.

[35]  Maher Moakher,et al.  A rigorous framework for diffusion tensor calculus , 2005, Magnetic resonance in medicine.

[36]  K. Mardia,et al.  Theoretical and Distributional Aspects of Shape Analysis , 1991 .

[37]  P. George,et al.  Delaunay mesh generation governed by metric specifications. Part I algorithms , 1997 .

[38]  P. Basser,et al.  MR diffusion tensor spectroscopy and imaging. , 1994, Biophysical journal.

[39]  J. Picard Barycentres et martingales sur une variété , 1994 .

[40]  William M. Wells,et al.  Medical Image Computing and Computer-Assisted Intervention — MICCAI’98 , 1998, Lecture Notes in Computer Science.

[41]  K. Nomizu Invariant Affine Connections on Homogeneous Spaces , 1954 .

[42]  Séminaire de probabilités,et al.  Séminaire de probabilités XXV , 1991 .

[43]  Zhizhou Wang,et al.  A constrained variational principle for direct estimation and smoothing of the diffusion tensor field from complex DWI , 2004, IEEE Transactions on Medical Imaging.

[44]  Luc Florack,et al.  Deep Structure, Singularities, and Computer Vision, First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papers , 2005, DSSCV.

[45]  Karl J. Friston,et al.  Voxel-Based Morphometry—The Methods , 2000, NeuroImage.

[46]  Nicholas Ayache,et al.  Fast and Simple Calculus on Tensors in the Log-Euclidean Framework , 2005, MICCAI.

[47]  Joan Alexis Glaunès,et al.  Surface Matching via Currents , 2005, IPMI.

[48]  D Le Bihan,et al.  Detection of fMRI activation using Cortical Surface Mapping , 2001, Human brain mapping.

[49]  Michael I. Miller,et al.  Hilbert-Schmidt Lower Bounds for Estimators on Matrix Lie Groups for ATR , 1998, IEEE Trans. Pattern Anal. Mach. Intell..

[50]  C. R. Rao,et al.  Entropy differential metric, distance and divergence measures in probability spaces: A unified approach , 1982 .

[51]  G. Aubert,et al.  Mathematical Problems in Image Processing: Partial Differential Equations and the Calculus of Variations (Applied Mathematical Sciences) , 2006 .

[52]  P. Thomas Fletcher,et al.  Principal Geodesic Analysis on Symmetric Spaces: Statistics of Diffusion Tensors , 2004, ECCV Workshops CVAMIA and MMBIA.

[53]  R. Woods,et al.  Cortical change in Alzheimer's disease detected with a disease-specific population-based brain atlas. , 2001, Cerebral cortex.

[54]  F. Bookstein,et al.  The Measurement of Biological Shape and Shape Change. , 1980 .

[55]  S. Granger,et al.  Statistiques exactes et approchées sur les normales aléatoires , 2002 .

[56]  W. Kendall Probability, Convexity, and Harmonic Maps with Small Image I: Uniqueness and Fine Existence , 1990 .

[57]  Christopher Bingham An Antipodally Symmetric Distribution on the Sphere , 1974 .

[58]  N. Ayache,et al.  Log‐Euclidean metrics for fast and simple calculus on diffusion tensors , 2006, Magnetic resonance in medicine.

[59]  U. Grenander Probabilities on Algebraic Structures , 1964 .

[60]  Rachid Deriche,et al.  Statistics on the Manifold of Multivariate Normal Distributions: Theory and Application to Diffusion Tensor MRI Processing , 2006, Journal of Mathematical Imaging and Vision.

[61]  Carl-Fredrik Westin,et al.  Processing and visualization for diffusion tensor MRI , 2002, Medical Image Anal..

[62]  Nicholas Ayache,et al.  Geometric Means in a Novel Vector Space Structure on Symmetric Positive-Definite Matrices , 2007, SIAM J. Matrix Anal. Appl..

[63]  Shun-ichi Amari,et al.  Methods of information geometry , 2000 .

[64]  L. Younes,et al.  On the metrics and euler-lagrange equations of computational anatomy. , 2002, Annual review of biomedical engineering.

[65]  Xavier Pennec,et al.  Probabilities and statistics on Riemannian manifolds: Basic tools for geometric measurements , 1999, NSIP.

[66]  K. Nomizu,et al.  Foundations of Differential Geometry , 1963 .

[67]  Claus Gramkow,et al.  On Averaging Rotations , 2004, Journal of Mathematical Imaging and Vision.

[68]  M. L. Wolbarsht,et al.  NATO Advanced Study Institute. , 1986, IEEE transactions on medical imaging.

[69]  Paul M. Thompson,et al.  Best individual template selection from deformation tensor minimization , 2008, 2008 5th IEEE International Symposium on Biomedical Imaging: From Nano to Macro.

[70]  Gabor Fichtinger,et al.  Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part I , 2008, International Conference on Medical Image Computing and Computer-Assisted Intervention.

[71]  W. Kendall Convexity and the Hemisphere , 1991 .

[72]  Jan Sijbers,et al.  Maximum-likelihood estimation of Rician distribution parameters , 1998, IEEE Transactions on Medical Imaging.

[73]  Xavier Pennec L'incertitude dans les problèmes de reconnaissance et de recalage - Applications en imagerie médicale et biologie moléculaire , 1996 .

[74]  Rachid Deriche,et al.  Constrained Flows of Matrix-Valued Functions: Application to Diffusion Tensor Regularization , 2002, ECCV.

[75]  M. Fréchet Les éléments aléatoires de nature quelconque dans un espace distancié , 1948 .

[76]  A. Toga,et al.  Detection and mapping of abnormal brain structure with a probabilistic atlas of cortical surfaces. , 1997, Journal of computer assisted tomography.

[77]  Pierre Kornprobst,et al.  Mathematical problems in image processing - partial differential equations and the calculus of variations , 2010, Applied mathematical sciences.

[78]  Nicholas Ayache,et al.  A Log-Euclidean Polyaffine Framework for Locally Rigid or Affine Registration , 2006, WBIR.

[79]  B. Owren,et al.  The Newton Iteration on Lie Groups , 2000 .

[80]  Mi-Suen Lee,et al.  A Computational Framework for Segmentation and Grouping , 2000 .

[81]  Jitendra Malik,et al.  Scale-Space and Edge Detection Using Anisotropic Diffusion , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[82]  R. Bhattacharya,et al.  Nonparametic estimation of location and dispersion on Riemannian manifolds , 2002 .

[83]  H. Karcher Riemannian center of mass and mollifier smoothing , 1977 .

[84]  Alain Trouvé,et al.  A Forward Model to Build Unbiased Atlases from Curves and Surfaces , 2008 .

[85]  M. Émery Stochastic Calculus in Manifolds , 1989 .

[86]  Xavier Pennec,et al.  Feature-Based Registration of Medical Images: Estimation and Validation of the Pose Accuracy , 1998, MICCAI.

[87]  D. Kendall A Survey of the Statistical Theory of Shape , 1989 .

[88]  K. Mardia Directional statistics and shape analysis , 1999 .

[89]  Alain Trouvé,et al.  Geodesic Shooting and Diffeomorphic Matching Via Textured Meshes , 2005, EMMCVPR.

[90]  D. Tschumperlé PDE's based regularization of multivalued images and applications , 2002 .

[91]  David Cohen-Steiner,et al.  Restricted delaunay triangulations and normal cycle , 2003, SCG '03.

[92]  Alain Trouvé,et al.  Diffeomorphisms Groups and Pattern Matching in Image Analysis , 1998, International Journal of Computer Vision.

[93]  S. Griffis EDITOR , 1997, Journal of Navigation.

[94]  Anuj Srivastava,et al.  Analysis of planar shapes using geodesic paths on shape spaces , 2004, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[95]  D. Louis Collins,et al.  Automated extraction and variability analysis of sulcal neuroanatomy , 1999, IEEE Transactions on Medical Imaging.

[96]  Maher Moakher,et al.  Means and Averaging in the Group of Rotations , 2002, SIAM J. Matrix Anal. Appl..

[97]  Zhizhou Wang,et al.  DTI segmentation using an information theoretic tensor dissimilarity measure , 2005, IEEE Transactions on Medical Imaging.

[98]  S. Levin Lectu re Notes in Biomathematics , 1983 .

[99]  Nicholas Ayache,et al.  A scheme for automatically building three-dimensional morphometric anatomical atlases: application to a skull atlas , 1998, Medical Image Anal..

[100]  J Mazziotta,et al.  A probabilistic atlas and reference system for the human brain: International Consortium for Brain Mapping (ICBM). , 2001, Philosophical transactions of the Royal Society of London. Series B, Biological sciences.

[101]  Paul M. Thompson,et al.  Measuring brain variability by extrapolating sparse tensor fields measured on sulcal lines , 2007, NeuroImage.

[102]  Robert E. Mahony,et al.  The Geometry of the Newton Method on Non-Compact Lie Groups , 2002, J. Glob. Optim..

[103]  Robert B. Fisher,et al.  Estimating 3-D rigid body transformations: a comparison of four major algorithms , 1997, Machine Vision and Applications.

[104]  Anders Brun,et al.  Manifolds in Image Science and Visualization , 2007 .

[105]  H. Hendriks A Crame´r-Rao–type lower bound for estimators with values in a manifold , 1991 .

[106]  N. Ayache,et al.  Bi-invariant Means in Lie Groups. Application to Left-invariant Polyaffine Transformations , 2006 .

[107]  Xavier Pennec,et al.  Statistical Computing on Manifolds for Computational Anatomy , 2006 .

[108]  D. Louis Collins,et al.  Design and construction of a realistic digital brain phantom , 1998, IEEE Transactions on Medical Imaging.

[109]  J. Craggs Applied Mathematical Sciences , 1973 .

[110]  P. Priouret,et al.  Newton's method on Riemannian manifolds: covariant alpha theory , 2002, math/0209096.

[111]  Bernd Fischer,et al.  Biomedical Image Registration, 4th International Workshop, WBIR 2010, Lübeck, Germany, July 11-13, 2010. Proceedings , 2010, Workshop on Biomedical Image Registration.

[112]  Laurent Younes,et al.  Computable Elastic Distances Between Shapes , 1998, SIAM J. Appl. Math..

[113]  Stéphane Lavallée,et al.  Building a Complete Surface Model from Sparse Data Using Statistical Shape Models: Application to Computer Assisted Knee Surgery System , 1998, MICCAI.

[114]  W. Förstner,et al.  A Metric for Covariance Matrices , 2003 .

[115]  Paul M. Thompson,et al.  Inferring brain variability from diffeomorphic deformations of currents: An integrative approach , 2008, Medical Image Anal..

[116]  P. Fillard,et al.  MR diffusion tensor imaging and fiber tracking in spinal cord compression. , 2005, AJNR. American journal of neuroradiology.

[117]  Nicholas Ayache,et al.  A Riemannian Framework for the Processing of Tensor-Valued Images , 2005, DSSCV.

[118]  Terry M. Peters,et al.  3D statistical neuroanatomical models from 305 MRI volumes , 1993, 1993 IEEE Conference Record Nuclear Science Symposium and Medical Imaging Conference.

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

[120]  Thomas Brox,et al.  Nonlinear structure tensors , 2006, Image Vis. Comput..

[121]  J. M. Oller On an intrinsic analysis of statistical estimation , 1993 .

[122]  Marc Arnaudon Barycentres convexes et approximations des martingales continues dans les variétés , 1995 .

[123]  I. Holopainen Riemannian Geometry , 1927, Nature.

[124]  D. Kendall,et al.  The Riemannian Structure of Euclidean Shape Spaces: A Novel Environment for Statistics , 1993 .

[125]  Peter J. Huber,et al.  Robust Statistics , 2005, Wiley Series in Probability and Statistics.

[126]  T. Brox,et al.  Diffusion and regularization of vector- and matrix-valued images , 2002 .

[127]  Ioannis A. Kakadiaris,et al.  Computer Vision and Mathematical Methods in Medical and Biomedical Image Analysis , 2004, Lecture Notes in Computer Science.

[128]  Xavier Pennec,et al.  A Riemannian Framework for Tensor Computing , 2005, International Journal of Computer Vision.

[129]  X. Pennec Computing the Mean of Geometric Features Application to the Mean Rotation , 1998 .

[130]  R. Kass,et al.  Geometrical Foundations of Asymptotic Inference: Kass/Geometrical , 1997 .

[131]  Michel Émery,et al.  Séminaire de probabilités XXIX , 1995 .

[132]  Annick M. Leroy,et al.  Robust Regression and Outlier Detection. , 1989 .

[133]  Jay Jorgenson,et al.  The Ubiquitous Heat Kernel , 2006 .

[134]  M. Unser,et al.  Interpolation revisited [medical images application] , 2000, IEEE Transactions on Medical Imaging.

[135]  Guido Gerig,et al.  Medical Image Computing and Computer-Assisted Intervention - MICCAI 2005, 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part II , 2005, MICCAI.

[136]  Maher Moakher,et al.  A Differential Geometric Approach to the Geometric Mean of Symmetric Positive-Definite Matrices , 2005, SIAM J. Matrix Anal. Appl..

[137]  R. Bhattacharya,et al.  Large sample theory of intrinsic and extrinsic sample means on manifolds--II , 2005, math/0507423.

[138]  Lasse Riis Østergaard,et al.  Active Surface Approach for Extraction of the Human Cerebral Cortex from MRI , 2006, MICCAI.

[139]  Alan Edelman,et al.  The Geometry of Algorithms with Orthogonality Constraints , 1998, SIAM J. Matrix Anal. Appl..

[140]  O. Ciccarelli,et al.  Diffusion MRI in multiple sclerosis , 2005, Neurology.

[141]  J. Weickert,et al.  Visualization and Processing of Tensor Fields (Mathematics and Visualization) , 2005 .

[142]  S. Helgason Differential Geometry, Lie Groups, and Symmetric Spaces , 1978 .

[143]  Mads Nielsen,et al.  Computer Vision — ECCV 2002 , 2002, Lecture Notes in Computer Science.

[144]  Alain Trouvé,et al.  Sparse Approximation of Currents for Statistics on Curves and Surfaces , 2008, MICCAI.

[145]  E. Meijering A chronology of interpolation: from ancient astronomy to modern signal and image processing , 2002, Proc. IEEE.

[146]  Xavier Pennec,et al.  A Framework for Uncertainty and Validation of 3-D Registration Methods Based on Points and Frames , 2004, International Journal of Computer Vision.

[147]  R. Bhatia On the exponential metric increasing property , 2003 .

[148]  E. Duchesnay,et al.  A framework to study the cortical folding patterns , 2004, NeuroImage.

[149]  J. M. Oller,et al.  AN EXPLICIT SOLUTION OF INFORMATION GEODESIC EQUATIONS FOR THE MULTIVARIATE NORMAL MODEL , 1991 .

[150]  Nicholas Ayache,et al.  A Log-Euclidean Framework for Statistics on Diffeomorphisms , 2006, MICCAI.

[151]  D. Le Bihan,et al.  Diffusion tensor imaging: Concepts and applications , 2001, Journal of magnetic resonance imaging : JMRI.

[152]  Martin Styner,et al.  Bone model morphing for enhanced surgical visualization , 2004, 2004 2nd IEEE International Symposium on Biomedical Imaging: Nano to Macro (IEEE Cat No. 04EX821).

[153]  Miroslav Lovric,et al.  Multivariate Normal Distributions Parametrized as a Riemannian Symmetric Space , 2000 .

[154]  L. Younes,et al.  Statistics on diffeomorphisms via tangent space representations , 2004, NeuroImage.

[155]  L. Skovgaard A Riemannian geometry of the multivariate normal model , 1984 .

[156]  E. Meijering,et al.  A chronology of interpolation: from ancient astronomy to modern signal and image processing , 2002, Proc. IEEE.

[157]  C. Small The statistical theory of shape , 1996 .