In 1993 Sorkin showed that extending textbook ideal measurements to relativistic quantum fields conflicts with locality as for generic observables, the state-update associated with an ideal measurement can transmit information faster than light, even when the intervening and readout regions are spacelike separated. We reformulate this tension in covariant string field theory, where the fundamental degrees of freedom are extended and the spacetime description involves operators with intrinsic string-scale nonlocality. We show that the paradox relies on the existence of sharply localized projectors and an exact Lüders reduction rule, neither of which is operationally realized in string field theory. This yields an operational notion of locality that resolves Sorkin’s signaling channel while recovering local quantum field theory in the limit of vanishing string length.
In 1993 Sorkin showed that extending textbook ideal measurements to relativistic quantum fields conflicts with locality as for generic observables, the state-update associated with an ideal measurement can transmit information faster than light, even when the intervening and readout regions are spacelike separated. We reformulate this tension in covariant string field theory, where the fundamental degrees of freedom are extended and the spacetime description involves operators with intrinsic string-scale nonlocality. We show that the paradox relies on the existence of sharply localized projectors and an exact Lüders reduction rule, neither of which is operationally realized in string field theory. This yields an operational notion of locality that resolves Sorkin’s signaling channel while recovering local quantum field theory in the limit of vanishing string length.
Abstract Arguments by Sorkin (Impossible measurements on quantum fields. In: Directions in general relativity: proceedings of the 1993 International Symposium, Maryland, vol 2, pp 293–305, 1993) and Borsten et al. (Phys Rev D 104(2), 2021. https://doi.org/10.1103/PhysRevD.104.025012 ) establish that a natural extension of quantum measurement theory from non-relativistic quantum mechanics to relativistic quantum theory leads to the unacceptable consequence that expectation values in one region depend on which unitary operation is performed in a spacelike separated region. Sorkin [1] labels such scenarios ‘impossible measurements’. We explicitly present these arguments as a no-go result with the logical form of a reductio argument and investigate the consequences for measurement in quantum field theory (QFT). Sorkin-type impossible measurement scenarios clearly illustrate the moral that Microcausality is not by itself sufficient to rule out superluminal signalling in relativistic quantum theories that use Lüders’ rule. We review three different approaches to formulating an account of measurement for QFT and analyze their responses to the ‘impossible measurements’ problem. Two of the approaches are: a measurement theory based on detector models proposed in Polo-Gómez et al. (Phys Rev D, 2022. https://doi.org/10.1103/physrevd.105.065003 ) and a measurement framework for algebraic QFT proposed in Fewster and Verch (Commun Math Phys 378(2):851–889, 2020). Of particular interest for foundations of QFT is that they share common features that may hold general morals about how to represent measurement in QFT. These morals are about the role that dynamics plays in eliminating ‘impossible measurements’, the abandonment of the operational interpretation of local algebras A(O) A ( O ) as representing possible operations carried out in region O , and the interpretation of state update rules. Finally, we examine the form that the ‘impossible measurements’ problem takes in histories-based approaches and we discuss the remaining challenges.
Half a century ago a local and (seemingly) causally consistent implementation of the projection postulate was formulated for local projectors in Quantum Field Theory (QFT) by utilising the basic property that spacelike local observables commute. This was not the end of the story for whether projective, or ideal measurements in QFT respect causality. In particular, the causal consistency of ideal measurements was brought into question by Sorkin 20 years later using a scenario previously overlooked. Sorkin's example, however, involved a non-local operator, and thus the question remained whether ideal measurements of local operators are causally consistent, and hence whether they are physically realisable. Considering both continuum and discrete spacetimes such as causal sets, we focus on the basic local observables of real scalar field theory -- smeared field operators -- and show that the corresponding ideal measurements violate causality, and are thus impossible to realise in practice. We show this using a causality condition derived for a general class of update maps for smeared fields that includes unitary kicks, ideal measurements, and approximations to them such as weak measurements. We discuss the various assumptions that go into our result. Of note is an assumption that Sorkin's scenario can actually be constructed in the given spacetime setup. This assumption can be evaded in certain special cases in the continuum, and in a particularly natural way in Causal Set Theory. In such cases one can then freely use the projection postulate in a causally consistent manner. In light of the generic acausality of ideal measurements, we also present examples of local update maps that offer causality-respecting alternatives to the projection postulate as an operationalist description of measurement in QFT.
It is shown that the attempt to extend the notion of ideal measurement to quantum field theory leads to a conflict with locality, because (for most observables) the state vector reduction associated with an ideal measurement acts to transmit information faster than light. Two examples of such information-transfer are given, first in the quantum mechanics of a pair of coupled subsystems, and then for the free scalar field in flat spacetime. It is argued that this problem leaves the Hilbert space formulation of quantum field theory with no definite measurement theory, removing whatever advantages it may have seemed to possess vis a vis the sum-over-histories approach, and reinforcing the view that a sum-over-histories framework is the most promising one for quantum gravity. INTRODUCTION: IDEAL MEASUREMENTS AND QUANTUM FIELD THEORY Whatever may be its philosophical limitations, the textbook interpretation of nonrelativistic quantum mechanics is probably adequate to provide the quantum formalism with all the predictive power required for laboratory applications. It is also self-consistent in the sense that there exist idealized models of measurements which allow the system-observer boundary to be displaced arbitrarily far in the direction of the observer. And the associated “transformation theory” possesses a certain formal beauty, seemingly realizing the “complementarity principle” in terms of the unitary equivalence of all orthonormal bases.
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.
As noted by Sorkin, regarding quantum instruments whose Kraus operators are localizable within some spacetime region as operations accessible therein leads to superluminal communication. This so-called Sorkin paradox can be resolved by further constraining the set of allowed local operations in quantum field theory (QFT). In this spirit, Fewster and Verch proposed a framework for local QFT operations that generalizes non-relativistic quantum measurement theory and does not lead to Sorkin-like paradoxes. Shortly afterwards, Jubb (and later Oeckl) identified the minimal conditions that QFT instruments must satisfy to be compatible with Einstein's causality. In this work, we study both approaches in the quantum field theory of the free scalar field. First, we prove that a very wide class of causal instruments is FV-realizable: namely, those whose measurement channels are random displacements of the field operators. As we show, this class allows implementing arbitrary instruments in a heralded, probabilistic way, as well as non-demolition measurements deterministically. Second, we construct examples of causal channels that do not admit an approximate FV realization. Some of such causal, not FV-realizable channels violate basic physical principles, so they should not be part of any measurement theory for QFT. Third, we investigate the difficulty of characterizing the set of QFT channels that can be generated through the composition of several FV schemes. In this regard, we find a countable family of simple QFT channels for which no Turing machine can discriminate between channels within or far away from the implementable set.
We propose a measurement theory for quantum fields based on measurements made with localized nonrelativistic systems that couple covariantly to quantum fields (like the Unruh-DeWitt detector). Concretely, we analyze the positive operator-valued measure induced on the field when an idealized measurement is carried out on the detector after it coupled to the field. Using an information-theoretic approach, we provide a relativistic analogue to the quantum-mechanical L\"uders update rule to update the field state following the measurement on the detector. We argue that this proposal has all the desirable characteristics of a proper measurement theory. In particular it does not suffer from the ``impossible measurements'' problem pointed out by Rafael Sorkin in the 1990s which shows that idealized measurements cannot be used in quantum field theory.