Quantum entanglement

From Free net encyclopedia

Quantum entanglement is a quantum mechanical phenomenon in which the quantum states of two or more objects have to be described with reference to each other, even though the individual objects may be spatially separated. This leads to correlations between observable physical properties of the systems. For example, it is possible to prepare two particles in a single quantum state such that when one is observed to be spin-up, the other one will always be observed to be spin-down and vice versa, this despite the fact that it is impossible to predict, according to quantum mechanics, which set of measurements will be observed. As a result, measurements performed on one system seem to be instantaneously influencing other systems entangled with it. Nevertheless, classical information cannot be transmitted through entanglement faster than the speed of light.

Quantum entanglement is closely concerned with the emerging technologies of quantum computing and quantum cryptography, and has been used for experiments in quantum teleportation. At the same time, it produces some of the more theoretically and philosophically disturbing aspects of the theory. The correlations predicted by quantum mechanics, and observed in experiment, naively appear to be inconsistent with the seemingly obvious principle of local realism, which is that information about the state of a system should only be mediated by interactions in its immediate surroundings. Different views of what is actually occurring in the process of quantum entanglement give rise to different interpretations of quantum mechanics.

1 Background
2 Formalism
3 Entropy
4 Ensembles
5 Reduced Density Matrices
6 Applications of entanglement
7 References
8 External Links

[edit]

Background

Entanglement is one of the properties of quantum mechanics which caused Einstein and others to dislike the theory. In 1935, Einstein, Podolsky, and Rosen formulated the EPR paradox, a quantum-mechanical thought experiment with a highly counterintuitive and apparently nonlocal outcome. Einstein famously derided entanglement as "spooky action at a distance."

On the other hand, quantum mechanics has been highly successful in producing correct experimental predictions, and the strong correlations associated with the phenomenon of quantum entanglement have in fact been observed. One apparent way to explain quantum entanglement is an approach known as "hidden variable theory", in which unknown deterministic microscopic parameters would cause the correlations. However, in 1964 Bell derived an upper limit, known as Bell's inequality, on the strength of correlations for any theory obeying "local realism" (see principle of locality). Quantum entanglement can lead to stronger correlations that violate this limit, so that quantum entanglement is experimentally distinguishable from a broad class of local hidden-variable theories. Results of subsequent experiments have overwhelmingly supported quantum mechanics. It is known that there are a number of loopholes in these experiments. High efficiency and high visibility experiments are now in progress which should accept or reject those loopholes. For more information, see the article on Bell test experiments.

Observations on entangled states naively appear to conflict with the property of Einsteinian relativity that information cannot be transferred faster than the speed of light. Although two entangled systems appear to interact across large spatial separations, no useful information can be transmitted in this way, so causality cannot be violated through entanglement. This occurs for two subtle reasons: (i) quantum mechanical measurements yield probabilistic results, and (ii) the no cloning theorem forbids the statistical inspection of entangled quantum states.

Although no information can be transmitted through entanglement alone, it is possible to transmit information using a set of entangled states used in conjunction with a classical information channel. This process is known as quantum teleportation. Despite its name, quantum teleportation cannot be used to transmit information faster than light, because a classical information channel is involved.

[edit]

Formalism

The following discussion builds on the theoretical framework developed in the articles bra-ket notation and mathematical formulation of quantum mechanics.

Consider two noninteracting systems <math>A</math> and <math>B</math>, with respective Hilbert spaces <math>H_A</math> and <math>H_B</math>. The Hilbert space of the composite system is the tensor product

<math> H_A \otimes H_B </math>

If the first system is in state <math>| \psi \rangle_A</math> and the second in state <math>| \phi \rangle_B</math>, the state of the composite system is

<math>|\psi\rangle_A \otimes |\phi\rangle_B,</math>

which is often also written as

<math>|\psi\rangle_A \; |\phi\rangle_B.</math>

States of the composite system which can be represented in this form are called separable states, or product states.

Pick observables (and corresponding Hermitian operators) <math>\Omega_A</math> acting on <math>H_A</math>, and <math>\Omega_B</math> acting on <math>H_B</math>. According to the spectral theorem, we can find a basis <math>\{|i \rangle_A\}</math> for <math>H_A</math> composed of eigenvectors of <math>\Omega_A</math>, and a basis <math>\{|j \rangle_B\}</math> for <math>H_B</math> composed of eigenvectors of <math>\Omega_B</math>. We can then write the above pure state as

