Separable Pure States
For simplicity, the following assumes all relevant state spaces are finite dimensional. First, consider separability for pure states.
Let and be quantum mechanical state spaces, that is, finite dimensional Hilbert spaces with basis states and, respectively. By a postulate of quantum mechanics, the state space of the composite system is given by the tensor product
with base states, 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
If a pure state can be written in the form where 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
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.
Read more about this topic: Separable State
Famous quotes containing the words pure and/or states:
“Nothing is accidental in the universethis is one of my Laws of Physicsexcept the entire universe itself, which is Pure Accident, pure divinity.”
—Joyce Carol Oates (b. 1938)
“The traveler to the United States will do well ... to prepare himself for the class-consciousness of the natives. This differs from the already familiar English version in being more extreme and based more firmly on the conviction that the class to which the speaker belongs is inherently superior to all others.”
—John Kenneth Galbraith (b. 1908)

