Log-majorizations for the (symplectic) eigenvalues of the Cartan barycenter
Keywords: 15A42; 47A64; 47B65; 47L07; Positive definite matrix; Riemannian trace metric; Cartan barycenter; Probability measure; (Symplectic) eigenvalue; Log-majorization;