Quantum Entanglement and Bell’s Theorem: Einstein’s Final Defeat and the Dawn of the Quantum Information Revolution

“Quantum Entanglement” is the greatest mystery in modern physics, and simultaneously its most powerful tool. And “Bell’s Theorem” shattered “local realism,” a concept fundamental to human intuition. These are not merely theoretical games of physics; they confront us with the fundamental nature of the universe, and furthermore, serve as the foundation for next-generation technologies such as quantum computers and quantum cryptographic communication.

In this article, we will provide an extremely detailed explanation from the perspectives of physics, quantum information science, and the philosophy of science. We begin with the 1935 EPR paper by Einstein and his colleagues, the struggles of hidden variable theories, the historical derivation of the inequality by John Stewart Bell, the CHSH inequality and the mathematical proof of its maximum violation in quantum mechanics (Tsirelson’s bound), and the grand drama leading up to the experimental verification by Aspect and others, culminating in the 2022 Nobel Prize in Physics. Furthermore, we will delve deeply, with mathematical formulas, into the complete refutation of local realism by the GHZ state of multi-particle entanglement, the rigorous protocol of quantum teleportation, and the methods for quantifying entanglement.

Chapter 1: 1935, Einstein’s Counterattack

As quantum mechanics was formulated in the 1920s by the Copenhagen School (Niels Bohr, Werner Heisenberg, and others), Albert Einstein harbored an intense dissatisfaction with its probabilistic and non-deterministic interpretation. His famous quote, “God does not play dice,” represents his rejection of the probabilistic nature underlying quantum mechanics.

In 1935, Einstein, together with Boris Podolsky and Nathan Rosen, published a historic paper that would leave its mark on the history of physics: Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?, commonly known as the “EPR paper.” The purpose of this paper was to logically prove that quantum mechanics was “incomplete,” meaning there must exist “hidden variables” that we do not yet know about.

Definitions of Locality and Realism

To understand the logical development of the EPR paper, it is necessary to accurately grasp the two fundamental concepts that Einstein and his colleagues assumed.

1. Realism: The idea that regardless of whether it is observed or not, a physical system possesses definite physical properties (values). In the EPR paper, it was defined as: “If, without in any way disturbing a system, we can predict with certainty (i.e., with probability equal to unity) the value of a physical quantity, then there exists an element of physical reality corresponding to this physical quantity.” In other words, the object holds its attributes deterministically before measurement, a common-sense notion in classical mechanics.
2. Locality: A principle based on the theory of relativity, which states that operations or measurements performed in one of two spatially separated regions cannot instantaneously affect the physical reality of the other region faster than the speed of light. According to the special theory of relativity, information transmission exceeding the speed of light would lead to the breakdown of causality, so any physical interaction is subject to the speed limit of light.

“Spooky action at a distance” and the EPR Paradox

In the EPR paper, the following thought experiment was presented. Consider two particles, A and B, which have strongly interacted with each other and are subsequently separated by a large distance. In the framework of quantum mechanics, these two particles are in an “entangled” state, described by a single overall wave function.

Suppose the position $x_A$ of particle A is measured. Due to the law of conservation of momentum, when the position of A is determined, the position $x_B$ of particle B is also instantaneously determined. On the other hand, if the momentum $p_A$ of particle A is measured, the momentum $p_B$ of particle B is instantaneously determined. According to quantum mechanics, position and momentum are non-commuting physical quantities ($[x, p] = i\hbar$) and cannot have definite values simultaneously (Heisenberg’s uncertainty principle). However, the choice of measurement on A (whether to measure position or momentum) appears to instantaneously determine the state of B (whether it is in a state of definite position or a state of definite momentum) faster than the speed of light.

If “locality” is correct, a measurement on A cannot instantaneously affect B. Einstein strongly criticized this, calling it “Spooky action at a distance” (Spukhafte Fernwirkung). Therefore, they concluded that B must have had both its position and momentum as definite values (hidden variables) predetermined before measurement, and since quantum mechanics cannot fully describe both position and momentum, it is an “incomplete theory.” This paradox was the first step toward a fundamental understanding of entanglement in later quantum information theory.

Chapter 2: The Dilemma of Hidden Variable Theories and Bohmian Mechanics

