Dirac Wave Functions of Positive Energy with Arbitrarily Small Position Uncertainty

This paper refutes the long-standing conjecture that positive-energy Dirac wave functions possess a positive lower bound on position uncertainty by providing a rigorous proof that such states can indeed have arbitrarily small position uncertainty, thereby correcting a gap in a previous counter-example by Bracken and Melloy.

The Gist

Here is an explanation of the paper "Dirac Wave Functions of Positive Energy with Arbitrarily Small Position Uncertainty," translated into everyday language with creative analogies.

The Big Question: Can You Squeeze a Relativistic Electron?

Imagine you have a tiny, energetic particle—an electron. In the world of quantum mechanics, this particle isn't a solid marble; it's more like a fuzzy cloud of probability. This cloud has a "width" or "spread." If the cloud is wide, we don't know exactly where the electron is. If the cloud is narrow, we know its location very precisely.

For decades, physicists believed there was a hard limit to how narrow this cloud could get. They thought, "You can't squeeze an electron into a space smaller than a specific size (called the Compton wavelength). If you try to squeeze it tighter, something magical and impossible happens: the energy required to hold it there would be so high that it would spontaneously create a new particle (a positron) out of thin air, turning your single electron into a pair. Therefore, a single electron must always have a minimum size."

The paper by Ilmar Bürck and Roderich Tumulka says: "Actually, that's wrong."

They prove mathematically that you can squeeze a single electron's wave function into a space as small as you like, even smaller than that "forbidden" limit, without it turning into a pair of particles.

---

The Misunderstanding: The "Fuzzy Delta" Trap

Why did everyone think there was a limit? The authors explain that previous scientists made a logical trap, which they call the "Fuzzy Delta" Trap.

Imagine you have a sequence of pictures of a cloud.

1. Picture 1: A huge, diffuse cloud.
2. Picture 2: A slightly smaller cloud.
3. Picture 100: A tiny, sharp dot right in the center.

If you look at these pictures, the cloud seems to be shrinking perfectly into a single point (a mathematical "delta function"). It looks like the uncertainty is going to zero.

However, the authors point out a sneaky trick. Imagine a cloud that is mostly a tiny dot in the center, but it has invisible, ultra-thin tentacles stretching out to the edge of the universe.

• If you look at the center, it looks like a perfect dot.
• But if you calculate the "average width" (the standard deviation), those invisible tentacles make the cloud infinitely wide!

Previous researchers saw the cloud shrinking to a dot and assumed the width was zero. The authors show that you can have a wave function that looks like a dot (converging to a delta function) but still has a huge "tail" that keeps the uncertainty high.

The Analogy:
Think of a party.

• The Old View: If 99% of the guests are crowded in the kitchen, the party is "small."
• The New View: What if 99% are in the kitchen, but 1% of the guests are running around the entire solar system? Even though the "main party" is small, the "party spread" is huge.

The authors show that you can construct a wave function where the "kitchen" gets smaller and smaller, and the "solar system runners" get so thin and sparse that they don't matter anymore, allowing the total spread to actually shrink to zero.

---

How They Did It: The "Squeezing" Recipe

The authors didn't just guess; they built a mathematical recipe (a sequence of wave functions) to prove it.

1. The Ingredients: They started with a standard, well-behaved wave function (like a Gaussian bell curve) in "momentum space" (a way of describing how fast the particle is moving).
2. The Squeeze: They took this function and "stretched" it out in momentum space. In quantum mechanics, stretching a wave in momentum space is like squeezing it in position space.
3. The Filter: They applied a filter to ensure the particle only has "positive energy" (the physical kind, not the weird negative energy kind).
4. The Result: As they squeezed the momentum more and more, the position of the particle got tighter and tighter.

The Catch:
Usually, when you squeeze a wave function this hard, the "tails" (the tentacles) get so wild that the math breaks or the energy explodes. But the authors found a specific way to shape the wave function so that the tails stay under control. They proved that as they squeezed it, the "width" (uncertainty) didn't just get small—it went all the way to zero.

