Operator inequality implying generalized Bebiano-Lemos-Providência one (Q996291)

The following inequality, which is equivalent to Ando--Hiai log majorization [cf. \textit{T. Ando} and \textit{F. Hiai}, Linear Algebra Appl. 197--198, 113--131 (1994; Zbl 0793.15011)] was proved by \textit{M. Fujii}, \textit{R. Nakamoto} and \textit{M. Tominaga} [Linear Algebra Appl. 426, No. 1, 33--39 (2007; Zbl 1127.47018), reviewed above]: \[ A^{1-t+r} \geq \left[ A^{\frac{r}{2}} \left(A^{\frac{-t}{2}} B^p A^{\frac{-t}{2}}\right)^s A^{\frac{r}{2}}\right]^{\frac{1-t+r}{(p-t)s+r}} , \] where \(A\geq B \geq 0\) with \(A >0\), \(t \in [0,1]\), \(p \geq 1\), \(s\geq 1\) and \(r \geq t\). In the paper under review, the author proves that the following log inequality is equivalent to the above inequality: \[ \left[A^{\frac{q}{2}}\left(A^{\frac{1}{2}}BA^{\frac{1}{2}}\right)^\alpha A^{\frac{q}{2}}\right]^h \succ_{(\log)} A^{\frac{q(1-t+r)}{2}}\left[A^{\frac{-qr}{2}} \left(A^{\frac{1+qt}{2}}BA^{\frac{1+qt}{2}}\right)^sA^{\frac{-qr}{2}}\right]^\beta A^{\frac{q(1-t+r)}{2}} , \] where \(A > 0\), \(B \geq 0\), \(0\leq\alpha\leq 1\), \(t \in [0,1]\), \(q \neq 0\) is a real number, \(s \geq 1\), \(r \geq t\), \(\beta=\frac{\alpha(1-t+r)}{(1-\alpha t)s+\alpha r}\) and \(h=\frac{(1-t+r)s}{(1-\alpha t)s + \alpha r}\). Thus he obtains a generalization of the following inequality, which yields the Bebiano-Lemos-Providência inequality [\textit{N. Bebiano}, \textit{R. Lemos} and \textit{J. da Providência}, Linear Algebra Appl. 401, 159--172 (2005; Zbl 1076.15019)]: \[ \left[A^{\frac{1}{2}} \left(A^{\frac{s}{2}}B^{p+s}A^{\frac{s}{2}}\right) ^{\frac{1}{p}}A^{\frac{1}{2}}\right] ^{\frac{p(1+s)}{p+s}} \succ_{(\log)} A^{\frac{1+s}{2}}B^{1+s}A^{\frac{1+s}{2}} . \]