Pré-Publication, Document De Travail (Working Paper) Année : 2025

Log-Euclidean Lie Groups

Résumé

We develop a self-contained theory of log-Euclidean Lie groups: smooth manifolds diffeomorphic to finite-dimensional vector spaces, equipped with the pullback of a constant Euclidean metric. This framework encompasses symmetric positive-definite (SPD) matrices S+(n) and full-rank correlation matrices Cor+(n), and explains why many seemingly different log-Euclidean constructions yield the same Riemannian geometry. We provide explicit Riemannian isometries (and Lie group isomorphisms) linking several log-Euclidean metrics on SPD and correlation matrix manifolds, and we characterize quotient log-Euclidean metrics in a principal-bundle setting. Finally, using the diagonal correction map underlying the off-log parametrization, we construct an explicit log-Euclidean metric on S+(n) for which the standard inclusion i : Cor+(n) → S+(n) becomes an isometric (indeed, totally geodesic) embedding, yielding closed-form formulas for geodesics and orthogonal decompositions in adapted coordinates. The nested isometric embeddings constructed here also provide a simple solution to the comparison of matrices of different dimensions in the log-Euclidean setting: SPD or correlation matrices may be transported to a common dimension via explicit maps while preserving all intrinsic distances.

Fichier principal
Vignette du fichier
main_revised_updated_v3.pdf (588.05 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05206748 , version 1 (11-08-2025)
hal-05206748 , version 2 (25-11-2025)
hal-05206748 , version 3 (14-03-2026)

Licence

Identifiants

Citer

Olivier Bisson, Xavier Pennec. Log-Euclidean Lie Groups. 2026. ⟨hal-05206748v3⟩
320 Consultations
521 Téléchargements

Altmetric

Partager

  • More