pith. sign in

arxiv: 2501.12699 · v5 · submitted 2025-01-22 · 🧮 math-ph · hep-th· math.MP· quant-ph

Achronal localization and representation of the causal logic from a conserved current, application to the massive scalar boson

Domenico P.L. Castrigiano , Carmine De Rosa , Valter Moretti This is my paper

Pith reviewed 2026-05-23 05:39 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.MPquant-ph
keywords achronal localizationcausal logicconserved currentmassive scalar bosonrelativistic quantum mechanicsdivergence theorem
0
0 comments X

The pith

Covariant achronal localizations are obtained from conserved currents by flux through achronal surfaces, yielding a representation of causal logic for the massive scalar boson.

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

The paper shows how to extract covariant achronal localizations directly from any covariant conserved current by integrating its flux over achronal surfaces. When applied to the probability current of the massive scalar boson, this produces a one-to-one correspondence with representations of the causal logic. The same construction applied to the stress-energy tensor supplies an entire family of such representations. The method rests on a new version of the divergence theorem valid for open sets whose boundaries are almost Lipschitz.

Core claim

Achronal localizations are gained out of covariant conserved currents computing their flux passing through achronal surfaces. As covariant achronal localizations correspond one-to-one to covariant representations of the causal logic, this yields a covariant representation of the causal logic for an elementary relativistic quantum mechanical system, apparently for the first time, in the case of the massive scalar boson. A covariant family of representations is likewise obtained from the stress-energy tensor.

What carries the argument

Achronal localization obtained by computing the flux of a conserved current through achronal surfaces.

If this is right

  • Every covariant conserved current now supplies a covariant achronal localization and therefore a covariant representation of the causal logic.
  • The probability current of the massive scalar boson produces one such representation; the stress-energy tensor produces a family of them.
  • The same procedure applies to any other elementary relativistic system once its conserved currents are known.
  • Localizability questions in relativistic quantum mechanics can now be addressed inside a covariant framework that respects the causal structure.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The construction may extend to other fields once suitable conserved currents are identified.
  • It offers a possible route to compare localization properties across different particles within the same causal-logic setting.
  • The divergence-theorem result itself could be applied to other flux-based constructions in Lorentzian geometry.

Load-bearing premise

The construction of an achronal localization from a conserved current relies on a version of the divergence theorem for open sets with almost Lipschitz boundary.

What would settle it

An explicit computation on a concrete achronal surface showing that the resulting set function fails to be a positive measure or fails to satisfy the axioms of the causal logic would refute the central claim.

read the original abstract

Only recently the concept of achronal localization has been developed as the adequate frame for the description of the localizability of a relativistic quantum mechanical system. Here covariant achronal localizations are gained out of covariant conserved currents computing their flux passing through achronal surfaces. This general method is applied to the probability density currents with causal kernel regarding the massive scalar boson. As (covariant) achronal localizations correspond one-to-one to (covariant) representations of the causal logic, thus, apparently for the first time, a covariant representation of the causal logic for an elementary relativistic quantum mechanical system has been achieved. Similarly a covariant family of representations of the causal logic is derived from the stress-energy tensor of the massive scalar boson. The construction of an achronal localization from a conserved current relies on a version of the divergence theorem for open sets with almost Lipschitz boundary. This result is stated and proved in this work.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript develops a general method to obtain covariant achronal localizations by integrating the flux of a conserved current across achronal surfaces. The method is applied to the probability-density current of the massive scalar boson (with causal kernel) and, separately, to its stress-energy tensor. The construction is asserted to yield a one-to-one correspondence with covariant representations of the causal logic; the key technical step is a divergence theorem for open sets whose boundary is almost Lipschitz, which the paper both states and proves.

Significance. If the supporting divergence theorem applies under the regularity conditions furnished by the Klein-Gordon current and the stress-energy tensor, the work would supply the first explicit covariant representation of causal logic for an elementary relativistic quantum system. The explicit statement and proof of the required divergence theorem is a methodological strength.

