Pith. sign in

REVIEW 2 major objections 6 minor 41 references

Riemannian Geometry of Symmetric Positive Definite Matrices via Cholesky Decomposition

T0 review · 2 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

Pith's one-line read The Log-Cholesky metric gives SPD matrices a flat, bi-invariant geometry with closed-form averages and parallel transport.

desk verdict Log-Cholesky is a real, useful addition to SPD geometry; the central derivations hold up, and the gaps are small. read the letter →

arxiv 1908.09326 v1 pith:VBBGOZMC submitted 2019-08-25 math.DG math.STstat.TH

classification math.DGmath.STstat.TH MSC 47A6426E6053C3522E9932F4553C2215A22
keywords symmetricpositivedefinitematricesCholeskydecompositionLog-Choleskymetricbi-invariantFrechetmeanswellingeffectparalleltransportLiegroup
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Symmetric positive definite matrices encode covariance or diffusion information, but standard averaging can inflate determinants. This paper argues that pushing a carefully chosen metric from Cholesky space to SPD space yields a Riemannian metric with unusually concrete properties. If the construction is right, practitioners get a geometry where averages are easy to compute, geodesics and parallel transport have closed forms, and the determinant of any average stays between the determinants of the inputs. The paper also shows the SPD manifold becomes an abelian Lie group with a bi-invariant metric under this operation.

What carries the argument

The central object is the Cholesky decomposition $S(L)=LL^\top$, used as an isometry between Cholesky space $L^+$ and the SPD manifold. On $L^+$ the paper defines the metric $\tilde g_L(X,Y)=\sum_{i>j}X_{ij}Y_{ij}+\sum_j X_{jj}Y_{jj}L_{jj}^{-2}$. In the coordinate chart that logs the diagonal, this metric has constant coefficients, so all Christoffel symbols vanish; geodesics, exponentials, and the group operation are then computed by simple formulas and pushed forward to SPD matrices.

What would settle it

Take $P_1=\begin{pmatrix}\epsilon^2&0\\0&1\end{pmatrix}$ and $P_2=\begin{pmatrix}1&0\\0&\epsilon^2\end{pmatrix}$ and compute the Log-Cholesky geodesic midpoint $\gamma(1/2)$. The claim predicts $\det\gamma(1/2)=\sqrt{\det P_1\det P_2}=\epsilon^2$; any computed determinant larger than $\max\{\epsilon^2,\epsilon^2\}=\epsilon^2$ would refute the swelling-free claim.

Watch

Extended reading notes

Core claim

On the space of lower-triangular matrices with positive diagonal, the paper puts a metric on each tangent space by combining the Euclidean inner product on the strictly lower-triangular part with the squared relative change on the diagonal. Through the Cholesky map $P=LL^\top$, this metric becomes the Log-Cholesky metric on SPD matrices. The paper proves that this metric is bi-invariant for a commutative group operation on SPD matrices, has identically zero sectional curvature, and admits closed-form geodesics, exponential and logarithmic maps, parallel transport, and Fréchet averages. It also proves that $\log\det$ of the average equals the average of $\log\det$'s, so the determinant of the Log-Cholesky average lies between the minimum and maximum determinant of the averaged matrices.

Load-bearing premise

Existence and uniqueness of the Log-Cholesky average rests on a theorem that requires the manifold to be complete, connected, and nonpositively curved; the paper proves flatness and simple connectedness but leaves the completeness check implicit.

Editorial extensions

