pith. sign in

arxiv: 2604.03729 · v2 · submitted 2026-04-04 · 🧮 math-ph · hep-th· math.MP· quant-ph

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

Valter Moretti This is my paper

Pith reviewed 2026-05-13 17:20 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.MPquant-ph
keywords relativistic localizationcommutativity requirementlocality principlePOVMno-signalingCauchy surfacequantum particlesAraki-Haag-Kastler
0
0 comments X

The pith

Commutativity of localization observables is not required by basic relativistic locality principles for particle systems.

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

This paper investigates whether commutativity of localization observables for causally separated regions is necessary to represent relativistic locality in Minkowski spacetime. Using Busch's operational analysis based on no-signaling and relativistic consistency, it shows that commutativity does not follow from these principles for particle-like systems. A local detectability principle implies that elementary localization observables are supported on entire Cauchy surfaces rather than arbitrarily small neighborhoods. This particle-picture setup avoids direct conflict with the Araki-Haag-Kastler notion of locality in quantum field theory. Conditional localization POVMs for bounded laboratory regions can satisfy commutativity through gentle measurements and may therefore qualify as local observables.

Core claim

The paper establishes that for relativistic quantum particles, the principles of no-signaling and relativistic consistency do not imply that localization observables for causally separated regions must commute. Assuming local detectability, elementary localization observables are supported on the full rest space, which is a Cauchy surface. This reflects the ideal detector setup for particles and permits compatibility with the Araki-Haag-Kastler framework of locality, while conditional localization POVMs for laboratories can be made to commute.

What carries the argument

Busch's operational analysis of no-signaling combined with the local detectability principle, which requires localization over complete Cauchy surfaces instead of small neighborhoods.

If this is right

  • Localization observables for particles are tied to measurements over the entire rest space filled with detectors.
  • Commutativity can be achieved for conditional localization in bounded spatial regions using gentle measurements.
  • These conditional observables may be represented as local in the sense of algebraic quantum field theory.
  • Elementary localization procedures do not inherently violate the locality principle of QFT.

Where Pith is reading between the lines

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

  • This suggests that no-go theorems on localization may be circumvented by considering realistic, non-elementary measurement procedures.
  • Particle localization in relativistic settings can be consistent with causality without forcing commutativity at the elementary level.
  • Explicit constructions in specific QFT models could test whether such conditional POVMs exist.

Load-bearing premise

The analysis rests on the assumption that a natural local detectability principle applies, under which detectors must cover the whole rest space for localization to occur.

What would settle it

A theoretical construction or calculation showing that a localization effect can be confined to an arbitrarily small spacetime neighborhood around a spatial point without permitting superluminal signaling would falsify the claim that full Cauchy surface support is necessary.

read the original abstract

We investigate whether commutativity is necessary to represent relativistic locality for localization observables of relativistic quantum systems in Minkowski spacetime. A well known no-go theorem by Halvorson and Clifton shows that commutativity of localization effects for causally separated regions is incompatible with other seemingly natural assumptions about spatial localization. Since commutativity is taken to represent locality in the Araki-Haag-Kastler framework of QFT, this prompts the question whether it follows from more elementary locality principles of quantum theory. Using Busch's operational analysis in terms of no-signaling and relativistic consistency, we argue that for particle-like systems commutativity is not implied by these principles. Assuming a natural local detectability principle, elementary localization observables are not localized in arbitrarily small spacetime neighborhoods of the relevant spatial regions, but rather in regions containing the entire rest space (a Cauchy surface) on which the measurement is performed. This reflects the particle picture itself, where localization occurs at a unique place on a rest space filled with ideal detectors, and therefore does not directly conflict with the Araki-Haag-Kastler notion of locality. We also show that commutativity and localization can coexist for less idealized localization procedures. To this end, we introduce conditional localization POVMs associated with bounded spatial regions interpreted as laboratories. By the gentle measurement lemma, these observables describe conditional localization probabilities and can, in principle, satisfy commutativity for causally separated laboratories. They may therefore be represented by local observables in the Araki-Haag-Kastler sense. Explicit examples will be presented in forthcoming work within local QFT.

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