major comments (1)
  1. [section stating and proving the divergence theorem] The divergence theorem for almost-Lipschitz boundaries is the load-bearing step that justifies passing from the conserved current to the achronal localization operator. The manuscript must verify that the achronal surfaces generated by the probability current (or stress-energy tensor) of the massive scalar field satisfy the almost-Lipschitz regularity hypothesis; without this check the map from current to localization is not justified and the claimed one-to-one correspondence with causal-logic representations does not follow.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the importance of the regularity verification in our application of the divergence theorem. We address the major comment below.

read point-by-point responses

  1. Referee: [section stating and proving the divergence theorem] The divergence theorem for almost-Lipschitz boundaries is the load-bearing step that justifies passing from the conserved current to the achronal localization operator. The manuscript must verify that the achronal surfaces generated by the probability current (or stress-energy tensor) of the massive scalar field satisfy the almost-Lipschitz regularity hypothesis; without this check the map from current to localization is not justified and the claimed one-to-one correspondence with causal-logic representations does not follow.

    Authors: We agree that explicit verification is required to justify the passage from the conserved current to the localization operator and the claimed correspondence. The manuscript proves the general divergence theorem but does not contain a dedicated check that the specific achronal surfaces arising from the probability-density current (with causal kernel) or the stress-energy tensor of the massive scalar field meet the almost-Lipschitz hypothesis. In the revised manuscript we will add a short subsection establishing this regularity: the causal kernel and the smoothness of Klein-Gordon solutions imply that the level sets defining the surfaces are C^1 (hence Lipschitz), so the hypothesis is satisfied. This addition will complete the justification without altering the main results. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation uses independently proved theorem and external currents

full rationale

The paper constructs achronal localizations by integrating flux of conserved currents (probability density and stress-energy tensor) across surfaces, relying on a divergence theorem for almost Lipschitz boundaries that is both stated and proved inside this work. This is a self-contained mathematical step, not a reduction of the target result to its own inputs by definition or fitting. The claimed one-to-one link to causal logic representations is invoked as a general correspondence, and the boson application follows directly from standard Klein-Gordon quantities without self-citation load-bearing or ansatz smuggling. The derivation therefore remains independent of the outputs it produces.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Central claim rests on the one-to-one correspondence between achronal localizations and causal-logic representations plus the existence of suitable causal-kernel currents for the scalar boson; the new divergence theorem is presented as proved rather than assumed.

axioms (2)
  • domain assumption Achronal localizations correspond one-to-one to representations of the causal logic
    Invoked to link the constructed localizations to the claimed representation of causal logic.
  • domain assumption Existence of probability density currents with causal kernel for the massive scalar boson
    The method is applied directly to these currents.

