Ando-Hiai inequality and Furuta inequality (Q2496625)

Let \(A\) and \(B\) be two positive operators on a Hilbert space and \(A\) be invertible. Using the \(\alpha\)-power \((0\leq\alpha\leq 1)\) notation which was introduced by Kubo and Ando for \({\mathcal A}\) and \(B\), the Ando--Hiai inequality (AH) and the Furuta inequality (F) are given as follows: \[ \begin{alignedat}{2} A\sharp_\alpha B\leq I & \Rightarrow A^r\sharp_\alpha B^r\leq I &\quad& \text{for } r\geq 1, \tag{AH}\\ A\geq B & \Rightarrow A^{-r}\sharp_{\frac {1+r}{p+r}}B^p\leq A &\quad& \text{for } p\geq 1,\;r\geq 0.\tag{F} \end{alignedat} \] In this note, the authors show that these inequalities are equivalent, and they give an extended form of (AH) as follows: \[ A\sharp_\alpha B\leq I\Rightarrow A^r\sharp_{\frac{ar}{(1-\alpha)s+\alpha r}}B^s\leq I\quad\text{for }r,s\geq 1. \]