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.
Comments
24 pages, 8 figures, minor changes, typo fixes, added an appendix
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.
In relativistic Quantum Field Theory (QFT) ideal measurements of certain observables are physically impossible without violating causality. This prompts two questions: i) can a given observable be ideally measured in QFT, and ii) if not, in what sense can it be measured? Here we formulate a necessary and sufficient condition that any measurement, and more generally any state update (quantum operation), must satisfy to respect causality. Our focus is scalar QFT, although our results should be applicable to observables in fermionic QFT. We argue that for unitary `kicks' and operations involving 1-parameter families of Kraus operators, e.g. Gaussian measurements, the only causal observables are smeared fields and the identity - the basic observables in QFT. We provide examples with more complicated operators such as products of smeared fields, and show that the associated state updates are acausal, and hence impossible. Despite this, one can still recover expectation values of such operators, and we show how to do this using only causal measurements of smeared fields.
In relativistic quantum field theory (QFT) ideal measurements of certain observables are physically impossible without violating causality. This prompts two questions: (i) can a given observable be ideally measured in QFT, and (ii) if not, in what sense can it be measured? Here we formulate a necessary and sufficient condition that any measurement, and more generally any state update (quantum operation), must satisfy to respect causality in real scalar QFT. We argue that for unitary `kicks' and operations involving 1-parameter families of Kraus operators, e.g., Gaussian measurements, the only causal observables are smeared fields and the identity---the basic observables in real scalar QFT. We provide examples with more complicated operators such as products of smeared fields, and show that the associated state updates are acausal, and hence impossible. Despite this, one can still recover expectation values of such operators, and we show how to do this using only causal measurements of smeared fields.
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.
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 by now well recognized that the naive application of the projection postulate on composite quantum systems can induce signalling between their constituent components, indicative of a breakdown of causality in a relativistic spacetime context. Here we introduce a necessary and sufficient condition for an ideal measurement of an observable to be nonsignalling. As well as being particularly simple, it generalizes previous no-signalling conditions in that it allows for degeneracies and can be applied to all bounded self-adjoint operators. The condition is used to establish that arbitrary sums of local observables will not signal, in accordance with our expectations from relativistic quantum field theory. On the other hand, it is shown that the measurement of the tensor product of commuting local observables, for example bipartite operators of the form $A\ensuremath{\bigotimes}B$, can in fact signal, contrary to the widely held belief that such measurements are always locally realizable. The implications for the notion of measurement in relativistic quantum field theory are addressed; it appears that the most straightforward application of the standard quantum formalism generically leads to violations of causality. We conclude that either the class of observables that can be measured should be restricted and/or that the naive translation of the measurement framework of quantum theory, in particular the projection postulate, to quantum field theory should be reevaluated.
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.