Pith. sign in

REVIEW 46 references

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

T0 review · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read The Dirac system and the electron can be assigned a covariant, causal localization on all achronal spacetime regions, built from the conserved Dirac probability current.

desk verdict A significant within-field result: the first covariant achronal localization/RCL for the Dirac electron, built on the authors' own current-to-localization machinery; the only visible proof gap is a repairable inequality in Lemma 2. read the letter →

arxiv 2607.21266 v1 pith:JOXTKUX5 submitted 2026-07-23 math-ph hep-thmath.MPquant-ph

Domenico P.L. Castrigiano , Carmine De Rosa , Valter Moretti This is my paper · ORCID
classification math-phhep-thmath.MPquant-ph MSC 81R2081P15
keywords causallogicachronallocalizationDiracsystemelectronconservedcurrentnon-stationaryphaseNewton-WignerpositionLorentzcontraction
topics The Measurement Problem
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

This paper claims that the Dirac system—and its positive-energy electron sector—has a causally consistent localization in Minkowski spacetime, defined on all achronal (not just spacelike) regions, and constructed directly from the conserved Dirac probability current. The main theorems assert the existence and uniqueness of a Poincaré-covariant achronal localization T_d for the full Dirac system, and a corresponding representation of the causal logic on complete spacetime regions; compressing to the positive-energy subspace gives the electron's localization T_e. The full-system localization is projection-valued and assigns orthogonal projectors to achronally separated regions, so it satisfies microscopic causality, while the electron's compressed localization is unsharp (POVM) but still satisfies the causality condition CC. The paper also derives concrete properties: on Euclidean space T_d equals the canonical projection-valued localization, its position operator differs from the Newton-Wigner operator by an explicitly bounded self-adjoint correction, and the high-boost limit yields the familiar Lorentz contraction in probability. A careful reader should care because this is a long-standing problem—Newton-Wigner localization is frame-dependent and acausal—and the result offers a covariant alternative with testable consequences for electron position measurements.

What carries the argument

The load-bearing object is the conserved Dirac probability current J=(J_0,J_1,J_2,J_3) built from the time-dependent wave function; J_0=|ψ|^2 on the t=0 hyperplane and the current is Poincaré-covariant and satisfies the continuity equation. The central mechanism is the current-to-localization procedure from [18, Theorem 19]: a positive, conserved, covariant current with sufficiently fast polynomial decay on every maximal achronal set determines a unique covariant AL T_d, and the AL/RCL correspondence (completion Δ↦Δ∧) then gives the representation of the causal logic. The paper's own contribution to the machinery is the polynomial-decay estimate (Prop 3) obtained by non-stationary phase, whi

What would settle it

Recompute the lower-bound estimate in Lemma 2 for |x|≥γ|x0|: the claimed bound (1−β/γ)/2 is not a consequence of that inequality, and the corrected bound (γ−β)/(γ+1) is what must hold; then verify numerically that the flux integral (5.1) converges absolutely for a maximal achronal set whose Lipschitz slope approaches 1 (e.g., the lightlike graph τ(x)=|x|). If the integral diverges or the corrected bound is not uniform, Theorem 4's unique AL does not exist.

Watch

Extended reading notes

Core claim

The central discovery is that the conserved Dirac current J_i = ψ*α_iψ, despite its sign-indefinite spatial components, is a 'causal current' whose time-component is positive and whose flux through achronal surfaces defines a unique covariant achronal localization T_d (Theorem 4). The construction, inherited from a general current-to-localization procedure, requires a polynomial decay estimate for the current's density on achronal sets; the paper proves this by a non-stationary phase argument (Prop 3 and Lemma 2). Extending the AL via the completion map Δ↦Δ∧ yields a unique covariant representation F_d of the causal logic (Theorem 6), and its trace on the positive-energy subspace gives the e

Load-bearing premise

The entire construction inherits the companion paper's requirement that the conserved Dirac current have positive density with uniform polynomial decay on every maximal achronal set; the paper's verification of this decay (Lemma 2/Prop 3 in Section 4) rests on an inequality that is incorrect as written, and if the corrected bound is not uniform the uniqueness in Theorem 4 collapses.

Editorial extensions

