Showing 1–30 of 30 results for author: Hao, K

Geometric representations of braid and Yang-Baxter gates

Authors: Kun Zhang, Kun Hao, Kwangmin Yu, Vladimir Korepin, Wen-Li Yang

Abstract: Brick-wall circuits composed of the Yang-Baxter gates are integrable. It becomes an important tool to study the quantum many-body system out of equilibrium. To put the Yang-Baxter gate on the quantum computer, it has to be decomposed into the native gates of quantum computers. It is favorable to apply the least number of native two-qubit gates to construct the Yang-Baxter gate. We study the geomet… ▽ More Brick-wall circuits composed of the Yang-Baxter gates are integrable. It becomes an important tool to study the quantum many-body system out of equilibrium. To put the Yang-Baxter gate on the quantum computer, it has to be decomposed into the native gates of quantum computers. It is favorable to apply the least number of native two-qubit gates to construct the Yang-Baxter gate. We study the geometric representations of all X-type braid gates and their corresponding Yang-Baxter gates via the Yang-Baxterization. We find that the braid and Yang-Baxter gates can only exist on certain edges and faces of the two-qubit tetrahedron. We identify the parameters by which the braid and Yang-Baxter gates are the Clifford gate, the matchgate, and the dual-unitary gate. The geometric representations provide the optimal decompositions of the braid and Yang-Baxter gates in terms of other two-qubit gates. We also find that the entangling powers of the Yang-Baxter gates are determined by the spectral parameters. Our results provide the necessary conditions to construct the braid and Yang-Baxter gates on quantum computers. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: 15 pages, 7 figures, 2 tables

Optical vortex harmonic generation facilitated by photonic spin-orbit entanglement

Authors: Chang Kyun Ha, Eun Mi Kim, Kyoung Jun Moon, Myeong Soo Kang

Abstract: Photons can undergo spin-orbit coupling, by which the polarization (spin) and spatial profile (orbit) of the electromagnetic field interact and mix. Strong photonic spin-orbit coupling may reportedly arise from light propagation confined in a small cross-section, where the optical modes feature spin-orbit entanglement. However, while photonic Hamiltonians generally exhibit nonlinearity, the role a… ▽ More Photons can undergo spin-orbit coupling, by which the polarization (spin) and spatial profile (orbit) of the electromagnetic field interact and mix. Strong photonic spin-orbit coupling may reportedly arise from light propagation confined in a small cross-section, where the optical modes feature spin-orbit entanglement. However, while photonic Hamiltonians generally exhibit nonlinearity, the role and implication of spin-orbit entanglement in nonlinear optics have received little attention and are still elusive. Here, we report the first experimental demonstration of nonlinear optical frequency conversion, where spin-orbit entanglement facilitates spin-to-orbit transfer among different optical frequencies. By pum** a multimode optical nanofiber with a spin-polarized Gaussian pump beam, we produce an optical vortex at the third harmonic, which has long been regarded as a forbidden process in isotropic media. Our findings offer a unique and powerful means for efficient optical vortex generation that only incorporates a single Gaussian pump beam, in sharp contrast to any other approaches employing structured pump fields or sophisticatedly designed media. Our work opens up new possibilities of spin-orbit-coupling subwavelength waveguides, inspiring fundamental studies of nonlinear optics involving various types of structured light, as well as paving the way for the realization of hybrid quantum systems comprised of telecom photonic networks and long-lived quantum memories. △ Less

Submitted 5 August, 2023; originally announced August 2023.

Comments: 52 pages, 10 figures

Optimal realization of Yang-Baxter gate on quantum computers

Authors: Kun Zhang, Kwangmin Yu, Kun Hao, Vladimir Korepin

