Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1205.2921 · Journal of Physics A Mathematical and Theoretical

Entanglement witnesses arising from Choi type positive linear maps

Kil-Chan Ha, Seung-Hyeok Kye

Published Sep 25, 2012• 16 citations
arXivHTMLPDF

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 optimality of entanglement witnesses without the spanning property.

DOI
10.1088/1751-8113/45/41/415305

Related papers

Optimality for indecomposable entanglement witnesses

Kil-Chan Ha, Seung-Hyeok Kye

We examine various notions related to the optimality for entanglement witnesses arising from Choi-type positive linear maps. We found examples of optimal entanglement witnesses which are nondecomposable but are not ``nondecomposable optimal entanglement witnesses'' in the sense of Lewenstein, Kraus, Cirac, and Horodecki [Phys. Rev. A 62, 052310 (2000)]. We suggest using the terms PPTES witness and optimal PPTES witness in place of ``nondecomposable entanglement witness'' and ``nondecomposable optimal entanglement witnesses'' in order to avoid possible confusion. Here, PPTES refers entangled states with positive partial transposes. We also found examples of nonextremal optimal entanglement witnesses which are indecomposable.

arXiv:1204.6596•Physical Review A•Sep 4, 2012•30 citations

Some applications of Choi polynomials of linear maps

Minh Toan Ho, Thanh Hieu Le, Cong Trinh Le +1 more

This paper investigates the properties of Choi polynomials and their fundamental role in the theory of positive linear maps between matrix algebras. By focusing on Hermitian symmetric biquadratic forms, we establish a connection between the positivity of these forms and the structure of positive maps. We specifically explore the construction of indecomposable positive maps in matrix algebras, and their application as entanglement witnesses. Our analysis extends to the detection of Positive Partial Transpose (PPT) entangled states and the classification of edge PPT states in $M_m(\mathbb{C}) \otimes M_n(\mathbb{C})$. Our results provide a refined framework for identifying non-separable states that escape the standard PPT criterion, contributing to the broader understanding of entanglement distillation and quantum information theory.

quant-pharXiv:2604.27034•Linear Algebra and its Applications•Apr 30, 2026•0 citations

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

Kil-Chan Ha

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

arXiv:1205.0592•May 3, 2012•1 citation

Optimization of entanglement witnesses

Maciej Lewenstein, Barbara Kraus, J. I. Cirac +1 more

