Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. It's 100% free.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let us consider the maximally entangled state \begin{equation} |\psi\rangle=\frac{1}{\sqrt{n}}(|0,0\rangle+\cdots+|n-1,n-1\rangle) \end{equation} and construct the pseudo-pure state \begin{equation} \rho_\lambda=(1-\lambda)|\psi\rangle\langle\psi|+\lambda\frac{I_{n^2}}{n^2}, \end{equation} where $I_{n^2}$ is the identity matrix and $0\leq\lambda\leq1$. I was told that for any dimension $n$ and for any $\lambda$, $\rho_\lambda$ is either separable or entangled which can be determined by partial transpose. It can be rephrased as

There does not exists any dimension $n$ and any $\lambda$ such that the corresponding $\rho_\lambda$ is a bound entangled state.

I could not find out the proof and could not make one by myself. Can someone give me a proof or at least refer a paper containing the proof. Advanced thanks for any suggestion.

ADDITION: Also the same question can be asked for the case, when the coefficients of $|j,j\rangle$ are non-uniformly distributed nonzero complex numbers (such that the sum is $1$).

share|cite|improve this question
The states you write here are called Werner states. There do exist Werner states that are single-copy undistillable and NPT in a certain region, but general distillability conditions are unknown as far as I know. See for example Somebody else might be able to tell you more. – SMeznaric Jun 28 '13 at 13:04
The states described here are isotropic states, not Werner states. – Norbert Schuch May 22 '15 at 12:11

Something that I know, is that in any dimension N and for any |ψ⟩, the pseudo-pure state \begin{equation} \epsilon|ψ⟩⟨ψ|+ \frac{1- \epsilon}{N}I_N \end{equation} is separable whenever \begin{equation} \epsilon > \frac{2}{n^2}, \epsilon > 0 \end{equation} (

Something similar can be said for Werner states (but in other direction). In principle, the Werner states are states which satisfy the reduction criterion but violate the Peres one. The Werner states $W_N$ for $N \times N$ system can be written as \begin{equation} W_N = (N^3-N)^{-1} ((N-\alpha )I + (N \alpha -1)V), \end{equation} where $V$ is the swap operator $V \psi_1 \otimes \psi_2 = \psi_2 \otimes \psi_1$. The states are inseparable for $\alpha < 0$ (sorry for the strange notation, it takes simpler form for a $2 \times 2$ system).

Regarding the Werner states and bound entanglement, it is conjectured ( that there exist bound entangled states with non-positive partial transpose (so called, NPT states). Existence of such states would in particular imply nonadditivity of distillable entanglement and would rule out a simple mathematical description of the set of distillable states (distillability is equivalent to so called n-copy distillability for some n - formally, a state $\rho$ is n-copy distillable if n copies of $\rho$ can be locally projected to obtain a two-qubit NPT state).

The problem still remains open (for a long time it was regarded as a one of the most important problem in QI, now it is somehow forgotten) but since that paper many partial results have been obtained. In particular it was shown that it is enough to concentrate on the class of the Werner states as if there exist NPT bound entangled states then there exist NPT bound entangled Werner states (

To verify the conjecture you can probably concentrate on a particular $4 \otimes 4$ Werner state which is the most entangled of the so-called suspicious Werner states. This state is conjectured to be undistillable, so you can consider the condition for its n-undistillability and translate it to a condition called the half-property (see,, for details)...

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.