If this is right

  • The Log-Cholesky average of $P_1,\dots,P_n$ has a closed form involving only Cholesky factors and matrix logarithms of diagonal blocks, so no numerical optimization is needed.
  • The determinant identity $\det E_n = \left(\prod_i \det P_i\right)^{1/n}$ means the average never inflates dispersion, for any number of matrices.
  • Parallel transport along geodesics has a closed formula that uses only Cholesky factors and inverses of triangular matrices, making it substantially cheaper than the Log-Euclidean approach.
  • The SPD manifold becomes flat and abelian, so geodesic interpolation between two SPD matrices keeps determinants between the endpoint determinants.
  • Because the Log-Cholesky average shares its determinant with the Log-Euclidean and affine-invariant averages, it offers a fast route to averages with the same determinant behavior.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Beyond the paper: because the Log-Cholesky coordinates are globally Euclidean, standard Euclidean statistical tools could be applied to the log-Cholesky representation and mapped back, with an exact geodesic interpretation rather than an approximation.
  • Beyond the paper: the abelian Lie group structure suggests that Fourier-style analysis or convolution-type operations on SPD-valued data may be meaningful, though the paper does not develop this direction.
  • Beyond the paper: the closed-form Log-Cholesky average could serve as a fast initialization or surrogate for affine-invariant or Log-Euclidean means in large-scale pipelines, especially when computational cost is the bottleneck.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 6 minor

Summary. The paper introduces a new Riemannian metric, the Log-Cholesky metric, on the manifold of symmetric positive definite matrices. The construction first defines a commutative Lie group operation X⋄Y = ⌊X⌋+⌊Y⌋+D(X)D(Y) and a bi-invariant metric on the Cholesky space L+ of lower-triangular matrices with positive diagonal, then pushes both forward to SPD matrices via the Cholesky parametrization S(L)=LL^T. The paper derives closed-form expressions for geodesics, Riemannian exponential and logarithmic maps, geodesic distance, and parallel transport on both L+ and S+_m, and shows that (S+_m,⋄) is an abelian Lie group with bi-invariant Log-Cholesky metric. It then studies Fréchet means, proving existence and uniqueness under a finite second-moment condition and giving closed forms for the Log-Cholesky mean and average. The determinant identity log det(mean) = E log det(Q) is established, implying that the average's determinant lies between the minimum and maximum determinants of the input matrices, so the average avoids the swelling effect. The paper also makes computational-efficiency and numerical-stability claims relative to the affine-invariant and Log-Euclidean metrics.

Significance. The mathematical core is sound and the paper delivers a genuinely useful, parameter-free Riemannian structure on SPD matrices with closed-form geodesics, exponential and logarithmic maps, parallel transport, and Fréchet mean, together with a bi-invariant metric on an abelian Lie group. The determinant identity and the resulting no-swelling property are proved directly from the definitions rather than assumed. This gives the SPD community an additional computational tool, particularly for large-scale or computation-heavy applications where the simplicity of the formulas matters. The novelty—combining Cholesky coordinates with a logarithmic treatment of the diagonal—is modest but real, and the paper is careful to note the lack of congruence invariance relative to the affine-invariant metric. The main mathematical claims are checkable and, apart from the completeness gap noted below, correct; the numerical claims are less well supported but are peripheral to the mathematical contribution.

major comments (2)
  1. [§4.1, proof of Proposition 9] The proof invokes Theorem 2.1 of [8], which requires a complete, simply connected, nonpositively curved manifold. The proof establishes simple connectedness via the diffeomorphism ψ and zero sectional curvature via Proposition 8, but it never states or proves completeness of (L+,~g). This is load-bearing for the existence and uniqueness conclusion. The gap is easily closed: ψ(L)=⌊L⌋+log D(L) is a global isometry from (L+,~g) to Euclidean (L,‖·‖_F), since dψ_L(X)=⌊X⌋+D(L)^{-1}D(X), so (L+,~g) is complete; completeness of (S+_m,g) then follows from the isometry S. Please add this argument before invoking [8].
  2. [§3.4, Lemma 6] The lemma as stated applies to an arbitrary abelian Lie group with a bi-invariant metric, but the proof assumes the existence of Y with exp(Y)=p^{-1}q. This requires the group exponential to be surjective, which holds for connected abelian Lie groups but should be stated explicitly; for a disconnected abelian Lie group, p^{-1}q need not lie in the identity component. The later application to L+ is safe because L+ is isomorphic to the vector group (L,+) via ψ, but the lemma should be restated with a connectedness hypothesis, or with the exponential-image condition made explicit, so that the proof is valid as written.
