Showing 1–45 of 45 results for author: Kye, S

Supporting hyperplanes for Schmidt numbers and Schmidt number witnesses

Authors: Kyung Hoon Han, Seung-Hyeok Kye

Abstract: We consider the compact convex set of all bi-partite states of Schmidt number less than or equal to $k$, together with that of $k$-blockpositive matrices of trace one, which play the roles of Schmidt number witnesses. In this note, we look for hyperplanes which support those convex sets and are perpendicular to a one parameter family through the maximally mixed state. We show that this is equivale… ▽ More We consider the compact convex set of all bi-partite states of Schmidt number less than or equal to $k$, together with that of $k$-blockpositive matrices of trace one, which play the roles of Schmidt number witnesses. In this note, we look for hyperplanes which support those convex sets and are perpendicular to a one parameter family through the maximally mixed state. We show that this is equivalent to determining the intervals for the dual objects on the one parameter family. We illustrate our results for the one parameter families including Werner states and isotropic states. Through the discussion, we give a simple decomposition of the separable Werner state into the sum of product states. △ Less

Submitted 25 June, 2025; v1 submitted 4 June, 2025; originally announced June 2025.

Comments: 12 pages; Proofs are simplified with corrections

Global locations of Schmidt number witnesses

Authors: Kyung Hoon Han, Seung-Hyeok Kye

Abstract: We investigate global locations of Schmidt number witnesses which are outside of the convex set of all bi-partite states. Their locations are classified by interiors of faces of the convex set of all states, by considering the line segments from them to the maximally mixed state. In this way, a nonpositive Hermitian matrix of trace one is located outside of one and only one face. Faces of the conv… ▽ More We investigate global locations of Schmidt number witnesses which are outside of the convex set of all bi-partite states. Their locations are classified by interiors of faces of the convex set of all states, by considering the line segments from them to the maximally mixed state. In this way, a nonpositive Hermitian matrix of trace one is located outside of one and only one face. Faces of the convex set of all states are classified by subspaces, which are range spaces of states belonging to specific faces. For a given subspace, we show that there exist Schmidt number $k+1$ witnesses outside of the face arising from this subspace if and only if every vector in the orthogonal complement of the subspace has Schmidt rank greater than $k$. Once we have Schmidt number $k+1$ witnesses outside of a face, we also have Schmidt number $2,3,\dots, k$ witnesses outside of the face. △ Less

Submitted 15 May, 2025; originally announced May 2025.

Comments: 15 pages

Choi matrices revisited. III

Authors: Kyung Hoon Han, Seung-Hyeok Kye

Abstract: We look for all linear isomorphisms from the mapping spaces onto the tensor products of matrices which send $k$-superpositive maps onto unnormalized bi-partite states of Schmidt numbers less than or equal to $k$. They also send $k$-positive maps onto $k$-block-positive matrices. We also look for all the bilinear pairings between the mapping spaces and tensor products of matrices which retain the u… ▽ More We look for all linear isomorphisms from the mapping spaces onto the tensor products of matrices which send $k$-superpositive maps onto unnormalized bi-partite states of Schmidt numbers less than or equal to $k$. They also send $k$-positive maps onto $k$-block-positive matrices. We also look for all the bilinear pairings between the mapping spaces and tensor products of matrices which retain the usual duality between $k$-positivity and Schmidt numbers $\le k$. They also retain the duality between $k$-superpositivity and $k$-block-positivity. △ Less

Submitted 16 October, 2024; originally announced October 2024.

Comments: 22 pages

Infinite dimensional analogues of Choi matrices

Authors: Kyung Hoon Han, Seung-Hyeok Kye, Erling Størmer

Abstract: For a class of linear maps on a von Neumann factor, we associate two objects, bounded operators and trace class operators, both of which play the roles of Choi matrices. Each of them is positive if and only if the original map on the factor is completely positive. They are also useful to characterize positivity of maps as well as complete positivity. It turns out that such correspondences are poss… ▽ More For a class of linear maps on a von Neumann factor, we associate two objects, bounded operators and trace class operators, both of which play the roles of Choi matrices. Each of them is positive if and only if the original map on the factor is completely positive. They are also useful to characterize positivity of maps as well as complete positivity. It turns out that such correspondences are possible for every normal completely bounded map if and only if the factor is of type I. As an application, we provide criteria for Schmidt numbers of normal positive functionals in terms of Choi matrices of $k$-positive maps, in infinite dimensional cases. We also define the notion of $k$-superpositive maps, which turns out to be equivalent to the property of $k$-partially entanglement breaking. △ Less

