On some operator inequalities (Q5916410)

The increasing function \(e^{\lambda}\) is not operator monotone on the real line, that is, for bounded selfadjoint operators A, B the order relation \(A\geq B\) does not necessarily imply \(e^ A\geq e^ B\). On the other hand, \(e^ A\geq e^ B\) always implies \(I\geq e^{-A}\#e^ B\), the geometric mean. We show that this last inequality is valid whenever \(A\geq B\). More generally we prove that \(A\geq B\) implies that \(t\mapsto e^{-tA}\#e^{tB}\) is a decreasing map on the non-negative real line.