Abstract:We consider rotationally invariant states in $\mathbb{C}^{N_{1}}\ot \mathbb{C}^{N_{2}}$ Hilbert space with even $N_{1}\geq 4$ and arbitrary $N_{2}\geq N_{1}$, and show that in such case there always exist states which are inseparable and remain positive after partial transposition, and thus the PPT criterion does not suffice to prove separability of such systems. We demonstrate it applying a map developed recently by Breuer [H.-P. Breuer, Phys. Rev. Lett {\bf 97}, 080501 (2006)] to states that remain invariant after partial time reversal.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether the positive partial transpose (PPT) criterion is sufficient to determine the separability of high - dimensional rotation - invariant quantum - state systems. Specifically, the author studied rotation - invariant bipartite states in the Hilbert space of \( \mathbb{C}^{N_1} \otimes \mathbb{C}^{N_2} \) (where \( N_1 \) is even and \( N_1\geq4 \), \( N_2\geq N_1 \)) and proved that in this case, there always exist inseparable states that remain positive after partial transposition. This means that for such systems, the PPT criterion is only a necessary condition, not a sufficient condition for proving the separability of the system.
### Background of the paper
In quantum information theory, determining whether a given quantum state is separable or entangled is an important problem. A separable state refers to a state that can be represented as a convex linear combination of product states, while an entangled state is a state that cannot be so represented. The partial transpose criterion proposed by Peres states that if the partial transpose of a state is non - positive, then the state is entangled. However, for some high - dimensional systems, there exist states that are positive under partial transposition but still entangled. These states are called bound entangled states (BE).
### Main contributions of the paper
1. **Research object**: The paper considered rotation - invariant bipartite states in the Hilbert space of \( \mathbb{C}^{N_1} \otimes \mathbb{C}^{N_2} \), where \( N_1 \) is even and \( N_1\geq4 \), \( N_2\geq N_1 \).
2. **Main finding**: The author proved that in such systems, there always exist inseparable states that remain positive after partial transposition, that is, bound entangled states. This shows that the PPT criterion is not a sufficient condition in this case.
3. **Method**: The author used a positive indecomposable map recently proposed by Breuer and proved this by analyzing partially time - reversal - invariant states.
4. **Specific cases**: The paper discussed in detail the situations in the \( 4\otimes N \) and \( 6\otimes N \) systems and showed the role of the Breuer map in the rotation - invariant state space through geometric descriptions.
5. **Further discussion**: The author also discussed the case where \( N_1 \) is odd and \( N_1\geq5 \). Preliminary results indicate that bound entangled states may also exist in such systems, but further research is required.
### Conclusion
The paper proved that in the rotation - invariant bipartite - state systems in the Hilbert space of \( \mathbb{C}^{N_1} \otimes \mathbb{C}^{N_2} \), when \( N_1 \) is even and \( N_1\geq4 \), \( N_2\geq N_1 \), the PPT criterion is only a necessary condition, not a sufficient condition for determining the separability of the system. This finding is of great significance for understanding the entanglement properties of high - dimensional quantum systems.