2 major / 1 minor

Summary. The paper investigates whether commutativity of localization observables for causally separated regions is required by relativistic locality principles for particle-like systems in Minkowski spacetime. Using Busch's operational analysis in terms of no-signaling and relativistic consistency, it argues that commutativity is not implied by these principles alone. It posits a natural local detectability principle under which elementary localization observables are supported on entire Cauchy surfaces rather than arbitrarily small spacetime neighborhoods. The paper further introduces conditional localization POVMs associated with bounded laboratory regions, which by the gentle measurement lemma can satisfy commutativity and thus be compatible with the Araki-Haag-Kastler framework, with explicit examples deferred to forthcoming work.

Significance. If the argument holds, the work clarifies the scope of the Halvorson-Clifton no-go theorem by showing that the incompatibility with commutativity stems from idealized localization assumptions rather than from no-signaling or relativistic consistency per se. The introduction of conditional localization POVMs offers a concrete route to reconcile operational locality with algebraic QFT notions of local observables, with potential implications for relativistic quantum information and the foundations of localization in QFT.

major comments (2)
  1. [General analysis (detectability principle)] The local detectability principle (under which elementary localization observables must be supported on the full rest space/Cauchy surface rather than small neighborhoods) is introduced as 'natural' in the general analysis but is not derived from the no-signaling and relativistic consistency conditions of Busch's operational framework. This principle is load-bearing for the central claim that commutativity is not implied by the more elementary principles, as the conclusion would not follow without it.
  2. [Conditional localization POVMs] The construction of conditional localization POVMs for bounded spatial regions is presented as restoring commutativity, but the manuscript does not demonstrate that these POVMs remain consistent with the same local detectability principle (i.e., that their support is not forced onto entire Cauchy surfaces). This leaves the compatibility with the particle-like picture unverified in the general case.
minor comments (1)
  1. [Abstract] The abstract states that explicit examples will be presented in forthcoming work; adding a brief outline of the expected construction (e.g., the form of the conditional POVM elements) would help readers evaluate the generality of the current analysis.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments, which help sharpen the logical structure of our arguments. We address the two major comments point by point below, with clarifications added to the revised manuscript.

read point-by-point responses

  1. Referee: The local detectability principle is introduced as 'natural' in the general analysis but is not derived from the no-signaling and relativistic consistency conditions of Busch's operational framework. This principle is load-bearing for the central claim that commutativity is not implied by the more elementary principles.

    Authors: We agree that the local detectability principle is an additional physically motivated assumption rather than a direct consequence of no-signaling and relativistic consistency alone. Our central claim is precisely that commutativity does not follow from those elementary principles; the detectability principle is then invoked to show how the particle picture (with detectors filling a full rest space) naturally leads to support on entire Cauchy surfaces. In the revision we have added an explicit paragraph in Section 3 stating that this is an extra assumption motivated by the operational setup of ideal detectors on a rest space, and we have clarified that the no-go for commutativity is avoided only once this principle is adopted. This makes the logical dependence transparent without claiming derivation from Busch's conditions. revision: partial

  2. Referee: The construction of conditional localization POVMs for bounded spatial regions is presented as restoring commutativity, but the manuscript does not demonstrate that these POVMs remain consistent with the same local detectability principle. This leaves the compatibility with the particle-like picture unverified in the general case.

    Authors: The conditional localization POVMs are introduced for bounded laboratory regions and are deliberately less idealized than the elementary observables. By construction they are supported on bounded spatial domains, and the gentle measurement lemma guarantees that commutativity can hold for causally separated labs while preserving no-signaling. They are therefore not required to obey the same local detectability principle that applies to the idealized elementary case. In the revision we have inserted a clarifying remark distinguishing the two classes of observables and noting that the conditional POVMs provide a practical route to commutativity compatible with the Araki-Haag-Kastler framework. Full explicit constructions within local QFT are, as stated in the manuscript, reserved for forthcoming work. revision: partial

Circularity Check

0 steps flagged

