Characterizing Schwarz maps by tracial inequalities

Abstract

Let $\varphi$ be a linear map from the $n\times n$ matrices ${\mathcal{M}}_n$ to the $m\times m$ matrices ${\mathcal{M}}_m$. It is known that $\varphi$ is $2$-positive if and only if for all $K\in {\mathcal{M}}_n$ and all strictly positive $X\in {\mathcal{M}}_n$, $\varphi (K^{\ast }{X}^{-1}K)\ge \varphi (K{)}^{\ast }\varphi (X{)}^{-1}\varphi (K)$. This inequality is not generally true if $\varphi$ is merely a Schwarz map. We show that the corresponding tracial inequality $\mathrm{Tr}[\varphi (K^{\ast }{X}^{-1}K)]\ge \mathrm{Tr}[\varphi (K{)}^{\ast }\varphi (X{)}^{-1}\varphi (K)]$ holds for a wider class of positive maps that is specified here. We also comment on the connections of this inequality with various monotonicity that have found wide use in mathematical physics, and apply it, and a close relative, to obtain some new, definitive results.

v4 corrects a number of small typos and includes some additional results and discussion

References in corpus (2)

• Class of PPT bound entangled states associated to almost any set of pure entangled states
• Interpolating between positive and completely positive maps: a new hierarchy of entangled states

Cited by in corpus (2)

• Unital Kadison-Schwarz Maps
• Some convexity and monotonicity results of trace functionals