Exponential Barycenters of the Canonical Cartan Connection and Invariant Means on Lie Groups

Xavier Pennec 1, * Vincent Arsigny 1
* Auteur correspondant
1 ASCLEPIOS - Analysis and Simulation of Biomedical Images
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : When performing statistics on elements of sets that possess a particular geometric structure, it is desirable to respect this structure. For instance in a Lie group, it would be judicious to have a notion of a mean which is stable by the group operations (composition and inversion). Such a property is ensured for Riemannian center of mass in Lie groups endowed with a bi-invariant Riemannian metric, like compact Lie groups (e.g. rotations). However, bi-invariant Riemannian metrics do not exist for most non compact and non-commutative Lie groups. This is the case in particular for rigid-body transformations in any dimension greater than one, which form the most simple Lie group involved in biomedical image registration. In this paper, we propose to replace the Riemannian metric by an affine connection structure on the group. We show that the canonical Cartan connections of a connected Lie group provides group geodesics which are completely consistent with the composition and inversion. With such a non-metric structure, the mean cannot be defined by minimizing the variance as in Riemannian Manifolds. However, the characterization of the mean as an exponential barycenter gives us an implicit definition of the mean using a general barycentric equation. Thanks to the properties of the canonical Cartan connection, this mean is naturally bi-invariant. We show the local existence and uniqueness of the invariant mean when the dispersion of the data is small enough. We also propose an iterative fixed point algorithm and demonstrate that the convergence to the invariant mean is at least linear. In the case of rigid-body transformations, we give a simple criterion for the global existence and uniqueness of the bi-invariant mean, which happens to be the same as for rotations. We also give closed forms for the bi-invariant mean in a number of simple but instructive cases, including 2D rigid transformations. For general linear transformations, we show that the bi-invariant mean is a generalization of the (scalar) geometric mean, since the determinant of the bi-invariant mean is the geometric mean of the determinants of the data. Finally, we extend the theory to higher order moments, in particular with the covariance which can be used to define a local bi-invariant Mahalanobis distance.
Type de document :
Chapitre d'ouvrage
Frederic Barbaresco and Amit Mishra and Frank Nielsen. Matrix Information Geometry, Springer, pp.123-168, 2012, 978-3-642-30231-2 (Print) / 978-3-642-30232-9 (Online). 〈10.1007/978-3-642-30232-9_7〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00699361
Contributeur : Xavier Pennec <>
Soumis le : dimanche 20 mai 2012 - 21:40:02
Dernière modification le : jeudi 11 janvier 2018 - 16:22:59
Document(s) archivé(s) le : mardi 21 août 2012 - 02:22:45

Fichier

Bi-Invar-Means.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Xavier Pennec, Vincent Arsigny. Exponential Barycenters of the Canonical Cartan Connection and Invariant Means on Lie Groups. Frederic Barbaresco and Amit Mishra and Frank Nielsen. Matrix Information Geometry, Springer, pp.123-168, 2012, 978-3-642-30231-2 (Print) / 978-3-642-30232-9 (Online). 〈10.1007/978-3-642-30232-9_7〉. 〈hal-00699361〉

Partager

Métriques

Consultations de la notice

473

Téléchargements de fichiers

667