Local and compositional measurements in quantum field theory: probability-valued probes, compositional renormalization, and extension beyond free linear bosonic theories

Relativistic quantum field theory (QFT) still lacks a universal framework for joint measurements localized in spacetime that combines spacetime locality, free compositionality, relativistic causality, and a complete probability interpretation. Oeckl and Zampeli (arXiv:2505.10968) advanced this program with the modulus-square construction of spacetime probes in the local positive formalism, but the resulting probes encode only expectation values, the explicit calculations are restricted to free bosonic (linear) field theories, and the construction rests on formal path-integral manipulations; the authors list these as open directions. A direct successor (Oeckl, arXiv:2511.06566) constructs probability-valued probes via a regularized spectral decomposition — realizing exactly the Gaussian route suggested in the source — and proves causal transparency for them, thereby resolving the expectation-value-versus-probability gap for observables generated by linear observables in free bosonic theory. What remains open, and what this problem records, is the completion of the framework: a renormalization scheme for probability-valued probes of singular observables such as $\phi^2(x)$ and the energy-momentum tensor that commutes with spacetime composition and has controlled regulator limits; extension to interacting theories, gauge fields, and settings without a preferred vacuum; a systematic two-way correspondence with apparatus-based measurement schemes (Fewster–Verch probe fields, Unruh–DeWitt detectors); and rigorous functional-analytic foundations.

Background

In non-relativistic quantum mechanics, a complete account of measurement was achieved around 1970 in terms of quantum operations: trace-preserving completely positive maps acting on density operators, whose outcome statistics are described by a POVM (positive-operator-valued measure, a family of positive operators summing to the identity whose expectation on a state gives the outcome probabilities). In relativistic QFT, measurements should additionally be localizable in arbitrary spacetime regions and freely composable in space and time. Extending textbook projective measurement to this setting fails: Sorkin showed in 1993 that ideal measurements on quantum fields generically enable superluminal signaling ("impossible measurements"), and the violation persists even though field operators satisfy microcausality (commutation at spacelike separation). An admissible local measurement must satisfy causal transparency: a non-selective operation (one whose outcome is ignored) in a spacetime region cannot alter expectation values in spacelike separated regions.

Current approaches divide into apparatus-based and observable-based ones. In apparatus-based schemes the measuring device is modeled explicitly. The Fewster–Verch framework, formulated in algebraic QFT (the axiomatic setting assigning operator algebras to spacetime regions), couples the target field to an ancilla "probe" field through a local interaction and reads the outcome off the ancilla; it is free of Sorkin-type paradoxes. Detector models of Unruh–DeWitt (UDW) type describe a pointlike quantum system coupled to the field along a worldline with a switching function; a detector-based measurement theory for QFT was developed by Polo-Gómez, Garay and Martín-Martínez. Observable-based schemes instead construct admissible measurement operations for target observables directly. Jubb proved that Gaussian quantum operations of the form $\sigma \mapsto \exp(-\alpha(\hat{\phi}(x)-q)^2)\,\sigma\,\exp(-\alpha(\hat{\phi}(x)-q)^2)$, an approximate measurement of whether the field has value $q$, satisfy causal transparency; Oeckl then obtained explicit regularized spectral decompositions of field operators whose induced quantum operations are causally admissible.

The present problem belongs to a structural strand: Oeckl's positive formalism (PF), an axiomatic local generalization of quantum theory in which the central objects are probes — spacetime-localized analogues of quantum operations, composable whenever their spacetime regions do not overlap, with a probability rule given by quotients of composed probe values that needs no preferred time direction (its pure-state counterpart is the general boundary formulation). In QFT, probes are realized through the path integral; when the system is discarded after the measurement this becomes the Schwinger–Keldysh (closed time-path) double path integral. Oeckl and Zampeli introduced the modulus-square construction: for an observable expressible as the modulus square of a simpler observable $A$ (e.g., a quadratic observable with $A$ linear), insert $A$ in one branch of the double path integral and its complex conjugate in the other. The resulting probe is positive, localized where the classical observable has support, composable in spacetime, and recovers standard single-measurement results. For singular quadratic observables they introduced a renormalization prescription (subtracting a vacuum-contraction term, implementable via point splitting, the standard technique of separating coincident points before taking a limit), which reduces to normal ordering (the standard rearrangement of field creation and annihilation operators that removes vacuum-contraction contributions) for single instantaneous measurements but, unlike normal ordering, commutes with spacetime composition ("renormalization commutes with composition"); it is uniquely fixed by requiring that single measurements on coherent states (quantum states labeled by classical field solutions that saturate uncertainty relations) reproduce classical expectation values. However, these probes encode expectation values of observables and their products — not outcome probabilities, which cannot be recovered from them in any simple way (the analogy is possessing an operator without its spectral decomposition); the explicit calculations assume free bosonic fields with a chosen global vacuum; the constructions are formal (path-integral and basis manipulations without functional-analytic control); and the relation to apparatus-based schemes was only sketched.

