  We prove majorization inequalities for different means of positive definite
matrices. These include the Cartan mean (the Karcher mean), the log Euclidean
mean, the Wasserstein mean and the power mean.
