# Can isotropic states have bound entanglement?

Let us consider the maximally entangled state $$|\psi\rangle=\frac{1}{\sqrt{n}}(|0,0\rangle+\cdots+|n-1,n-1\rangle)$$ and construct the pseudo-pure state $$\rho_\lambda=(1-\lambda)|\psi\rangle\langle\psi|+\lambda\frac{I_{n^2}}{n^2},$$ 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$).

-
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 arxiv.org/abs/1003.4337. 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 $$\epsilon|ψ⟩⟨ψ|+ \frac{1- \epsilon}{N}I_N$$ is separable whenever $$\epsilon > \frac{2}{n^2}, \epsilon > 0$$ (http://arxiv.org/abs/quant--ph/9811018).
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 $$W_N = (N^3-N)^{-1} ((N-\alpha )I + (N \alpha -1)V),$$ 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 (http://arxiv.org/abs/quant-ph/9910026) 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).
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, http://arxiv.org/abs/0711.2613, for details)...