Abstract: Quantum computers provide a promising method to study the dynamics of many-body systems beyond classical simulation. On the other hand, the analytical methods developed and results obtained from the integrable systems provide deep insights on the many-body system. Quantum simulation of the integrable system not only provides a valid benchmark for quantum computers but is also the first step in stu… ▽ More Quantum computers provide a promising method to study the dynamics of many-body systems beyond classical simulation. On the other hand, the analytical methods developed and results obtained from the integrable systems provide deep insights on the many-body system. Quantum simulation of the integrable system not only provides a valid benchmark for quantum computers but is also the first step in studying integrable-breaking systems. The building block for the simulation of an integrable system is the Yang-Baxter gate. It is vital to know how to optimally realize the Yang-Baxter gates on quantum computers. Based on the geometric picture of the Yang-Baxter gates, we present the optimal realizations of two types of Yang-Baxter gates with a minimal number of CNOT or $R_{zz}$ gates. We also show how to systematically realize the Yang-Baxter gates via the pulse control. We test and compare the different realizations on IBM quantum computers. We find that the pulse realizations of the Yang-Baxter gates always have a higher gate fidelity compared to the optimal CNOT or $R_{zz}$ realizations. On the basis of the above optimal realizations, we demonstrate the simulation of the Yang-Baxter equation on quantum computers. Our results provide a guideline and standard for further experimental studies based on the Yang-Baxter gate. △ Less

Submitted 7 February, 2024; v1 submitted 31 July, 2023; originally announced July 2023.

Comments: Published version, 14 pages, 11 figures

Journal ref: Adv. Quantum Technol. 2024, 2300345

Can a spin chain relate combinatorics to number theory?

Authors: Kun Hao, Olof Salberger, Vladimir Korepin

Abstract: The Motzkin spin chain is a spin-$1$ frustration-free model introduced by Shor & Movassagh. The ground state is constructed by map** random walks on the upper half of the square lattice to spin configurations. It has unusually large entanglement entropy [quantum fluctuations]. The ground state of the Motzkin chain can be analytically described by the Motzkin paths. There is no analytical descrip… ▽ More The Motzkin spin chain is a spin-$1$ frustration-free model introduced by Shor & Movassagh. The ground state is constructed by map** random walks on the upper half of the square lattice to spin configurations. It has unusually large entanglement entropy [quantum fluctuations]. The ground state of the Motzkin chain can be analytically described by the Motzkin paths. There is no analytical description of the excited states. The model is not solvable. We simplify the model by removing one of the local equivalence moves of the Motzkin paths. The system becomes integrable [similar to the XXX spin chain]. We call it free Motzkin chain. From the point of view of quantum integrability, the model is special since its $R$-matrix does not have crossing unitarity. We solve the periodic free Motzkin chain by generalizing the functional Bethe Ansatz method. We construct a $T-Q$ relation with an additional parameter to formulate the energy spectrum. This new parameter is related to the roots of unity and can be described by the Möbius function in number theory. We observe further patterns of number theory. △ Less

Submitted 10 August, 2023; v1 submitted 15 February, 2022; originally announced February 2022.

Comments: 14 pages, no figure

Journal ref: JHEP08(2023)009

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

Entanglement entropy production in deep inelastic scattering

Authors: Kun Zhang, Kun Hao, Dmitri Kharzeev, Vladimir Korepin

Abstract: Deep inelastic scattering (DIS) samples a part of the wave function of a hadron in the vicinity of the light cone. Lipatov constructed a spin chain which describes the amplitude of DIS in leading logarithmic approximation. Kharzeev and Levin proposed the entanglement entropy as an observable in DIS [Phys. Rev. D 95, 114008 (2017)], and suggested a relation between the entanglement entropy and part… ▽ More Deep inelastic scattering (DIS) samples a part of the wave function of a hadron in the vicinity of the light cone. Lipatov constructed a spin chain which describes the amplitude of DIS in leading logarithmic approximation. Kharzeev and Levin proposed the entanglement entropy as an observable in DIS [Phys. Rev. D 95, 114008 (2017)], and suggested a relation between the entanglement entropy and parton distributions. Here we represent the DIS process as a local quench in the Lipatov's spin chain, and study the time evolution of the produced entanglement entropy. We show that the resulting entanglement entropy depends on time logarithmically, $\mathcal S(t)=1/3 \ln{(t/τ)}$ with $τ= 1/m$ for $1/m \le t\le (mx)^{-1}$, where $m$ is the proton mass and $x$ is the Bjorken $x$. The central charge $c$ of Lipatov's spin chain is determined here to be $c=1$; using the proposed relation between the entanglement entropy and parton distributions, this corresponds to the gluon structure function growing at small $x$ as $xG(x) \sim 1/x^{1/3}$. △ Less

Submitted 4 January, 2022; v1 submitted 10 October, 2021; originally announced October 2021.

