Quantum entanglement acts as a cornerstone for all quantum computations. If one physical system consists of two or more qubits and its state vector `|ΞΆβ©`

can be represented as tensor product `|ΞΆβ© = |ΞΆ`

, where _{1}β© β¨ |ΞΆ_{2}β©`|ΞΆ`

and _{1}β©`|ΞΆ`

describe states of each qubit. Then the state _{2}β©`|ΞΆβ©`

is called separable; otherwise it is called inseparable or entangled.

## Theorem: Schmidt Decomposition

Let `|Ο`

be a pure state of a composite quantum system A + B, then there exists a set of orthonormal states ^{AB}β©`{|ΞΎ`

of the system A and a set of orthonormal states _{i}^{A}β©}`{|Ο`

of the system B such that:_{i}^{B}β©}

`|Ο`^{AB}β© = β_{i} βΞ»_{i} |ΞΎ_{i}^{A}β© |Ο_{i}^{B}β©

where `{βΞ»`

are called the Schmidt coefficients and are non-negative real numbers, such that _{i}}`β`

. Using this theorem, we could find out whether a pure state is separable or entangled. The number of non-zero Schmidt coefficients _{i} Ξ»_{i} = 1`{βΞ»`

is called the Schmidt number. In other words, the Schmidt number is the number of terms in the Schmidt decomposition._{i}}

If Schmidt number is | The pure quantum state of the composite system is |

= 1 | Separable. The composite system state vector can be represented as a tensor product of state vectors corresponding to each part of the system.`|Ο` |

> 1 | Entangled. |

## Bell States (EinsteinβPodolskyβRosen Pairs)

Bell states act as a resource for superdense coding and quantum teleportation. The relative phase and parity define each of the Bell states. In order to define the four Bell states, one needs two classical bits. It also means one can transfer two bits information using the Bell states.

`|Ξ²`_{00}β© = 1/β2 |00β© + 1/β2 |11β©
|Ξ²_{01}β© = 1/β2 |01β© + 1/β2 |10β©
|Ξ²_{10}β© = 1/β2 |00β© - 1/β2 |11β©
|Ξ²_{11}β© = 1/β2 |01β© - 1/β2 |10β©

For example: we could prepare a system in the bell state `|Ξ²`

, and have the spin projection of one particle A measured, then there is no need to measure the spin projection of anther particle B. The quantum states of these two particles appear to be differently interconnected. Here in the example of _{11}β©`|Ξ²`

, the state of A and B particles are anti-correlated, since the spin projection values always appear to be opposite to each other: if one particle has a spin projection of +1/2, then the second one will have the spin projection value -1/2._{11}β©

Similarly one could setup experiments for a system prepared in other Bell states. One will observe correlations between particle states.

Moreover, the Bell states are the ** most entangled states** possible for a system of two qubits, which means if one takes a partial trace of the system density matrix over the states of the qubit B in order to obtain the density operator for the qubit A, we will get:

`Ο`^{^}_{A} = Tr_{B}(Ο^{^}_{AB}) = Tr_{B}(|Ξ²_{ij}β©β¨Ξ²_{ij}|) = 1/2 I_{A}
Ο^{^}_{B} = 1/2 I_{B}

This means the result of our measurement is absolutely random: we will find the qubit A in a state `|0β©`

with probability 1/2 or in a state `|1β©`

with the same probability after the measurement. Thus we will not obtain any information about the prepared state after a local measurement of A or B qubit.

The four Bell states `{|Ξ²`

form an orthonormal basis for a two qubit Hilbert space. This means that any state vector of the two qubits quantum system can be represented in the form of Bell states superposition._{ij}β©}

### Entangled States

Entangled states manifest correlations which do not have any classical physics analogues. The intrinsic feature of these correlations is their non-locality. This means that the entangled particles can be distanced far away from each other, but the correlations will still exist and manifest themselves in physical experiments.

In order to entangle the pair of quantum systems, one should bring them into interaction with each other (done directly or using an auxiliary system). One should perform a certain collective unitary transform on the composed system.

### EPR Paradox

The Bell states (EPR pairs) for a certain time have been serving as a basis for the critique of quantum mechanics ideas. Einstein, Podolsky and Rosen suggested the so-called EPR Paradox, which forced one to doubt all postulates of quantum theory. Nowadays quantum theory is generally accepted at least within it applicability limits. Quantum mechanics describes microword events perfectly.

Difficulties of quantum mechanics:

