Separability of Mixed States: Necessary and Sufficient Conditions

We provide necessary and sufficient conditions for separability of mixed states. As a result we obtain a simple criterion of separability for $2\times2$ and $2\times3$ systems. Here, the positivity of the partial transposition of a state is necessary and sufficient for its separability. However, it is not the case in general. Some examples of mixtures which demonstrate the utility of the criterion are considered.Comment: Revtex, 13 pages, replaced with minor typos corrected and some examples adde

Quantum Correlations in Systems of Indistinguishable Particles

We discuss quantum correlations in systems of indistinguishable particles in relation to entanglement in composite quantum systems consisting of well separated subsystems. Our studies are motivated by recent experiments and theoretical investigations on quantum dots and neutral atoms in microtraps as tools for quantum information processing. We present analogies between distinguishable particles, bosons and fermions in low-dimensional Hilbert spaces. We introduce the notion of Slater rank for pure states of pairs of fermions and bosons in analogy to the Schmidt rank for pairs of distinguishable particles. This concept is generalized to mixed states and provides a correlation measure for indistinguishable particles. Then we generalize these notions to pure fermionic and bosonic states in higher-dimensional Hilbert spaces and also to the multi-particle case. We review the results on quantum correlations in mixed fermionic states and discuss the concept of fermionic Slater witnesses. Then the theory of quantum correlations in mixed bosonic states and of bosonic Slater witnesses is formulated. In both cases we provide methods of constructing optimal Slater witnesses that detect the degree of quantum correlations in mixed fermionic and bosonic states.Comment: 46 pages, 4 eps figure

Entanglement of positive definite functions on compact groups

We define and study entanglement of continuous positive definite functions on products of compact groups. We formulate and prove an infinite-dimensional analog of Horodecki Theorem, giving a necessary and sufficient criterion for separability of such functions. The resulting characterisation is given in terms of mappings of the space of continuous functions, preserving positive definiteness. The relation between the developed group-theoretical formalism and the conventional one, given in terms of density matrices, is established through the non-commutative Fourier analysis.Comment: published versio