Comments: Published version, 8 pages, 1 figure

Journal ref: Phys. Rev. D 105, 014002 (2022)

Shor-Movassagh chain leads to unusual integrable model

Authors: Bin Tong, Olof Salberger, Kun Hao, Vladimir Korepin

Abstract: The ground state of Shor-Movassagh chain can be analytically described by the Motzkin paths. There is no analytical description of the excited states, the model is not solvable. We prove the integrability of the model without interacting part in this paper [free Shor-Movassagh]. The Lax pair for the free Shor-Movassagh open chain is explicitly constructed. We further obtain the boundary $K$-matric… ▽ More The ground state of Shor-Movassagh chain can be analytically described by the Motzkin paths. There is no analytical description of the excited states, the model is not solvable. We prove the integrability of the model without interacting part in this paper [free Shor-Movassagh]. The Lax pair for the free Shor-Movassagh open chain is explicitly constructed. We further obtain the boundary $K$-matrices compatible with the integrability of the model on the open interval. Our construction provides a direct demonstration for the quantum integrability of the model, described by Yang-Baxter algebra. Due to the lack of crossing unitarity, the integrable open chain can not be constructed by the reflection equation (boundary Yang-Baxter equation). △ Less

Submitted 22 September, 2020; originally announced September 2020.

Comments: 12 pages, 1 figure

High-Q Nanophotonic Resonators on Diamond Membranes using Templated Atomic Layer Deposition of TiO2

Authors: Amy Butcher, Xinghan Guo, Robert Shreiner, Nazar Delegan, Kai Hao, Peter J. Duda III, David D. Awschalom, F. Joseph Heremans, Alexander A. High

Abstract: Integrating solid-state quantum emitters with nanophotonic resonators is essential for efficient spin-photon interfacing and optical networking applications. While diamond color centers have proven to be excellent candidates for emerging quantum technologies, their integration with optical resonators remains challenging. Conventional approaches based on etching resonators into diamond often negati… ▽ More Integrating solid-state quantum emitters with nanophotonic resonators is essential for efficient spin-photon interfacing and optical networking applications. While diamond color centers have proven to be excellent candidates for emerging quantum technologies, their integration with optical resonators remains challenging. Conventional approaches based on etching resonators into diamond often negatively impact color center performance and offer low device yield. Here, we developed an integrated photonics platform based on templated atomic layer deposition of TiO2 on diamond membranes. Our fabrication method yields high-performance nanophotonic devices while avoiding etching wavelength-scale features into diamond. Moreover, this technique generates highly reproducible optical resonances and can be iterated on individual diamond samples, a unique processing advantage. Our approach is suitable for a broad range of both wavelengths and substrates and can enable high-cooperativity interfacing between cavity photons and coherent defects in diamond or silicon carbide, rare earth ions, or other material systems. △ Less

Submitted 30 May, 2020; v1 submitted 7 April, 2020; originally announced April 2020.

Comments: 13 pages, 4 figures, 1 table

Bethe Ansatz for XXX chain with negative spin

Authors: Kun Hao, Dmitri Kharzeev, Vladimir Korepin

Abstract: XXX spin chain with spin $s=-1$ appears as an effective theory of Quantum Chromodynamics. It is equivalent to lattice nonlinear Schroediger's equation: interacting chain of harmonic oscillators [bosonic]. In thermodynamic limit each energy level is a scattering state of several elementary excitations [lipatons]. Lipaton is a fermion: it can be represented as a topological excitation [soliton] of o… ▽ More XXX spin chain with spin $s=-1$ appears as an effective theory of Quantum Chromodynamics. It is equivalent to lattice nonlinear Schroediger's equation: interacting chain of harmonic oscillators [bosonic]. In thermodynamic limit each energy level is a scattering state of several elementary excitations [lipatons]. Lipaton is a fermion: it can be represented as a topological excitation [soliton] of original [bosonic] degrees of freedom, described by the group $Z_2$ . We also provide the CFT description (including local quenches) and Yang-Yang thermodynamics of the model. △ Less

Submitted 31 October, 2019; v1 submitted 2 September, 2019; originally announced September 2019.

Comments: 21 pages, 2 figures

Journal ref: Int. J. Mod. Phys. A, Vol. 34, No. 31 (2019) 1950197

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

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 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

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)