If this is right

  • Full Dirac localization T_d is projection-valued and satisfies local orthogonality: achronally separated (in particular spacelike) regions have commuting, orthogonal projectors, so microscopic causality holds for the Dirac system.
  • The electron localization T_e satisfies the causality condition CC and has norm-one on determining regions (so the electron can be approximately localized as well as desired), but is not microcausal: spacelike-separated region operators can fail to commute.
  • On Euclidean space T_d is the canonical position PVM, and the Newton-Wigner position operator differs from the Dirac position operator by an explicit bounded self-adjoint correction of norm <0.15 m^{-1} in the electron sector.
  • In the high-boost limit, the probability of finding the Dirac system (and the electron) in an arbitrarily narrow strip orthogonal to the boost direction tends to one: Lorentz contraction in a precise probabilistic sense.
  • A non-selective position measurement that projects an electron state onto T_d(Δ) or T_d(Δ') produces a mixed electron-positron state; the probability of positron production is 2⟨T_e(Δ)φ_1, T_e(Δ')φ_1⟩, independent of the measuring device.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The proof of the decay estimate contains an algebraic slip: the claimed lower bound (1−β/γ)/2 in Lemma 2 does not follow from |x|≥γ|x0| when γ<1, though a positive bound such as (γ−β)/(γ+1) is still available; if this correction is not uniform over all maximal achronal sets, Theorem 4's uniqueness claim would be at risk.
  • The same current-to-localization procedure could be applied to other conserved currents (e.g., the axial current or the stress-energy tensor) to generate alternative achronal localizations whose physical interpretation might differ from the Dirac current's, providing a family of testable localization observables.
  • The authors suggest a field-theoretic reconciliation in which the commutativity failure of T_e is resolved by considering conditional localizations and local laboratories; a testable extension would be to compute the localization observables in the Dirac quantum field theory and verify whether the single-particle restriction reproduces T_e.
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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central AL/RCL construction is an application of a general current-to-localization theorem whose hypotheses are independently verified in this paper; the cited theorems are parameter-free support, not the target result.

full rationale

The derivation chain is: Lemma 1 establishes that the Dirac current is real, positive, covariant, conserved, and bounded; Proposition 3 proves the polynomial decay of J0 on achronal sets via a non-stationary phase estimate; Theorem 4 then invokes [18, Theorem 19] to obtain a unique covariant AL; Theorem 6 invokes the AL/RCL correspondence [16, (19),(20)] to obtain the RCL; Section 7 derives projection-valuedness, position-operator identities, and high-boost limits from the constructed AL. The load-bearing external ingredients ([18, Thm 19] and [16, (19),(20)]) are general theorems about conserved currents and about achronal localization, not about the Dirac system or the electron; neither assumes the target result. The paper's new contribution is the verification of the decay hypothesis (Prop. 3) and the subsequent structural analysis. Although [18] and [16] are by the same group, they are parameter-free, externally stated mathematical theorems; under the review rules such citations are independent support and do not count as circularity. The only visible mathematical defect is an incorrect inequality in the proof of Lemma 2 (the bound (1-β/γ)/2 does not follow from |x|≥γ|x0| when γ<1), but a positive lower bound such as (γ-β)/(γ+1) still exists, so the lemma and Proposition 3 are repairable. This is a correctness concern, not a circularity. No step reduces a claimed prediction to its own input by construction.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are fitted to data; the construction is pure mathematics with physical input m. The central claim depends on external theorems [18] and [16] by the same authors, on the physical identification of the electron with the positive-energy Dirac subspace, and on the interpretive electron-positron superposition principle in §7.6.

assumptions (4)
  • standard math Existence and properties of the general current-to-localization map ([18, Thm 19])
    Theorem 4 is obtained by citing [18, Theorem 19]; the paper states that (1) and (3) satisfy its hypotheses but does not reproduce that theorem's proof or full hypotheses.
  • standard math AL–RCL correspondence and achronal completion equals determinacy ([16, (19),(20)] and (2.3))
    Used to pass from AL T to RCL F via F(Δ∧)=T(Δ), and to characterize completions; cited to the authors' earlier paper [16].
  • domain assumption Identification of electron and positron sectors with positive/negative-energy Dirac subspaces and time-reversal map (Sec. 7.6)
    The electron-positron decomposition and measurement-induced positron production formulas (7.15)-(7.17) rest on the convention that H_e is the electron subspace and H_- with T gives the positron; this is standard Dirac theory but an interpretive modeling assumption.
  • domain assumption Achronal Borel regions are the appropriate localization regions and maximal achronal sets are the relevant surfaces
    The whole framework of achronal localization and causal logic assumes particle localization should be defined on achronal sets, not only spacelike hyperplanes; motivated in [16].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Representation of the causal logic for the Dirac system and the electron." pith.science (2026). https://pith.science/paper/JOXTKUX5