minor comments (6)
  1. [Table 2] In the row labeled 'Riemannian metric', the second argument of ~g is written as (D_P L)(W), but it should be (D_P L)(V); the displayed formula should read g_P(W,V) = ~g_{L(P)}((D_P L)(W), (D_P L)(V)).
  2. [§3.4, Proposition 7] In the expression for τ_{P,Q}(W), the second bracket uses D(K)D(L^{-1})D(X) while the first uses D(K)D(L)^{-1}D(X). Since D(L^{-1})=D(L)^{-1} for L∈L+, the two are equal, but the notation should be made consistent.
  3. [§3.1, proof of Proposition 3] The map x is defined as 'x : L+ → R', but the intended codomain is R^{m(m+1)/2}; please correct the typo.
  4. [§4.1, proof of Proposition 10] The phrase 'minimizes F2j(ex)' should read 'minimizes F2j(e^x)' or 'minimizes F2j(exp(x))' for clarity.
  5. [§2.1] The text says 'log(P) is a symmetric metric for an SPD matrix P'; this should be 'symmetric matrix' rather than 'symmetric metric'.
  6. [§3.4 and §4.2] The numerical timing and stability claims (9.3ms, 0.85ms, 0.2ms; expected relative difference 3.3×10^-2; largest-eigenvalue ratios 10^10 and 10^15) are not accompanied by a full experimental protocol or code. Since the abstract advertises computational efficiency and numerical stability, please supply a reproducible procedure or clearly mark these statements as indicative and soften the corresponding claims.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: all central formulas are derived from explicit definitions and standard external theorems, with no fitted parameters, no self-citations, and no prediction that reduces to an input by construction.

full rationale

The paper's derivation chain is self-contained. The Log-Cholesky metric is defined explicitly by equation (3.1) as the pushforward of the metric g~ on Cholesky space, and all subsequent claims are consequences of that definition plus standard Riemannian geometry. The geodesic formula, exponential/logarithmic maps, and distance function in Section 3.1 are obtained by direct computation in a global chart in which the metric coefficients are constant, as shown in the proof of Proposition 3. The group operation and bi-invariance are verified by explicit calculation of left and right translations in Section 3.3. Parallel transport in Proposition 7 is derived from the stated bi-invariant metric and an abelian Lie group argument in Lemma 6, which is not a renaming of the conclusion. The no-swelling property is not assumed: Proposition 11 and Corollary 13 derive det(En(P1,...,Pn)) = exp((1/n) sum log det Pi) from the explicit closed form of the Log-Cholesky mean, so the determinant bound (4.8) is a proved consequence rather than an input. There are no fitted constants, no benchmark-tuned parameters, and no self-citations in the load-bearing argument. The only implicit point noted by a careful reader is completeness in Proposition 9: Theorem 2.1 of [8] requires a complete, simply connected, nonpositively curved manifold, and the paper explicitly establishes simple connectedness and zero sectional curvature but leaves completeness implicit. This is a minor expository gap, not a circular step, because completeness follows immediately from the global coordinate isometry psi(L) = floor(L) + log D(L) with constant identity metric. Accordingly, the paper receives a circularity score of 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are fitted; the metric has a fixed unit weighting between off-diagonal and diagonal components. No new physical entities are introduced. The proof relies on standard tools from matrix analysis, Riemannian geometry and Lie group theory.

assumptions (4)
  • standard math Cholesky decomposition of an SPD matrix with positive diagonal is unique (Theorem 4.2.5 of Golub and Van Loan).
    Establishes the bijection between L+ and S+_m used throughout.
  • standard math The map S(L)=LL^T is a diffeomorphism between L+ and S+_m.
    Allows pushing forward the metric from Cholesky space to SPD space.
  • standard math On a Lie group with bi-invariant metric, the group exponential map coincides with the Riemannian exponential at the identity, left translations are isometries, and for left-invariant fields Y,Z one has nabla_Y Z = [Y,Z]/2 (Milnor, Morse Theory).
    Used in Lemma 6 to derive the parallel transport formula.
  • standard math Theorem 2.1 of Bhattacharya and Patrangenaru: on a complete simply connected nonpositively curved manifold, a probability measure with finite second moment has a unique Frechet mean.
    Used in Proposition 9 to establish existence and uniqueness of Log-Cholesky means.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Riemannian Geometry of Symmetric Positive Definite Matrices via Cholesky Decomposition." pith.science (2026). https://pith.science/paper/VBBGOZMC