Submitted 6 July, 2024; v1 submitted 29 November, 2023; originally announced November 2023.

Comments: 21 pages, to appear in Journal of Functional Analysis

Choi matrices revisited. II

Authors: Kyung Hoon Han, Seung-Hyeok Kye

Abstract: In this paper, we consider all possible variants of Choi matrices of linear maps, and show that they are determined by non-degenerate bilinear forms on the domain space. We will do this in the setting of finite dimensional vector spaces. In case of matrix algebras, we characterize all variants of Choi matrices which retain the usual correspondences between $k$-superpositivity and Schmidt number… ▽ More In this paper, we consider all possible variants of Choi matrices of linear maps, and show that they are determined by non-degenerate bilinear forms on the domain space. We will do this in the setting of finite dimensional vector spaces. In case of matrix algebras, we characterize all variants of Choi matrices which retain the usual correspondences between $k$-superpositivity and Schmidt number $\le k$ as well as $k$-positivity and $k$-block-positivity. We also compare de Pillis' definition [Pacific J. Math. 23 (1967), 129--137] and Choi's definition [Linear Alg. Appl. 10 (1975), 285--290], which arise from different bilinear forms. △ Less

Submitted 12 October, 2023; v1 submitted 18 July, 2023; originally announced July 2023.

Comments: 17 pages; the comma in the title has been replaced to a period; to appear in Journal of Mathematical Physics

Exposedness of elementary positive maps between matrix algebras

Authors: Seung-Hyeok Kye

Abstract: 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 me… ▽ More 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. △ Less

Submitted 13 January, 2023; originally announced January 2023.

Comments: 9 pages

MSC Class: 15A30; 81P15; 46L05; 46L07

Compositions and tensor products of linear maps between matrix algebras

Authors: Seung-Hyeok Kye

Abstract: In this semi-expository paper, we first explain key notions from current quantum information theory and criteria for them in a coherent way. These include separability/entanglement, Schmidt numbers of bi-partite states and block-positivity, together with various kinds of positive maps between matrix algebras like entanglement breaking maps, $k$-superpositive maps, completely positive maps, $k$-pos… ▽ More In this semi-expository paper, we first explain key notions from current quantum information theory and criteria for them in a coherent way. These include separability/entanglement, Schmidt numbers of bi-partite states and block-positivity, together with various kinds of positive maps between matrix algebras like entanglement breaking maps, $k$-superpositive maps, completely positive maps, $k$-positive maps. We will begin with concrete examples of elementary positive maps given by $x\mapsto s^*xs$, and use Choi matrices and duality to explain all the notions mentioned above. We also show that the Choi matrix can be defined free from coordinates. The above notions of positive maps give rise to mapping cones, whose dual cones are characterized in terms of compositions or tensor products of linear maps. Through the discussion, we exhibit an identity which connects tensor products and compositions of linear maps between matrix algebras through the Choi matrices. Using this identity, we show that the description of the dual cone with tensor products is possible only when the involving cones are mapping cones, and recover various known criteria with ampliation for the notions mentioned above. As another applications of the identity, we construct various mapping cones arising from ampliation and factorization, and provide several equivalent statements to PPT (positive partial transpose) square conjecture in terms of tensor products. △ Less

Submitted 15 November, 2022; v1 submitted 5 April, 2022; originally announced April 2022.

Comments: 24 pages. This revied version was rewritten in a semi-expository style

MSC Class: 15A30; 81P15; 46L05; 46L07

There exist infinitely many kinds of partial separability/entanglement

Authors: Kil-Chan Ha, Kyung Hoon Han, Seung-Hyeok Kye

Abstract: 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 sta… ▽ More 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. △ Less

Submitted 30 March, 2022; v1 submitted 10 December, 2021; originally announced December 2021.

Comments: 9 pages, more detailed calculations was added. Accepted to Journal of Mathematical Physics

MSC Class: 81P15; 15A30; 06B05; 52B20

Polytope structures for Greenberger-Horne-Zeilinger diagonal states

Authors: Kyung Hoon Han, Seung-Hyeok Kye

