Some eigenvalue inequalities for positive semidefinite matrix power products (Q2365706)

The authors study the eigenvalues of positive semidefinite matrix power products and prove some inequalities, which are mostly in terms of majorization. In particular, if \(A,B\geq 0\), \(\beta>\alpha>0\) it is proved that \(\log\lambda^{1/\alpha}(A^ \alpha B^ \alpha)\prec\log\lambda^{1/\beta}(A^ \beta B^ \beta)\).