Perspectives and completely positive maps

From MaRDI portal



Abstract: We study the filtering of the perspective of a regular operator map of several variables through a completely positive linear map. By this method we are able to extend known operator inequalities of two variables to several variables; with applications in the theory of operator means of several variables. We also extend Lieb-Ruskai's convexity theorem from two to n+1 operator variables.


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.











This page was built for publication: Perspectives and completely positive maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q516331)