Abstract: We explore the polytope structures for genuine entanglement, biseparability, full biseparability and Bell inequality of multi-qubit GHZ diagonal states. We first show that biseparable GHZ diagonal states make hypersimplices inside the simplices consisting of all GHZ diagonal states. Next, we consider full biseparability which is equivalent to positive partial transpose for GHZ diagonal states, and… ▽ More We explore the polytope structures for genuine entanglement, biseparability, full biseparability and Bell inequality of multi-qubit GHZ diagonal states. We first show that biseparable GHZ diagonal states make hypersimplices inside the simplices consisting of all GHZ diagonal states. Next, we consider full biseparability which is equivalent to positive partial transpose for GHZ diagonal states, and show that they make the convex hulls of simplices and cubes. We also visualize which part of the simplex violates multipartite Bell inequality. Finally, we compute precise volumes for genuine entanglement, biseparability, full biseparability and states violating Bell inequality among all GHZ diagonal states. △ Less

Submitted 10 October, 2021; v1 submitted 15 April, 2021; originally announced April 2021.

Comments: 13 pages, to appear in Journal of Physics A: Mathematical and Theoretical

Criteria for partial entanglement of three qubit states arising from distributive rules

Authors: Kyung Hoon Han, Seung-Hyeok Kye

Abstract: It is known that the partial entanglement/separability violates distributive rules with respect to the operations of taking convex hull and intersection. In this note, we give criteria for three qubit partially entangled states arising from distributive rules, together with the corresponding witnesses. The criteria will be given in terms of diagonal and anti-diagonal entries. They actually charact… ▽ More It is known that the partial entanglement/separability violates distributive rules with respect to the operations of taking convex hull and intersection. In this note, we give criteria for three qubit partially entangled states arising from distributive rules, together with the corresponding witnesses. The criteria will be given in terms of diagonal and anti-diagonal entries. They actually characterize those partial entanglement completely when all the entries are zero except for diagonal and anti-diagonal entries. Important states like Greenberger-Horne-Zeilinger diagonal states fall down in this class. △ Less

Submitted 22 April, 2021; v1 submitted 4 October, 2020; originally announced October 2020.

Comments: 24 pages, to appear in Quantum Information Processing

Partial separability/entanglement violates distributive rules

Authors: Kyung Hoon Han, Seung-Hyeok Kye, Szilárd Szalay

Abstract: 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 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. △ Less

Submitted 4 June, 2020; v1 submitted 15 November, 2019; originally announced November 2019.

Comments: 15 pages, to appear in Quantum Information Processing

On the convex cones arising from classifications of partial entanglement in the three qubit system

Authors: Kyung Hoon Han, Seung-Hyeok Kye

Abstract: In order to classify partial entanglement of multi-partite states, it is natural to consider the convex hulls, intersections and differences of basic convex cones obtained from partially separable states with respect to partitions of systems. In this paper, we consider convex cones consisting of X-shaped three qubit states arising in this way. The class of X-shaped states includes important classe… ▽ More In order to classify partial entanglement of multi-partite states, it is natural to consider the convex hulls, intersections and differences of basic convex cones obtained from partially separable states with respect to partitions of systems. In this paper, we consider convex cones consisting of X-shaped three qubit states arising in this way. The class of X-shaped states includes important classes like Greenberger-Horne-Zeilinger diagonal states. We find all the extreme rays of those convex cones to exhibit corresponding partially separable states. We also give characterizations for those cones which give rise to necessary criteria in terms of diagonal and anti-diagonal entries for general three qubit states. △ Less

Submitted 14 November, 2019; v1 submitted 18 May, 2019; originally announced May 2019.

Comments: 23 pages, to appear in Journal of Physics A: Mathematical and Theoretical

Entangled edge states of corank one with positive partial transposes

Authors: Jinwon Choi, Young-Hoon Kiem, Seung-Hyeok Kye

Abstract: 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 sta… ▽ More 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$. △ Less

Submitted 26 June, 2020; v1 submitted 26 March, 2019; originally announced March 2019.

Comments: Minor changes

MSC Class: 81P15; 15A30; 46L05

Journal ref: Journal of Mathematical Physics 61, 062202 (2020)

Construction of three-qubit biseparable states distinguishing kinds of entanglement in a partial separability classification

