# Quantum entanglement

**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. However, at this time classical information cannot be transmitted through entanglement faster than the speed of light.

Quantum entanglement is the basis for emerging technologies such as 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, as one can show that the correlations predicted by quantum mechanics are 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.

## 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, demonstrating that entanglement makes quantum mechanics a non-local theory. 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 showed that such a theory could not be "local", the quantum entanglement predicted by quantum mechanics being 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, but these are generally considered to be of minor importance. For more information, see the article on the Bell test experiments.

Entanglement produces some interesting interactions with the principle of relativity that states that information cannot be transferred faster than the speed of light. Although two entangled systems can 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. It is possible to reconcile the speed of light with Bell violations by interpreting the two entangled particles as opposites ends of a wormhole; however, if entangling two particles creates a wormhole, then this change in topology implies causal violations.

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.

## 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 **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A}**
and **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B}**
, with respective Hilbert spaces **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H_A}**
and **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H_B}**
. The Hilbert space of the composite system is the tensor product

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H_A \otimes H_B }**

If the first system is in state **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle | \psi \rangle_A}**
and the second in state **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle | \phi \rangle_B}**
, the state of the composite system is

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\psi\rangle_A \otimes |\phi\rangle_B,}**

which is often also written as

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\psi\rangle_A \; |\phi\rangle_B.}**

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

Pick observables (and corresponding Hermitian operators) **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Omega_A}**
acting on **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H_A}**
, and **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Omega_B}**
acting on **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H_B}**
. According to the spectral theorem, we can find a basis **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{|i \rangle_A\}}**
for **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H_A}**
composed of eigenvectors of **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Omega_A}**
, and a basis **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{|j \rangle_B\}}**
for **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H_B}**
composed of eigenvectors of **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Omega_B}**
. We can then write the above pure state as

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left( \sum_i a_i |i\rangle_A \right) \left( \sum_j b_j |j\rangle_B \right)}**,

for some choice of complex coefficients **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_i}**
and **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b_j}**
. This is not the most general state of **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H_A \otimes H_B}**
, which has the form

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{i,j} c_{ij} |i\rangle_A \otimes |j\rangle_B}**.

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

For example, given two basis vectors **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{|0\rangle_A, |1\rangle_A\}}**
of **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{|0\rangle_B, |1\rangle_B\}}**
of

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle {1 \over \sqrt{2}} \bigg( |0\rangle_A \otimes |1\rangle_B - |1\rangle_A \otimes |0\rangle_B \bigg)}**.

If the composite system is in this state, it is impossible to attribute to either system **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A}**
or system **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B}**
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 **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A}**
, and Bob is an observer for system **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B}**
. If Alice performs the measurement **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Omega_A}**
, there are two possible outcomes, occurring with equal probability:

- Alice measures
**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0}**, and the state of the system collapses to**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |0\rangle_A |1\rangle_B}** - Alice measures
**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1}**, and the state of the system collapses to**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |1\rangle_A |0\rangle_B}**.

If the former occurs, any subsequent measurement of **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Omega_B}**
performed by Bob always returns **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1}**
. If the latter occurs, Bob's measurement always returns **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0}**
. Thus, system

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 we claimed above.

## 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.

Consider as above systems

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\Psi \rangle \in H_A \otimes H_B. }**

As indicated above, in general there is no way to associate a pure state to the component system

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho_T = |\Psi\rangle \; \langle\Psi|}**.

which is the projection operator onto this state. The state of **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho_T}**
over the basis of system

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho_A \equiv \sum_j \langle j|_B \left( |\Psi\rangle \langle\Psi| \right) |j\rangle_B = \hbox{Tr}_B \; \rho_T }**.

For example, the density matrix of

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho_A = (1/2) \bigg( |0\rangle_A \langle 0|_A + |1\rangle_A \langle 1|_A \bigg)}**

and the density matrix of

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho_A = |\psi\rangle_A \langle\psi|_A }**.

This is simply the projection operator of |ψ〉_{A}. Note that the density matrix of the composite system, ρ_{T}, also takes this form. This is unsurprising, since we assumed that the state of the composite system is pure.

Given a general density matrix **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho}**
, we can calculate the quantity

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S = - k \hbox{Tr} \left( \rho \ln{\rho} \right)}**

where **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k}**
is Boltzmann's constant, and the trace is taken over the space **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H}**
in which **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho}**
acts. It turns out that **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S}**
is precisely the entropy of the system corresponding to **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H}**
.

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 **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k \ln 2}**
(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.

## Ensembles

The language of density matrices is also used to describe quantum ensembles, or a collection of identical quantum systems.

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 called a *pure ensemble*.

However, the apparatus could produce electrons in different states. For example, it could produce two populations of electrons: one with state **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\mathbf{z}+\rangle}**
(spins aligned in the positive **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{z}}**
direction), and the other with state **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\mathbf{y}-\rangle}**
(spins aligned in the negative **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{y}}**
direction.) Generally, there can be any number of populations, each corresponding to a different state. This is a *mixed ensemble*.

We can describe an ensemble as a collection of populations with weights **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle w_i}**
and corresponding states **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\alpha_i\rangle}**
. The density matrix of the ensemble is defined as

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho = \sum_i w_i |\alpha_i\rangle \langle\alpha_i|}**.

All the above results for density matrices and the quantum entropy remain valid with this definition. Motivated by this, as well as the many-worlds interpretation,
many physicists now believe that *all* mixed ensembles can be explained as entangled quantum states.

## Applications of entanglement

Entanglement has many applications in quantum information theory. These include quantum state teleportation and superdense coding.

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

da:Kvantefysisk sammenfiltring de:Quantenverschränkung it:Entanglement quantistico ro:Întrepătrundere de stări cuantice sl:Kvantna prepletenost sv:Kvanttrassel zh:量子纏結