Perspectives and completely positive maps (Q516331)

Let \({\mathcal H}\) be a Hilbert space and let \({\mathcal B}(\mathcal H)\) denote the space of bounded linear operators on \({\mathcal H}\). Let \({\mathcal D} \subseteq {{\mathcal B}(\mathcal H)}^k\), a \(k\)-fold product. A~map \(F:{\mathcal D} \to {\mathcal B}(\mathcal H)\) is said to be \textit{regular} if it satisfies the following two conditions: \begin{itemize} \item[(1)] \({\mathcal D}\) is invariant under unitary transformations on \({\mathcal H}\) and \[ F((u^*x_1u,\dots , u^*x_ku))=u^*F(x_1,\dots, x_k)u \] for all \((x_1,\dots,x_k) \in {\mathcal D}\) and for every unitary transformation \(u\) on \({\mathcal H}\). \item[(2)] For every pair of mutually orthogonal projections \(p,q\) on \({\mathcal H}\) and for arbitrary \((x_1,\dots,x_k)\), \((y_1,\dots,y_k) \in {{\mathcal B}(\mathcal H)}^k\) such that \((px_1p,\dots,px_kp), (qy_1q,\dots,qy_kq) \in {\mathcal D}\), one has \((px_1p+qy_1q, \dots, px_kp+qy_kq) \in {\mathcal D}\) and \[ F(px_1p+qy_1q,\dots, px_kp+qy_kq)=pF(px_1p,\dots, px_kp)p + qF(qy_1q,\dots, qy_kq)q. \] \end{itemize} Let \[ {\mathcal D}^k_+:= \{(A_1,\dots ,A_k): A_i \in {\mathcal B}({\mathcal H}),\ A_i > 0,\ i=1,2, \dots, k\}. \] Here, \(X >0\) refers to \(X\) being positive definite and invertible. Let \(A_1,\dots A_k,B\) be positive definite and invertible. The map \(P_F\) defined by \[P_F(A_1,\dots, A_kB):=B^{\frac{1}{2}} F(B^{\frac{-1}{2}}A_1B^{\frac{-1}{2}}, \dots, B^{\frac{-1}{2}}A_kB^{\frac{-1}{2}})B^{\frac{1}{2}}\] is called the \textit{perspective map}. The author studies the filtering of the perspective map of a regular operator map through a completely positive linear map. Known operator inequalities in two variables are extended to several variables and applications to the theory of operator means in several variables are presented.