Authors: Kyung Hoon Han, Seung-Hyeok Kye

Abstract: We construct seven kinds of three-qubit biseparable states to show that every class of biseparable states in the partial separability classification proposed by Szalay and Kökényesi [S. Szalay and Z. Kökényesi, Phys. Rev. A 86, 032341 (2012)] is nonempty. We construct seven kinds of three-qubit biseparable states to show that every class of biseparable states in the partial separability classification proposed by Szalay and Kökényesi [S. Szalay and Z. Kökényesi, Phys. Rev. A 86, 032341 (2012)] is nonempty. △ Less

Submitted 25 February, 2019; v1 submitted 4 December, 2018; originally announced December 2018.

Comments: 6 pages; to appear in Physical Review A; title changed

Three qubit separable states of length ten with unique decompositions

Authors: Seung-Hyeok Kye

Abstract: We construct one parameter families of three qubit separable states with length ten, which is strictly greater than the whole dimension eight. These states are located on the boundary of the convex set of all separable states, but they are in the interior of the convex set of all states with positive partial transposes. They are also decomposed into the convex sum of ten pure product states in a u… ▽ More We construct one parameter families of three qubit separable states with length ten, which is strictly greater than the whole dimension eight. These states are located on the boundary of the convex set of all separable states, but they are in the interior of the convex set of all states with positive partial transposes. They are also decomposed into the convex sum of ten pure product states in a unique way. △ Less

Submitted 17 July, 2018; originally announced July 2018.

Comments: 12 pages

Separability of multi-qubit states in terms of diagonal and anti-diagonal entries

Authors: Kil-Chan Ha, Kyung Hoon Han, Seung-Hyeok Kye

Abstract: We give separability criteria for general multi-qubit states in terms of diagonal and anti-diagonal entries. We define two numbers which are obtained from diagonal and anti-diagonal entries, respectively, and compare them to get criteria. They give rise to characterizations of separability when all the entries are zero except for diagonal and anti-diagonal, like Greenberger-Horne-Zeilinger diagona… ▽ More We give separability criteria for general multi-qubit states in terms of diagonal and anti-diagonal entries. We define two numbers which are obtained from diagonal and anti-diagonal entries, respectively, and compare them to get criteria. They give rise to characterizations of separability when all the entries are zero except for diagonal and anti-diagonal, like Greenberger-Horne-Zeilinger diagonal states. The criteria is strong enough to get nonzero volume of entanglement with positive partial transposes. △ Less

Submitted 6 December, 2018; v1 submitted 28 February, 2018; originally announced March 2018.

Comments: 26 pages, to appear in Quantum Information Processing

Separability criterion for three-qubit states with a four dimensional norm

Authors: Lin Chen, Kyung Hoon Han, Seung-Hyeok Kye

Abstract: We give a separability criterion for three qubit states in terms of diagonal and anti-diagonal entries. This gives us a complete characterization of separability when all the entries are zero except for diagonal and anti-diagonals. The criterion is expressed in terms of a norm arising from anti-diagonal entries. We compute this norm in several cases, so that we get criteria with which we can decid… ▽ More We give a separability criterion for three qubit states in terms of diagonal and anti-diagonal entries. This gives us a complete characterization of separability when all the entries are zero except for diagonal and anti-diagonals. The criterion is expressed in terms of a norm arising from anti-diagonal entries. We compute this norm in several cases, so that we get criteria with which we can decide the separability by routine computations. △ Less

Submitted 31 July, 2017; v1 submitted 16 May, 2017; originally announced May 2017.

Comments: 29 pages, to appear in Journal of Physics A: Mathematical and Theoretical

The role of phases in detecting three-qubit entanglement

Authors: Kyung Hoon Han, Seung-Hyeok Kye

Abstract: We propose separability criteria for three-qubit states in terms of diagonal and anti-diagonal entries to detect entanglement with positive partial transposes. We report that the phases, that is, the angular parts of anti-diagonal entries, play a crucial role in determining whether a given three-qubit state is separable or entangled, and they must obey even an identity for separability in some cas… ▽ More We propose separability criteria for three-qubit states in terms of diagonal and anti-diagonal entries to detect entanglement with positive partial transposes. We report that the phases, that is, the angular parts of anti-diagonal entries, play a crucial role in determining whether a given three-qubit state is separable or entangled, and they must obey even an identity for separability in some cases. These criteria are strong enough to detect PPT (positive partial transpose) entanglement with nonzero volume. In several cases when all the entries are zero except for diagonal and anti-diagonal entries, we characterize separability using phases. These include the cases when anti-diagonal entries of such states share a common magnitude, and when ranks are less than or equal to six. We also compute the lengths of rank six cases, and find three-qubit separable states with lengths $8$ whose maximum ranks of partial transposes are $7$. △ Less