@misc{pith2026260721266,
  author       = {Pith},
  title        = {Pith review of: Representation of the causal logic for the Dirac system and the electron},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JOXTKUX5}},
  note         = {Machine review of arXiv:2607.21266}
}
read the original abstract

We construct a covariant representation of the causal logic for the Dirac system and the electron, based on the conserved Dirac probability current and a general current-to-localization procedure for achronal regions. A polynomial decay estimate, derived by a non-stationary phase argument, verifies the conditions required to define covariant achronal localization for the full Dirac system. Extending this localization to complete spacetime regions yields the corresponding causal-logic representation; restriction to the positive-energy invariant subspace gives the analogous construction for the electron. We establish several structural properties. On Euclidean space, Dirac localization agrees with canonical projection-valued localization, while its position operator differs from the Newton--Wigner operator by an explicitly determined bounded self-adjoint correction. Full Dirac achronal localization is projection valued and represents achronal separateness by orthogonality, thus satisfying microscopic causality. After compression to the electron subspace, it becomes positive-operator valued while preserving causality. We further extend known results from spatial to general achronal regions, prove separation and norm-one criteria, and analyze the high-boost limit, obtaining Lorentz contraction in a precise probabilistic sense. Finally, we discuss the electron--positron decomposition and the state transformation induced by position measurements, showing that measurement-induced positron production is universal and independent of the specific measuring device.

Figures

Figures reproduced from arXiv: 2607.21266 by the authors.

Figure 1
Figure 1. The achronal region ∆ ⊂ Σ and its region of influence ∆′ = Σ′ ∩ (J +(∆) ∪ J −(∆)) on the causal base Σ′ . Here J ±(∆) := {x+z : x ∈ ∆,z nonspacelike , ±z0 ≥ 0}. An AL T satisfies T(∆) ≤ T(∆′ ) . (CC) For the proof and more details see [16, sec. 4, in particular (16) Theorem]. Obviously T e satisfies CC, too. Note that CC implies the familiar causal time evolution, i.e., We (t)T e (∆)We (t) −1 ≤ T e (∆t) for and ever… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

46 extracted references · 6 canonical work pages

  1. [18]

    Henri Poincar´ e (2026) https://doi.org/10.1007/s00023-026-01668-1

    Castrigiano, D.P.L., De Rosa, C., Moretti, V.:Achronal Localiza- tion and Representation of the Causal Logic from a Conserved Current with an Application to Massive Scalar Boson.Ann. Henri Poincar´ e (2026) https://doi.org/10.1007/s00023-026-01668-1

    work page doi:10.1007/s00023-026-01668-1 2026

  2. [16]

    Castrigiano, D.P.L.:Achronal localization, representations of the causal logic for massive systems.Letters in Mathematical Physics (2025) 115:25, https://doi.org/10.1007/s11005-025-01911-6

    doi:10.1007/s11005-025-01911-6 2025

  3. [1]

    Amrein, W.O.:Localizability for Particles of Mass Zero, Helv. Phys. Acta42, 149-190 (1969)

    1969

  4. [2]

    Araki, H.:Mathematical Theory of Quantum Fields, Oxford University Press, (2009)

    2009

  5. [3]

    Barat, N., Kimball J.C.:Localization and Causality for a Free Particle, Physics Letters A308, 110-115 (2003)

    2003

  6. [4]

    Bracken, A.J., Flohr, J.A., Melloy, G.F.:Time-evolution of highly localized positive-energy states of the free Dirac electron. Proc. R. Soc. A461, 3633-3645 (2005)

    2005

  7. [5]

    Bracken, A.J., Melloy, G.F.:Localizing the Relativistic Electron, J. Phys. A: Math. Gen.32, 6127-6139 (1999)

    1999

  8. [6]

    Buchholz, D., Yngvason, J.:There are no causality problems for Fermi’s two atom system, Phys. Rev. Lett.73, 613-616 (1994)

    1994