A direct successor by Oeckl (arXiv:2511.06566) removes the first limitation for a large observable class: promoting the regularized spectral decomposition of field operators to the spacetime setting, it defines probes $\mathcal{A}^{\epsilon}_{M}(q)$ asking whether a linear observable $A$ of the field in spacetime region $M$ takes the value $q$ — realized precisely as the modulus-square construction for the sharply peaked Gaussian observable $H^{\epsilon}_{A}(q)(\phi) \propto \exp(-(A(\phi)-q)^2/\epsilon^{2})$, the route suggested in the source paper — together with a probe-valued functional calculus $\mathcal{A}^{\epsilon}[f]$ (integrating probes against functions $f$ of the outcome, so that characteristic functions yield probabilities), a non-selective probe $\mathcal{A}^{\epsilon}[\mathbf{1}]$, and a proof of causal transparency; probabilities arise as quotients $\mathcal{A}^{\epsilon}[q]/\mathcal{A}^{\epsilon}[\mathbf{1}]$ with well-defined $\epsilon \to 0$ limits. That successor itself leaves open the renormalization needed when the measured functions are singular (e.g., the energy-momentum tensor at a spacetime point), the extension beyond linear observables and free bosonic theories (its causal-transparency proofs rely essentially on linearity), the correspondence with apparatus-based models, and rigor; it also shows that the $\epsilon \to 0$ limit of the probes as operations does not exist (it depends on the boundary conditions), so the regulator can in general be removed only at the level of probabilities.

Problem Statement

Complete the local, compositional measurement framework for quantum field theory so that joint localized measurements with full outcome statistics become available, maintaining spacetime locality, spacetime compositionality, relativistic causality (causal transparency), and consistency of the probability interpretation. Within the local positive formalism, building on the modulus-square construction and the regularized spectral-decomposition probes, the following linked components remain open:

(1) Probability-valued probes for singular observables. Extend the probe-valued functional calculus of the spacetime framework to singular (quadratic and higher) observables such as $\phi^2(x)$ and the energy-momentum tensor $T_{\mu\nu}(x)$, via a renormalization scheme that commutes with spacetime composition, preserves the semiclassicality condition on coherent states, is compatible with the quotient probability rule, and provably preserves causal transparency. This includes clarifying the regulator: the $\epsilon \to 0$ limit of the probes as operations does not exist (it depends on boundary conditions) while quotient probabilities converge with boundary-condition-dependent scaling — determine under what conditions renormalized probability-valued probes admit regulator-independent limits, and whether the renormalization prescription is unique (or canonical) beyond the quadratic observables where it is currently fixed.

(2) Scope beyond free linear bosonic theories. Adapt the construction — probes, probability rule, renormalization, and the causality arguments — to interacting quantum field theories, to fields with gauge symmetry, and to settings without a preferred global vacuum, where the propagator-based path-integral techniques and coherent-state resolutions of linear theory are unavailable and the existing causal-transparency proofs (which rely essentially on the linearity of the basic observables) must be replaced.

(3) Correspondence with apparatus-based models. Establish a systematic two-way mapping between the observable-based probes (modulus-square and regularized spectral probes) and apparatus-based measurement schemes — Fewster–Verch probe fields and Unruh–DeWitt-type detectors — deriving the former from explicit ancilla models and identifying which ancilla models realize a given probe.

(4) Mathematical foundations. Provide rigorous functional-analytic or algebraic formulations of the probes, with control of point-splitting limits, convergence of basis sums and integrals, and existence of the compositions used, replacing formal path-integral manipulations.