Why This Matters

This is a big deal for two reasons:

1. It fixes a math error: It corrects a long-held belief that was based on a misunderstanding of how probability densities behave. It shows that "looking like a dot" doesn't always mean "being a dot" in terms of width, but you can actually make it a dot.
2. It clarifies the rules of the universe: It tells us that the "Compton wavelength" isn't a hard wall that stops you from localizing a particle. It's more of a "comfort zone." You can squeeze an electron into a space smaller than this, but it requires a very specific, delicate quantum state. It doesn't mean the electron will stay there (it might spread out again quickly), but it can be there.

The Takeaway

For a long time, physicists thought, "You can't localize a relativistic electron too tightly, or physics breaks."
Bürck and Tumulka say, "Physics doesn't break. You just have to be very clever with how you shape the wave. You can squeeze that electron into a space as small as you want, and it will still be a single, happy electron."

It's like realizing you can fold a giant map into a tiny pocket square, provided you know exactly how to fold the creases so the paper doesn't tear. The paper proves the creases exist.

Technical Summary

Here is a detailed technical summary of the paper "Dirac Wave Functions of Positive Energy with Arbitrarily Small Position Uncertainty" by Ilmar Bürck and Roderich Tumulka.

1. Problem Statement

The paper addresses a long-standing conjecture in relativistic quantum mechanics regarding the localizability of a single free Dirac particle restricted to the positive-energy subspace ($H_+$) of the Hilbert space.

• Context: The free Dirac Hamiltonian ($H_D$) has a spectrum consisting of negative energies ($-\infty, -m]$) and positive energies ($[m, \infty)$). Physical states for a free electron are typically restricted to the positive-energy subspace $H_+$ to avoid unphysical negative-energy solutions.
• The Conjecture: Various authors (e.g., Heitler, Feshbach, Villars, Sakurai) have hypothesized that there exists a positive lower bound for the position uncertainty ($\sigma_x$) of any normalized wave function $\psi \in H_+$. Specifically, it was believed that $\sigma_x$ cannot be arbitrarily small; it was thought to be bounded below by the Compton wavelength ($\lambda_C = \hbar/mc$).
• Motivation for the Conjecture:
  1. Pair Production: Localizing a particle within $\lambda_C$ implies a momentum uncertainty $\sigma_p \gtrsim mc$, leading to energy fluctuations sufficient to create electron-positron pairs, suggesting the single-particle description breaks down.
  2. Projection of Delta Functions: The projection of a position eigenstate (Dirac delta) onto $H_+$ results in a function with a width of order $\lambda_C$.
  3. Convolution Argument: Since the projection operator $P_+$ acts as a convolution with a kernel of width $\lambda_C$, it was assumed that all resulting states must inherit this width.

The Core Question: Is it mathematically true that for all $\psi \in H_+$ with $\|\psi\|=1$, $\sigma_x \geq C > 0$?

2. Methodology

The authors refute the conjecture by constructing a specific sequence of wave functions in $H_+$ that become arbitrarily narrow in position space.

A. Construction of the Counter-Example (Bracken-Melloy Sequence)

The authors utilize a sequence of wave functions $\psi_n$ originally proposed by Bracken and Melloy, but they provide a rigorous proof that the sequence satisfies the required properties, closing a gap in the original argument.

• Momentum Space Definition: The sequence is defined in momentum space as:
  $$\hat{\psi}_n(p) = \frac{1}{n^{3/2}} f\left(\frac{p}{n}\right) u(p)$$
  where:
  • $f(p)$ is a fixed, normalized, smooth function (e.g., a Gaussian) satisfying specific integrability conditions on its derivatives.
  • $u(p)$ is the positive-energy Dirac spinor eigenstate of the Hamiltonian $H(p) = \boldsymbol{\alpha} \cdot \mathbf{p} + \beta m$ with eigenvalue $E(p) = \sqrt{p^2 + m^2}$.
  • The scaling factor $1/n^{3/2}$ensures normalization in position space as$n \to \infty$.