Following the publication of the EPR paper, physicists moved toward exploring the hypothesis that “quantum mechanics is correct but incomplete, and a deterministic theory (hidden variable theory) might exist at a deeper level.”

Von Neumann’s Incorrect “Impossibility Theorem”

Pouring cold water on this discussion was the genius mathematician John von Neumann. In his 1932 book Mathematical Foundations of Quantum Mechanics, he presented a proof (impossibility theorem) stating that it is mathematically impossible to construct a “hidden variable theory” that yields the same predictions as quantum mechanics. Von Neumann’s authority was immense, and for decades thereafter, the sentiment that “the search for hidden variables is meaningless” dominated the physics community.

However, as would later become clear, von Neumann’s proof included a highly restrictive and non-physical assumption as a “condition that hidden variables must satisfy” (the assumption that the additivity of expectation values of non-commuting physical quantities: $\langle A+B \rangle = \langle A \rangle + \langle B \rangle$ holds even at the level of hidden variables), and was actually not a complete proof. Grete Hermann had noticed this flaw early on, but it received no attention at the time.

Bohmian Mechanics: Non-local Hidden Variable Theory

In 1952, David Bohm broke through von Neumann’s impossibility theorem and constructed a deterministic “hidden variable theory” (Bohmian mechanics, or the de Broglie-Bohm theory) that provided predictions completely identical to quantum mechanics. In Bohm’s theory, particles always have definitive positions (hidden variables) and are guided by a “quantum potential” that spans the entire universe. This potential $Q = -\frac{\hbar^2}{2m}\frac{\nabla^2 R}{R}$, obtained by converting the Schrödinger equation into polar coordinates, has the peculiar property of not attenuating depending on distance.

However, Bohmian mechanics came with a severe cost. Because the quantum potential instantaneously affects the entire space, this theory was intrinsically “non-local.” The “spooky action at a distance” that Einstein abhorred the most was incorporated into Bohmian mechanics as the foundation of the theory. Einstein took a negative stance toward Bohm’s theory as well, calling it a “cheap solution,” and still believed in the existence of a “local” hidden variable theory.

Chapter 3: The Singlet State of Spin-1/2 Particles and the Exact Predictions of Quantum Mechanics

Before moving on to Bell’s theorem, let us fully develop the rigorous bra-ket calculation process using Pauli matrices for the entanglement correlations predicted by quantum mechanics. This will later become the core of quantum mechanics that clashes with local realism.

Suppose a pair of spin-1/2 particles is generated and is in a “Singlet State” with a total spin of zero. This state $|\psi^-\rangle$ is described as follows:

Here, $|\uparrow\rangle, |\downarrow\rangle$ represent the spin-up ($+1$) and spin-down ($-1$) eigenstates ($z$-basis), respectively. It is sometimes simply written as $|\psi^-\rangle = \frac{1}{\sqrt{2}}(|\uparrow\downarrow\rangle - |\downarrow\uparrow\rangle)$.

Alice measures the spin of her particle in direction $\vec{a}$, and Bob in direction $\vec{b}$. The direction vectors are unit vectors, which can be expressed in spherical coordinates as $\vec{a} = (\sin\theta_a\cos\phi_a, \sin\theta_a\sin\phi_a, \cos\theta_a)$, etc. The spin measurement operator for each direction, using the Pauli matrices $\vec{\sigma} = (\sigma_x, \sigma_y, \sigma_z)$, becomes $\sigma_a = \vec{a} \cdot \vec{\sigma}$ and $\sigma_b = \vec{b} \cdot \vec{\sigma}$.

What we want to know is the expectation value of the product of Alice and Bob’s measurement results, $\langle \sigma_a \otimes \sigma_b \rangle$. To calculate this, we expand it according to the definition of expectation value:

First, as a property of Pauli matrices, consider $\vec{a} \cdot \vec{\sigma} = a_x \sigma_x + a_y \sigma_y + a_z \sigma_z$. As a clever technique to simplify the calculation, we use the fact that the singlet state $|\psi^-\rangle$ is rotationally invariant (it has the same form in any basis). Here, however, we will perform a full expansion using a more direct algebraic approach.

