Regulator removal and renormalization of causally transparent spacetime measurement probes in quantum field theory

Oeckl's 'Causal measurement in quantum field theory: spacetime' (Phys. Rev. D 113 (2026) 085002) constructs, for bosonic quantum field theory, regularized probes — spacetime-localized completely positive maps built from a Schwinger-Keldysh double path integral with Gaussian approximate delta-function insertions — that measure spacetime-localized linear observables while satisfying relativistic causality and causal transparency (absence of superluminal signaling). The construction is, however, regulator-dependent: the limit $\epsilon \to 0$ of the probes does not exist as a probe-valued map (different boundary conditions give different limits), existing only for normalized probabilities with boundary-condition-dependent scaling; measurement of composite quadratic observables such as the energy-momentum tensor requires a renormalization scheme that is not yet available; and the causal-transparency proof relies essentially on the linearity of the measured observable. The open problem: characterize under what conditions the regulator can be removed at the level of probes, construct a renormalization scheme for quadratic/composite spacetime observables preserving compositionality and the causality properties, and extend causal transparency to genuinely non-linear observables — jointly delivering regulator-independent, causality-respecting joint probabilities for spacetime-localized measurements.

Background

Relativistic causality constrains quantum measurement in quantum field theory (QFT) in a way that has no analogue in non-relativistic quantum mechanics. A quantum operation — the standard formal encoding of a measurement as a completely positive, trace-nonincreasing map on the operator algebra — may be perfectly admissible as an instantaneous measurement yet become unphysical when localized in a spacetime region. Sorkin (1993) showed that the projective measurement of a local projection operator enables signaling between spacelike separated regions ('impossible measurements'), with the analysis refined by Borsten, Jubb and Kells (2021) and Jubb (2022). Two admissibility conditions emerge. Relativistic causality: the outcome probabilities of a measurement M must be unchanged by a non-selective measurement N localized outside M's causal past. Causal transparency: a non-selective measurement I localized in a spatial region S must not open a signaling channel through S — for an earlier non-selective measurement N and a later, possibly selective measurement M whose regions are causally disconnected, one requires $\operatorname{tr}(M \circ I \circ N(\sigma)) = \operatorname{tr}(M \circ I(\sigma))$ for all states $\sigma$. Spectral (projective) measurements of local field operators generically violate causal transparency.

Current routes to a consistent local measurement theory include detector-based models, in which a localized quantum system such as an Unruh-DeWitt detector (a pointlike two-level system following a worldline, linearly coupled to the field and later read out) models the apparatus explicitly (Polo-Gómez, Garay and Martín-Martínez); the algebraic Fewster-Verch framework of local operations (further developed by Mandrysch and Navascués); and the positive formalism of Oeckl, which the source paper uses. In the positive formalism, quantum theory is formulated locally in spacetime: hypersurfaces carry spaces of 'amplitudes', states are positive functionals on them, and probes — the spacetime-localized generalization of quantum operations — compose along decompositions of spacetime regions. Probes are realized concretely by the Schwinger-Keldysh double path integral (a path integral with a forward and a backward time branch) with insertions in the two branches. Observables are functions on the space of field configurations over a spacetime region (spacetime observables), generalizing phase-space observables on a time slice (slice observables); a linear observable is a real-linear functional of the field configuration.

For a linear observable A localized in a region M and a regulator $\epsilon > 0$, the source paper measures the value q of A through a Gaussian approximate delta function $H_A^ϵ(q)(ϕ) ∝ \exp(-(A(ϕ)-q)^2/(2ϵ^2))$: the primitive probe is $A^ϵ(q) = √(2πϵ)\, P_M[H_A^ϵ(q)|H_A^ϵ(q)]$ (an instance of the modulus-square construction, with the same insertion in both path-integral branches), and the probe-valued operational functional calculus $A^ϵ[f] = ∫ dq\, f(q)\, A^ϵ(q)$ encodes the measurement of any function f(A), with the non-selective probe $A^ϵ[1]$; for several linear observables $A_1,\dots,A_n$ in disjoint regions there are composite probes $A^ϵ[\vec q]$ and $A^ϵ[f]$ for $f: \mathbb{R}^n \to \mathbb{R}$. The paper proves that $A^ϵ[1]$ satisfies the causality axiom (Proposition 4.2) and that causal transparency holds for linear observables (Theorem 4.3) — the first construction of this kind for genuinely time-extended observables, generalizing the instantaneous setting of Oeckl's earlier J. Math. Phys. 66 (2025) 042302. Explicit evaluation on coherent states (an overcomplete family of states in the Schrödinger representation of the free scalar field) is governed by the matrix $W_{ij} = w^{↑↑}(A_i,A_j)$ of Feynman two-point functions between the measured observables, with real part $R$ (Hadamard two-point functions) and imaginary part $I$ (causal propagators).

