arXiv subjects
Publications and source records attributed to Seung-Hyeok Kye.
In this expository note, we explain facial structures for the convex cones consisting of positive linear maps, completely positive linear maps, decomposable positive linear maps between matrix algebras, respectively. These will be applied to study the notions of entangled edge states with positive partial transposes and optimality of entanglement witnesses.
We introduce the notions of positive and copositive types for entanglement witnesses, depending on the distance to the positive part and copositive part. An entanglement witness $W$ is of positive type if and only if its partial transpose $W^Γ$ is of copositive type. We show that if the structural physical approximation of $W$ is separable then $W$ should be of copositive type, and the SPA of $W^Γ$ is never separable unless $W$ is of both positive and copositive type. This shows that the SPA conjecture is meaningful only for those of copositive type. We provide examples to show that the SPA conjecture fails even for the case of copositive types.
We construct $3\otimes 3$ PPT entangled edge states with maximal ranks, to complete the classification of $3\otimes 3$ PPT entangled edge states by their types. The ranks of the states and their partial transposes are 8 and 6, respectively. These examples also disprove claims in the literature.
We construct optimal PPTES witnesses to detect $3\otimes 3$ PPT entangled edge states of type $(6,8)$ constructed recently \cite{kye_osaka}. To do this, we consider positive linear maps which are variants of the Choi type map involving complex numbers, and examine several notions related to optimality for those entanglement witnesses. Through the discussion, we suggest a method to check the optimality of entanglement witnesses without the spanning property.
We examine various notions related with the optimality for entanglement witnesses arising from Choi type positive linear maps. We found examples of optimal entanglement witnesses which are non-decomposable, but which are not `non-decomposable optimal entanglement witnesses' in the sense of [M. Lewenstein, B. Kraus, J. Cirac, and P. Horodecki, Phys. Rev. A 62, 052310 (2000)]. We suggest to use the term `PPTES witness' and `optimal PPTES witness' in the places of `non-decomposable entanglement witness' and `non-decomposable optimal entanglement witnesses' in order to avoid possible confusion. We also found examples of non-extremal optimal entanglement witnesses which are indecomposable.
It is well known that the support of an optimal decomposable entanglement witness is completely entangled. We add two more necessary conditions for the optimality: The orthogonal complement of the support must have a nonzero product vector; another one will be given in terms of related faces of a convex cone. With these necessary conditions, we show that there exist examples of non-optimal decomposable entanglement witnesses which are the partial transposes of positive semi-definite matrices supported on completely entangled spaces, whenever both of the local dimensions are greater than or equal to three.
We exhibit examples of separable states which are on the boundary of the convex cone generated by all separable states but in the interior of the convex cone generated by all PPT states. We also analyze the geometric structures of the smallest face generated by those examples. As a byproduct, we obtain a large class of entangled states with positive partial transposes.
We consider entanglement witnesses arising from positive linear maps which generate exposed extremal rays. We show that every entanglement can be detected by one of these witnesses, and this witness detects a unique set of entanglement among those. Therefore, they provide a minimal set of witnesses to detect all entanglement in a sense. Furthermore, if those maps are indecomposable then they detect large classes of entanglement with positive partial transposes which have nonempty relative interiors in the cone generated by all PPT states. We also provide a one parameter family of indecomposable positive linear maps which generate exposed extremal rays. This gives the first examples of such maps between three dimensional matrix algebra.
Let $D$ and $E$ be subspaces of the tensor product of the $m$ and $n$ dimensional complex spaces, with codimensions $k$ and \ell$, respectively. We show that if $k+\ell m+n-2$ then there may not exist such a product vector. If $k+\ell=m+n-2$ then both cases may occur depending on $k$ and $\ell$.
In the recent paper [Chruściński and Wudarski, arXiv:1105.4821], it was conjectured that the entanglement witnesses arising from some generalized Choi maps are optimal. We show that this conjecture is true. Furthermore, we show that they provide a one parameter family of indecomposable optimal entanglement witnesses.
Let $D$ be a space of $2\times n$ matrices. Then the face of the cone of all completely positive maps from $M_2$ into $M_n$ given by $D$ is an exposed face of the bigger cone of all decomposable positive linear maps if and only if the set of all rank one matrices in $D$ forms a subspace of $D$ together with zero and $D^\perp$ is spanned by rank one matrices.
We construct a class of $3\otimes 3$ entangled edge states with positive partial transposes using indecomposable positive linear maps. This class contains several new types of entangled edge states with respect to the range dimensions of themselves and their partial transposes.
We show that every entanglement with positive partial transpose may be constructed from an indecomposable positive linear map between matrix algebras.
We construct entangled states with positive partial transposes using indecomposable positive linear maps between matrix algebras. We also exhibit concrete examples of entangled states with positive partial transposes arising in this way, and show that they generate extreme rays in the cone of all positive semi-definite matrices with positive partial transposes. They also have Schmidt numbers two.