• Position Space: The wave function $\psi_n(x)$ is the inverse Fourier transform of $\hat{\psi}_n(p)$.

B. Mathematical Analysis

The authors calculate the position uncertainty $\sigma_{\psi_n}$ directly in momentum space using the relation $\langle x^2 \rangle = \langle \nabla_p \hat{\psi} | \nabla_p \hat{\psi} \rangle$.

• They expand the derivative $\nabla_p \hat{\psi}_n$ into terms involving derivatives of the envelope function $f$ and the spinor $u(p)$.
• Key Estimate: They prove a Lemma establishing that the derivative of the spinor $u(p)$ is bounded by $|\partial u / \partial p_j| \leq \frac{2\sqrt{3}}{|p|}$.
• By analyzing the asymptotic behavior of the four resulting integral terms (labeled I, II, III, IV) as $n \to \infty$, they show that the expectation value $\langle x^2 \rangle$ scales as $O(1/n^2)$.

C. Addressing the "Delta Function" Fallacy

The paper also addresses a potential confusion regarding the convergence of probability densities.

• Theorem 2: The authors prove that a sequence of probability densities $\rho_n(x)$ can converge to a Dirac delta function $\delta(x)$ (in the sense of distributions) while their variance (second moment) diverges to infinity.
• Significance: This clarifies that Bracken and Melloy's original observation that $\rho_{\psi_n} \to \delta$ was insufficient to prove $\sigma \to 0$. The authors provide a direct upper bound on $\sigma_{\psi_n}$ to rigorously prove it vanishes.

3. Key Contributions

1. Disproof of the Lower Bound Conjecture: The paper definitively proves Theorem 1: For any $\epsilon > 0$, there exists a normalized state $\psi \in H_+$ such that the position uncertainty $\sigma_\psi < \epsilon$. There is no positive lower bound on the width of positive-energy Dirac wave packets.
2. Rigorous Proof of Bracken-Melloy: While Bracken and Melloy (1999) constructed the counter-example, their proof contained a gap regarding the convergence of the variance. This paper fills that gap with a complete, rigorous derivation.
3. Clarification of Convergence vs. Variance: The paper distinguishes between weak convergence to a delta function and the convergence of moments (variance), showing that the former does not imply the latter without additional constraints.
4. Refutation of Heuristic Arguments: The authors demonstrate why the "convolution argument" (Section 2.3) fails for spinors. Unlike positive probability densities, spinor wave functions involve complex phases and cancellations that allow the spread to decrease despite the convolution with the wide kernel $P_+$.

4. Results

• Theorem 1: $\lim_{n \to \infty} \sigma_{\psi_n} = 0$. The sequence $\psi_n$ constructed in momentum space yields a sequence of position-space wave functions that become arbitrarily localized around the origin.
• Numerical Verification: The paper includes numerical plots (Figures 2 and 3) showing $\sigma_{\psi_n}$ decreasing as $n$ increases and the radial probability density concentrating near $r=0$.
• Theorem 2: A general mathematical result showing that $\rho_n \to \delta$ does not imply $\text{Var}(\rho_n) \to 0$.

5. Significance

• Theoretical Implications: The result resolves a decades-old debate in relativistic quantum mechanics. It confirms that the restriction to the positive-energy subspace does not impose a fundamental limit on spatial localization (unlike the Newton-Wigner localization which has a minimum width).
• Physical Interpretation: The paper clarifies that while localizing a particle to scales smaller than the Compton wavelength physically leads to pair production (making the single-particle picture invalid), this is a limitation of the single-particle theory's domain of validity, not a mathematical constraint on the wave functions within that theory. Mathematically, the positive-energy subspace contains arbitrarily narrow states.
• Methodological Impact: The work provides a robust framework for analyzing the localization properties of relativistic wave packets and highlights the importance of spinor cancellations in overcoming the "smearing" effects of projection operators.

In conclusion, the paper establishes that arbitrarily narrow positive-energy Dirac wave functions exist, disproving the hypothesis of a minimum position uncertainty inherent to the Dirac equation's positive-energy sector.