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:1111.5255 · Physical Review A

Constructing all entanglement witnesses from density matrices

Bang-Hai Wang, Dongyang Long

Published Jul 25, 2011• 5 citations
arXivHTMLPDF

Abstract

We demonstrate a general procedure to construct entanglement witnesses for any entangled state. This procedure is based on the trace inequality and a general form of entanglement witnesses, which is in the form $W=\ensuremath{\rho}\ensuremath{-}{c}_{\ensuremath{\rho}}I$, where $\ensuremath{\rho}$ is a density matrix, ${c}_{\ensuremath{\rho}}$ is a non-negative number related to $\ensuremath{\rho}$, and $I$ is the identity matrix. The general form of entanglement witnesses is deduced from Choi-Jamio\l{}kowski isomorphism, that can be reinterpreted as that all quantum states can be obtained by a maximally quantum entangled state pass through certain completely positive maps. Furthermore, we provide the necessary and sufficient condition of the entanglement witness $W=\ensuremath{\rho}\ensuremath{-}{c}_{\ensuremath{\rho}}I$ in operation, as well as in theory.

DOI
10.1103/physreva.84.014303

Related papers

Visualizing extremal positive maps in unital and trace-preserving form

Leif Ove Hansen, Jan Myrheim

We define an entanglement witness in a composite quantum system as an observable having a nonnegative expectation value in every separable state. Then a state is entangled if and only if it has a negative expectation value of some entanglement witness. Equivalent representations of entanglement witnesses are nonnegative biquadratic forms or positive linear maps of Hermitian matrices. As reported elsewhere, we have studied extremal entanglement witnesses in dimension $3\ifmmode\times\else\texttimes\fi{}3$ by constructing numerical examples of generic extremal nonnegative forms. These are so complicated that we do not know how to handle them other than by numerical methods. However, the corresponding extremal positive maps can be presented graphically, as we attempt to do in the present paper. We understand that a positive map is extremal when the image of $\mathcal{D}$, the set of density matrices, fills out $\mathcal{D}$ maximally, in a certain sense. For the graphical presentation of a map we transform it to a standard form where it is unital and trace preserving. We present an iterative algorithm for the transformation, which converges rapidly in all our numerical examples and presumably works for any positive map. This standard form of an entanglement witness is unique up to unitary product transformations.

arXiv:1511.02110•Physical Review A•Oct 5, 2015•3 citations

Entanglement and distillation from symmetric positive maps

Albert Rico

Recently, a toolkit of highly symmetric techniques employing matrix inequalities has been developed to detect entanglement in various ways. Here we unifiedly explain in detail these methods, and expand them to a new family of positive maps with further detection capabilities. In the simplest case, we generalize the reduction map to detect more generic states using both multiple copies and local filters. Through the Choi-Jamiołkowski isomorphism, this family of maps leads to a construction of multipartite entanglement witnesses. Discussions and examples are provided regarding the detection of states with local positive partial transposition and the use of multiple copies.

arXiv:2502.18446•Physical Review A•Jan 5, 2026•2 citations

From Certifying Rank $k$ Projectors To Non-Positivity, Entanglement, And Non-Hermitian Witnesses Through Traces Of Matrix Powers

H. F. Chau

We all know that a density matrix $ρ$ is pure if and only if $\mathrm{Tr} \,ρ^2 = 1$. But is this the only way to prove the purity of $ρ$ using the trace of its powers? Here I systematically study the necessary and sufficient conditions of the more general question of guaranteeing that all eigenvalues of a Hermitian matrix belong to a specified set through its trace of powers. More importantly, these characterization results are automatically witnesses certifying a quantum state as entangled, a Hermitian operator has least one negative eigenvalue and a linear operator as non-Hermitian. I demonstrate the effectiveness of these witnesses, analyze their performance, and study their strength, weakness together with resource requirement through numerical simulation as well as analytical work. I also discuss briefly the effects of numerical stability, uncertainty in measurement and rounding errors on these problems.

quant-pharXiv:2609.09557•Sep 10, 2026•0 citations

Generalized qudit Choi maps

M. A. Jafarizadeh, M. Rezaee, Sodeif Ahadpour

