Detection times are routinely recorded in quantum experiments. We show that, under natural covariance and consistency requirements, the observables describing these times cannot be algebraically localized in any bounded spacetime region, even when the records themselves are localized. This challenges the identification of algebraic localization with the physical localization of measurements and shows why microcausality alone does not establish non-signalling for measurements in quantum field theory.
Detection times are routinely recorded in quantum experiments. We show that, under natural covariance and consistency requirements, the observables describing these times cannot be algebraically localized in any bounded spacetime region, even when the records themselves are localized. This challenges the identification of algebraic localization with the physical localization of measurements and shows why microcausality alone does not establish non-signalling for measurements in quantum field theory.
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 are presented in a second work within local QFT.
Locally covariant algebraic quantum field theory (LCQFT) satisfies Einstein causality through microcausality and operational no-signalling, yet Bell-type correlations persist in entangled field states across spacelike regions. We demonstrate that this apparent tension reflects a fundamental covariance obstruction: no assignment of classical past variables can simultaneously be covariant under spacetime embeddings, screen off quantum correlations, and reproduce AQFT statistics. This obstruction is distinct from dynamical nonlocality or signalling violations. We formalize this as a no-go theorem in the category-theoretic framework of LCQFT, showing that Bell's notion of local causality -- requiring factorization conditioned on a common past -- is structurally incompatible with diffeomorphism covariance. The failure of Bell locality thus reflects not a breakdown of relativistic causality but the impossibility of embedding quantum correlations into a classical causal framework without introducing preferred foliations or non-covariant beables. This clarifies the conceptual status of nonlocality in relativistic quantum theory.
Abstract The process of quantum measurement is considered in the algebraic framework of quantum field theory on curved spacetimes. Measurements are carried out on one quantum field theory, the “system”, using another, the “probe”. The measurement process involves a dynamical coupling of “system” and “probe” within a bounded spacetime region. The resulting “coupled theory” determines a scattering map on the uncoupled combination of the “system” and “probe” by reference to natural “in” and “out” spacetime regions. No specific interaction is assumed and all constructions are local and covariant. Given any initial state of the probe in the “in” region, the scattering map determines a completely positive map from “probe” observables in the “out” region to “induced system observables”, thus providing a measurement scheme for the latter. It is shown that the induced system observables may be localized in the causal hull of the interaction coupling region and are typically less sharp than the probe observable, but more sharp than the actual measurement on the coupled theory. Post-selected states conditioned on measurement outcomes are obtained using Davies–Lewis instruments that depend on the initial probe state. Composite measurements involving causally ordered coupling regions are also considered. Provided that the scattering map obeys a causal factorization property, the causally ordered composition of the individual instruments coincides with the composite instrument; in particular, the instruments may be combined in either order if the coupling regions are causally disjoint. This is the central consistency property of the proposed framework. The general concepts and results are illustrated by an example in which both “system” and “probe” are quantized linear scalar fields, coupled by a quadratic interaction term with compact spacetime support. System observables induced by simple probe observables are calculated exactly, for sufficiently weak coupling, and compared with first order perturbation theory.
In relativistic quantum field theory the notion of a local operation is regarded as basic: each open space-time region is associated with an algebra of observables representing possible measurements performed within this region. It is much more difficult to accommodate the notions of events taking place in such regions or of localized objects. But how can the notion of a local operation be basic in the theory if this same theory would not be able to represent localized measuring devices and localized events? After briefly reviewing these difficulties we discuss a strategy for eliminating the tension, namely by interpreting quantum theory in a realist way. To implement this strategy we use the ideas of the modal interpretation of quantum mechanics. We then consider the question of whether the resulting scheme can be made Lorentz invariant.
The topic of measurement in relativistic quantum field theory is addressed in this article. Some of the long standing problems of this subject are highlighted, including the incompatibility of an instantaneous ``collapse of the wavefunction'' with relativity of simultaneity, and the difficulty of maintaining causality in the rules for measurement highlighted by ``impossible measurement'' scenarios. Thereafter, the issue is considered from the perspective of mathematical physics. To this end, quantum field theory is described in a model-independent, operator algebraic setting, on generic Lorentzian spacetime manifolds. The process of measurement is modelled by a localized dynamical coupling between a quantum field called the ``system'', and another quantum field, called the ``probe''. The result of the dynamical coupling is a scattering map, whereby measurements carried out on the probe can be interpreted as measurements of induced observables on the system. The localization of the dynamical coupling allows it to derive causal relations for the induced observables. It will be discussed how this approach leads to the concept of selective or non-selective system state updates conditioned on the result of probe measurements, which in turn allows it to obtain conditional probabilities for consecutive probe measurements consistent with relativistic causality and general covariance, without the need for a physical collapse of the wavefunction. In particular, the problem of impossible measurements is resolved. Finally, there is a brief discussion of accelerated detectors and other related work.
Quantum operations that are perfectly admissible in non-relativistic quantum theory can enable signalling between spacelike separated regions when naively imported into quantum field theory (QFT). Prominent examples of such "impossible measurements" include certain unitary kicks and projective measurements. It is generally accepted that only those quantum operations whose physical implementation arises from a fully relativistically covariant interaction, between the quantum field and a suitable probe, should be regarded as admissible. While this idea has been realised at the level of abstract algebraic QFT, or via particular measurement models, there is still no general set of operational criteria characterising which measurements are physically implementable. In this work we adopt the local S-matrix formalism to describe local operations, and make use of a hierarchy of factorisation conditions that exclude both superluminal signalling and retrocausality, thereby providing such a criterion. Realising the local S-matrices through explicit interactions between smeared field operators and a pointer degree of freedom, we further derive local causality conditions for the induced Kraus operators, which guarantee the absence of signalling in "impossible measurement" scenarios. Finally, we show that the accuracy with which local field observables can be measured is fundamentally limited by the retarded propagator of the field, which plays an essential role in the factorisation identity we prove for the field Kraus operators.