In the case of systems composed of m > 2 {\displaystyle m>2} subsystems, the classification of quantum-entangled states is richer than in the bipartite case. Indeed, in multipartite entanglement apart from fully separable states and fully entangled states, there also exists the notion of partially separable states.
Full and partial separability The definitions of fully separable and fully entangled multipartite states naturally generalizes that of separable and entangled states in the bipartite case, as follows.
Full m-partite separability (m-separability) of m systems The state ϱ A 1 … A m {\displaystyle \;\varrho _{A_{1}\ldots A_{m}}} of m {\displaystyle \;m} subsystems A 1 , … , A m {\displaystyle \;A_{1},\ldots ,A_{m}} with Hilbert space H A 1 … A m = H A 1 ⊗ ⋯ ⊗ H A m {\displaystyle \;{\mathcal {H}}_{A_{1}\ldots A_{m}}={\mathcal {H}}_{A_{1}}\otimes \cdots \otimes {\mathcal {H}}_{A_{m}}} is fully separable if and only if it can be written in the form
ϱ A 1 … A m = ∑ i = 1 k p i ϱ A 1 i ⊗ ⋯ ⊗ ϱ A m i . {\displaystyle \;\varrho _{A_{1}\ldots A_{m}}=\sum _{i=1}^{k}p_{i}\varrho _{A_{1}}^{i}\otimes \cdots \otimes \varrho _{A_{m}}^{i}.}
Correspondingly, the state ϱ A 1 … A m {\displaystyle \;\varrho _{A_{1}\ldots A_{m}}} is fully entangled if it cannot be written in the above form. As in the bipartite case, the set of m {\displaystyle \;m} -separable states is convex and closed with respect to trace norm, and separability is preserved under m {\displaystyle \;m} -separable operations ∑ i Ω i 1 ⊗ ⋯ ⊗ Ω i n {\displaystyle \;\sum _{i}\Omega _{i}^{1}\otimes \cdots \otimes \Omega _{i}^{n}} which are a straightforward generalization of the bipartite ones:
… excerpt ends here. Continue reading the full article.