Following the linear programming prescription of Jafarizadeh et al. [Phys. Rev. A 72, 062106 (2005)], the $d\ensuremath{\bigotimes}d$ Bell diagonal entanglement witnesses are provided. By using Jamiolkowski isomorphism, it is shown that the corresponding positive maps are the generalized qudit Choi maps. Also by manipulating particular $d\ensuremath{\bigotimes}d$ Bell diagonal separable states and constructing corresponding bound entangled states, it is shown that the obtained $d\ensuremath{\bigotimes}d$ Bell states diagonal entanglement witnesses (consequently qudit Choi maps) are nondecomposable in a certain range of their parameters.

arXiv:quant-ph/0607164•Physical Review A•Oct 27, 2006•16 citations

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

Choi-Jamiołkowski isomorphism(s) and channel/state duality, naturally!

Paul E. Lammert

Provided a maximally entangled state vector in ${\mathcal{H}}\otimes{\mathcal{H}}$, the Choi-Jamiolkowski isomorphism of quantum information theory (or channel/state duality) produces a mapping of ${\mathsf CP}({\mathcal{H}},{\mathcal{K}})$ (completely positive maps of density operators on ${\mathcal{H}}$ tothose on ${\mathcal{K}}$) onto the density operators on ${\mathcal{K}}\otimes{\mathcal{H}}$, which extends to a unitary map. Here, ${\mathcal{H}}$ and ${\mathcal{K}}$ are {finite-dimensional} Hilbert spaces.The nature of this construction, the form of the associated formulas, and the possibility of versions which do not require an entangled vector seed, are illuminated from the perspective of {naturality}, in the sense of Eilenberg and MacLane.There is a unique such correspondence (``Choi map'') natural in both ${\mathcal{H}}$ and ${\mathcal{K}}$ which produces density operators on either ${\mathsf L}({\mathcal{H}},{\mathcal{K}})$ (Hilbert-Schmidt inner product) or ${\mathcal{K}}\otimes{\mathcal{H}}^*$ instead of ${\mathcal{K}}\otimes{\mathcal{H}}$. In particular, no entangled state input is required. There are no such binatural maps carried on ${\mathcal{K}}\otimes{\mathcal{H}}$, but those natural in only ${\mathcal{K}}$ are canonically associated with unitary maps ${\mathcal{H}}\rightarrow{\mathcal{H}}^*$ and derive from the binatural maps. The construction recovers the standard Choi-Jamiolkowski formulae and shows how they express naturality.

