A complement of the Ando-Hiai inequality and norm inequalities for the geometric mean (Q2479745)

Let \(A\) and \(B\) be two positive Hilbert space operators such that, for some positive numbers \(m, M\), we have \(0< m\leq A\) and \(B\leq M\). Let \(A\#_\alpha B= A^{{1\over 2}}(A^{{-1\over 2}} BA^{{-1\over 2}})^\alpha A^{{1\over 2}}\) be the \(\alpha\)-geometric operator mean, where \(0<\alpha< 1\) is arbitrary. The authors prove a Kantorovich type inequality, complementary to the well-known Ando--Hiai inequality. Namely, it is shown that, for every \(0<r<1\), one has \[ K(h^2, \alpha)^r\| A^r\#_\alpha B^r\|\leq\| A\#_\alpha B\|^r\leq\| A^r\#_\alpha B^r\|, \] where \(K(h,\alpha)\) is a generalized Kantorovich constant and \(h= M/m\).