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

Bell-diagonal states are 2-qubit states that are diagonal in the Bell basis. Since those states lie in $\mathbb{C}^{2} \otimes \mathbb{C}^{2}$, the Peres-Horodecki criterion is a sufficient condition to show separability and it's also pretty easy to check: $\rho = \sum_{i \in [0,3]}\lambda_i|\psi_{i}\rangle\langle\psi_{i}| $ is PPT (or separable) if and only if $Tr(\rho) \geq 2\lambda_i \geq 0$ for every $i$. (Here {$|\psi_{i}\rangle$} are the Bell states)

In my research I am dealing with a generalization of those states. In particular, my question is about states in $\mathbb{C}^{2^d} \otimes \mathbb{C}^{2^d}$ that are diagonal in the basis given by the $d$-fold tensor product of Bell states.

For example, for $d=2$, the states I am considering are diagonal in the basis: $$ |\psi_{0}\rangle\otimes|\psi_{0}\rangle,|\psi_{0}\rangle\otimes|\psi_{1}\rangle, \ldots,|\psi_{3}\rangle\otimes|\psi_{3}\rangle. $$

I am wondering the following:

are there some nice criteria already known to check when these states are PPT or separable?

Notice that those states are in general different from the states diagonal in what is called the generalized Bell basis in literature.

share|cite|improve this question
up vote 4 down vote accepted

Try Theorem 12 in (the arXiv version) of What I call "lattice states" there should exactly be the class of states you are interested in.

share|cite|improve this answer
thanks Marco! this is what I was looking for. – Alessandro Cosentino Apr 5 '12 at 20:06

Your Answer


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