Here, we evaluate $\langle \psi^- | \sigma_i \otimes \sigma_j | \psi^- \rangle$ for each component.

For $|\psi^-\rangle = \frac{1}{\sqrt{2}}(|01\rangle - |10\rangle)$:

• $\sigma_z \otimes \sigma_z$: $\sigma_z \otimes \sigma_z |01\rangle = (+1)(-1)|01\rangle = -|01\rangle$ $\sigma_z \otimes \sigma_z |10\rangle = (-1)(+1)|10\rangle = -|10\rangle$ Therefore, $\sigma_z \otimes \sigma_z |\psi^-\rangle = -|\psi^-\rangle$, and the expectation value is $-1$.
• $\sigma_x \otimes \sigma_x$: $\sigma_x \otimes \sigma_x |01\rangle = |10\rangle$ $\sigma_x \otimes \sigma_x |10\rangle = |01\rangle$ Therefore, $\sigma_x \otimes \sigma_x \frac{1}{\sqrt{2}}(|01\rangle - |10\rangle) = \frac{1}{\sqrt{2}}(|10\rangle - |01\rangle) = -|\psi^-\rangle$, and the expectation value is $-1$.
• $\sigma_y \otimes \sigma_y$: From $\sigma_y |0\rangle = i|1\rangle, \sigma_y |1\rangle = -i|0\rangle$, $\sigma_y \otimes \sigma_y |01\rangle = (i|1\rangle) \otimes (-i|0\rangle) = |10\rangle$ $\sigma_y \otimes \sigma_y |10\rangle = (-i|0\rangle) \otimes (i|1\rangle) = |01\rangle$ Therefore, $\sigma_y \otimes \sigma_y |\psi^-\rangle = -|\psi^-\rangle$, and the expectation value is $-1$.

On the other hand, the expectation values of different components (e.g., $\sigma_x \otimes \sigma_y$) are all $0$. This is because $\sigma_x \otimes \sigma_y |01\rangle = |1\rangle \otimes (-i|0\rangle) = -i|10\rangle$, etc., and when taking the inner product with $\langle \psi^-|$, it vanishes due to orthogonality.

is rigorously derived. If the angle between vectors $\vec{a}$ and $\vec{b}$ is $\theta$, then by the definition of inner product $\vec{a} \cdot \vec{b} = |\vec{a}||\vec{b}|\cos\theta = \cos\theta$ (since direction vectors are unit vectors, their length is 1). Thus, the correlation predicted by quantum mechanics becomes the following extremely beautiful and simple equation:

This powerful correlation of $-\cos\theta$ is precisely the source of the “unique quantum behavior” that can absolutely never be reproduced by classical hidden variable theories.

Chapter 4: The Impact of John Stewart Bell and the Rigorous Derivation of the CHSH Inequality

In 1964, John Stewart Bell, an Irish physicist conducting research on particle physics at CERN, spent his free time studying the fundamental problems of quantum mechanics. Considering that Bohmian mechanics was non-local, he harbored the following profound question:

“Is it really possible to reproduce all the predictions of quantum mechanics with a ’local’ hidden variable theory such as Einstein desired?”

Bell elevated this problem, which had merely been a philosophical debate, into a form that could be experimentally verified through rigorous mathematical formulation. This is “Bell’s Theorem” and “Bell’s Inequality,” which shine brilliantly in the history of science. And in 1969, four individuals, John Clauser, Michael Horne, Abner Shimony, and Richard Holt (CHSH), derived an extended version of the inequality, the “CHSH Inequality,” which was verifiable in real-world experiments.

Assumptions of Local Realism and the Integral/Algebraic Expansion of the CHSH Inequality

