On a question of Furuta on chaotic order (Q5957187)

For positive invertible operators \(A\) and \(B\), Furuta established an order preserving operator inequality as follows: \(A\geq B\) ensures \[ A^{1-t+r}\geq \{A^{\frac{r}{2}} (A^{\frac{-t}{2}}B^{p}A^{\frac{-t}{2}})^{s}A^{\frac{r}{2}}\} ^{\frac{1-t+r}{(p-t)s+r}} \tag{1} \] for all \(p\geq 1\), \(s\geq 1\) and \(r\geq t\in [0,1]\). Furuta also discussed a parallel inequality to the above one for chaotic order (i.e., \(\log A\geq \log B\)) and posed the following question for himself: is \(\log A\geq \log B\) if and only if \[ A^{-t+r}\geq \{A^{\frac{r}{2}} (A^{\frac{-t}{2}}B^{p}A^{\frac{-t}{2}})^{s} A^{\frac{r}{2}}\}^{\frac{-t+r}{(p-t)s+r}}\tag{2} \] holds for all \(p\geq 1\), \(s\geq 1\) and \(r\geq t\in [0,1]\)? There is a counterexample for the above question by \textit{T. Furuta} [Math. Inequal. Appl. 3, 423-436 (2000; Zbl 0967.47006)]. In the present paper, the authors give a solution of the above question: (i) \(A\geq B\) if and only if (2) holds for all \(p\geq 1\), \(s\geq 1\) and \(r\geq t\in [0,1]\), and obtain the following results: (ii) For each \(\alpha >0\), \(A^{\alpha}\geq B^{\alpha}\) if and only if (2) holds for all \(p\geq \alpha\), \(s\geq 1\) and \(r\geq t\in [0,\alpha]\). (iii) \(A^{n}\geq B^{n}\) for all \(n\in \mathbb{N}\) if and only if (2) holds for all \(p\geq 1\), \(s\geq 1\) and \(r\geq t\geq 1\). (iv) \(\log A\geq \log B\) if and only if (1) holds for all \(p\geq 0\), \(s\in [1,2]\), \(r\geq 0\) and \(t\leq 0\). (v) \(A\geq B\) if and only if (1) holds for all \(p\geq 1\), \(s\in [1,2]\), \(r\geq 0\) and \(t\leq 0\).