**The absence of determinism**(jokingly being named as “the eviction of Laplace’s demon”). Quantum mechanics is built on probabilistic description of microscopic objects, so random processes are its intrinsic part.**The observable object’s properties depend on the observation facilities.**In quantum mechanics the observing instrument acts as a reference system; the micro object’s properties can not be described without any information on instruments with which they have been measured.

### Simultaneous measurability

The values of the observables become determined directly after being measured with a physical instrument. The measuring instrument that measures an observable L, decomposes a state vector `|Οβ©`

** of any microsystem** into a superposition of the

*measuring instrument’s eigenstates*`{|iβ©}`

. These eigenstates are macroscopically distinguishable: `|Οβ© = β`_{i} c_{i}|Iβ©

. The states `|iβ©`

and `|i'β©`

are distinguishable if the condition `β¨i|i'β© = Ξ΄`_{ii'}

holds.Suppose two measuring instruments, corresponding to the observables L and M, have a common basis `{|iβ©}`

, then `[L`

(commute). The observable L and M can be measured with the dispersion of zero, i.e. they are simultaneously measurable.^{^}, M^{^}] = 0

If two operators, corresponding to the observables L and M, do not commute, i.e. `[L`

, then these observables can NOT be measured simultaneously with the dispersion of zero. In other words: after every new measurement one will obtain a new random result.^{^}, M^{^}] β 0

Einstein, Podolsky and Rosen raised a concept called ‘hidden variable’ to questioned the quantum theory:

- Is it possible for non-commuting observables of a quantum system to exist simultaneously?
- Is it possible even if these observables can not be measured simultaneously with any existing measuring apparatus?
- In other words: do the “hidden variables” exist in a physical system?

In order to find out which one of these conceptions is objective (hidden variables or quantum theory), a special experiment was designed. The two conceptions shall make different predictions on the result of such an experiment.

This experiment can be realized by checking the so-called Bell inequalities. The Bell inequalities hold if the hidden variables conception is correct and they are violated if the quantum theory is right.

## Bell Inequalities

John Bell suggested an idea of an experiment that allows one to check the correctness of both theories. Bell inequalities are understood as a set of experiments, which allow us to compare the predictions of hidden variables conception and quantum mechanics predictions.

Suppose a compound quantum system A + B, that consists of A and B subsystems. Let `L`

and _{A}`L'`

be two observables of the subsystem A and _{A}`M`

, _{B}`M'`

be two observables of the subsystem B. Consider a simple spectrum _{B}`{-1, +1}`

for each observable.

If all four observables occur to be the elements of physical reality (according to Einstein’s assumption), i.e. even if their values can not be measured due to an instrument’s imperfections, but these eigenvalues are fundamentally possible, then there exists (with non-negative probability) a set of their spectrum’s elements `{l`

, which could have been obtained after the measurement if possible.^{A}_{i}, l'^{A}_{j}, m^{B}_{k}, m'^{B}_{n}}

Construct an observable `S`

which depends on the observable `L`

, _{A}`L'`

, _{A}`M`

, _{B}`M'`

and define its corresponding operator _{B}`S`

. Hidden variables conceptions and Quantum theory give us different predictions:^{^}

Hidden variables | CHSH inequality (the form of a Bell inequality)`|β¨Sβ©| β€ 2` |

Quantum theory | Tsirelson’s bound`|β¨S` |

If one obtained in experiment the value for `2 < |β¨Sβ©| β€ 2β2`

, then the Bell inequalities are violated and the Quantum Theory predictions occur to be correct. Otherwise, if `|β¨Sβ©| β€ 2`

, then the Bell inequalities are obeyed and the hidden variables conception is true.

In the Bell test experiment, `|β¨S`

reaches the Tsirelson’s bound ^{^}β©|`2β2`

at the parameters ΞΈ_{ab} = ΞΈ_{a’b} = ΞΈ_{a’b’} = Ο/4 and ΞΈ_{ab’} = 3Ο/4. Thus the Bell inequalities are violated. It means that the results predicted by the hidden variables conception occur to be wrong. On the contrary, results obtained in quantum mechanics approach are consistent with the experiment results. This demonstrates that non-local quantum correlation characteristics of the quantum entangled states contribute into the `|β¨S`

.^{^}β©|

## My Certificate

For more on **Quantum Entanglement**, please refer to the wonderful course here https://www.coursera.org/learn/physical-basis-quantum-computing

## Related Quick Recap

*I am Kesler Zhu, thank you for visiting my website. Check out more course reviews at https://KZHU.ai*