Pith. sign in

REVIEW 1 major objections 4 minor 1 cited by

Dirac Wave Functions of Positive Energy with Arbitrarily Small Position Uncertainty

T0 review · 1 major / 4 minor · reviewed 2026-07-15 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Positive-energy free Dirac wave functions can be made arbitrarily narrow in position, disproving the long-standing claim of a positive lower bound on σ_x.

desk verdict Solid, elementary fix of a real gap: positive-energy Dirac states can have arbitrarily small position variance; the Bracken–Melloy sequence works once you bound the variance directly. read the letter →

arxiv 2603.04569 v3 pith:IYSJJ4UP submitted 2026-03-04 quant-ph

Ilmar Bürck , Roderich Tumulka This is my paper · ORCID
classification quant-ph
keywords functionswavediracmathcalarbitrarilyfalsemathbbposition
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

In relativistic quantum mechanics a free electron is described by a Dirac wave function that lives only in the positive-energy subspace. Many textbooks and papers have claimed that such states cannot be squeezed into an arbitrarily small region of space; their position uncertainty σ_x was supposed to stay larger than something like the Compton wavelength. The claim was never proved, only motivated by heuristics about pair production and the width of the positive-energy projector.

This paper takes a concrete sequence of positive-energy wave packets first written down by Bracken and Melloy and proves rigorously that their position uncertainty tends to zero. The earlier authors had already asserted the same conclusion, but their argument contained a gap: they showed that the probability densities approach a delta function and then assumed that the variance must also go to zero. The present work supplies a direct estimate of the variance that closes the gap, and it also exhibits a simple counter-example (Theorem 2) showing that convergence to a delta function alone does not force the variance to vanish.

The result is therefore a clean mathematical clarification: free positive-energy Dirac particles can be arbitrarily well localized in the ordinary position representation.

Extended reading notes

Core claim

Theorem 1: For every ε>0 there exists a unit vector ψ in the positive-energy subspace H+ of the free Dirac Hamiltonian such that the position uncertainty σ_ψ<ε; equivalently, there is a sequence of normalized positive-energy wave functions whose position variances tend to zero.

Load-bearing premise

The key technical bound used throughout the variance estimate (Lemma 1): | abla_p u(p)| ≤ (2/√3)/|p| for the positive-energy spinor u(p) at every p eq0. If this pointwise derivative bound failed, the four terms I–IV in the expansion of abla_p ψ_n would no longer be O(1/n^{2}) and the proof that σ_ψ_n o0 would collapse. (The bound is proved in §4.5 by elementary estimates on the components of u.)

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 4 minor

Summary. The paper establishes that normalized wave functions in the positive-energy subspace H+ of the free Dirac Hamiltonian can have arbitrarily small position uncertainty σ_ψ. Building on the Bracken–Melloy sequence ψ_n defined in momentum space by scaling a fixed profile f(p/n) against the positive-energy spinor u(p), the authors prove directly that ⟨x^{2}⟩_ψ_n = O(1/n^{2}) o 0 (hence σ_ψ_n o 0). They also construct, in any dimension, a sequence of probability densities that converge to a delta function while their second moments diverge, thereby exhibiting the precise gap in the earlier Bracken–Melloy argument that relied on distributional convergence alone.

Significance. The result cleanly refutes a conjecture that has recurred for decades in the literature on relativistic localization. The argument is elementary, parameter-free and self-contained: after a change of variables the four terms generated by abla_p(f(p/n)u(p)) are each controlled by the pointwise bound of Lemma 1 together with three explicit integrability conditions on f. Closing the logical gap left by Bracken and Melloy, while simultaneously clarifying the distinction between weak concentration and vanishing variance, is a useful and definitive contribution to the foundations of the Dirac theory.