<math>\left( \sum_i a_i |i\rangle_A \right) \left( \sum_j b_j |j\rangle_B \right)</math>,

for some choice of complex coefficients <math>a_i</math> and <math>b_j</math>. This is not the most general state of <math> H_A \otimes H_B</math>, which has the form

<math>\sum_{i,j} c_{ij} |i\rangle_A \otimes |j\rangle_B</math>.

If such a state is not separable, it is known as an entangled state.

For example, given two basis vectors <math>\{|0\rangle_A, |1\rangle_A\}</math> of <math>H_A</math> and two basis vectors <math>\{|0\rangle_B, |1\rangle_B\}</math> of <math>H_B</math>, the following is an entangled state:

<math>{1 \over \sqrt{2}} \bigg( |0\rangle_A \otimes |1\rangle_B - |1\rangle_A \otimes |0\rangle_B \bigg)</math>.

If the composite system is in this state, it is impossible to attribute to either system <math>A</math> or system <math>B</math> a definite pure state. Instead, their states are superposed with one another. In this sense, the systems are "entangled".

Now suppose Alice is an observer for system <math>A</math>, and Bob is an observer for system <math>B</math>. If Alice performs the measurement <math>\Omega_A</math>, there are two possible outcomes, occurring with equal probability:

Alice measures <math>0</math>, and the state of the system collapses to <math>|0\rangle_A |1\rangle_B</math>
Alice measures <math>1</math>, and the state of the system collapses to <math>|1\rangle_A |0\rangle_B</math>.

If the former occurs, any subsequent measurement of <math>\Omega_B</math> performed by Bob always returns <math>1</math>. If the latter occurs, Bob's measurement always returns <math>0</math>. Thus, system <math>B</math> has been altered by Alice performing her measurement on system <math>A</math>., even if the systems <math>A</math> and <math>B</math> are spatially separated. This is the foundation of the EPR paradox.

The outcome of Alice's measurement is random. Alice cannot decide which state to collapse the composite system into, and therefore cannot transmit information to Bob by acting on her system. (There is a possible loophole: if Bob could make multiple duplicate copies of the state he receives, he could obtain information by collecting statistics. This loophole is closed by the no cloning theorem, which forbids the creation of duplicate states.) Causality is thus preserved, as claimed above.

[edit]

Entropy

Quantifying entanglement is an important step towards better understanding the phenomenon of entropy. The method by which density matrices are arrived at, provides us with a formal measure of entanglement, although other entanglement measures exist.

Given a general density matrix <math>\rho</math>, we can calculate the quantity

<math>S = - k \hbox{Tr} \left( \rho \ln{\rho} \right)</math>

where <math>k</math> is Boltzmann's constant, and the trace is taken over the space <math>H</math> in which <math>\rho</math> acts. It turns out that <math>S</math> is precisely the entropy of the system corresponding to <math>H</math>.

The entropy of any pure state is zero, which is unsurprising since there is no uncertainty about the state of the system. The entropy of any of the two subsystems of the entangled state discussed above is <math>k \ln 2</math> (which can be shown to be the maximum entropy for a one-level system). If the overall system is pure, the entropy of its subsystems can be used to measure its degree of entanglement with the other subsystems.

It can also be shown that unitary operators acting on a state (such as the time evolution operator obtained from the Schrödinger equation) leave the entropy unchanged. This associates the reversibility of a process with its resulting entropy change, which is a deep result linking quantum mechanics to information theory and thermodynamics.

[edit]

Ensembles

As mentioned above, a state of a quantum system is given by a unit vector in a Hilbert space. More generally, if one has a large number of copies of the same system, then the state of this ensemble is described by a density matrix, which is a positve matrix (or trace class, when the state space is infinite dimensional) and has trace 1. Again, by the spectral theorem, such a matrix take the general form:

<math>\rho = \sum_i w_i |\alpha_i\rangle \langle\alpha_i|</math>.

