More operator versions of the Schwarz inequality (Q5940552)

Let \(B(H)\) be the space of all bounded linear operators on a complex separable Hilbert space \(H\). Let \(\Phi\) be a unital completely positive map on \(B(H)\). Define \(cov(A,B)=\Phi(A^*B)-\Phi(A)^*\Phi(B)\), \(A,B\in B(H)\). The following generalization of the Schwarz inequality is proved: for any \(A_1,A_2\in B(H)\) the block matrix \((cov(A_i,A_j)_{i,j=1}^{2}\) is positive. An operator version of the well-known Wielandt inequality is proved. The proof uses an operator version of Kantarovich inequality, which was proved by the authors in [Am. Math. Monthly 107, 353-356 (2000; Zbl 1009.15009)].