major comments (1)
  1. [§4.5, Lemma 1 and its use in (59),(69),(73)] The proof bounds the four spinor components |∂u_i/∂p_j| separately by triangle inequality, yet never assembles them into a bound on the C^{4}-norm |∂u/∂p_j| that appears in Lemma 1 and is subsequently used in the estimates of terms II–IV. Moreover the component-wise constants already obtained (in particular |∂u_4/∂p_k| ≤ √2/|p| ≈ 1.414/|p|) exceed the claimed constant 2/√3 ≈ 1.154, so the stated inequality does not follow from the estimates written down. A bound of the form C/|p| for some finite C is true and sufficient for the rest of the argument (any C works under condition (23)), but the proof of the specific claim of Lemma 1 is incomplete and must be repaired—either by a sharper calculation that recovers 2/√3 or by replacing the constant with one justified by the component bounds (e.g., via |∂u| ≤ ∑|∂u_i|).
minor comments (4)
  1. [§2.2, Figure 1] Figure 1 and its caption appear with corrupted glyphs and missing axis labels in the manuscript text; the published version should display clean plots of the three Bessel combinations that enter the kernel.
  2. [Eq. (23)] The third integrability condition in (23) is written with p^{2} in the denominator; writing |p|^{2} would be consistent with the vector notation used throughout the rest of the paper.
  3. [§4.2, display (76)–(78)] After the four-term estimate it is asserted that lim σ^{2}_ψ_n = 0; strictly one has only limsup σ^{2} ≤ 0. The conclusion is correct, but a half-sentence noting that the subtracted term ⟨x⟩^{2} is non-negative (or vanishes by symmetry for suitable f) would make the logic fully explicit.
  4. [§4.1] The lengthy derivation of the position-space kernel of P+ in §4.1 is standard and not required for the main theorems; it could be shortened or relegated to an appendix without loss.
Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The paper is a pure-math existence proof inside the standard free Dirac theory. It introduces no free parameters, no new physical entities, and only the ordinary axioms of L^{2} Hilbert space and the free Dirac Hamiltonian. All background facts (spectrum of H_D, form of the positive-energy projector, properties of modified Bessel functions) are classical.

assumptions (3)
  • domain assumption The free Dirac Hamiltonian H_D = -i α· abla + eta m on L^{2}(ℝ^{3},ℂ^{4}) has spectrum (-∞,-m]∪[m,∞) and the positive-energy subspace H+ is the spectral subspace for [m,∞).
    Standard spectral theory of the free Dirac operator; invoked from the first paragraph onward.
  • standard math The positive-energy spinor u(p) defined by (24) satisfies H(p)u(p)=E(p)u(p) and |u(p)|=1.
    Elementary algebraic verification; used to guarantee that ψ_n lies in H+.
  • domain assumption The three integrability conditions (23) on the seed function f are finite.
    Mild regularity assumed so that the variance integrals converge; satisfied by any Schwartz function.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Dirac Wave Functions of Positive Energy with Arbitrarily Small Position Uncertainty." pith.science (2026). https://pith.science/paper/IYSJJ4UP

@misc{pith2026260304569,
  author       = {Pith},
  title        = {Pith review of: Dirac Wave Functions of Positive Energy with Arbitrarily Small Position Uncertainty},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IYSJJ4UP}},
  note         = {Machine review of arXiv:2603.04569}
}
abstract

We consider wave functions in the Hilbert space $\mathcal{H}=L^2(\mathbb{R}^3,\mathbb{C}^4)$ of a single Dirac particle, specifically from the positive-energy subspace $\mathcal{H}_+$ of the free Dirac Hamiltonian. Over the decades, various authors hypothesized that for wave functions from $\mathcal{H}_+$, there is a positive lower bound to the position uncertainty $\sigma_x$; in other words, that such states cannot be arbitrarily narrow in $x$. Using a sequence of wave functions introduced by Bracken and Melloy, we show that this hypothesis is false. (In fact, they already stated that it is false, but their proof that their sequence is a counter-example had a gap.)

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Representation of the causal logic for the Dirac system and the electron

    math-ph 2026-07 conditional novelty 6.0 of 10

    A covariant, causality-respecting localization and causal-logic representation is constructed for the Dirac system, and its positive-energy compression gives the electron a causal unsharp localization.