@misc{pith2026190809326,
  author       = {Pith},
  title        = {Pith review of: Riemannian Geometry of Symmetric Positive Definite Matrices via Cholesky Decomposition},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VBBGOZMC}},
  note         = {Machine review of arXiv:1908.09326}
}
read the original abstract

We present a new Riemannian metric, termed Log-Cholesky metric, on the manifold of symmetric positive definite (SPD) matrices via Cholesky decomposition. We first construct a Lie group structure and a bi-invariant metric on Cholesky space, the collection of lower triangular matrices whose diagonal elements are all positive. Such group structure and metric are then pushed forward to the space of SPD matrices via the inverse of Cholesky decomposition that is a bijective map between Cholesky space and SPD matrix space. This new Riemannian metric and Lie group structure fully circumvent swelling effect, in the sense that the determinant of the Fr\'echet average of a set of SPD matrices under the presented metric, called Log-Cholesky average, is between the minimum and the maximum of the determinants of the original SPD matrices. Comparing to existing metrics such as the affine-invariant metric and Log-Euclidean metric, the presented metric is simpler, more computationally efficient and numerically stabler. In particular, parallel transport along geodesics under Log-Cholesky metric is given in a closed and easy-to-compute form.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages

  1. [8]

    Bhattacharya and V

    R. Bhattacharya and V. Patrangenaru , Large sample theory of intrinsic and extrinsic sample means on manifolds. I , The Annals of Statistics, 31 (2003), pp. 1–29. 18 Z. LIN

  2. [1]

    Aftab and R

    K. Aftab and R. Hartley , Lq averaging for symmetric positive-definite matrices , in 2013 International Conference on Digital Image Computing: Techniques and Applications (DICTA), 2013. LOG-CHOLESKY METRIC 17 Fig. 1. Interpolation of SPD matrices. Top: Euclidean linear interpolation. The associated determinants are 5.40, 17.92, 27.68, 34.69, 38.93, 40.41, ...

  3. [2]

    Ando, C.-K

    T. Ando, C.-K. Li, and R. Mathias , Geometric means, Linear Algebra and its Applications, 385 (2004), pp. 305–334

  4. [3]

    Arnaudon, F

    M. Arnaudon, F. Barbaresco, and L. Yang, Riemannian medians and means with applica- tions to radar signal processing , IEEE Journal of Selected Topics in Signal Processing, 7 (2013), pp. 595–604

  5. [4]

    Arsigny, P

    V. Arsigny, P. Fillard, X. Pennec, and N. Ayache , Geometric means in a novel vector space structure on symmetric positive-definite matrices , SIAM Journal of Matrix Analysis and Applications, 29 (2007), pp. 328–347

  6. [5]

    Barachant, S

    A. Barachant, S. Bonnet, M. Congedo, and C. Jutten , Multiclass brain–computer inter- face classification by Riemannian geometry, IEEE Transactions on Biomedical Engineering, 59 (2012), pp. 920–928

  7. [6]

    Bhatia, Positive Definite Matrices , Princeton University Press, 2007

    R. Bhatia, Positive Definite Matrices , Princeton University Press, 2007

  8. [7]

    Bhatia, T

    R. Bhatia, T. Jain, and Y. Lim, On the Bures–Wasserstein distance between positive definite matrices, Expositiones Mathematicae, 37 (2018), pp. 165–191