Submitted 27 September, 2017; v1 submitted 20 October, 2016; originally announced October 2016.

Comments: 25 pages; to appear in Journal of Mathematical Physics

MSC Class: 81P15; 15A30; 46L05; 46L07

Separability of three qubit Greenberger-Horne-Zeilinger diagonal states

Authors: Kyung Hoon Han, Seung-Hyeok Kye

Abstract: We characterize the separability of three qubit GHZ diagonal states in terms of entries. This enables us to check separability of GHZ diagonal states without decomposition into the sum of pure product states. In the course of discussion, we show that the necessary criterion of Gühne for (full) separability of three qubit GHZ diagonal states is sufficient with a simpler formula. The main tool is to… ▽ More We characterize the separability of three qubit GHZ diagonal states in terms of entries. This enables us to check separability of GHZ diagonal states without decomposition into the sum of pure product states. In the course of discussion, we show that the necessary criterion of Gühne for (full) separability of three qubit GHZ diagonal states is sufficient with a simpler formula. The main tool is to use entanglement witnesses which are tri-partite Choi matrices of positive bi-linear maps. △ Less

Submitted 1 March, 2017; v1 submitted 5 August, 2016; originally announced August 2016.

Comments: 17 pages, to appear in Journal of Physics A: Mathematical and Theoretical

MSC Class: 81P15; 15A30; 46L05; 46L07

Construction of three qubit genuine entanglement with bi-partite positive partial transposes

Authors: Kil-Chan Ha, Seung-Hyeok Kye

Abstract: 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. 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. △ Less

Submitted 15 December, 2015; originally announced December 2015.

Comments: 6 pages

MSC Class: 81P15; 15A30; 46L05

Journal ref: Phys. Rev. A 93, 032315 (2016)

Construction of multi-qubit optimal genuine entanglement witnesses

Authors: Kyung Hoon Han, Seung-Hyeok Kye

Abstract: 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… ▽ More 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. △ Less

Submitted 20 March, 2016; v1 submitted 13 October, 2015; originally announced October 2015.

Comments: 17 pages, to appear in Journal of Physics A: Mathematical and Theoretical

MSC Class: 81P15; 15A30; 46L05; 46L07

Various notions of positivity for bi-linear maps and applications to tri-partite entanglement

Authors: Kyung Hoon Han, Seung-Hyeok Kye

Abstract: 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 examp… ▽ More 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. △ Less

Submitted 20 March, 2015; originally announced March 2015.

Comments: 28 pages

Journal ref: J. Math. Phys. 57 (2016), 015205

Three-qubit entanglement witnesses with the full spanning properties

Authors: Seung-Hyeok Kye

Abstract: 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 d… ▽ More 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. △ Less

Submitted 5 January, 2015; originally announced January 2015.

Comments: 10 pages, 2 figures

Journal ref: J. Phys. A: Math. Theor. 48 (2015), 235303

Construction of exposed indecomposable positive linear maps between matrix algebras

Authors: Kil-Chan Ha, Seung-Hyeok Kye

Abstract: 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 fr… ▽ More 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. △ Less

Submitted 21 October, 2014; originally announced October 2014.

Comments: 12 pages

MSC Class: 81P15; 15A30; 46L05

Multi-partite separable states with unique decompositions and construction of three qubit entanglement with positive partial transpose

Authors: Kil-Chan Ha, Seung-Hyeok Kye

Abstract: 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… ▽ More 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. △ Less

Submitted 24 February, 2014; originally announced February 2014.

Comments: 19 pages, 1 figure

MSC Class: 81P15; 15A30; 46L05

Product vectors in the ranges of multi-partite states with positive partial transposes and permanents of matrices

Authors: Young-Hoon Kiem, Seung-Hyeok Kye, Joohan Na

Abstract: 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 t… ▽ More 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. △ Less

Submitted 31 May, 2015; v1 submitted 14 January, 2014; originally announced January 2014.

