Separable states

Encyclopedia : S : SE : SEP : Separable states

---

In quantum mechanics, separable quantum states are states without quantum entanglement.

Separable pure states

For simplicity, the following assumes all relevant state spaces are finite dimensional. First, consider separability for pure states.

Let [H_1] and [H_2] be quantum mechanical state spaces, that is, finite dimensional Hilbert spaces with basis states [\\rangle\}_^n] and [\\rangle\}_^m], respectively. By a postulate of quantum mechanics, the state space of the composite system is given by the tensor product

[H_1 \otimes H_2]

with base states [\\rangle\bigotimes |\rangle\}], or in more compact notation [\]. 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

[|\psi\rangle = \Sigma_ c_ | a_i \rangle \otimes b_j \rangle =\Sigma_ c_ | a_i b_j \rangle]

If a pure states [ |\psi\rangle \in H_1 \otimes H_2] that can be written in the form [|\psi\rangle = |\psi_1\rangle \otimes |\psi_2\rangle ] where [|\psi _i \rangle ] is a pure state of the i-th subsystem, it is said to be separable. Otherwise it is called entangled. Formally, the embedding of a product of states into the product space is given by the Segre embedding. That is, a quantum-mechanical pure state is separable if and only if it is in the image of the Segre embedding.

A standard example of an (un-normalized) entangled state is

[|\psi\rangle = \begin 1 \\ 0 \\ 0 \\ 1 \end \in H \otimes H]

where H is the Hilbert space of dimension 2. We see that when a system is in an entangled pure state, it is not possible to assign states to its subsystems. This will be true, in the appropriate sense, for the mixed state case as well.

The above discussion can be extended to the case of when the state space is infinite dimensional with virtually nothing changed.

Separability for mixed states

Consider the mixed state case. A mixed state of the composite system is described by a density matrix [\rho] acting on [H_1 \otimes H_2]. ρ is separable if there exist [p_k\geq 0], [\] and [\] which are mixed states of the respective subsystems such that

[\rho=\sum_k p_k \rho_1^k \otimes \rho_2^k]

where

[\sum_k p_k = 1.]

Otherwise [\rho] is called an entangled state. We can assume without loss of generality in the above expression that [\] and [\] are all rank-1 projections, that is, they represent pure ensembles of the appropriate subsystems. It is clear from the definition that the family of separable states is a convex set.

Notice that, again from the definition of the tensor product, any density matrix, indeed any matrix acting on the composite state space, can be trivially written in the desired form, if we drop the requirement that [\] and [\] are themselves states and [\; \sum_k p_k = 1.]

In the language of quantum communication, a separable state can be created from any other state using local actions and classical communication while an entangled state cannot.

When the state spaces are infinite dimensional, density matrices are replaced by positive trace class operators with trace 1, and a state is separable if it can be approximated, in trace norm, by states of the above form.

Extending to the multipartite case

The above discussion generalizes easily to the case of a quantum system consisting of more than two subsystems. Let a system have n subsystems and have state space [H = H_1 \otimes \cdots \otimes H_n]. A pure state [| \psi \rangle \in H] is separable if it takes the form

[| \psi \rangle = | \psi_1 \rangle \otimes \cdots \otimes | \psi_n \rangle .]

Similarly, a mixed state ρ acting on H is separable if it is a convex sum

[\rho = \sum_k p_k \rho_1 ^k \otimes \cdots \rho_n ^k.]

Or, in the infinite dimensional case, ρ is separable if it can be approximated in the trace norm by states of the above form.

Separability criterion

The problem of deciding whether a state is separable in general is sometimes called the separability problem in quantum information. It is considered to be a difficult problem. A feeling for this difficulty can be obtained if we attempt to solve the problem by employing the obvious naive approach, for a fixed dimension. We see that, using the naive techniqie, the problem quickly becomes intractable, even for low dimensions. Thus more sophisticated formulations are required. The separability problem is a subject of current research.

A separability criterion is a necessary condition a state must satisfy to be separable. In the low dimensional (2 X 2 and 2 X 3) cases, the Peres-Horodecki criterion is actually a necessary and sufficient condition for separability. Other separability criterions include the Range criterion and Reduction criterion.

Characterization via algebraic geometry

Quantum mechanics may be modelled on a projective Hilbert space, and the categorical product of two such spaces is the the Segre embedding. In the bipartite case, a quantum state is separable if and only if it lies in the image of the Segre embedding.

See also

• Entanglement witness

 

---

From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.

Search Titles

0

1

2

3

4

5

6

7

8

9

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

?