quant-pharXiv:2610.27394•Oct 21, 2026•0 citations
We demonstrate a general procedure to construct entanglement witnesses for any entangled state. This procedure is based on the trace inequality and a general form of entanglement witnesses, which is in the form W=\ensuremathρ\ensuremath−c\ensuremathρIW=\ensuremath{\rho}\ensuremath{-}{c}_{\ensuremath{\rho}}IW=\ensuremathρ\ensuremath−c\ensuremathρ​I, where \ensuremathρ\ensuremath{\rho}\ensuremathρ is a density matrix, c\ensuremathρ{c}_{\ensuremath{\rho}}c\ensuremathρ​ is a non-negative number related to \ensuremathρ\ensuremath{\rho}\ensuremathρ, and III is the identity matrix. The general form of entanglement witnesses is deduced from Choi-Jamio\l{}kowski isomorphism, that can be reinterpreted as that all quantum states can be obtained by a maximally quantum entangled state pass through certain completely positive maps. Furthermore, we provide the necessary and sufficient condition of the entanglement witness W=\ensuremathρ\ensuremath−c\ensuremathρIW=\ensuremath{\rho}\ensuremath{-}{c}_{\ensuremath{\rho}}IW=\ensuremathρ\ensuremath−c\ensuremathρ​I in operation, as well as in theory.
We define an entanglement witness in a composite quantum system as an observable having a nonnegative expectation value in every separable state. Then a state is entangled if and only if it has a negative expectation value of some entanglement witness. Equivalent representations of entanglement witnesses are nonnegative biquadratic forms or positive linear maps of Hermitian matrices. As reported elsewhere, we have studied extremal entanglement witnesses in dimension $3\ifmmode\times\else\texttimes\fi{}3$ by constructing numerical examples of generic extremal nonnegative forms. These are so complicated that we do not know how to handle them other than by numerical methods. However, the corresponding extremal positive maps can be presented graphically, as we attempt to do in the present paper. We understand that a positive map is extremal when the image of D\mathcal{D}D, the set of density matrices, fills out D\mathcal{D}D maximally, in a certain sense. For the graphical presentation of a map we transform it to a standard form where it is unital and trace preserving. We present an iterative algorithm for the transformation, which converges rapidly in all our numerical examples and presumably works for any positive map. This standard form of an entanglement witness is unique up to unitary product transformations.
Recently, a toolkit of highly symmetric techniques employing matrix inequalities has been developed to detect entanglement in various ways. Here we unifiedly explain in detail these methods, and expand them to a new family of positive maps with further detection capabilities. In the simplest case, we generalize the reduction map to detect more generic states using both multiple copies and local filters. Through the Choi-Jamiołkowski isomorphism, this family of maps leads to a construction of multipartite entanglement witnesses. Discussions and examples are provided regarding the detection of states with local positive partial transposition and the use of multiple copies.
From Certifying Rank kkk Projectors To Non-Positivity, Entanglement, And Non-Hermitian Witnesses Through Traces Of Matrix Powers
We all know that a density matrix ρρρ is pure if and only if Tr ρ2=1\mathrm{Tr} \,ρ^2 = 1Trρ2=1. But is this the only way to prove the purity of ρρρ using the trace of its powers? Here I systematically study the necessary and sufficient conditions of the more general question of guaranteeing that all eigenvalues of a Hermitian matrix belong to a specified set through its trace of powers. More importantly, these characterization results are automatically witnesses certifying a quantum state as entangled, a Hermitian operator has least one negative eigenvalue and a linear operator as non-Hermitian. I demonstrate the effectiveness of these witnesses, analyze their performance, and study their strength, weakness together with resource requirement through numerical simulation as well as analytical work. I also discuss briefly the effects of numerical stability, uncertainty in measurement and rounding errors on these problems.
Following the linear programming prescription of Jafarizadeh et al. [Phys. Rev. A 72, 062106 (2005)], the $d\ensuremath{\bigotimes}d$ Bell diagonal entanglement witnesses are provided. By using Jamiolkowski isomorphism, it is shown that the corresponding positive maps are the generalized qudit Choi maps. Also by manipulating particular $d\ensuremath{\bigotimes}d$ Bell diagonal separable states and constructing corresponding bound entangled states, it is shown that the obtained $d\ensuremath{\bigotimes}d$ Bell states diagonal entanglement witnesses (consequently qudit Choi maps) are nondecomposable in a certain range of their parameters.
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.
Provided a maximally entangled state vector in H⊗H{\mathcal{H}}\otimes{\mathcal{H}}H⊗H, the Choi-Jamiolkowski isomorphism of quantum information theory (or channel/state duality) produces a mapping of CP(H,K){\mathsf CP}({\mathcal{H}},{\mathcal{K}})CP(H,K) (completely positive maps of density operators on H{\mathcal{H}}H tothose on K{\mathcal{K}}K) onto the density operators on K⊗H{\mathcal{K}}\otimes{\mathcal{H}}K⊗H, which extends to a unitary map. Here, H{\mathcal{H}}H and K{\mathcal{K}}K are {finite-dimensional} Hilbert spaces.The nature of this construction, the form of the associated formulas, and the possibility of versions which do not require an entangled vector seed, are illuminated from the perspective of {naturality}, in the sense of Eilenberg and MacLane.There is a unique such correspondence (``Choi map'') natural in both H{\mathcal{H}}H and K{\mathcal{K}}K which produces density operators on either L(H,K){\mathsf L}({\mathcal{H}},{\mathcal{K}})L(H,K) (Hilbert-Schmidt inner product) or K⊗H∗{\mathcal{K}}\otimes{\mathcal{H}}^*K⊗H∗ instead of K⊗H{\mathcal{K}}\otimes{\mathcal{H}}K⊗H. In particular, no entangled state input is required. There are no such binatural maps carried on K⊗H{\mathcal{K}}\otimes{\mathcal{H}}K⊗H, but those natural in only K{\mathcal{K}}K are canonically associated with unitary maps H→H∗{\mathcal{H}}\rightarrow{\mathcal{H}}^*H→H∗ and derive from the binatural maps. The construction recovers the standard Choi-Jamiolkowski formulae and shows how they express naturality.