A generalization of Araki's log-majorization

We generalize Araki's log-majorization to the log-convexity theorem for the eigenvalues of $\Phi(A^p)^{1/2}\Psi(B^p)\Phi(A^p)^{1/2}$ as a function of $p\ge0$, where $A,B$ are positive semidefinite matrices and $\Phi,\Psi$ are positive linear maps between matrix algebras. A similar generalization of the log-majorization of Ando-Hiai type is given as well.