Comments: Accepted to Commun. Math. Phys., updated introduction

MSC Class: 81P15; 14F45; 55N45; 15A30; 46L05

Journal ref: Commun. Math. Phys. 338 (2015) 621-639

Global geometric difference between separable and Positive partial transpose states

Authors: Kil-Chan Ha, Seung-Hyeok Kye

Abstract: 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… ▽ More 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. △ Less

Submitted 5 August, 2013; originally announced August 2013.

Comments: 14 pages, 2 figures

MSC Class: 81P15; 15A30; 46L05

Journal ref: Open Systems & Information Dynamics, Vol. 21, No. 04, 1450009 (2014)

Geometry for separable states and construction of entangled states with positive partial transposes

Authors: Kil-Chan Ha, Seung-Hyeok Kye

Abstract: 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 grea… ▽ More 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. △ Less

Submitted 4 July, 2013; originally announced July 2013.

Comments: 8 pages, 2 figures

MSC Class: 81P15; 15A30; 46L05

Journal ref: Physical Review A, 88, 024302 (2013)

Faces for two qubit separable states and the convex hulls of trigonometric moment curves

Authors: Seung-Hyeok Kye

Abstract: 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 surf… ▽ More 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. △ Less

Submitted 9 February, 2013; originally announced February 2013.

Journal ref: Probab. Math. Statist. 33 (2013), 385-400

Exposedness of Choi type entanglement witnesses and applications to lengths of separable states

Authors: Kil-Chan Ha, Seung-Hyeok Kye

Abstract: 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 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. △ Less

Submitted 23 April, 2013; v1 submitted 24 November, 2012; originally announced November 2012.

Comments: 15 pages, minor revision

MSC Class: 81P15; 15A30; 46L05

Journal ref: Open Systems & Information Dynamics, Vol.20, No.4 (2013)

Separable states with unique decompositions

Authors: Kil-Chan Ha, Seung-Hyeok Kye

Abstract: 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 par… ▽ More 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. △ Less

Submitted 11 July, 2013; v1 submitted 3 October, 2012; originally announced October 2012.

Comments: 26 pages, 1 figure. A part on SPA conjecture is withdrawn

MSC Class: 81P15; 15A30; 46L05

Journal ref: Communications in Mathematical Physics, Volume 328, Issue 1, pp 131-153 (2014)

The structural physical approximations and optimal entanglement witnesses

Authors: Kil-Chan Ha, Seung-Hyeok Kye

Abstract: 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… ▽ More 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. △ Less

Submitted 4 October, 2012; v1 submitted 15 May, 2012; originally announced May 2012.

Comments: Final version will be published in Journal of Mathematical Physics, Some typos are corrected. 12 pages, 3 figures

MSC Class: 81P15; 15A30; 46L05

Journal ref: Journal of Mathematical Physics, 53 (2012), 102204

Entanglement witnesses arising from Choi type positive linear maps

Authors: Kil-Chan Ha, Seung-Hyeok Kye

Abstract: 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 optima… ▽ More 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. △ Less

Submitted 13 May, 2012; originally announced May 2012.

Comments: 18 pages, 4 figures, 1 table

MSC Class: 81P15; 15A30; 46L05

Journal ref: Journal of Physics A: Mathematical and General, 45 (2012), 415305

Optimality for indecomposable entanglement witnesses

Authors: Kil-Chan Ha, Seung-Hyeok Kye

Abstract: 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… ▽ More 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. △ Less

Submitted 30 April, 2012; originally announced April 2012.

Comments: 5 pages, 1 figure, 1 table

MSC Class: 81P15; 15A30; 15A90; 46L05;

Journal ref: Physical Review A 86, 034301 (2012)

Geometry of the faces for separable states arising from generalized Choi maps

Authors: Kil-Chan Ha, Seung-Hyeok Kye

Abstract: 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 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. △ Less

Submitted 28 March, 2012; originally announced March 2012.

Comments: 15 pages, 1 figure

MSC Class: 81P15; 15A30; 46L05

Journal ref: Open System & Information Dynamics, Volume 19, Issue 2, 125009 (2012)

Facial structures for various notions of positivity and applications to the theory of entanglement

Authors: Seung-Hyeok Kye

Abstract: 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. 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. △ Less