An entanglement witness (EW) is an operator that allows the detection of entangled states. We give necessary and sufficient conditions for such operators to be optimal, i.e., to detect entangled states in an optimal way. We show how to optimize general EW, and then we particularize our results to the nondecomposable ones; the latter are those that can detect positive partial transpose entangled states (PPTES's). We also present a method to systematically construct and optimize this last class of operators based on the existence of ``edge'' PPTES's, i.e., states that violate the range separability criterion [Phys. Lett. A 232, 333 (1997)] in an extreme manner. This method also permits a systematic construction of nondecomposable positive maps (PM's). Our results lead to a sufficient condition for entanglement in terms of nondecomposable EW's and PM's. Finally, we illustrate our results by constructing optimal EW acting on $H={C}^{2}\ensuremath{\bigotimes}{C}^{4}.$ The corresponding PM's constitute examples of PM's with minimal ``qubit'' domains, or---equivalently---minimal Hermitian conjugate codomains.

arXiv:quant-ph/0005014•Physical Review A•Oct 16, 2000•684 citations

Optimal witnesses detecting positive-partial-transpose entangled states in Cn⊗Cn

Kil-Chan Ha

Recently, Qi and Hou [Phys. Rev. A 85, 022334 (2012)] provided optimal entanglement witnesses without the spanning property. These witnesses are associated with indecomposable positive linear maps, but whether partial transposes of these witnesses are also optimal has not been evaluated. We show that partial transposes of these entanglement witnesses have the spanning property and that these witnesses are indeed optimal witnesses detecting positive-partial- transposed entangled states (nondecomposable optimal entanglement witnesses).

Physical Review A•Jul 23, 2012•5 citations

Optimal indecomposable witnesses without extremality or the spanning property

Kil-Chan Ha, Hoseog Yu

One of the interesting problems of optimal indecomposable entanglement witnesses is whether there exists an optimal indecomposable entanglement witness which neither has the spanning property nor is associated with an extremal positive linear map. Here, we answer this question in the negative by examining the extremality of the positive linear maps constructed by Qi and Hou (2011 J. Phys. A: Math. Theor. 44 215305).

arXiv:1206.0504•Journal of Physics A Mathematical and Theoretical•Sep 13, 2012•9 citations
We construct optimal PPTES witnesses to detect 3⊗33\otimes 33⊗3 PPT entangled edge states of type (6,8)(6,8)(6,8) constructed recently \cite{kye_osaka}. To do this, we consider positive linear maps which are variants of the Choi type map involving complex numbers, and examine several notions related to optimality for those entanglement witnesses. Through the discussion, we suggest a method to check the optimality of entanglement witnesses without the spanning property.
We examine various notions related to the optimality for entanglement witnesses arising from Choi-type positive linear maps. We found examples of optimal entanglement witnesses which are nondecomposable but are not ``nondecomposable optimal entanglement witnesses'' in the sense of Lewenstein, Kraus, Cirac, and Horodecki [Phys. Rev. A 62, 052310 (2000)]. We suggest using the terms PPTES witness and optimal PPTES witness in place of ``nondecomposable entanglement witness'' and ``nondecomposable optimal entanglement witnesses'' in order to avoid possible confusion. Here, PPTES refers entangled states with positive partial transposes. We also found examples of nonextremal optimal entanglement witnesses which are indecomposable.
This paper investigates the properties of Choi polynomials and their fundamental role in the theory of positive linear maps between matrix algebras. By focusing on Hermitian symmetric biquadratic forms, we establish a connection between the positivity of these forms and the structure of positive maps. We specifically explore the construction of indecomposable positive maps in matrix algebras, and their application as entanglement witnesses. Our analysis extends to the detection of Positive Partial Transpose (PPT) entangled states and the classification of edge PPT states in Mm(C)⊗Mn(C)M_m(\mathbb{C}) \otimes M_n(\mathbb{C})Mm​(C)⊗Mn​(C). Our results provide a refined framework for identifying non-separable states that escape the standard PPT criterion, contributing to the broader understanding of entanglement distillation and quantum information theory.
Optimal PPTES witnesses for states in Cn⊗Cn\mathbb C^n\otimes \mathbb C^nCn⊗Cn
An entanglement witness (EW) is an operator that allows the detection of entangled states. We give necessary and sufficient conditions for such operators to be optimal, i.e., to detect entangled states in an optimal way. We show how to optimize general EW, and then we particularize our results to the nondecomposable ones; the latter are those that can detect positive partial transpose entangled states (PPTES's). We also present a method to systematically construct and optimize this last class of operators based on the existence of ``edge'' PPTES's, i.e., states that violate the range separability criterion [Phys. Lett. A 232, 333 (1997)] in an extreme manner. This method also permits a systematic construction of nondecomposable positive maps (PM's). Our results lead to a sufficient condition for entanglement in terms of nondecomposable EW's and PM's. Finally, we illustrate our results by constructing optimal EW acting on $H={C}^{2}\ensuremath{\bigotimes}{C}^{4}.$ The corresponding PM's constitute examples of PM's with minimal ``qubit'' domains, or---equivalently---minimal Hermitian conjugate codomains.
Recently, Qi and Hou [Phys. Rev. A 85, 022334 (2012)] provided optimal entanglement witnesses without the spanning property. These witnesses are associated with indecomposable positive linear maps, but whether partial transposes of these witnesses are also optimal has not been evaluated. We show that partial transposes of these entanglement witnesses have the spanning property and that these witnesses are indeed optimal witnesses detecting positive-partial- transposed entangled states (nondecomposable optimal entanglement witnesses).