No significant circularity; argument uses external Busch analysis plus an explicitly introduced assumption.

full rationale

The paper's derivation invokes Busch's independent operational analysis of no-signaling and relativistic consistency to argue that commutativity is not forced for particle-like localization observables. It then states an additional 'natural local detectability principle' under which elementary POVM elements have support on entire Cauchy surfaces rather than arbitrarily small neighborhoods. This principle is presented as an assumption rather than derived from the paper's own equations or prior self-citations. The subsequent construction of conditional localization POVMs for laboratories is offered as a separate, non-circular development that can satisfy commutativity. No load-bearing step reduces by construction to a self-definition, fitted input renamed as prediction, or self-citation chain; the central claim therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on the local detectability principle as a domain assumption and the interpretation of Busch's no-signaling and relativistic consistency principles; conditional localization POVMs are introduced as a new construct without independent falsifiable evidence provided.

axioms (2)
  • domain assumption Natural local detectability principle
    Invoked to conclude that localization observables cover the entire rest space rather than arbitrarily small neighborhoods.
  • domain assumption Busch's operational principles of no-signaling and relativistic consistency
    Taken as the basis for arguing that commutativity is not implied for particle-like systems.
invented entities (1)
  • Conditional localization POVMs associated with bounded spatial regions no independent evidence
    purpose: To describe conditional localization probabilities for laboratories that can satisfy commutativity for causally separated regions.
    Newly introduced in the paper as a less idealized procedure compatible with Araki-Haag-Kastler locality.

