A commutator approach to Buzano's inequality (Q2867608)

Let \(B(\mathcal H)\) be the \(C^*\)-algebra of all bounded operators on a complex separable Hilbert space~\(\mathcal H\). Suppose that \(A,B,X\in B(\mathcal H)\) are such that \(A\) is invertible and commutes with \(X\) and let, for some Hilbert space \(\mathcal K\), \(\tilde X\in B(\mathcal{H}\oplus\mathcal{K})\) be any compact extension of~\(X\). The authors prove that \(s_j(\tilde A\tilde X-\tilde X\tilde B)\leq\max\{1,\| 1-A^{-1}B\| \}\,\| \tilde A\| s_j(\tilde X)\) for \(j=1,2,\dots\), thus giving an operator version of \textit{M. L. Buzano}'s inequality [Univ. Politec. Torino, Rend. Sem. Mat. 31 (1971--72/1972--73), 405--409, (1974; Zbl 0285.46016)]. Also, let \(x,y,z\) be elements of a Hilbert \(C^*\)-module, such that \(\langle x,z\rangle\) commutes with \(\langle z,z\rangle\). Then the authors prove that \(| 2\langle x,z\rangle\langle z,y\rangle-\langle z,z\rangle\langle z,y\rangle| \leq\| x\| \,\| z\| ^2| y| \).