Submitted 9 February, 2013; v1 submitted 20 February, 2012; originally announced February 2012.

Comments: An expository note. Section 7 and Section 8 have been enlarged

MSC Class: 81P15; 15A30; 46L05

Journal ref: Rev. Math. Phys. 25 (2013), 1330002

Classification of bi-qutrit positive partial transpose entangled edge states by their ranks

Authors: Seung-Hyeok Kye, Hiroyuki Osaka

Abstract: 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 $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. △ Less

Submitted 30 May, 2012; v1 submitted 8 February, 2012; originally announced February 2012.

Comments: correct the title to avoid an acronym, correct few texts

Journal ref: J. Math. Phys., 53 (2012), 052201

Necessary conditions for optimality of decomposable entanglement witnesses

Authors: Seung-Hyeok Kye

Abstract: 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 decompo… ▽ More 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. △ Less

Submitted 26 April, 2012; v1 submitted 1 August, 2011; originally announced August 2011.

Comments: Final form to be published in Rep. Math. Phys. The last example is corrected together with minor texts

MSC Class: 81P15; 15A30; 46L05

Journal ref: Rep. Math. Phys., 63 (2012), 419-426

Entanglement witnesses arising from exposed positive linear maps

Authors: Kil-Chan Ha, Seung-Hyeok Kye

Abstract: 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 detec… ▽ More 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. △ Less

Submitted 7 January, 2012; v1 submitted 31 July, 2011; originally announced August 2011.

Comments: 16 pages, Some typos are corrected

MSC Class: 81P15; 15A30; 46L05

Journal ref: Open Systems & Information Dynamics, Vol.18, Issue 4, pp.323-337 (2011)

One parameter family of indecomposable optimal entanglement witnesses arising from generalized Choi maps

Authors: Kil-Chan Ha, Seung-Hyeok Kye

Abstract: 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. 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. △ Less

Submitted 13 July, 2011; originally announced July 2011.

Comments: 3 pages

MSC Class: 81P40; 15B48; 46L60; 81P15

Journal ref: Physical Review A, 84/2 (2011) 024302

Existence of product vectors and their partial conjugates in a pair of spaces

Authors: Young-Hoon Kiem, Seung-Hyeok Kye, Jungseob Lee

Abstract: 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$ 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$. △ Less

Submitted 22 November, 2011; v1 submitted 6 July, 2011; originally announced July 2011.

Comments: 15 pages, to correct a technical problem in V2

MSC Class: 81P15; 15A30; 46L05

Journal ref: J. Math. Phys. 52, 122201 (2011)

Exposed faces for decomposable positive linear maps arising from completely positive maps

Authors: Hyun-Suk Choi, Seung-Hyeok Kye

Abstract: 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. 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. △ Less

Submitted 6 June, 2011; originally announced June 2011.

MSC Class: 46L05; 81P15; 15A30

Construction of $3\otimes 3$ entangled edge states with positive partial transposes

Authors: Kil-Chan Ha, Seung-Hyeok Kye

Abstract: 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 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. △ Less

Submitted 12 September, 2005; originally announced September 2005.

Comments: 14 pages

Journal ref: J. Phys. A: Math. Gen. 38 (2005) 9039-9050

Construction of entangled states with positive partial transposes based on indecomposable positive linear maps

Authors: Kil-Chan Ha, Seung-Hyeok Kye

Abstract: We show that every entanglement with positive partial transpose may be constructed from an indecomposable positive linear map between matrix algebras. We show that every entanglement with positive partial transpose may be constructed from an indecomposable positive linear map between matrix algebras. △ Less

Submitted 30 June, 2004; v1 submitted 17 October, 2003; originally announced October 2003.

Comments: 12 pages, a continuation of the paper(quant-ph/0305005).accepted for publication in Phys. Letters A.(revised: 1.The title was changed. 2.Abstract and introduction were rewritten)

Journal ref: Phys. Letters. A, 325/5-6, 315--324 (2004)

Entangled states with positive partial transpose arising from indecomposable positive linear maps

Authors: Kil-Chan Ha, Seung-Hyeok Kye, Young Sung Park

Abstract: 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… ▽ More 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. △ Less

Submitted 1 May, 2003; originally announced May 2003.

Comments: 16 pages

Journal ref: Physics Letters A, vol.313, no.3, pp.163-174 (2003)