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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [§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].
- [§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)
- [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)).
- [§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.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.1, proof of Proposition 10] The phrase 'minimizes F2j(ex)' should read 'minimizes F2j(e^x)' or 'minimizes F2j(exp(x))' for clarity.
- [§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'.
- [§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
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
assumptions (4)
- standard math Cholesky decomposition of an SPD matrix with positive diagonal is unique (Theorem 4.2.5 of Golub and Van Loan).
- standard math The map S(L)=LL^T is a diffeomorphism between L+ and S+_m.
- 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).
- 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.
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.
Reference graph
Works this paper leans on
-
[8]
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
work page 2003
-
[1]
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, ...
work page 2013
-
[2]
T. Ando, C.-K. Li, and R. Mathias , Geometric means, Linear Algebra and its Applications, 385 (2004), pp. 305–334
work page 2004
-
[3]
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
work page 2013
-
[4]
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
work page 2007
-
[5]
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
work page 2012
-
[6]
Bhatia, Positive Definite Matrices , Princeton University Press, 2007
R. Bhatia, Positive Definite Matrices , Princeton University Press, 2007
work page 2007
- [7]
Show all 41 references
-
[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
2012
-
[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
2012
-
[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
2009
-
[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
2002
-
[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
2007
-
[14]
P. T. Fletcher and S. Joshib , Riemannian geometry for the statistical analysis of diffusion tensor data, Signal Processing, 87 (2007), pp. 250–262
2007
-
[15]
K. J. Friston , Functional and effective connectivity: a review , Brain Connectivity, 1 (2011), pp. 13–36
2011
-
[16]
G. H. Golub and C. F. Van Loan , Matrix Computations , Johns Hopkins University Press, 3rd ed., 1996
1996
-
[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
2007
-
[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
2012
-
[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
2001
-
[20]
Hosseini and S
R. Hosseini and S. Sra, Matrix manifold optimization for Gaussian mixtures , in NIPS, 2015
2015
-
[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
2017
-
[22]
S. A. Huettel, A. W. Song, and G. McCarthy , Functional Magnetic Resonance Imaging , Sinauer Associates, 2nd ed., 2008
2008
-
[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
2015
-
[24]
Lang, Differential and Riemannian Manifolds , Springer, New York, 1995
S. Lang, Differential and Riemannian Manifolds , Springer, New York, 1995
1995
-
[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
1991
-
[26]
J. M. Lee, Manifolds and Differential Geometry, Graduate Studies in Mathematics, American Mathematical Society, 2009
2009
-
[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
2006
-
[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
2018
-
[29]
Milnor, Morse Theory, Princeton University Press, 1963
J. Milnor, Morse Theory, Princeton University Press, 1963
1963
-
[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
2005
-
[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
2006
-
[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
2013
-
[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
2006
-
[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
2006
-
[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
2007
-
[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
2017
-
[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
2016
-
[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
2013
-
[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
2004
-
[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
2012
-
[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
2017
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.