2016/09/28 by Fumio Hiai, Hiai, Fumio, Yongdo Lim +1
Mathematics · #15A42 #47A64 #47B65 #47L07 #FOS: Mathematics #Functional Analysis (math.FA) #math.FA #msc:15A42 #msc:47A64 #msc:47B65 #msc:47L07
paper · pdf · doi:10.48550/arxiv.1609.08909
20 pages
arxiv created 2016/12/07 · arxiv updated 2016/12/08
We extend Ando-Hiai's log-majorization for the weighted geometric mean of positive definite matrices into that for the Cartan barycenter in the general setting of probability measures on the Riemannian manifold of positive definite matrices equipped with trace metric. The main key is the settlement of the monotonicity problem of the Cartan barycenteric map on the space of probability measures with finite first moment for the stochastic order induced by the cone. We also derive a version of Lie-Trotter formula and related unitarily invariant norm inequalities for the Cartan barycenter as the main application of log-majorization.