BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Seung-Hyeok Kye appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The positive linear maps $\ad_s$ which send matrices $x$ to $s^*xs$ play important roles in quantum information theory as well as matrix theory. It was proved by Marciniak [Linear Multilinear Alg. 61 (2013), 970--975] that the map $\ad_s$ generates an exposed ray of the convex cone of all positive linear maps. In this note, we provide two alternative proofs, using Choi matrices and Woronowicz's method, respectively.
In tri-partite systems, there are three basic biseparability, $A$-$BC$, $B$-$CA$ and $C$-$AB$ biseparability according to bipartitions of local systems. We begin with three convex sets consisting of these basic biseparable states in the three qubit system, and consider arbitrary iterations of intersections and/or convex hulls of them to get convex cones. One natural way to classify tri-partite states is to consider those convex sets to which they belong or do not belong. This is especially useful to classify partial entanglement of mixed states. We show that the lattice generated by those three basic convex sets with respect to convex hull and intersection has infinitely many mutually distinct members, to see that there are infinitely many kinds of three qubit partial entanglement. To do this, we consider an increasing chain of convex sets in the lattice and exhibit three qubit Greenberger-Horne-Zeilinger diagonal states distinguishing those convex sets in the chain.
We construct a parameterized family of $n\otimes n$ PPT (positive partial transpose) states of corank one for each $n\ge 3$. With a suitable choice of parameters, we show that they are $n\otimes n$ PPT entangled edge states of corank one for $3\le n\le 1000$. They violate the range criterion for separability in the most extreme way. Note that corank one is the smallest possible corank for such states. The corank of the partial transpose is given by $2n-3$, which is also the smallest possible corank for the partial transposes of PPT entangled edge states of corank one. They provide the first explicit examples of such states for $n\ge 4$.
We found three qubit Greenberger-Horne-Zeilinger diagonal states which tells us that the partial separability of three qubit states violates the distributive rules with respect to the two operations of convex sum and intersection. The gaps between the convex sets involving the distributive rules are of nonzero volume.
We interpret multi-partite genuine entanglement witnesses as simultaneous positivity of various maps arising from them. We apply this result to multi-qubit {\sf X}-shaped Hermitian matrices, and characterize the conditions for them to be genuine entanglement witnesses, in terms of entries. Furthermore, we find all optimal ones among them. They turn out to have the spanning properties, and so they detect non-zero volume set of multi-qubit genuine entanglement. We also characterize decomposability for {\sf X}-shaped entanglement witnesses.
We construct tri-qubit genuinely entangled states which have positive partial transposes with respect to bi-partition of systems. These examples disprove a conjecture [L. Novo, T. Moroder and O. G\" uhne, Phys.Rev.A {88}, 012305 (2013)] which claims that PPT mixtures are necessary and sufficient for biseparability of three qubits.
In this paper, we consider a system of homogeneous algebraic equations in complex variables and their conjugates, which arise naturally from the range criterion for separability of PPT states. We examine systematically these equations to get sufficient conditions for the existence of nontrivial solutions. This gives us possible upper bounds of ranks of PPT entangled edge states and their partial transposes. We will focus on the multi-partite cases which are much more delicate than the bi-partite cases. We use the notion of permanents of matrices as well as techniques from algebraic geometry through the discussion.
We construct three-qubit entanglement witnesses with the properties that all the partial transposes have the spanning properties. These witnesses determine faces for separable states whose interior lies in the interior of PPT states, and so they detect sets of PPT entangled states with nonempty interiors. These witnesses also detect all kinds of bi-separable pure product states. Our construction depends on the observation that multi-partite entanglement witnesses correspond to multi-linear maps which are positive.
We consider bi-linear analogues of $s$-positivity for linear maps. The dual objects of these notions can be described in terms of Schimdt ranks for tri-tensor products and Schmidt numbers for tri-partite quantum states. These tri-partite versions of Schmidt numbers cover various kinds of bi-separability, and so we may interpret witnesses for those in terms of bi-linear maps. We give concrete examples of witnesses for various kinds of three qubit entanglement.
We construct a large class of indecomposable positive linear maps from the $2\times 2$ matrix algebra into the $4\times 4$ matrix algebra, which generate exposed extreme rays of the convex cone of all positive maps. We show that extreme points of the dual faces for separable states arising from these maps are parametrized by the Riemann sphere, and the convex hulls of the extreme points arising from a circle parallel to the equator have the exactly same properties with the convex hull of the trigonometric moment curve studied from combinatorial topology. Any interior points of the dual faces are $2\otimes 4$ boundary separable states with full ranks. We exhibit concrete examples of such states.
We investigate conditions on a finite set of multi-partite product vectors for which separable states with corresponding product states have unique decomposition, and show that this is true in most cases if the number of product vectors is sufficiently small. In the three qubit case, generic five dimensional spaces give rise to faces of the convex set consisting of all separable states, which are affinely isomorphic to the five dimensional simplex with six vertices. As a byproduct, we construct three qubit entangled PPT edge states of rank four with explicit formulae. This covers those entanglement which cannot be constructed from unextendible product basis.
We present a large class of indecomposable exposed positive linear maps between three dimensional matrix algebras. We also construct two qutrit separable states with lengths ten in the interior of their dual faces. With these examples, we show that the length of a separable state may decrease strictly when we mix it with another separable state.
We analyze the facial structures of the convex set consisting of all two qubit separable states. One of faces is a four dimensional convex body generated by the trigonometric moment curve arising from polyhedral combinatorics. Another one is an eight dimensional convex body, which is the convex hull of a homeomorphic image of the two dimensional sphere. Extreme points consist of points on the surface, and any two of them determines an edge. We also reconstruct the trigonometric moment curve in any even dimensional affine space using the qubit-qudit systems, and characterize the facial structures of the convex hull.
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 construct faces of the convex set of all $2\otimes 4$ bipartite separable states, which are affinely isomorphic to the simplex $Δ_{9}$ with ten extreme points. Every interior point of these faces is a separable state which has a unique decomposition into 10 product states, even though ranks of the state and its partial transpose are 5 and 7, respectively. We also note that the number 10 is greater than $2\times 4$, to disprove a conjecture on the lengths of qubit-qudit separable states. This face is inscribed in the corresponding face of the convex set of all PPT states so that sub-simplices $Δ_k$ of $Δ_{9}$ share the boundary if and only if $k\le 5$. This enables us to find a large class of $2\otimes 4$ PPT entangled edge states with rank five.
In the convex set of all $3\ot 3$ states with positive partial transposes, we show that one can take two extreme points whose convex combinations belong to the interior of the convex set. Their convex combinations may be even in the interior of the convex set of all separable states. In general, we need at least $mn$ extreme points to get an interior point by their convex combination, for the case of the convex set of all $m\ot n$ separable states. This shows a sharp distinction between PPT states and separable states. We also consider the same questions for positive maps and decomposable maps.
We search for faces of the convex set consisting of all separable states, which are affinely isomorphic to simplices, to get separable states with unique decompositions. In the two-qutrit case, we found that six product vectors spanning a five dimensional space give rise to a face isomorphic to the 5-dimensional simplex with six vertices, under suitable linear independence assumption. If the partial conjugates of six product vectors also span a 5-dimensional space, then this face is inscribed in the face for PPT states whose boundary shares the fifteen 3-simplices on the boundary of the 5-simplex. The remaining boundary points consist of PPT entangled edge states of rank four. We also show that every edge state of rank four arises in this way. If the partial conjugates of the above six product vectors span a 6-dimensional space then we have a face isomorphic to 5-simplex, whose interior consists of separable states with unique decompositions, but with non-symmetric ranks. We also construct a face isomorphic to the 9-simplex. As applications, we give answers to questions in the literature \cite{chen_dj_semialg,chen_dj_ext_PPT}, and construct $3\ot 3$ PPT states of type (9,5). For the qubit-qudit cases with $d\ge 3$, we also show that $(d+1)$-dimensional subspaces give rise to faces isomorphic to the $d$-simplices, in most cases.
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 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.
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.
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 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.
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.
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 must exist a product vector in $D$ whose partial conjugate lies in $E$. 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$.
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.
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.