Show all 41 references
  1. [9]

    Caseiro, J

    R. Caseiro, J. F. Henriques, P. Martins, and J. Batista , A nonparametric Riemannian framework on tensor field with application to foreground segmentation , Pattern Recogni- tion, 45 (2012), pp. 3997–4017

  2. [10]

    Chebbi and M

    Z. Chebbi and M. Moakher , Means of Hermitian positive-definite matrices based on the log-determinant α-divergence function, Linear Algebra and its Applications, 436 (2012), pp. 1872–1889

  3. [11]

    I. L. Dryden, A. Koloydenko, and D. Zhou , Non-Euclidean statistics for covariance ma- trices, with applications to diffusion tensor imaging , The Annals of Applied Statistics, 3 (2009), pp. 1102–1123

  4. [12]

    R. L. Eubank and S. Wang , The equivalence between the Cholesky decomposition and the Kalman filter, The American Statistician, 56 (2002), pp. 39–43

  5. [13]

    Fillard, V

    P. Fillard, V. Arsigny, X. Pennec, K. M.Hayashi, P. M.Thompson, and N. Ayache , Measuring brain variability by extrapolating sparse tensor fields measured on sulcal lines , NeuroImage, 34 (2007), pp. 639–650

  6. [14]

    P. T. Fletcher and S. Joshib , Riemannian geometry for the statistical analysis of diffusion tensor data, Signal Processing, 87 (2007), pp. 250–262

  7. [15]

    K. J. Friston , Functional and effective connectivity: a review , Brain Connectivity, 1 (2011), pp. 13–36

  8. [16]

    G. H. Golub and C. F. Van Loan , Matrix Computations , Johns Hopkins University Press, 3rd ed., 1996

  9. [17]

    Grubiˇsi´c and R

    I. Grubiˇsi´c and R. Pietersz, Efficient rank reduction of correlation matrices, Linear Algebra and its Applications, 422 (2007), pp. 629–653

  10. [18]

    Guilleminot and C

    J. Guilleminot and C. Soize , Generalized stochastic approach for constitutive equation in linear elasticity: a random matrix model , International Journal for Numerical Methods in Engineering, 90 (2012), pp. 613–635

  11. [19]

    Helgason, Differential Geometry, Lie Groups, and Symmetric Spaces , American Mathe- matical Society, 2001

    S. Helgason, Differential Geometry, Lie Groups, and Symmetric Spaces , American Mathe- matical Society, 2001

  12. [20]

    Hosseini and S

    R. Hosseini and S. Sra, Matrix manifold optimization for Gaussian mixtures , in NIPS, 2015

  13. [21]

    X. Hua, Y. Cheng, H. Wang, Y. Qin, Y. Li, and W. Zhang , Matrix CFAR detectors based on symmetrized Kullback-Leibler and total Kullback-Leibler divergences , Digital Signal Processing, 69 (2017), pp. 106–116

  14. [22]

    S. A. Huettel, A. W. Song, and G. McCarthy , Functional Magnetic Resonance Imaging , Sinauer Associates, 2nd ed., 2008

  15. [23]

    H. J. Kim, J. X. B. C. Vemuri, and V. Singh , Manifold-valued Dirichlet processes, in Pro- ceedings of the 32nd International Conference on Machine Learning, vol. 37, 2015

  16. [24]

    Lang, Differential and Riemannian Manifolds , Springer, New York, 1995

    S. Lang, Differential and Riemannian Manifolds , Springer, New York, 1995

  17. [25]

    Le Bihan , Molecular diffusion nuclear magnetic resonance imaging , Magnetic Resonance Quarterly, 7 (1991), pp

    D. Le Bihan , Molecular diffusion nuclear magnetic resonance imaging , Magnetic Resonance Quarterly, 7 (1991), pp. 1–30

  18. [26]

    J. M. Lee, Manifolds and Differential Geometry, Graduate Studies in Mathematics, American Mathematical Society, 2009

  19. [27]

    Lenglet, M

    C. Lenglet, M. Rousson, R. Deriche, and O. Faugeras , Statistics on the manifold of mul- tivariate normal distributions: Theory and application to diffusion tensor MRI processing , Journal of Mathematical Imaging and Vision, 25 (2006), pp. 423–444

  20. [28]

    Massart and P.-A

    E. Massart and P.-A. Absil , Quotient geometry with simple geodesics for the manifold of fixed-rank positive-semidefinite matrices , tech. report, ICTEAM Institute, UCLouvain, 2018

  21. [29]

    Milnor, Morse Theory, Princeton University Press, 1963

    J. Milnor, Morse Theory, Princeton University Press, 1963

  22. [30]

    Moakher, A differential geometry approach to the geometric mean of symmetric positive- definite matrices, SIAM Journal on Matrix Analysis and Applications, 26 (2005), pp

    M. Moakher, A differential geometry approach to the geometric mean of symmetric positive- definite matrices, SIAM Journal on Matrix Analysis and Applications, 26 (2005), pp. 735– 747

  23. [31]

    Moakher, On the averaging of symmetric positive-definite tensors , Journal of Elasticity, 82 (2006), pp

    M. Moakher, On the averaging of symmetric positive-definite tensors , Journal of Elasticity, 82 (2006), pp. 273–296

  24. [32]

    Osborne, V

    D. Osborne, V. Patrangenaru, L. Ellingson, D. Groisser, and A. Schwartzman , Non- parametric two-sample tests on homogeneous Riemannian manifolds, Cholesky decompo- sitions and diffusion tensor image analysis , Journal of Multivariate Analysis, 119 (2013), pp. 163–175

  25. [33]

    Pennec, Intrinsic statistics on Riemannian manifolds: Basic tools for geometric measure- ments, Journal of Mathematical Imaging and Vision, 25 (2006), pp

    X. Pennec, Intrinsic statistics on Riemannian manifolds: Basic tools for geometric measure- ments, Journal of Mathematical Imaging and Vision, 25 (2006), pp. 127–154

  26. [34]

    Pennec, P

    X. Pennec, P. Fillard, and N. Ayache , A Riemannian framework for tensor computing , International Journal of Computer Vision, 66 (2006), pp. 41–66

  27. [35]

    Rathi, A

    Y. Rathi, A. Tannenbaum, and O. Michailovich, Segmenting images on the tensor manifold, in Proocedings of Computer Vision and Pattern Recognition, 2007. LOG-CHOLESKY METRIC 19

  28. [36]

    Schiratti, S

    J.-B. Schiratti, S. Allassonni `ere, O. Colliot, and S. Durrleman , A Bayesian mixed- effects model to learn trajectories of changes from repeated manifold-valued observations , Journal of Machine Learning Research, 18 (2017), pp. 1–33

  29. [37]

    Sra, Positive definite matrices and the S-divergence , Proceedings of the American Mathe- matical Society, 144 (2016), pp

    S. Sra, Positive definite matrices and the S-divergence , Proceedings of the American Mathe- matical Society, 144 (2016), pp. 2787–2797

  30. [38]

    Vandereycken, P.-A

    B. Vandereycken, P.-A. Absil, and S. Vandewalle , A Riemannian geometry with com- plete geodesics for the set of positive semidefinite matrices of fixed rank , IMA Journal of Numerical Analysis, 33 (2013), pp. 481–514

  31. [39]

    Z. Wang, B. C. Vemuri, Y. Chen, and T. H. Mareci , A constrained variational principle for direct estimation and smoothing of the diffusion tensor field from complex DWI , IEEE Transactions on Medical Imaging, 23 (2004), pp. 930–939

  32. [40]

    Y. Yuan, H. Zhu, W. Lin, and J. S. Marron , Local polynomial regression for symmet- ric positive definite matrices , Journal of Royal Statistical Society: Series B (Statistical Methodology), 74 (2012), pp. 697–719

  33. [41]

    M. J. Zeestraten, I. Havoutis, J. ao Silv ´erio, S. Calinon, and D. G. Caldwell , An approach for imitation learning on Riemannian manifolds, IEEE Robotics and Automation Letters, 2 (2017), pp. 1240–1247

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.