Finite-Precision Quantum Mechanics

This paper introduces Interval Quantum Mechanics (IQM), a finite-precision framework that replaces idealized point states with "quantum parcels" (open sets of density matrices) to resolve foundational paradoxes like the von Neumann entropy dilemma and wave-particle duality by treating quantum states as epistemic geometric objects that evolve deterministically and refine through measurement, while recovering standard quantum predictions in the infinite-precision limit.

The Gist

Imagine you are trying to describe the exact location of a speck of dust floating in a sunbeam. Standard Quantum Mechanics (the usual way we teach physics) says you can pinpoint that speck with infinite precision: "It is exactly here, at coordinate X." It treats the universe like a perfect, high-definition photograph where every particle has a single, sharp position and a single, exact probability of being somewhere.

Interval Quantum Mechanics (IQM), proposed by Abbas Edalat, argues that this "perfect photo" is a fantasy. In the real world, our eyes, our detectors, and even the fabric of space itself have limits. We can never measure anything with infinite precision. We can only say, "The dust is somewhere between here and there."

This paper proposes a new way to do physics that starts with these limits, rather than ignoring them. Here is how it works, using simple analogies:

1. The "Quantum Parcel" (Instead of a Point)

In standard physics, a quantum state is a point—a single, sharp dot on a map.
In IQM, a quantum state is a parcel.

Think of a parcel not as a package you mail, but as a fuzzy cloud or a region of uncertainty.

• The Analogy: Imagine you are looking at a blurry photo of a cat. You can't say exactly where the cat's nose is. You can only say, "The nose is somewhere inside this small circle." That circle is your "parcel."
• The Paper's Claim: The state of a system isn't a single dot; it's a whole open set (a cloud) of all the possible microscopic states that fit your blurry, finite-precision measurements. If you measure the energy of a system and get a value between 5 and 6, the "state" is the entire cloud of all possible configurations that could produce a result in that range.