pith-pipeline@v0.9.0 · 5709 in / 1215 out tokens · 29833 ms · 2026-05-23T05:39:47.210114+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

  1. Spatial Localization of Relativistic Quantum Systems: The Commutativity Requirement and the Locality Principle. Part I: A General Analysis

    math-ph 2026-04 unverdicted novelty 7.0

    Commutativity of localization effects is not required by basic no-signaling principles for particle-like relativistic quantum systems, and conditional localization POVMs can allow commutativity for practical laborator...

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · cited by 1 Pith paper

  1. [1]

    Springer, London 2012

    Alt, H.W.:Linear Functional Analysis. Springer, London 2012

    work page 2012

  2. [2]

    and Yngvason J.:There Are No Causality Problems for Fermi’s Two-Atom System

    Buchholz, D. and Yngvason J.:There Are No Causality Problems for Fermi’s Two-Atom System. Phys. Rev. Lett. 73, 613, (1994)

    work page 1994

  3. [3]

    Borowiec, A

    A. Borowiec, A. Jadczyk:Covariant Representations of the Causal Logic, Lett. Math. Phys.3, 255-257 (1979). Cegla, W., Jancewicz, B.:Represen- tations of Relativistic Causality Structure by an Operator Density Current, Rep. Math. Phys.11, 53-63 (1977). B. Jancewicz:Operator Density Current and Relativistic Localization Problem, J. Math. Phys.18, 2487-94 (1977)

    work page 1979

  4. [4]

    Quantum Grav.19, 6389-6404 (2002)

    Casini, H.:The Logic of Causally Closed Spacetime Subsets, Class. Quantum Grav.19, 6389-6404 (2002)

    work page 2002

  5. [5]

    Ceg la, W., Florek, Z. Jadczyk. A.Z.:Orthomodular lattice in Lorentzian globally hyperbolic space-time. Rep. Math. Phys.79(2017). Ceg la W., Jancewicz, B.:Non-modular lattices generated by the causal structure.J. Math. Phys. 1 December 2013;54(12): 122501. Ceg la, W., Florek, J.: The Covering Law in Orthomodular Lattices Generated by Graphs of Func- tions...

    work page 2017

  6. [6]

    http://arxiv.org/abs/1711.06556 (2017)

    Castrigiano, D.P.L.:Dirac and Weyl Fermions - the Only Causal Systems. http://arxiv.org/abs/1711.06556 (2017)

    work page arXiv 2017

  7. [7]

    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

    work page doi:10.1007/s11005-023-01746-z 2024

  8. [8]

    Letters in Mathematical Physics115, 25 (2025) https://doi.org/10.1007/s11005-025-01911-6 http://arxiv.org/abs/2408.08082

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

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

  9. [9]

    http://arxiv.org/abs/2501.10995 22

    Castrigiano, D.P.L.:Localization of the massive scalar bo- son on achronal hyperplanes, derivation of Lorentz contraction. http://arxiv.org/abs/2501.10995 22

    work page arXiv

  10. [10]

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

    work page 1977

  11. [11]

    Cegla, W., Jadczyk, A.Z.:States on Causal Logic, Lett. Math. Phys.3, 109-112 (1979)

    work page 1979

  12. [12]

    Springer Science and Business Media, Dordrecht (2000)

    Dvurecenskij A., Pulmannova S.:New Trends in Quantum Structures. Springer Science and Business Media, Dordrecht (2000)

    work page 2000

  13. [13]

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

    work page doi:10.1007/s11005-024- 2024

  14. [14]

    Springer, Berlin 1969

    Federer, H.:Geometric Measure Theory. Springer, Berlin 1969

    work page 1969

  15. [15]

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

    work page 1967

  16. [16]

    (eds.)Ontological Aspects of Quantum Field Theory

    Halvorson, H., Clifton, R.:No place for particles in relativistic quantum theories?In: Lyre, M.H., Wayne, A. (eds.)Ontological Aspects of Quantum Field Theory. World Scientific, Kuhlmann (2002)

    work page 2002

  17. [17]

    Hegerfeldt, G.C.:Remark on causality and particle localization. Phys. Rev. D 10, 3320 (1974)

    work page 1974

  18. [18]

    Hegerfeldt, G.C.:Violation of causality in relativistic quantum theory? Phys. Rev. Lett. 54, 2395 (1985)

    work page 1985

  19. [19]

    Henning, J.J., Wolf, W.:Positive definite particle densities for the positive frequency solutions of the Klein Gordon equation with arbitrary mass. Z. Phys.242, 12-20 (1971)

    work page 1971

  20. [20]

    Journal of Opti- mization Theory and Applications31(2), 285-288 (1980)

    Kumagai, S.:An implicit function theorem: Comment. Journal of Opti- mization Theory and Applications31(2), 285-288 (1980)

    work page 1980

  21. [21]

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

    work page 2012

  22. [22]

    In: Clifton, R

    Malament, D.B.:In defense of dogma: why there cannot be a relativistic quantum mechanics of (localizable) particles. In: Clifton, R. (ed.)Perspec- tives on Quantum Reality. Kluwer Acodemic Publishers, Amsterdam (1996)

    work page 1996

  23. [23]

    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

    work page doi:10.1007/s11005-023-01689-5 2023

  24. [24]

    R.:On the Localizability Problem of relativistic quantum systems.Thesis, Physics Institute of the University of S˜ao Paulo 2024

    De Oliveira, I. R.:On the Localizability Problem of relativistic quantum systems.Thesis, Physics Institute of the University of S˜ao Paulo 2024

    work page 2024

  25. [25]

    Academic Press Inc (1983)

    O’Neill, B.:Semi-Riemannian geometry with applications to Relativity. Academic Press Inc (1983)

    work page 1983

  26. [26]

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

    work page 1992

  27. [27]

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

    work page 1980