Notes on extremality of the Choi map

Authors: Kil-Chan Ha

Abstract: It is widely believed that the Choi map generates an extremal ray in the cone $\mathcal P(M_3)$ of all positive linear maps between $C^*$-algebra $M_3$ of all $n\times n$ matrices over the complex field. But the only proven fact is that the Choi map generates the extremal ray in the cone of all positive linear map preserving all real symmetric $3\times 3$ matrices. In this note, we show that the C… ▽ More It is widely believed that the Choi map generates an extremal ray in the cone $\mathcal P(M_3)$ of all positive linear maps between $C^*$-algebra $M_3$ of all $n\times n$ matrices over the complex field. But the only proven fact is that the Choi map generates the extremal ray in the cone of all positive linear map preserving all real symmetric $3\times 3$ matrices. In this note, we show that the Choi map is indeed extremal in the cone $\mathcal P(M_3)$. We also clarify some misclaims about the correspondence between positive semi-definite biquadratic real forms and postive linear maps, and discuss possible positive linear maps which coincide with the Choi map on symmetric matrices. △ Less

Submitted 4 June, 2013; originally announced June 2013.

Comments: 12 pages

MSC Class: 15A30; 46L05

Journal ref: Linear Algebra and Its Applications, 439/10, 3156-3165 (2013)

Separability of qubit-qudit quantum states with strong positive partial transposes

Authors: Kil-Chan Ha

Abstract: We show that all $2\otimes 4$ states with strong positive partial transposes (SPPT) are separable. We also construct a family of $2\otimes 5$ entangled SPPT states, so the conjecture on the separability of SPPT states are completely settled. In addition, we clarify the relation between the set of all $2\otimes d$ separable states and the set of all $2\otimes d$ SPPT states for the case of $d=3,4$. We show that all $2\otimes 4$ states with strong positive partial transposes (SPPT) are separable. We also construct a family of $2\otimes 5$ entangled SPPT states, so the conjecture on the separability of SPPT states are completely settled. In addition, we clarify the relation between the set of all $2\otimes d$ separable states and the set of all $2\otimes d$ SPPT states for the case of $d=3,4$. △ Less

Submitted 27 December, 2012; originally announced December 2012.

Comments: 3 pages

MSC Class: 81P15; 15A30; 46L05

Journal ref: Physical Review A, 87 (2), 024301 (2013)

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)

Optimal indecomposable witnesses without extremality as well as spanning property

Authors: Kil-Chan Ha, Hoseog Yu

Abstract: One of the interesting problems on optimal indecomposable entanglement witnesses is whether there exists an optimal indecomposable witness which neither has the spanning property nor is associated with extremal positive linear map. Here, we answer this question negatively by examining the extremality of the positive linear maps constructed by Qi and Hou [J. Phys. A {\bf 44}, 215305 (2100)]. One of the interesting problems on optimal indecomposable entanglement witnesses is whether there exists an optimal indecomposable witness which neither has the spanning property nor is associated with extremal positive linear map. Here, we answer this question negatively by examining the extremality of the positive linear maps constructed by Qi and Hou [J. Phys. A {\bf 44}, 215305 (2100)]. △ Less

Submitted 3 June, 2012; originally announced June 2012.

Comments: 17 pages

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

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

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

Optimal PPTES witnesses for states in $\mathbb C^n\otimes \mathbb C^n$

Authors: Kil-Chan Ha

Abstract: Recently, X. Qi and J. Hou [Phys. Rev. A 85, 022334 (2012)] provided optimal entanglement witnesses without the spanning property. These witnesses are associated to indecomposable positive linear maps, but it is not checked whether partial transposes of these witnesses are also optimal. We show that partial transposes of these entanglement witnesses have spanning property, and these witnesses ar… ▽ More Recently, X. Qi and J. Hou [Phys. Rev. A 85, 022334 (2012)] provided optimal entanglement witnesses without the spanning property. These witnesses are associated to indecomposable positive linear maps, but it is not checked whether partial transposes of these witnesses are also optimal. We show that partial transposes of these entanglement witnesses have spanning property, and these witnesses are indeed optimal PPTES witnesses (non-decomposable optimal entanglement witnesses). △ Less

Submitted 2 May, 2012; originally announced May 2012.

Comments: 3 pages

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

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

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)

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

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)