Show all 46 references
  1. [7]

    B¨ urck, I., Tumulka, R.:Dirac Wave Functions of Positive Energy with Arbitrarily Small Position Uncertainty, https://doi.org/10.48550/arXiv.2603.04569

    doi arXiv

  2. [8]

    and Singh, J

    Busch, P. and Singh, J. ,L¨ uders theorem for unsharp quantum measurements. Physics Letters A 249, 10–12 (1998)

    1998

  3. [9]

    Busch, P.,Unsharp localization and causality in relativistic quantum theory.J. Phys. A: Math. Gen.32, 6535-6546 (1999)

    1999

  4. [10]

    J.:Operational Quantum Theory, Springer- Verlag, Berlin 1997

    Busch, P., Grabowski, M., Lahti, P. J.:Operational Quantum Theory, Springer- Verlag, Berlin 1997

    1997

  5. [11]

    Castrigiano, D.P.L.:On Euclidean Systems of Covariance for Massless Particles, Lett. Math. Phys.5, 303-309 (1981)

    1981

  6. [12]

    Castrigiano, D.P.L., Mutze, U.:Covariant description of particle position, Phys. Rev. D26, 3499-3505 (1982) 43

    1982

  7. [13]

    Castrigiano, D.P.L., Leiseifer, A.D.:Causal Localizations in Relativistic Quan- tum Mechanics. J. Math. Phys.56, 072301 (2015)

    2015

  8. [14]

    arXiv: 1711.06556 (2021)

    Castrigiano, D.P.L.:Dirac and Weyl Fermions - the Only Causal Systems. arXiv: 1711.06556 (2021)

    2021 arXiv

  9. [15]

    Castrigiano, D.P.L.:Causal localizations of the massive scalar boson.Lett. Math. Phys.114, 2 (2024). https://doi.org/10.1007/s11005-023-01746-z

    2024 doi

  10. [17]

    https://doi.org/10.1063/5.0270153

    Castrigiano, D.P.L.:Localization of the massive scalar boson on achronal hyper- planes, derivation of Lorentz contraction.Journal of Mathematical Physics66, 7 (2025). https://doi.org/10.1063/5.0270153

    2025 doi

  11. [19]

    Cegla, W., Jadczyk, A.Z.:Causal Logic of Minkowski Space, Commun. math. Phys.57, 213-217 (1977)

    1977

  12. [20]

    De Rosa, C., Moretti, V.:Quantum particle localization observables on Cauchy surfaces of Minkowski spacetime and their causal properties.Letters in Mathemat- ical Physics (2024) 114:72 https://doi.org/10.1007/s11005-024-01817-9

    2024 doi

  13. [21]

    and Pulmannov´ a S.:New Trends in Quantum Structures, Kluwer 2000

    Dvureˇ censkij, A. and Pulmannov´ a S.:New Trends in Quantum Structures, Kluwer 2000

    2000

  14. [22]

    Gerlach, B., Gromes D., Petzold J.:Konstruktion definiter Ausdr¨ ucke f¨ ur die Teilchendichte des Klein-Gordon-Feldes. Z. Phys.204, 1-11 (1967)

    1967

  15. [23]

    Springer, Berlin Heidelberg 1990, ISBN 978-3-642-88082-7

    Greiner, W.:Relativistic Quantum Mechanics: Wave Equations. Springer, Berlin Heidelberg 1990, ISBN 978-3-642-88082-7

    1990

  16. [24]

    Springer-Verlag (1996)

    Haag, R.:Local Quantum Physics, 2nd Ed. Springer-Verlag (1996)

    1996

  17. [25]

    Halvorson, H., Clifton, B.:No place for particles in relativistic quantum theo- ries?, arXiv:quant-ph/0103041v1 (2001)

    2001 arXiv

  18. [26]

    Hegerfeldt, G.C., Ruijsenaars, N.M.:Remarks on causality, localization, and spreading of wave packets, Phys. Rev. D22, 377-384 (1980)

    1980

  19. [27]

    Hegerfeldt, G.C.:Violation of Causality in Relativistic Quantum Theory?, Phys. Rev. Lett.54, 2395-2398 (1985)

    1985

  20. [28]

    Hegerfeldt G.C.:Causality Problems for Fermi’s Two-Atom System, Phys. Rev. Lett.72, 596-599 (1994) 44

    1994

  21. [29]

    Hegerfeldt G.C.:Particle Localization and the Notion of Einstein Causalityin Extensions of Quantum Theory, Eds. A. Horzela, E. Kapuscik, published by Ape- rion, Montreal 9-16 (2001)

    2001

  22. [30]

    Lebesgue, H.:Sur l’int´ egration des fonctions discontinues, Annales Scientifiques de l’ ´Ecole Normale Sup´ erieure27, 361-450, (1910) doi:10.24033/asens.624

    1910 doi

  23. [31]

    Lechner, G., de Oliveira, I.R.:Causal quantum-mechanical localization observ- ables in lattices of real projections, https://doi.org/10.48550/arXiv.2602.11392 (2026)

    2026 doi

  24. [32]

    Maggi, F.:Set of finite perimeter and geometric variational problems.Cambridge University Press, New York 2012

    2012

  25. [33]

    Melloy, G.F.:The Generalized Representation of Particle Localization in Quan- tum Mechanics, Foundations of Physics32, 503-530 (2002)

    2002

  26. [34]

    Moretti, V.:On the relativistic spatial localization for massive real scalar Klein-Gordon quantum particles. Lett. Math. Phys.113, 66 (2023). https://doi.org/10.1007/s11005-023-01689-5

    2023 doi

  27. [35]

    Part I: A General Analysis, https://doi.org/10.48550/arXiv.2604.03729 (2026)

    Moretti, V.: Spatial Localization of Relativistic Quantum Systems: The Com- mutativity Requirement and the Locality Principle. Part I: A General Analysis, https://doi.org/10.48550/arXiv.2604.03729 (2026)

    2026 doi arXiv

  28. [36]

    Part II: A Model from Local QFT Lett

    Moretti, V.:Spatial Localization of Relativistic Quantum Systems: The Commu- tativity Requirement and the Locality Principle. Part II: A Model from Local QFT Lett. Math. Phys. (2026) in press https://doi.org/10.48550/arXiv.2604.04173 (2026)

    2026 doi arXiv

  29. [37]

    Newton, T.D., Wigner E.P.:Localized States for Elementary Systems, Rev. Mod. Phys.21, 400-406 (1949)

    1949

  30. [38]

    JOTA22, 3, 311-351 (1977)

    Pourciau, B.H.:Analysis and Optimization of Lipschitz Continuous Mappings. JOTA22, 3, 311-351 (1977)

    1977

  31. [39]

    Academic Press, New York (1979)

    Reed, M., Simon, B.:Methods of Modern Mathematical Physics. Academic Press, New York (1979)

    1979

  32. [40]

    Schroer, B.:Causality and Dispersion Relations and the Role of the S-matrix in the ongoing Research, CBPF-NF-004/11 (2011)

    2011

  33. [41]

    Terno, D.R.:Localization of relativistic particles and uncertainty relations. Phys. Rev. A89, 042111 (2014)

    2014

  34. [42]

    Thaller, B.:The Dirac Equation, Springer-Verlag, Berlin 1992

    1992

  35. [43]

    Nuovo Cim.30, 385-398 (1963) 45

    Weidlich, W., Mitra, A.K.:Some Remarks on the Position Operator in Irre- ducible Representations of the Lorentz-Group. Nuovo Cim.30, 385-398 (1963) 45

    1963

  36. [44]

    Weidmann, J.:Linear Operators in Hilbert spaces, Springer 1980

    1980

  37. [45]

    Wightman, A.S.:On the Localizability of Quantum Mechanical Systems, Rev. Mod. Phys.34, 845-872 (1962)

    1962

  38. [46]

    Rev.98, 812-837 (1955), and references therein 46

    Wightman,A.S., Schweber, S.S.:Configuration Space Methods in Relativistic Quantum Field Theory I, Phys. Rev.98, 812-837 (1955), and references therein 46

    1955

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.