2. The "Double-Parcel" (Tracking What's Impossible)

Standard physics struggles with the idea of "ruling things out" without a magical "collapse." IQM introduces a Double-Parcel to handle this.

• The Analogy: Imagine you are playing a game of "Guess the Number" between 1 and 100.
  • Parcel 1 (Possible): A big box containing all the numbers you think it could be (e.g., 1–100).
  • Parcel 2 (Impossible): A separate box where you put numbers you know it cannot be.
• The Paper's Claim: When you make a measurement, you don't just shrink the "Possible" box. You also move some numbers into the "Impossible" box.
  • In standard physics, if you measure a cat and find it's alive, the "dead" version of the cat just vanishes from the math.
  • In IQM, the "dead" cat is explicitly moved into the Impossible Box. This creates a clear, geometric record of what you have ruled out.

3. Solving the "Cat Paradox"

The famous Schrödinger's Cat thought experiment asks: Is the cat alive and dead at the same time?

• Standard View: The cat is in a "superposition" (a weird mix of alive and dead) until you look.
• IQM View: The cat is always either alive or dead. We just don't know which one yet.
  • The Analogy: Imagine a sealed box. Inside is a cat. You have a blurry sensor that tells you the cat is "somewhere in the box." Your "parcel" (your knowledge) covers both the "alive" corner and the "dead" corner because your sensor isn't sharp enough to tell the difference.
  • The Resolution: The cat isn't magically both alive and dead. It's just that your knowledge (the parcel) is too fuzzy to distinguish them. When you open the box (measure), your parcel shrinks. The "alive" part stays in the "Possible" box, and the "dead" part moves to the "Impossible" box. The cat was never in a superposition; your map just had a big, fuzzy area.

4. The "Spooky Action" Disappears

Einstein hated "spooky action at a distance," where measuring one particle instantly changes another far away.

• IQM View: Nothing physical travels faster than light.
  • The Analogy: Imagine you and a friend each have a sealed envelope. One has a red card, one has a blue card. You don't know which is which. You open yours and see Red. Instantly, you know your friend has Blue.
  • Did you send a signal to your friend? No. You just updated your knowledge.
  • In IQM, when Alice measures her particle, she updates her "Parcel." Bob's particle doesn't physically change; only the geometric description of the joint system updates to reflect that Alice now knows something. It's a change in information, not a physical signal.

5. Why This Matters for Computers

The paper suggests this isn't just philosophy; it's practical for building quantum computers.

• The Analogy: Standard quantum computers try to calculate with perfect, infinite-precision numbers, which is impossible on real, noisy hardware.
• The Paper's Claim: IQM treats quantum states like hyper-rectangles (boxes with intervals). This is a natural "data type" for computers. Instead of trying to track a perfect point (which is impossible), the computer tracks a box.
  • This allows engineers to track exactly how much "fuzziness" (error) is in their calculations.
  • It helps build computers that are aware of their own limits, making them more robust against the noise of the real world.

Summary

Interval Quantum Mechanics says: "Stop pretending we have perfect, infinite vision."

• States are not points; they are clouds of possibility (parcels).
• Measurements don't magically collapse reality; they just shrink the cloud and move ruled-out options into an "Impossible" box.
• Paradoxes (like the cat or spooky action) vanish because they were caused by assuming we could know more than is physically possible.
• The Result: A version of quantum mechanics that is mathematically rigorous, fits the reality of finite measurement, and provides a better blueprint for building real quantum computers.

The paper concludes that the "perfect" world of standard quantum mechanics is just a useful mathematical limit we can never actually reach, like a perfect circle drawn on a pixelated screen. IQM gives us the tools to work with the pixels.

Technical Summary

Technical Summary: Interval Quantum Mechanics (IQM)

1. Problem Statement

Standard quantum mechanics (SQM) relies on idealizations of infinite precision: point-like wave functions, exact real-number probabilities, and sharp projective measurements. However, physical reality imposes hard bounds on precision due to finite detector resolution, the Planck scale, and the macroscopic nature of observation. In macroscopic systems, observers never access the microscopic state but only a few coarse-grained observables (e.g., total energy, magnetization).

This discrepancy creates foundational puzzles:

• The Measurement Problem: The apparent collapse of a wave function and the paradox of Schrödinger's cat (a system in a literal superposition of macroscopic states).
• Non-locality: The "spooky action at a distance" in entanglement, seemingly violating relativistic causality.
• Entropy Paradox: In SQM, measuring a pure state yields a definite outcome but leaves the von Neumann entropy unchanged, contradicting the intuitive notion of information gain.

Current interpretations (Copenhagen, Many-Worlds, QBism) often introduce additional ontological or subjective assumptions to resolve these issues. This paper argues that the root cause is the unphysical idealization of the "point state."

2. Methodology: Interval Quantum Mechanics (IQM)

The paper proposes Interval Quantum Mechanics (IQM), a reformulation where the fundamental physical state is not a point in the Hilbert space but a quantum parcel.

2.1 The Quantum Parcel

A quantum parcel is defined as a non-empty, weak* open, convex subset of the space of density matrices $\mathcal{D}(\mathcal{H})$. Formally, a basic parcel $O$ is defined by a finite set of strict expectation intervals for macroscopic observables $H_1, \dots, H_m$:
$$O = \{ \rho \in \mathcal{D}(\mathcal{H}) : a_j < \text{Tr}(\rho H_j) < b_j, \ j = 1, \dots, m \}$$
This set represents the exact epistemic state of an observer with finite-precision data. It is not an approximation of a "true" point state; rather, the point state is the unattainable limit.

2.2 The Double-Parcel

To track negative information (states definitively ruled out), the framework introduces a double-parcel $(O_1, O_2)$, where:

• $O_1$: The set of possible states (consistent with current data).
• $O_2$: The set of impossible states (definitively excluded).
• $O_1 \cap O_2 = \emptyset$.

2.3 Geometric Information

Information is quantified geometrically via the Hilbert-Schmidt volume ($\text{Vol}$) of these sets:

• Single-parcel information: $I(O) = 1/\text{Vol}(O)$.
• Double-parcel information: $I(O_1, O_2) = \text{Vol}(O_2) / \text{Vol}(O_1)$.
  Under a measurement, $O_1$ contracts (possible states reduce) and $O_2$ expands (impossible states increase), causing $I$ to increase monotonically.

2.4 Dynamics and Measurement

• Unitary Evolution: Lifted to parcels as a deterministic, volume-preserving flow: $U(O) = \{ U\rho U^\dagger \mid \rho \in O \}$.
• Fuzzy Measurements: Modeled using Positive Operator-Valued Measures (POVMs) with a fuzziness parameter $\eta \in (0, 1)$. The update map $f_j(\rho) = M_j \rho M_j^\dagger / \text{Tr}(\rho E_j)$ contracts the volume of the possible set.
• Theorems: The paper establishes conditions (Theorem 5) under which sufficiently sharp measurements preserve the disjointness of the double-parcel components, ensuring the structure remains well-defined.

3. Key Contributions and Results

3.1 Resolution of Foundational Paradoxes

The paper claims to resolve three major paradoxes without new interpretational axioms:

1. Wave-Particle Duality: Resolved as a smooth trade-off controlled by the measurement precision $\eta$. As $\eta$ increases (sharper which-path measurement), the parcel shrinks towards the outcome subspace, and interference visibility fades gradually. There is no abrupt switch between wave and particle pictures.
2. Schrödinger's Cat: The cat is never in a literal superposition. The initial parcel contains both "alive" and "dead" possibilities only because macroscopic data cannot distinguish them. A fuzzy measurement refines the parcel, moving the excluded outcome into the impossible set $O_2$. The cat is objectively alive or dead; the "superposition" is merely a reflection of coarse-grained knowledge.
3. Entanglement: "Spooky action" is replaced by a purely epistemic geometric update. When Alice measures her half of an entangled pair, the joint parcel updates, and Bob's marginal changes instantaneously. This is a change in the set of possible states (information), not a physical signal, thus respecting relativistic causality.

3.2 Resolution of the Entropy Paradox

In SQM, measuring a pure state does not change von Neumann entropy. In IQM, the geometric information $I(O_1, O_2)$ strictly increases with every measurement because the volume of the possible set contracts while the impossible set expands. This aligns the mathematical measure of information with the intuitive concept of knowledge gain.

3.3 Recovery of Standard Quantum Mechanics

The paper proves (Theorems 1–3) that SQM is recovered exactly in the infinite-precision limit. As the intervals defining the parcel shrink to zero width, the parcel converges to a single density matrix (point state), and interval-valued predictions converge to exact values. This limit is shown to be an operational singularity never physically attained.

3.4 Computational Data Type

IQM introduces hyper-rectangle parcels as a practical data type for quantum computation. Defined by intervals on orthonormal observables, these parcels:

• Require only $O(m)$ storage.
• Support polynomial-time operations for unitary evolution and expectation intervals.
• Enable resource-aware compilation and precision tracking for Near-Term Intermediate Scale Quantum (NISQ) devices.

4. Significance and Claims

The paper positions IQM as an observation-first, computationally practical reformulation of quantum mechanics. Its significance lies in:

• Eliminating Idealization: It treats finite precision not as a nuisance but as a fundamental physical constraint, removing the need for "point states" that cannot exist in the laboratory.
• Objective Epistemic Framework: Unlike QBism (which treats states as subjective beliefs), IQM offers an objective epistemic state determined by actual finite-precision data.
• Unified Resolution: It dissolves wave-particle duality, the measurement problem, and non-locality through a single geometric mechanism (parcel refinement) without invoking collapse, branching, or hidden variables.
• Practical Utility: It provides a natural framework for handling noise and finite resolution in quantum computing, bridging the gap between high-level algorithms and hardware realities.

The author asserts that this framework unifies domain theory, geometric logic, and convex geometry to provide a mathematically rigorous and empirically faithful foundation for the next generation of quantum information science.