Two findings define the open problem's context. First, the measurement of a time-extended observable back-reacts on itself and induces pair correlations between any later measurements in its causal future, of size $(1/ϵ^2) \sum_k w^{ret}(A_i,A_k)\, w^{adv}(A_k,A_j)$ (eq. (98) of the source), which diverge as $\epsilon \to 0$ and are qualitatively distinct from the usual coincidence-limit divergence of the Hadamard function. Second, the limit $\epsilon \to 0$ does not exist at the level of probes: for a normalized state $\sigma$ one has $A^ϵ[1](σ) = 1$, while for post-selection on a coherent state $Ξ_φ$ on the boundary of the measurement region one has $A^ϵ[1](Ξ_φ) \to 0$ (when the Hadamard matrix R is non-degenerate); only the probability quotient $A^ϵ[\vec q](Ξ_φ)/A^ϵ[1](Ξ_φ)$ has a well-defined, non-vanishing limit, with numerator and denominator scaled by $ϵ^{-n}$ and with the proper scaling depending on the boundary conditions. The energy-momentum tensor $T_{μν}$ — quadratic in the field and its first derivatives at a spacetime point, representable in the functional calculus via five point-localized linear observables — 'requires a renormalization, due to the quadratic nature of the energy-momentum observable at a spacetime point', which the paper does not provide.

Problem Statement

Complete the operational quantization of spacetime-localized observables in bosonic quantum field theory by removing the regulator from the spacetime-probe construction of Oeckl (Phys. Rev. D 113 (2026) 085002). The problem has three linked parts that jointly deliver regulator-independent, causally transparent spacetime probes; a solution to the renormalization part must itself satisfy the causality part, and the limit analysis supplies the notion of convergence that the renormalization scheme is to realize.

1. Regulator removal at the probe level. Characterize under what general conditions the limit $\epsilon \to 0$ of the regularized probes $A^ϵ[\cdot]$ exists as a probe-valued map (a positive map of the positive formalism), not merely in normalized probabilities after taking quotients. The characterization must account for the established facts that the limit is boundary-condition dependent (normalized-state and post-selected coherent-state boundary data give different limits of $A^ϵ[1]$), and that the existence and the $ϵ^{-n}$ scaling of the probability limits depend on the non-degeneracy of the Hadamard matrix $R_{ij} = \operatorname{Re}\, w^{↑↑}(A_i,A_j)$.

2. Renormalization of composite/quadratic observables. Construct a renormalization scheme — paradigmatically for the energy-momentum tensor $T_{μν}$ of real scalar field theory, which is quadratic at a spacetime point — that yields regulator-independent probe maps compatible with the operational functional calculus and preserving spacetime compositionality, relativistic causality, and causal transparency. Point-splitting through a doubling of the basic linear observables, and approximation of point observables by spatially smeared ones, are the starting points suggested in the source; no scheme satisfying all the listed properties currently exists.

3. Causal transparency beyond linear observables. Prove, or disprove by an explicit no-go within a precisely stated class, causal transparency for genuinely non-linear spacetime observables, i.e. those not reducible to functions of linear observables within the operational functional calculus. The existing proof (Theorem 4.3) relies essentially on the linearity of the measured observable.

A complete solution provides well-defined, causality-respecting joint probabilities for spacetime-localized measurements — including quadratic observables such as $T_{μν}$ — without reference to an external regulator. The source additionally acknowledges further open facets that a full development should illuminate — the classification of which approximate-delta families (beyond Gaussians) preserve causal transparency, the connection of the probes to explicit von Neumann-style ancilla/detector implementations, the detailed comparison with the modulus-square probes of Oeckl-Zampeli, and the operational interpretation of the $\sim 1/ϵ^2$ disturbance-induced correlations — but these are consequences and satellites of the core objective above rather than separate requirements for it.

References

1. 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
2. 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
3. R. Oeckl, A. Zampeli, 'Towards local and compositional measurements in quantum field theory', arXiv:2505.10968 (2025), https://arxiv.org/abs/2505.10968
4. R. D. Sorkin, 'Impossible Measurements on Quantum Fields', in Directions in General Relativity, Vol. 2: Proceedings of the 1993 International Symposium, Maryland (eds. B. L. Hu, T. A. Jacobson), Cambridge University Press, 1993, pp. 293-305; arXiv:gr-qc/9302018, https://arxiv.org/abs/gr-qc/9302018
5. L. Borsten, I. Jubb, G. Kells, 'Impossible measurements revisited', Phys. Rev. D 104 (2021) 025012. DOI: 10.1103/PhysRevD.104.025012; arXiv:1912.06141, https://arxiv.org/abs/1912.06141
6. 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
7. 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
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. 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
10. 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
11. F. Daem, L. Ballesteros Ferraz, A. Zampeli, A. Matzkin, 'Sensing relativistic quantum fields with minimally perturbing local measurements', arXiv:2607.17920 (2026), https://arxiv.org/abs/2607.17920
12. J. Mandrysch, R. Simmons, M. Navascués, 'Causality and realizability of local operations in quantum field theory', arXiv:2607.12976 (2026), https://arxiv.org/abs/2607.12976
13. R. Simmons, 'Causality is rare: some topological properties of causal quantum channels', arXiv:2603.25315 (2026), https://arxiv.org/abs/2603.25315
14. 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
15. R. Simmons, M. Papageorgiou, M. Christodoulou, Č. Brukner, 'Factorisation conditions and causality for local measurements in QFT', arXiv:2511.21644 (2025), https://arxiv.org/abs/2511.21644
16. M. Chaichian, M. Oksanen, A. Tureanu, 'Renormalizable and unitary nonlocal quantum field theory with CPT violation and its implication', arXiv:2601.04037 (2026), https://arxiv.org/abs/2601.04037