The causal axioms of algebraic quantum field theory (AQFT) — the spectrum condition, microcausality, and primitive causality — are meant to encode relativistic causation, yet none of them individually fulfills the standard desiderata (locality, no superluminal signaling, deterministic evolution, respect for the spacetime metric), and their conjunction implies local primitive causality only under auxiliary hypotheses such as essential duality. A 2024 diagnostic of these axioms identified as the principal unresolved issue the absence of a general, physically motivated theory of localized operations and measurements in relativistic quantum field theory: without knowing what counts as a physically implementable local measurement, it is undetermined whether microcausality actually prohibits superluminal influence, how Sorkin-type ‘impossible measurement’ protocols and Hegerfeldt-type causality paradoxes are blocked, and whether any independence reading of microcausality survives the maximal vacuum entanglement across spacelike separated regions. This problem asks for such a theory — with operational admissibility criteria, provable no-signaling guarantees, a settlement of the entanglement–independence tension, and a clarification of the interplay between the different formulations of primitive causality as a requirement of compatible local dynamics and global determinism — or for a rigorous impossibility theorem showing that the requirements on a general local measurement theory (locality of implementation, covariance, no superluminal signaling, a coherent state-update rule for successive measurements, applicability across physically relevant models) cannot be met jointly.

Background

In algebraic quantum field theory (AQFT), a quantum field theory is described by a Haag–Kastler net: an assignment O↦A(O)O\mapsto\mathcal{A}(O) sending each bounded open spacetime region OO to a von Neumann algebra (a strongly closed algebra of bounded operators on a Hilbert space) of observables measurable in OO, with isotony A(O1)⊆A(O2)\mathcal{A}(O_1)\subseteq\mathcal{A}(O_2) for O1⊆O2O_1\subseteq O_2; the commutant A(O)′\mathcal{A}(O)' is the algebra of all bounded operators commuting with every element of A(O)\mathcal{A}(O). AQFT locates its relativistic causal character in three axioms. The spectrum condition (SC) confines the joint spectrum of the spacetime-translation generators to the forward light cone and posits a unique translation-invariant vacuum. Microcausality (MC) requires elementwise commutation of A(O1)\mathcal{A}(O_1) and A(O2)\mathcal{A}(O_2) for spacelike separated regions — A(O)⊆A(O′)′\mathcal{A}(O)\subseteq\mathcal{A}(O')', with O′O' the causal complement of OO. Primitive causality (PC) requires the algebra of any time slice (unbounded in space, finitely extended in time) to equal the algebra of the whole spacetime, expressing deterministic evolution. Calderón (2024) formulates four desiderata for relativistic causation — locality, preclusion of superluminal signaling, a deterministic connection between events, and respect for the metric structure of spacetime — and argues that none of the three axioms alone fulfills them, while their conjunction implies a fourth condition, local primitive causality (LPC), A(O)=A(O′′)\mathcal{A}(O)=\mathcal{A}(O'') for diamond regions (O′′O'' the causal completion), via a construction going back to Haag and Schroer (1962). That derivation uses auxiliary hypotheses — a concrete von Neumann representation with A(M)=B(H)\mathcal{A}(M)=\mathcal{B}(\mathcal{H}), essential duality (A(O′)′=A(O′′)\mathcal{A}(O')'=\mathcal{A}(O'')), and edge-of-the-wedge-type analyticity following from the spectrum condition — and LPC is closely tied to Haag duality (A(O′)′=A(O)\mathcal{A}(O')'=\mathcal{A}(O)), a property that can fail in models with superselection sectors.

Two structural facts keep the causal reading unsettled. First, local algebras in AQFT are typically type III von Neumann factors — factors containing no minimal projections — so the ordinary measurement formalism of quantum mechanics (projective measurements and the Lüders update rule, the generalization of the projection postulate to degenerate observables) does not transfer to a single region; and the Reeh–Schlieder theorem makes the vacuum cyclic for every local algebra, so no strictly localized states or operations exist in the naive sense. Auxiliary structural assumptions such as the split property (distant local algebras can be nested inside type I factors, formalizing independent laboratories) lie outside the basic axioms. Second, entanglement is ubiquitous and in a precise sense maximal: Summers and Werner (1988) proved that the vacuum of any theory obeying the axioms violates Bell inequalities maximally between algebras of tangent — arbitrarily close, spacelike separated — regions, blocking the simplest reading of MC as statistical independence of spacelike separated subsystems.

The sharpest symptom is the measurement problem. Sorkin (1993) exhibited an ‘impossible measurement’ protocol: if measurements in spacelike separated regions are idealized by the projection postulate applied in succession, the statistics observed in a region O3O_3 depend on which measurement was performed in a spacelike separated region O1O_1 — apparent superluminal signaling inside a theory that satisfies MC. Hegerfeldt (1994) showed that positivity of the energy combined with strictly localized excitations forces instantaneous spreading, a conclusion contested by Buchholz and Yngvason (1994) in the Fermi two-atom setting. No-signaling theorems hold only for restricted classes of operations and can be bypassed by protocols of Sorkin type. Partial constructive responses exist — the Fewster–Verch (2020) framework, in which a measurement is a localized dynamical coupling of the system field to a probe field, with outcomes read from the probe; detector-based measurement theories built on localized detector models; and, most recently, local S-matrix factorisation criteria — but none is accepted as the general theory, and the question of what exactly counts as a physically implementable localized operation in relativistic quantum field theory, and what causality it provably respects, remains the open core left by the source paper’s diagnostic.

Problem Statement

The problem is to complete the measurement-theoretic foundations of the causal axioms of AQFT: construct, or prove impossible, a general, physically motivated theory of localized operations and measurements for relativistic quantum field theory in the algebraic setting. Such a theory must, specifically:

(1) Admissibility criteria. Define what it means for an operation or measurement to be localized in a spacetime region and to be physically implementable, by operational criteria applying model-independently.

(2) No-signaling and impossible measurements. Within the theory, settle the status of Sorkin-type ‘impossible measurement’ protocols: prove that physically admissible local operations cannot be used for superluminal signaling in such scenarios, or delimit exactly when they can; and thereby fix the precise logical relation between microcausality, no-signaling theorems, and the class of admissible operations, including whether the no-signaling reading of microcausality survives a broadening of that class.

(3) Entanglement and independence. Determine whether, within the theory, a statistical-independence or separability reading of microcausality can be reconciled with the ubiquity and maximality of vacuum entanglement across spacelike separated regions — given what the theory permits as states and operations — or show that the independence reading must be abandoned.

(4) Causal content of the axioms. State precisely which formulations of primitive causality — time-slice PC, local primitive causality (LPC), and Haag duality — are equivalent under which auxiliary hypotheses (such as essential duality or the split property), and prove the implications; these equivalences determine what the axiom demands of a compatible notion of local dynamics and global determinism.

An answer of the constructive type is a framework with precise definitions and theorems that resolve all four sub-problems: definitions and no-signaling theorems for (1) and (2), and a definite determination of (3) and (4) — for (3), whether the independence reading is reconciled or must be abandoned — rather than a partial or merely sketched treatment; an answer of the impossibility type is a rigorous no-go theorem showing that the requirements on a general local measurement theory (locality of implementation, covariance, no superluminal signaling, a coherent state-update rule for successive measurements, applicability across physically relevant models) cannot all be satisfied jointly.

References

  1. Haag, R.; Schroer, B. (1962). Postulates of quantum field theory. Journal of Mathematical Physics 3(2), 248–256. DOI: 10.1063/1.1703797. URL: https://doi.org/10.1063/1.1703797
  2. Summers, S. J.; Werner, R. (1988). Maximal violation of Bell’s inequalities for algebras of observables in tangent spacetime regions. Annales de l’I.H.P. Physique théorique 49(2), 215–243. URL: https://www.numdam.org/item/AIHPA_1988__49_2_215_0/
  3. Sorkin, R. (1993). Impossible measurements on quantum fields. In: Directions in General Relativity, Vol. II (Proceedings of the 1993 International Symposium, Maryland), pp. 293–305. Cambridge University Press. DOI: 10.1017/cbo9780511524653.024. URL: https://doi.org/10.1017/cbo9780511524653.024
  4. Hegerfeldt, G. C. (1994). Causality problems for Fermi’s two-atom system. Physical Review Letters 72(5), 596–599. DOI: 10.1103/PhysRevLett.72.596. URL: https://doi.org/10.1103/PhysRevLett.72.596
  5. Buchholz, D.; Yngvason, J. (1994). There are no causality problems for Fermi’s two atom system. Physical Review Letters 73(5), 613–616. DOI: 10.1103/PhysRevLett.73.613. URL: https://doi.org/10.1103/PhysRevLett.73.613
  6. Okamura, K.; Ozawa, M. (2016). Measurement theory in local quantum physics. Journal of Mathematical Physics 57(1), 015209. DOI: 10.1063/1.4935407. URL: https://doi.org/10.1063/1.4935407
  7. Kitajima, Y. (2018). Local operations and completely positive maps in algebraic quantum field theory. In: Reality and Measurement in Algebraic Quantum Theory (Springer Proceedings in Mathematics and Statistics), pp. 83–95. Springer. DOI: 10.1007/978-981-13-2487-1_3. URL: https://doi.org/10.1007/978-981-13-2487-1_3
  8. Drago, N.; Moretti, V. (2020). The notion of observable and the moment problem for *-algebras and their GNS representations. Letters in Mathematical Physics 110(7), 1711–1758. DOI: 10.1007/s11005-020-01277-x. URL: https://doi.org/10.1007/s11005-020-01277-x
  9. Fewster, C. J.; Verch, R. (2020). Quantum fields and local measurements. Communications in Mathematical Physics 378(2), 851–889. DOI: 10.1007/s00220-020-03800-6. arXiv:1810.06512. URL: https://arxiv.org/abs/1810.06512
  10. Borsten, L.; Jubb, I.; Kells, G. (2021). Impossible measurements revisited. Physical Review D 104(2), 025012. DOI: 10.1103/PhysRevD.104.025012. arXiv:1912.06141. URL: https://arxiv.org/abs/1912.06141
  11. Bostelmann, H.; Fewster, C. J.; Ruep, M. H. (2021). Impossible measurements require impossible apparatus. Physical Review D 103(2), 025017. DOI: 10.1103/PhysRevD.103.025017. arXiv:2003.04660. URL: https://arxiv.org/abs/2003.04660
  12. Polo-Gómez, J.; Garay, L. J.; Martín-Martínez, E. (2022). A detector-based measurement theory for quantum field theory. Physical Review D 105(6), 065003. DOI: 10.1103/PhysRevD.105.065003. arXiv:2108.02793. URL: https://arxiv.org/abs/2108.02793
  13. Bednorz, A. (2023). General quantum measurements in relativistic quantum field theory. Physical Review D 108(5), 056020. DOI: 10.1103/PhysRevD.108.056020. URL: https://doi.org/10.1103/PhysRevD.108.056020
  14. Fewster, C. J.; Verch, R. (2023). Measurement in quantum field theory. arXiv:2304.13356. URL: https://arxiv.org/abs/2304.13356
  15. Much, A.; Verch, R. (2023). Superluminal local operations in quantum field theory: A ping-pong ball test. arXiv:2308.16673. URL: https://arxiv.org/abs/2308.16673
  16. Calderón, F. (2024). The causal axioms of algebraic quantum field theory: A diagnostic. Studies in History and Philosophy of Science 104, 98–108. DOI: 10.1016/j.shpsa.2024.01.006. arXiv:2401.06504. URL: https://arxiv.org/abs/2401.06504
  17. Chua, E. Y. S.; Sebens, C. T. (2024). Relativistic locality from electromagnetism to quantum field theory. arXiv:2412.11532. URL: https://arxiv.org/abs/2412.11532
  18. Gisin, N.; Del Santo, F. (2024). Towards a measurement theory in QFT: ‘Impossible’ quantum measurements are possible but not ideal. Quantum 8, 1267. DOI: 10.22331/q-2024-02-27-1267. arXiv:2311.13644. URL: https://doi.org/10.22331/q-2024-02-27-1267
  19. Papageorgiou, M.; Fraser, D. (2024). Eliminating the ‘impossible’: Recent progress on local measurement theory for quantum field theory. Foundations of Physics 54, 26. DOI: 10.1007/s10701-024-00756-8. arXiv:2307.08524. URL: https://arxiv.org/abs/2307.08524
  20. Fewster, C. J. (2025). Lectures on measurement in quantum field theory. arXiv:2504.17437. URL: https://arxiv.org/abs/2504.17437
  21. Huhtala, J.; Vilja, I. (2025). Phenomenological constraints on ‘impossible’ measurements. arXiv:2507.06767. URL: https://arxiv.org/abs/2507.06767
  22. Mandrysch, J.; Navascués, M. (2025). Quantum field measurements in the Fewster–Verch framework. Letters in Mathematical Physics 115, article 115 (2025). DOI: 10.1007/s11005-025-02001-3. URL: https://doi.org/10.1007/s11005-025-02001-3
  23. Simmons, R.; Papageorgiou, M.; Christodoulou, M.; Brukner, Č. (2025). Factorisation conditions and causality for local measurements in QFT. arXiv:2511.21644. URL: https://arxiv.org/abs/2511.21644
  24. Soulas, A. (2025). A proof that no-signalling implies microcausality in quantum field theory. Foundations of Physics 55, article 22 (2025). DOI: 10.1007/s10701-025-00832-7. arXiv:2309.07715. URL: https://arxiv.org/abs/2309.07715
  25. Blum, A. S.; Fraser, J. D. (2025). Perturbative causality. Synthese 206, article 70 (2025). DOI: 10.1007/s11229-025-05099-z. URL: https://doi.org/10.1007/s11229-025-05099-z
  26. Nasreddine, H. (2026). Essential duality and quantitative channel composability in algebraic quantum field theory. arXiv:2605.00075. URL: https://arxiv.org/abs/2605.00075
  27. Daem, F.; Ballesteros Ferraz, L.; Zampeli, A.; Matzkin, A. (2026). Sensing relativistic quantum fields with minimally perturbing local measurements. arXiv:2607.17920. URL: https://arxiv.org/abs/2607.17920