Reference graph

Works this paper leans on

19 extracted references · cited by 1 Pith paper

  1. [1]

    Thaller.The Dirac Equation

    B. Thaller.The Dirac Equation. Springer, 1992. 16

    1992

  2. [2]

    Heitler.The Quantum Theory of Radiation, 3rd ed.Oxford University Press, 1954

    W.H. Heitler.The Quantum Theory of Radiation, 3rd ed.Oxford University Press, 1954

    1954

  3. [3]

    Feshbach and F

    H. Feshbach and F. Villars. Elementary relativistic wave mechanics of spin 0 and spin 1/2 particles.Reviews of Modern Physics, 30:24–45, 1958

    1958

  4. [4]

    Bjorken and S.D

    J.D. Bjorken and S.D. Drell.Relativistic Quantum Mechanics. McGraw-Hill, 1964

    1964

  5. [5]

    J. J. Sakurai.Advanced Quantum Mechanics. Addison-Wesley, 1967

    1967

  6. [6]

    A. O. Barut and S. Malin. Position operators and localizability of quantum systems described by finite- and infinite-dimensional wave equations.Reviews of Modern Physics, 40:632–651, 1968

    1968

  7. [7]

    Almeida and A

    C. Almeida and A. Jabs. Spreading of a relativistic wave packet.American Journal of Physics, 52(10):921–925, 1984

    1984

  8. [8]

    Chuu, M.-C

    C.-P. Chuu, M.-C. Chang, and Q. Niu. Semiclassical dynamics and transport of the Dirac spin.Solid State Communications, 150:533, 2010

    2010

Show all 19 references
  1. [9]

    C.T. Sebens. How electrons spin.Studies in the History and Philosophy of Modern Physics, 68:40, 2019

    2019

  2. [10]

    Goldstein, R

    S. Goldstein, R. Tumulka, and N. Zangh` ı. Arrival times versus detection times. Foundations of Physics, 54:63, 2024

    2024

  3. [11]

    C. T. Sebens. Possibility of small electron states.Physical Review A, 102(5):052225, 2020

    2020

  4. [12]

    A. J. Bracken and G. F. Melloy. Localizing the relativistic electron.Journal of Physics A: Mathematical and General, 32(34):6127–6139, 1999

    1999

  5. [13]

    G. F. Melloy. The generalized representation of particle localization in quantum mechanics.Foundations of Physics, 32(4):503–530, 2002

    2002

  6. [14]

    Dodonov and S.S

    V.V. Dodonov and S.S. Mizrahi. Strict lower bound for the spatial spreading of a relativistic particle.Physics Letters A, 177:394–398, 1993

    1993

  7. [15]

    Heitler.The Quantum Theory of Radiation, 2nd ed.Oxford University Press, 1944

    W.H. Heitler.The Quantum Theory of Radiation, 2nd ed.Oxford University Press, 1944

    1944

  8. [16]

    T. D. Newton and E. Wigner. Localized states for elementary systems.Reviews of Modern Physics, 21:400–406, 1949

    1949

  9. [17]

    Beck.Local Quantum Measurement and Relativity

    C. Beck.Local Quantum Measurement and Relativity. Springer, 2021. [18]Heat equation. In Wikipedia, the free encyclopediahttp://en.wikipedia.org/ wiki/Heat_equation. 17

    2021

  10. [18]

    Digital Library of Mathematical Functionshttps://dlmf.nist.gov/10.32#E11

  11. [19]

    Digital Library of Mathematical Functionshttps://dlmf.nist.gov/10.29. 18

Pith tools

Reviewed July 15, 2026 · model on record in the stance chip above.