pith-pipeline@v0.9.0 · 5592 in / 1399 out tokens · 44509 ms · 2026-05-13T17:20:36.439934+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.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages · 1 internal anchor

  1. [1]

    Oxford University Press, (2009)

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

    work page 2009

  2. [2]

    Arias, A., Gheondea, A., and Gudder, S., Fixed points of quantum operations. J. Math. Phys. 43 , 12 (2002), 5872 -- 5881

    work page 2002

  3. [3]

    at f\"ur Mathematik, Informatik und Statistik der Ludwig-Maximilian-Universit\

    Beck, C., Localization Local Quantum Measurement and Relativity , Dissertation an der Fakult\"at f\"ur Mathematik, Informatik und Statistik der Ludwig-Maximilian-Universit\"at M\"unchen, 2020

    work page 2020

  4. [4]

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

    work page 1999

  5. [5]

    Busch, P., ''No Information Without Disturbance'': Quantum Limitations of Measurement in Quantum Reality, Relativistic Causality, and Closing the Epistemic Circle , Essays in Honour of Abner Shimony. Wayne C. Myrvold, Joy Christian Ed. Springer (2009)

    work page 2009

  6. [6]

    and Singh, J

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

    work page 1998

  7. [7]

    Bernal, A.N., Sanchez, M., Further results on the smoothability of Cauchy hypersurfaces and Cauchy time functions. Lett. Math. Phys. 77, 183-197 (2006)

    work page 2006

  8. [8]

    Busch, P., Lahti, Pellonp\"a\"a, P., J.-P., Ylinen, K.., Quantum Measuremement , Springer 2016

    work page 2016

  9. [9]

    Castrigiano, D. P. L. and Leiseifer, A. D., Causal localizations in relativistic quantum mechanics. J. Math. Phys. 56 (2015), no. 7, 072301,

    work page 2015

  10. [10]

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

    work page arXiv 2017

  11. [11]

    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

  12. [12]

    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 Physics 115 , 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

  13. [13]

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

    Castrigiano, D.P.L., De Rosa, C., Moretti, V.: Achronal localization and representation of the causal logic from a conserved current, application to the massive scalar boson . Annales H. Poincar\'e, (2026) in press, arXiv preprint arXiv:2501.12699

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  14. [14]

    Letters in Mathematical Physics (2024) 114:72 https://doi.org/10.1007/s11005-024-01817-9 http://arxiv.org/abs/2408.08082

    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 http://arxiv.org/abs/2408.08082

    work page doi:10.1007/s11005-024-01817-9 2024

  15. [15]

    and Conti, C

    Falcone, R. and Conti, C. Inequality for relativistic local quantum measurements . Phys. Rev, D 113 , L061702 (2026)

    work page 2026

  16. [16]

    67, Supplement

    Fleming, G.N., Reeh-Schlieder Meets Newton-Wigner , Philosophy of Science, Vol. 67, Supplement. Proceedings of the 1998 Biennial Meetings of the Philosophy of Science Association. Part II: Symposia Papers (Sep., 2000), pp. S495-S515 (21 pages)

    work page 1998

  17. [17]

    Sequential quantum measurements

    Gudder, S., and Nagy, G. Sequential quantum measurements . J. Math. Phys. 42, 11 (2001), 5212--5222

    work page 2001

  18. [18]

    Springer-Verlag (1996)

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

    work page 1996

  19. [19]

    Philosophy of Science, Vol

    Halvorson, H., Reeh-Schlieder Defeats Newton-Wigner: On Alternative Localization Schemes in Relativistic Quantum Field Theory . Philosophy of Science, Vol. 68, No. 1 (Mar., 2001), pp. 111-133

    work page 2001

  20. [20]

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

    work page 1974

  21. [21]

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

    work page 1985

  22. [22]

    Kuhlmann, H

    Halvorson, H., and Clifton,R., No place for particles in relativistic quantum theories? in Ontological Aspects of Quantum Field Theory, Edited By: M. Kuhlmann, H. Lyre, and A. Wayne, World Scientific November 2002

    work page 2002

  23. [23]

    M., Nondisturbing quantum measurements

    Heinosaari, T., and Wolf, M. M., Nondisturbing quantum measurements. J. Math. Phys. 51 , 9 (2010), 092201

    work page 2010

  24. [24]

    , Operator density current and relativistic localization problem

    Jancewicz, B. , Operator density current and relativistic localization problem . J. Math. Phys. 18.12 2487-2494 (1977),

    work page 1977

  25. [25]

    Causal quantum-mechanical localization observables in lattices of real projections (2026) arXiv:2602.11392

    Lechner, G., de Oliveira, I.R. Causal quantum-mechanical localization observables in lattices of real projections (2026) arXiv:2602.11392

    work page arXiv 2026

  26. [26]

    uders, G., \

    L\"uders, G., \"Uber die Zustands\"anderung durch den Messprozess. Annalen der Physik (6.F.) 8, 322-328. (1951)

    work page 1951

  27. [27]

    Clifton (ed.)

    Malament, D.B., In Defense of Dogma: Why There Cannot Be a Relativistic Quantum Mechanics of (Localizable) Particles in R. Clifton (ed.). Perspectives on Quantum Reality , 1-10. e 1996 Kluwer Acodemic Publishers. Printed in the Netherlands (1996)

    work page 1996

  28. [28]

    Mittelstaedt, P., Can EPR-correlations be used for the transmission of superluminal signals? Annalen der Physik 7, 710-715 (1998)

    work page 1998

  29. [29]

    Spectral Theory and Quantum Mechanics

    Moretti, V. Spectral Theory and Quantum Mechanics. 2nd revised and enlarged edition, Springer International Publishing (2018)

    work page 2018

  30. [30]

    Moretti, V., Fundamental Mathematical Structures of Quantum Theory, Springer International Publishing (2019)

    work page 2019

  31. [31]

    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

  32. [32]

    D\"urr (ed.), Quanten und Felder

    Schlieder, S., Zum kausalen Verhalten eines relativistischen quantenmechanischen System , in S.P. D\"urr (ed.), Quanten und Felder. Braunschweig: Vieweg, 145-160, (1971)

    work page 1971

  33. [33]

    Yosida, K., Functional Analysis , 6th edition, Springer-Verlag, Berlin, Heidelberg, New York, (1980)

    work page 1980

  34. [34]

    Coding Theorems of Quantum Information Theory

    Winter, A. Coding Theorems of Quantum Information Theory . Ph.D. dissertation, Uni Bielefeld (1999) arXiv:quant-ph/9907077

    work page arXiv 1999