We show that there cannot exist a straightforward generalization of the famous positive partial transpose criterion to three-by-three systems. We call straightforward generalizations that use a finite set of positive maps and arbitrary local rotations of the tested two-partite state. In particular, we show that a family of extreme positive maps discussed in a paper by Ha and Kye [Open Syst. Inf. Dyn. 18, 323–337 (2011)], cannot be replaced by a finite set of witnesses in the task of entanglement detection in three-by-three systems. In a more mathematically elegant parlance, our result says that the convex cone of positive maps of the set of three-dimensional matrices into itself is not finitely generated as a mapping cone.We show that there cannot exist a straightforward generalization of the famous positive partial transpose criterion to three-by-three systems. We call straightforward generalizations that use a finite set of positive maps and arbitrary local rotations of the tested two-partite state. In particular, we show that a family of extreme positive maps discussed in a paper by Ha and Kye [Open Syst. Inf. Dyn. 18, 323–337 (2011)], cannot be replaced by a finite set of witnesses in the task of entanglement detection in three-by-three systems. In a more mathematically elegant parlance, our result says that the convex cone of positive maps of the set of three-dimensional matrices into itself is not finitely generated as a mapping cone.

arXiv:1605.05254Journal of Mathematical PhysicsNov 1, 201613 citations

Characterization of k-Positive Maps

Tomasz Młynik, Hiroyuki Osaka, Marcin Marciniak

Communications in Mathematical PhysicsFeb 17, 20254 citations

On completion of the cone of CP linear maps with respect to the energy-constrained diamond norm

Максим Евгеньевич Широков

For a given positive operator $G$ we consider the cones of linear maps between Banach spaces of trace class operators characterized by the Stinespring-like representation with $\sqrt{G}$ -bounded and $\sqrt{G}$ -infinitesimal operators correspondingly. We prove the completeness of both cones w.r.t. the energy-constrained diamond norm induced by $G$ (as an energy observable) and the coincidence of the second cone with the completion of the cone of CP linear maps w.r.t. this norm. We show that the sets of quantum channels and quantum operations are complete w.r.t. the energy-constrained diamond norm for any energy observable $G$ . Some properties of the maps belonging to the introduced cones are described. In particular, the corresponding generalization of the Kretschmann-Schlingemann-Werner theorem is obtained. We also give a nonconstructive description of the completion of the set of all Hermitian-preserving completely bounded linear maps w.r.t. the ECD norm.For a given positive operator $G$ we consider the cones of linear maps between Banach spaces of trace class operators characterized by the Stinespring-like representation with $\sqrt{G}$-bounded and $\sqrt{G}$-infinitesimal operators correspondingly. We prove the completeness of both cones w.r.t. the energy-constrained diamond norm induced by $G$ (as an energy observable) and the coincidence of the second cone with the completion of the cone of CP linear maps w.r.t. this norm. We show that the sets of quantum channels and quantum operations are complete w.r.t. the energy-constrained diamond norm for any energy observable $G$. Some properties of the maps belonging to the introduced cones are described. In particular, the corresponding generalization of the Kretschmann-Schlingemann-Werner theorem is obtained. We also give a nonconstructive description of the completion of the set of all Hermitian-preserving completely bounded linear maps w.r.t. the ECD norm.

arXiv:1810.10922Oct 25, 20183 citations

For a given positive operator

G

we consider the cones of linear maps between Banach spaces of trace class operators characterized by the Stinespring-like representation with

\sqrt{G}

-bounded and

\sqrt{G}

-infinitesimal operators correspondingly. We prove the completeness of both cones w.r.t. the energy-constrained diamond norm induced by

G

(as an energy observable) and the coincidence of the second cone with the completion of the cone of CP linear maps w.r.t. this norm. We show that the sets of quantum channels and quantum operations are complete w.r.t. the energy-constrained diamond norm for any energy observable

G

. Some properties of the maps belonging to the introduced cones are described. In particular, the corresponding generalization of the Kretschmann-Schlingemann-Werner theorem is obtained. We also give a nonconstructive description of the completion of the set of all Hermitian-preserving completely bounded linear maps w.r.t. the ECD norm.