⚛️ quantum physics

On the EPR paradox in systems with finite number of levels (Revised)

This paper reexamines the EPR paradox in composite systems with a finite number of levels to demonstrate how measurement-induced changes in conditional probabilities and microscopic state compatibility alter quantum predictions, while noting that such finite-level systems offer a mathematically simpler framework that preserves the same physical interpretations and experimental setups as continuous cases.

Original authors: Henryk Gzyl

Published 2026-03-03

📖 7 min read🧠 Deep dive

CC BY 4.0

Original authors: Henryk Gzyl

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: What is this paper about?

Imagine you have a pair of magic dice. They are "entangled," meaning they are linked by a secret rule: if you roll them together, their numbers always add up to a specific total (let's say 7).

In 1935, Einstein, Podolsky, and Rosen (the EPR team) looked at this scenario and said, "This is weird! If I look at my die and see a 3, I instantly know your die is a 4. I know your die's value without touching it. But quantum mechanics says you can't know a particle's position and speed perfectly at the same time. So, if I know your speed (momentum) perfectly, you shouldn't be able to know your position perfectly. But since I know your speed just by looking at my die, it feels like your die has a definite speed and a definite position all along. Quantum mechanics must be missing something!"

This is the EPR Paradox. It suggests that quantum mechanics is incomplete or that "spooky action at a distance" is happening.

Henryk Gzyl's paper says: "Hold on. Let's look at this with simpler dice (systems with a finite number of levels, like spin-up or spin-down) instead of complex, continuous waves. When we do the math carefully, there is no paradox. The universe isn't breaking; we just misunderstood how 'knowing' something changes the game."

The Core Concept: The "Magic Filter"

The paper argues that the mistake in the EPR argument is thinking that the state of the second particle stays the same after you measure the first one. Gzyl explains that measurement is a filter.

Analogy 1: The Two-Box Mystery

Imagine you have two boxes, Box A and Box B. Inside, there are colored balls.

The Rule: The balls always have opposite colors. If A is Red, B is Blue. If A is Blue, B is Red.
The Setup: You don't know what's inside yet. The system is in a "superposition" (a mix of possibilities).

The EPR Argument (The Old Way of Thinking):

You open Box A and see a Red ball.
You instantly know Box B has a Blue ball.
EPR says: "Since you know Box B is Blue without opening it, Box B must have been Blue all along. It has a definite property. Therefore, we can measure other things about Box B (like its shape) without disturbing it. But quantum mechanics says we can't know everything about Box B at once. So, quantum mechanics is wrong!"

Gzyl's Argument (The New Way of Thinking):
Gzyl says: "You are right that you know Box B is Blue. But you are wrong that Box B was Blue all along."

When you opened Box A, you didn't just discover the color; you changed the reality of the whole system.

Before you looked, the system was a fuzzy cloud of "Red/Blue" and "Blue/Red" possibilities.
The moment you looked at Box A, the "cloud" collapsed. The system is now definitely "Red in A, Blue in B."
Because the system changed, the rules for predicting what happens next also changed.

The "Finite Levels" Twist

The paper focuses on systems with a finite number of levels (like a coin that can only be Heads or Tails, rather than a spinning top that can be at any angle).

In the continuous world (like real momentum and position), if you know the speed perfectly, the position becomes infinitely uncertain (a huge blur). This makes the math messy.

But in this "finite" world (like our coin or the Pauli spin matrices in the paper), the math is cleaner. Gzyl shows that in these finite systems:

When you measure Particle 1, you force Particle 2 into a specific state.
In this new state, the "uncertainty" of Particle 2's speed becomes zero (you know it perfectly).
Crucially: In this specific finite state, the "uncertainty" of Particle 2's other property (like position) does not blow up to infinity. It stays finite.

Why? Because of a mathematical quirk in finite systems. The "uncertainty principle" formula has a term on the right side. In continuous systems, that term is never zero. In these specific finite systems, that term can be zero.

The Metaphor:
Imagine a rule that says, "If you know the speed of a car perfectly, you must know nothing about its location."

Continuous World: This rule is strict. If speed is 100% known, location is 0% known.
Finite World (Gzyl's finding): The rule has a loophole. If the car is in a specific "parking spot" (a specific quantum state), you can know the speed perfectly, and the location is still well-defined. The "penalty" for knowing the speed is zero.

The "Conditional Probability" Secret

The paper emphasizes that predictions depend on what you have already measured.

Before you measure: You have a "prior" probability. You are guessing based on the whole cloud of possibilities.
After you measure: You have a "conditional" probability. You are guessing based on the new, filtered reality.

Gzyl uses the math of conditional probability (like in statistics) to show that the "new" quantum state is just the "old" state filtered by the measurement.

The Analogy of the Weather App:

Before checking: The app says there is a 50% chance of rain.
You look outside: You see it is sunny.
The Update: The app doesn't say, "Oh, the universe is broken because I predicted rain." It says, "Given that it is sunny, the probability of rain is now 0%."

Gzyl is saying: EPR looked at the "Before" prediction and the "After" prediction and thought they were contradictory. But they aren't! They are just different predictions for different conditions. The act of measuring changed the condition.

The "Spooky Action" is Just a State Update

EPR worried that measuring one particle instantly changed the other particle "spookily" across the universe.

Gzyl's paper clarifies: It's not spooky magic. It's information update.
When you measure Particle 1, you aren't sending a signal to Particle 2. You are simply updating your description of the entire system. Since the two particles were linked from the start, knowing one part of the link instantly tells you the state of the other part.

In the finite systems described in the paper, this update is perfectly consistent with the laws of physics. The "Uncertainty Principle" is not violated because the specific mathematical conditions required to break it (a non-zero "C" term in the equation) simply don't exist in this specific setup.

Summary: What did we learn?

The Paradox is a Misunderstanding: The EPR paradox arises from thinking that the state of a particle doesn't change when you measure its partner.
Measurement Changes the Game: Measuring one part of an entangled pair forces the whole system into a new, specific state.
Finite Systems are Special: In systems with a limited number of states (like spin), the math works out such that you can know one property perfectly without breaking the uncertainty principle, because the "penalty" term in the equation vanishes.
No Spooky Action: There is no magic signal traveling faster than light. There is only the logical update of probabilities based on new information.

The Bottom Line:
The universe isn't broken. We just need to remember that in quantum mechanics, asking a question (measuring) changes the answer. Once you ask the question, the rules for the next prediction are different, and in finite systems, those new rules are perfectly safe.

1. Problem Statement

The paper addresses the Einstein-Podolsky-Rosen (EPR) paradox within the context of quantum systems possessing a finite number of energy levels (discrete systems), as opposed to the continuous systems (like position and momentum) typically analyzed in standard literature.

The Paradox: EPR argued that for an entangled system where the sum of two observables ( $S = A_1 + A_2$ ) is conserved, measuring $A_1$ allows one to predict $A_2$ with certainty (zero error) without disturbing the second particle. EPR claimed this implies $A_2$ has a definite value independent of measurement, which, combined with the ability to measure a non-commuting observable $B_2$ with arbitrary precision, violates the Heisenberg Uncertainty Principle.
The Gap: While the continuous case is well-understood (where the uncertainty bound involves a non-zero constant), the specific behavior of the uncertainty principle in finite-dimensional Hilbert spaces (where the commutator of observables may have a vanishing expectation value in certain states) requires re-examination to resolve the apparent paradox.

2. Methodology

The author employs a rigorous mathematical framework based on finite-dimensional Hilbert spaces and conditional probability theory to analyze the EPR scenario.

System Setup:
- Consider two identical subsystems with an $N$ -dimensional complex Hilbert space $H_0$ .
- Observables $A, B, C$ are Hermitian matrices satisfying the commutation relation $[A, B] = iC$ (with $\alpha=1$ ).
- The joint system is $H = H_0 \otimes H_0$ . The total observable is $S = A_1 + A_2$ , which is conserved ( $[H, S] = 0$ ).
State Preparation and Projection:
- The system is prepared in a state $|\Psi\rangle$ .
- A measurement of $S$ yielding value $s$ projects the system onto the subspace spanned by eigenstates of $S$ with eigenvalue $s$ . The new state is $|\Psi_s\rangle = \frac{\Pi_s |\Psi\rangle}{\sqrt{p(s)}}$ , where $\Pi_s$ is the projection operator.
Conditional Probability Analysis:
- The author reinterprets the post-measurement state as a conditional probability distribution.
- The probability of observing $A_1 = a_n$ given $S=s$ is derived as $P(A_1=a_n | S=s) = \frac{q_\Psi(a_n, s-a_n)}{p(s)}$ , where $q_\Psi$ is the joint probability.
Quantum Conditional Expectation:
- The paper defines the quantum conditional expectation $E_\Psi[f(A_1)|S]$ and demonstrates its equivalence to the expectation value calculated in the post-measurement state.
Specific Example:
- The analysis is applied to a two-level system (qubits) using Pauli spin matrices ( $A=\sigma_z, B=\sigma_x, C=\sigma_y$ ).

3. Key Contributions

The paper makes several theoretical contributions to the understanding of quantum measurement and the EPR paradox:

Reformulation via Conditional Probabilities: The author establishes that the "paradox" arises from a misunderstanding of how probability distributions change upon measurement. The prediction of $A_2$ after measuring $A_1$ is not a property of the original state but a conditional prediction based on the new state $|\Psi_s\rangle$ (or the subsequent state after measuring $A_1$ ).
Resolution of the Discrete Paradox: The paper proves that in finite-dimensional systems, the EPR argument fails because of the specific properties of the commutator $C$ $C$ .
- Theorem 1.1: For Hermitian matrices satisfying $[A, B] = iC$, the trace of $C$ is zero ( $\text{tr}(C)=0$ ), and for any eigenstate $\phi_a$ of $A$ , the expectation value $\langle \phi_a, C \phi_a \rangle = 0$ .
- Implication: If the system is in a state where $A_2$ is known with certainty (zero variance), the expectation value of the commutator term in the uncertainty relation, $\langle C \rangle$ , also vanishes.
Consistency of Uncertainty Principle: The paper demonstrates that the Heisenberg Uncertainty Principle ( $\Delta A \Delta B \geq \frac{1}{2}|\langle C \rangle|$ ) is not violated in the post-measurement state. If $\Delta A = 0$ , the right-hand side of the inequality becomes 0 (because $\langle C \rangle = 0$ ), allowing $\Delta B$ to be finite (or even zero in specific discrete cases) without contradiction.
Equivalence of Prediction and Conditional Expectation: The author formally verifies that the standard quantum mechanical prediction in a post-measurement state coincides exactly with the mathematical definition of quantum conditional expectation.

4. Results

Post-Measurement State: When $S=s$ is measured, the state becomes an entangled superposition of pairs $(a_n, s-a_n)$ . In this state, the variances of $A_1$ and $A_2$ are equal ( $\Delta A_1 = \Delta A_2$ ), and their means sum to $s$ .
Sequential Measurement: If $A_1$ $A_{1}$ is subsequently measured and yields $a_1$ $a_{1}$ , the system collapses to a product state $|a_1, s-a_1\rangle$ $∣ a_{1}, s - a_{1} ⟩$ .
- In this state, $\Delta A_2 = 0$ (perfect prediction of $A_2$ ).
- Crucially, the expectation value $\langle C_2 \rangle$ in this specific eigenstate is zero.
- Therefore, the uncertainty relation becomes $0 \cdot \Delta B_2 \geq 0$ , which is mathematically valid.
Pauli Spin Example: In the specific case of two qubits with $S=0$ $S = 0$ :
- The state is $|\Psi_0\rangle = \gamma_1 |1, -1\rangle + \gamma_2 |-1, 1\rangle$ .
- If $A_1$ is measured as $+1$ , the state becomes $|1, -1\rangle$ .
- Here, $\Delta A_2 = 0$ and $\langle \sigma_y \rangle = 0$ .
- The product of uncertainties is $0 \times 1 = 0$ , which satisfies the bound $0 \geq 0$ .
No "Spooky Action": The change in the probability distribution of the second particle is a result of updating the conditional probability based on the measurement outcome, not a physical signal traveling faster than light.

5. Significance

Clarification of Quantum Foundations: The paper clarifies that the EPR paradox is not a contradiction in quantum mechanics but a misinterpretation of the role of conditional probability and the state update rule (wavefunction collapse).
Finite vs. Continuous Systems: It highlights a fundamental difference between continuous and discrete systems. In continuous systems (like position/momentum), the commutator is a multiple of the identity, so $\langle C \rangle$ is never zero, forcing one variance to infinity if the other is zero. In finite systems, $\langle C \rangle$ can be zero in eigenstates, allowing both variances to be zero (or finite) without violating the uncertainty principle.
Pedagogical Value: By using finite-dimensional systems (simpler mathematically), the author isolates the core logical structure of the paradox, making the resolution more transparent than in the continuous case.
Statistical Interpretation: The work reinforces the view that quantum mechanics is a theory of conditional predictions. The "reality" of a value for an unmeasured observable is only defined relative to the specific measurement context (the conditioning event).

In conclusion, Gzyl demonstrates that for finite-level systems, the EPR argument collapses because the condition required to violate the uncertainty principle (a non-zero lower bound in the presence of zero variance) does not exist. The "paradox" is resolved by recognizing that the post-measurement state is a conditional state where the uncertainty bound naturally adjusts to zero.