An extremely important logical step enters here. Both $B(b, \lambda)$ and $B(b', \lambda)$ must always take values of $+1$ or $-1$. Therefore, considering their sum and difference, only the following two cases exist:

• Case 1: If $B(b, \lambda) = B(b', \lambda)$ The sum is $B(b, \lambda) + B(b', \lambda) = \pm 2$, and the difference is $B(b, \lambda) - B(b', \lambda) = 0$.
• Case 2: If $B(b, \lambda) = -B(b', \lambda)$ The sum is $B(b, \lambda) + B(b', \lambda) = 0$, and the difference is $B(b, \lambda) - B(b', \lambda) = \pm 2$.

This is the limit value that absolutely cannot be exceeded if the universe follows “local realism.”

Maximum Quantum Mechanical Violation (Tsirelson Bound)

Recall the quantum mechanical prediction $E(\vec{a}, \vec{b}) = -\cos\theta$ derived in Chapter 3. Suppose Alice and Bob set their measuring instruments to the following angles:

• $a = 0$
• $a' = \pi/2$
• $b = \pi/4$
• $b' = -\pi/4$

(*Note: When using photon polarization, the coefficient is different from spin-1/2, making it $E = \cos(2\theta)$, but the essence remains the same if calculated with the above settings using spin.) The angle differences between each setting are: $|a - b| = \pi/4$ $|a - b'| = \pi/4$ $|a' - b| = \pi/4$ $|a' - b'| = 3\pi/4$

Substituting these into the predictions of quantum mechanics, $E(a, b) = -\cos(\pi/4) = -1/\sqrt{2}$ $E(a, b') = -\cos(\pi/4) = -1/\sqrt{2}$ $E(a', b) = -\cos(\pi/4) = -1/\sqrt{2}$ $E(a', b') = -\cos(3\pi/4) = +1/\sqrt{2}$

Taking the absolute value, we get $|S| = 2\sqrt{2} \approx 2.828$.

This clearly exceeds $2$, the limit of local realism ($2.828 > 2$). This maximum possible value achieved by quantum mechanics is called the Tsirelson Bound. Through rigorous mathematical proof, it was shown that local realism is absolutely incompatible with the predictions of quantum mechanics.

Chapter 5: Multi-Particle Entanglement and the “All-or-Nothing” Refutation of Local Realism

Bell’s Theorem was based on an “inequality” of statistical correlations. However, in 1989, Daniel Greenberger, Michael Horne, and Anton Zeilinger showed that by considering an entangled state of three particles (the GHZ state), one could completely refute local realism with the contradiction of just a single measurement result, without relying on inequalities or statistical probabilities. This is called the “All-or-Nothing proof” or the “GHZ theorem.”

Properties of the GHZ State

Here, we apply the following products of Pauli operators:

1. $X_1 Y_2 Y_3 = \sigma_x^{(1)} \otimes \sigma_y^{(2)} \otimes \sigma_y^{(3)}$
2. $Y_1 X_2 Y_3 = \sigma_y^{(1)} \otimes \sigma_x^{(2)} \otimes \sigma_y^{(3)}$
3. $Y_1 Y_2 X_3 = \sigma_y^{(1)} \otimes \sigma_y^{(2)} \otimes \sigma_x^{(3)}$
4. $X_1 X_2 X_3 = \sigma_x^{(1)} \otimes \sigma_x^{(2)} \otimes \sigma_x^{(3)}$

Using $\sigma_x |\uparrow\rangle = |\downarrow\rangle, \sigma_x |\downarrow\rangle = |\uparrow\rangle$ $\sigma_y |\uparrow\rangle = i|\downarrow\rangle, \sigma_y |\downarrow\rangle = -i|\uparrow\rangle$ when we apply $X_1 Y_2 Y_3$ to $|GHZ\rangle$, $X_1 Y_2 Y_3 |\uparrow\uparrow\uparrow\rangle = |\downarrow\rangle (i|\downarrow\rangle) (i|\downarrow\rangle) = -|\downarrow\downarrow\downarrow\rangle$ $X_1 Y_2 Y_3 |\downarrow\downarrow\downarrow\rangle = |\uparrow\rangle (-i|\uparrow\rangle) (-i|\uparrow\rangle) = -|\uparrow\uparrow\uparrow\rangle$ Therefore, $X_1 Y_2 Y_3 |GHZ\rangle = \frac{1}{\sqrt{2}} (-|\downarrow\downarrow\downarrow\rangle + |\uparrow\uparrow\uparrow\rangle) = |GHZ\rangle$ and the eigenvalue is $+1$. From symmetry, the eigenvalues for $Y_1 X_2 Y_3$ and $Y_1 Y_2 X_3$ are also $+1$.

On the other hand, when we apply $X_1 X_2 X_3$, $X_1 X_2 X_3 |\uparrow\uparrow\uparrow\rangle = |\downarrow\downarrow\downarrow\rangle$ $X_1 X_2 X_3 |\downarrow\downarrow\downarrow\rangle = |\uparrow\uparrow\uparrow\rangle$ Therefore, $X_1 X_2 X_3 |GHZ\rangle = \frac{1}{\sqrt{2}} (|\downarrow\downarrow\downarrow\rangle - |\uparrow\uparrow\uparrow\rangle) = -|GHZ\rangle$ and the eigenvalue is $-1$. Quantum mechanics predicts these results with certainty (probability 1).

Algebraic Proof of the Breakdown of Local Realism

In local realism, we assume that measurement results are determined by predetermined hidden variables. Let the measurement results in the X and Y directions for particle 1 be $m_x^1, m_y^1 \in \{+1, -1\}$, respectively. We define the same for particles 2 and 3. Because they must match the $+1$ predictions of quantum mechanics, the model of local realism must satisfy the following three equations:

1. $m_x^1 m_y^2 m_y^3 = +1$
2. $m_y^1 m_x^2 m_y^3 = +1$
3. $m_y^1 m_y^2 m_x^3 = +1$

We multiply all three of these equations together. $(m_x^1 m_y^2 m_y^3)(m_y^1 m_x^2 m_y^3)(m_y^1 m_y^2 m_x^3) = +1 \times +1 \times +1 = +1$ Rearranging the left side, each $m_y^i$ is multiplied twice, so $(m_y^i)^2 = 1$. $m_x^1 m_x^2 m_x^3 (m_y^1)^2 (m_y^2)^2 (m_y^3)^2 = m_x^1 m_x^2 m_x^3 = +1$

In other words, as long as it follows local realism, the measurement result of $X_1 X_2 X_3$ must absolutely be $+1$. However, as we saw earlier, the exact prediction of quantum mechanics (and actual experimental results) is $-1$. $+1$ versus $-1$. Without even needing a statistical inequality, local realism and quantum mechanics decisively contradict each other in a single measurement, thus proving the correctness of quantum mechanics.

(*Incidentally, for 3-particle entanglement, there also exists a W state $|W\rangle = \frac{1}{\sqrt{3}}(|100\rangle + |010\rangle + |001\rangle)$, which has properties different from the GHZ state, possessing a robustness such that even if one particle is lost, the entanglement is not completely broken.)

Chapter 6: Applications to Quantum Information Science and the Rigorous Development of Quantum Teleportation

Entanglement has transformed from a subject of paradox to an “information resource.” A prime example of this is “Quantum Teleportation.” It was proposed in 1993 by Charles Bennett and colleagues, and first experimentally demonstrated in 1997 by the group of Anton Zeilinger (a 2022 Nobel laureate).

Mathematical Development of the Quantum Teleportation Protocol

Suppose Alice possesses an unknown quantum state $|\phi\rangle = \alpha|0\rangle + \beta|1\rangle$ and wants to transfer this to Bob, who is far away. ($|\alpha|^2 + |\beta|^2 = 1$) Due to the no-cloning theorem, this state cannot be copied and sent. Also, if measured, the state collapses, making it impossible to accurately know the unknown $\alpha, \beta$.

(Note: The indices are in the order of $C, A, B$)

Here, Alice performs a “Bell measurement” on particle C and particle A in her possession. This is a measurement that projects the two particles onto the basis of the following four Bell states: $|\Phi^\pm\rangle_{CA} = \frac{1}{\sqrt{2}}(|00\rangle \pm |11\rangle)$ $|\Psi^\pm\rangle_{CA} = \frac{1}{\sqrt{2}}(|01\rangle \pm |10\rangle)$

When Alice performs the Bell measurement, the system collapses into one of these four terms with a probability of 1/4.

1. If Alice obtains $|\Phi^+\rangle$, Bob’s state becomes $\alpha|0\rangle + \beta|1\rangle = |\phi\rangle$, and the transfer is already complete (Unitary operator $I$).
2. If she obtains $|\Phi^-\rangle$, Bob’s state is $\alpha|0\rangle - \beta|1\rangle$. If Bob applies the Pauli $Z$ operator ($\sigma_z$), it returns to $|\phi\rangle$.
3. If she obtains $|\Psi^+\rangle$, Bob’s state is $\alpha|1\rangle + \beta|0\rangle$. If Bob applies the Pauli $X$ operator ($\sigma_x$), it returns to $|\phi\rangle$.
4. If she obtains $|\Psi^-\rangle$, Bob’s state is $\alpha|1\rangle - \beta|0\rangle$. By applying $Z$ and then $X$ (which is $XZ$ or $i\sigma_y$), Bob returns it to $|\phi\rangle$.

Alice transmits her measurement result (2 bits of classical information: 00, 01, 10, 11) to Bob through conventional communication (telephone or internet). Because this communication does not exceed the speed of light, it does not contradict the theory of relativity. Bob applies the appropriate Pauli operator according to the 2 bits he received, splendidly recovering the unknown quantum state $|\phi\rangle$. This is the complete protocol for quantum teleportation.

Chapter 7: Quantification of Entanglement

Entanglement can be quantified not just as “present” or “absent,” but also by “how strongly entangled it is.” In quantum information theory, this is an extremely important research topic.

1. Von Neumann Entanglement Entropy

In a maximally entangled state like a Bell state, $\rho_A$ becomes a completely mixed state (proportional to the identity matrix), taking the maximum value of $S = 1$. Intuitively, it expresses the essence of entanglement: “The state of the whole is perfectly known, but if you look only at the part (system A), there is no information at all (it appears random).”

2. Concurrence

$C(\rho)$ takes a value from $0$ (no entanglement) to $1$ (maximum entanglement), and it has a powerful mathematical property allowing the direct calculation of another measure called “Entanglement of Formation” using this value.

3. Negativity

This is equal to the absolute sum of the negative eigenvalues and is easy to calculate, making it an extremely useful index for studying entanglement in high-dimensional or many-body systems.

Chapter 8: Experimental Verification and the Complete Closing of Loopholes

The theory was completed, and its applications became visible. What remained was to confront in the laboratory which laws nature actually follows.

Alain Aspect’s Switch Experiment (1982)

After Alice and Bob decide the angles of their measuring instruments, the possibility must be eliminated that this information travels to the other side at subluminal speeds and influences the “hidden variable.” This is called the “Locality Loophole.” Alain Aspect and colleagues in France succeeded in an experiment where, while the photons were flying from the source toward the measuring instruments, the angle settings of the instruments were randomly switched at ultra-high speed using acousto-optic modulators. This created a situation where information could not be transmitted even by light-speed signals (spatial separation), and beautifully observed the violation of the inequalities. Einstein’s “spooky action at a distance” had become reality.

The Ultimate Challenge: A Perfect Loophole-free Experiment (2015)

Even after Aspect’s experiment, slight room for rebuttal remained, such as low detection efficiency (the “Fair-sampling Loophole,” which assumes that unmeasured photons had convenient hidden variables). However, in 2015, multiple research groups including Delft University of Technology in the Netherlands, the University of Vienna in Austria, and NIST in the United States finally succeeded in a “Loophole-free Bell test” that simultaneously closed all major loopholes. In the Delft experiment, by entangling electron spins in diamond NV centers 1.3 km apart, they completely sealed the locality loophole and the detection loophole, driving the final nail into the coffin of local realism.

Conclusion: The Light Brought by Einstein’s Defeat

In 2022, the Nobel Prize in Physics was awarded to Alain Aspect, John Clauser, and Anton Zeilinger, three individuals who definitively established the foundation of quantum mechanics.

Einstein disliked the probabilistic nature and non-locality of quantum mechanics and wrote the EPR paper to criticize them. Yet, ironically, his sharp criticism clearly highlighted the concept of “entanglement,” and through the genius of Bell, paved the way for humanity to truly understand the non-local connections of the universe and utilize them as technology.

Einstein’s “final defeat” was by no means the stagnation of physics, but a magnificent dawn for humanity to acquire an entirely new language of the universe: quantum information.

Written by: Quantum Information Science and Technology Writer This article is an academic exposition covering everything from the foundations of quantum mechanics to cutting-edge quantum information technology.