, where the <math>w_i</math>'s sum up to 1. We can interpret <math>\rho</math> as representing an ensemble where <math>w_i</math> is the proportion of the ensemble whose states are <math>|\alpha_i\rangle</math>. When a mixed state has rank 1, it therefore describes a pure ensemble. When there is less than total information about the state of a quantum system we need density matrices to represent the state(see experiment discussed below). For a mixed state, where we do not know which vector in the Hilbert space to associate with the quantum system, we cannot use the reduced von Neumann entropy as a measure of entanglement. Physically speaking, this is because the uncertainty in the mixed state gives us entropy in itself, irrespective of whether or not the state is entangled. Following the above definition, for a bipartite composite system, mixed states are just density matrices on <math>H_A \otimes H_B</math>.

Extending the definition of separability from the pure case, we say that a mixed state is separable if it can be written as

<math>\rho = \sum_i p_i \rho_i^A \otimes \rho_i^B </math>

,where <math>\rho_i^A</math>'s and <math>\rho_i^B</math>'s are they themselves states on the subsystems A and B respectively. In other words, a state is separable if it is probability distribution over uncorrelated states, or product states. We can assume without loss of generality that <math>\rho_i^A</math> and <math>\rho_i^B</math> are pure ensembles. A state is then said to be entangled if it is not separable. In general, finding out whether or not a mixed state is entangled is considered difficult. Formally, it has been shown to be NP-hard. For the <math> 2 \times 2</math> and <math> 2 \times 3</math> cases, a necessary and sufficient criterion for separability is given by the famous PPT(positve partial transpose) condition.

Experimentally, a mixed ensemble might be realized as follows. Consider a "black-box" apparatus that spits electrons towards an observer. The electrons' Hilbert spaces are identical. The apparatus might produce electrons that are all in the same state; in this case, the electrons received by the observer are then a pure ensemble. However, the apparatus could produce electrons in different states. For example, it could produce two populations of electrons: one with state <math>|\mathbf{z}+\rangle</math> (spins aligned in the positive <math>\mathbf{z}</math> direction), and the other with state <math>|\mathbf{y}-\rangle</math> (spins aligned in the negative <math>\mathbf{y}</math> direction.) Generally, there can be any number of populations, each corresponding to a different state. Therefore we now have a mixed ensemble.

[edit]

Reduced Density Matrices

Consider as above systems <math>A</math> and <math>B</math> each with a Hilbert space <math>H_A</math>, <math>H_B</math>. Let the state of the composite system be

<math> |\Psi \rangle \in H_A \otimes H_B. </math>

As indicated above, in general there is no way to associate a pure state to the component system <math>A</math>. However, it still is possible to associate a density matrix. Let

<math>\rho_T = |\Psi\rangle \; \langle\Psi|</math>.

which is the projection operator onto this state. The state of <math>A</math> is the partial trace of <math>\rho_T</math> over the basis of system <math>B</math>:

<math>\rho_A \equiv \sum_j \langle j|_B \left( |\Psi\rangle \langle\Psi| \right) |j\rangle_B = \hbox{Tr}_B \; \rho_T </math>.

<math>\rho_A</math> is sometimes called the reduced density matrix of <math>\rho</math> on subsystem A. Colloquially, we "trace out" system B to obtain the reduced density matrix on A.

For example, the density matrix of <math>A</math> for the entangled state discussed above is

<math>\rho_A = (1/2) \bigg( |0\rangle_A \langle 0|_A + |1\rangle_A \langle 1|_A \bigg)</math>

This demonstrates that that, as expected, the reduced density matrix for an entangled pure emsemble is a mixed ensemble. Also not surprisingly the density matrix of <math>A</math> for the pure product state <math>|\psi\rangle_A \otimes |\phi\rangle_B</math> discussed above is

<math>\rho_A = |\psi\rangle_A \langle\psi|_A </math>.

[edit]

Applications of entanglement

Entanglement has many applications in quantum information theory. Mixed state entanglement can be viewed as a resource for quantum communication. Among the most well known such applications of entanglement are superdense coding and quantum state teleportation(also called entanglement-assisted teleportation). Efforts to quantify this resource are often termed entanglement theory. See for example Entanglement Theory Tutorials.

The Reeh-Schlieder theorem of quantum field theory is sometimes seen as the QFT analogue of Quantum entanglement.

[edit]