In quantum mechanics, separable states are multipartite quantum states that can be written as a convex combination of product states. Product states are multipartite quantum states that can be written as a tensor product of states in each space. The physical intuition behind these definitions is that product states have no correlation between the different degrees of freedom, while separable states might have correlations, but all such correlations can be explained as due to a classical random variable, as opposed to being due to entanglement. In the special case of pure states the definition simplifies: a pure state is separable if and only if it is a product state. A state is said to be entangled if it is not separable. In general, determining if a state is separable is not straightforward and the problem is classed as NP-hard.
Separability of bipartite systems Consider first composite states with two degrees of freedom, referred to as bipartite states. By a postulate of quantum mechanics these can be described as vectors in the tensor product space H 1 ⊗ H 2 {\displaystyle H_{1}\otimes H_{2}} . In this discussion we will focus on the case of the Hilbert spaces H 1 {\displaystyle H_{1}} and H 2 {\displaystyle H_{2}} being finite-dimensional.
Pure states Let { | a i ⟩ } i = 1 n ⊂ H 1 {\displaystyle \{|{a_{i}}\rangle \}_{i=1}^{n}\subset H_{1}} and { | b j ⟩ } j = 1 m ⊂ H 2 {\displaystyle \{|{b_{j}}\rangle \}_{j=1}^{m}\subset H_{2}} be orthonormal bases for H 1 {\displaystyle H_{1}} and H 2 {\displaystyle H_{2}} , respectively. A basis for H 1 ⊗ H 2 {\displaystyle H_{1}\otimes H_{2}} is then { | a i ⟩ ⊗ | b j ⟩ } {\displaystyle \{|{a_{i}}\rangle \otimes |{b_{j}}\rangle \}} , or in more compact notation { | a i b j ⟩ } {\displaystyle \{|a_{i}b_{j}\rangle \}} . From the very definition of the tensor product, any vector of norm 1, i.e. a pure state of the composite system, can be written as
| ψ ⟩ = ∑ i , j c i , j ( | a i ⟩ ⊗ | b j ⟩ ) = ∑ i , j c i , j | a i b j ⟩ , {\displaystyle |\psi \rangle =\sum _{i,j}c_{i,j}(|a_{i}\rangle \otimes |b_{j}\rangle )=\sum _{i,j}c_{i,j}|a_{i}b_{j}\rangle ,}
where c i , j {\displaystyle c_{i,j}} is a constant. If | ψ ⟩ {\displaystyle |\psi \rangle } can be written as a simple tensor, that is, in the form | ψ ⟩ = | ψ 1 ⟩ ⊗ | ψ 2 ⟩ {\displaystyle |\psi \rangle =|\psi _{1}\rangle \otimes |\psi _{2}\rangle } with | ψ i ⟩ {\displaystyle |\psi _{i}\rangle } a pure state in the i-th space, it is said to be a product state, and, in particular, separable. Otherwise it is called entangled. Note that, even though the notions of product and separable states coincide for pure states, they do not in the more general case of mixed states. Pure states are entangled if and only if their partial states are not pure. To see this, write the Schmidt decomposition of | ψ ⟩ {\displaystyle |\psi \rangle } as
… excerpt ends here. Continue reading the full article.