These components jointly support one objective: a universal framework for the joint measurement of localized observables in QFT satisfying locality, compositionality, causality, and a complete probability interpretation. A solution establishes the missing components so that joint outcome probabilities of localized measurements — including singular observables — are well defined in a class of theories strictly larger than free linear bosonic field theory, with the relation to explicit apparatus models made precise; results on individual components (for example, a compositional renormalization scheme for probability-valued probes in free theory, or an ancilla realization of a class of probes) constitute meaningful partial progress.

References

1. R. Oeckl, A. Zampeli, Towards local and compositional measurements in quantum field theory, preprint (2025), arXiv:2505.10968, https://arxiv.org/abs/2505.10968
2. R. Oeckl, Causal measurement in quantum field theory: spacetime, Phys. Rev. D 113 (2026) 085002, doi:10.1103/5gl8-3j6p, arXiv:2511.06566, https://arxiv.org/abs/2511.06566
3. R. Oeckl, Spectral decomposition of field operators and causal measurement in quantum field theory, J. Math. Phys. 66 (2025) 042302, doi:10.1063/5.0245368, arXiv:2409.08748, https://arxiv.org/abs/2409.08748
4. C. J. Fewster, R. Verch, Quantum fields and local measurements, Commun. Math. Phys. 378 (2020) 851–889, doi:10.1007/s00220-020-03800-6, arXiv:1810.06512, https://arxiv.org/abs/1810.06512
5. M. Papageorgiou, D. Fraser, Eliminating the "impossible": Recent progress on local measurement theory for quantum field theory, Found. Phys. 54 (2024) 26, doi:10.1007/s10701-024-00756-8, arXiv:2307.08524, https://arxiv.org/abs/2307.08524
6. J. Polo-Gómez, L. J. Garay, E. Martín-Martínez, A detector-based measurement theory for quantum field theory, Phys. Rev. D 105 (2022) 065003, doi:10.1103/PhysRevD.105.065003, arXiv:2108.02793, https://arxiv.org/abs/2108.02793
7. I. Jubb, Causal state updates in real scalar quantum field theory, Phys. Rev. D 105 (2022) 025003, doi:10.1103/PhysRevD.105.025003, arXiv:2106.09027, https://arxiv.org/abs/2106.09027
8. J. Mandrysch, M. Navascués, Quantum field measurements in the Fewster-Verch framework, Lett. Math. Phys. 115 (2025) 115, doi:10.1007/s11005-025-02001-3, arXiv:2411.13605, https://arxiv.org/abs/2411.13605
9. R. Simmons, M. Papageorgiou, M. Christodoulou, Č. Brukner, Factorisation conditions and causality for local measurements in QFT, preprint (2025), arXiv:2511.21644, https://arxiv.org/abs/2511.21644
10. F. Daem, L. Ballesteros Ferraz, A. Zampeli, A. Matzkin, Sensing relativistic quantum fields with minimally perturbing local measurements, preprint (2026), arXiv:2607.17920, https://arxiv.org/abs/2607.17920
11. N. Koliopoulou, C. Anastopoulos, N. Savvidou, Quantum field theory measurements for relativistic particles, Phys. Rev. D 114 (2026) 045011, doi:10.1103/tvd2-c113, arXiv:2602.14175, https://arxiv.org/abs/2602.14175
12. R. D. Sorkin, Impossible measurements on quantum fields, in Directions in General Relativity (Cambridge University Press, 1993), doi:10.1017/CBO9780511524653.024, arXiv:gr-qc/9302018, https://arxiv.org/abs/gr-qc/9302018
13. C. Anastopoulos, B.-L. Hu, K. Savvidou, Quantum field theory based quantum information: Measurements and correlations, Ann. Phys. 450 (2023) 169239, doi:10.1016/j.aop.2023.169239, arXiv:2208.03696, https://arxiv.org/abs/2208.03696
14. J. Polo-Gómez, T. R. Perche, E. Martín-Martínez, State updates and useful qubits in relativistic quantum information, preprint (2025), arXiv:2506.18906, https://arxiv.org/abs/2506.18906
15. R. Oeckl, A positive formalism for quantum theory in the general boundary formulation, Found. Phys. 43 (2013) 1206–1232, doi:10.1007/s10701-013-9741-5, arXiv:1212.5571, https://arxiv.org/abs/1212.5571
16. R. Oeckl, A local and operational framework for the foundations of physics, Adv. Theor. Math. Phys. 23 (2019) 437–592, doi:10.4310/ATMP.2019.v23.n2.a4, arXiv:1610.09052, https://arxiv.org/abs/1610.09052