We study some logical interrelationships between fundamental properties in (relativistic) quantum theories. An operational no-signalling condition is first introduced in the context of quantum mechanics, where we prove its equivalence to an apparently weaker version restricted to ideal measurements, and to a property of factorization of the evolution unitary operator. We then translate this condition in quantum field theory and prove that it implies both microcausality and the spin-statistics theorem, in the ideal case of pointwise measurements implemented in the projection postulate sense. This provides an argument (often invoked but apparently missing in the literature) to see microcausality as a necessary condition for the compatibility of spacelike separated operations.
We study some logical interrelationships between fundamental properties in (relativistic) quantum theories. An operational no-signalling condition is first introduced in the context of quantum mechanics, where we prove its equivalence to an apparently weaker version restricted to ideal measurements, and to a property of factorization of the evolution unitary operator. We then translate this condition in quantum field theory and prove that it implies both microcausality and the spin-statistics theorem, in the ideal case of pointwise measurements implemented in the projection postulate sense. This provides an argument (often invoked but apparently missing in the literature) to see microcausality as a necessary condition for the compatibility of spacelike separated operations.
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.
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.
What guarantees the "peaceful coexistence" of quantum nonlocality and special relativity? The tension arises because entanglement leads to locally inexplicable correlations between distant events that have no absolute temporal order in relativistic spacetime. This paper identifies a relativistic consistency condition that is weaker than Bell locality but stronger than the no-signaling condition meant to exclude superluminal communication. While justifications for the no-signaling condition often rely on anthropocentric arguments, relativistic consistency is simply the requirement that joint outcome distributions for spacelike separated measurements (or measurement-like processes) must be independent of their temporal order. This is necessary to obtain consistent statistical predictions across different Lorentz frames. We first consider ideal quantum measurements, derive the relevant consistency condition on the level of probability distributions, and show that it implies no-signaling (but not vice versa). We then extend the results to general quantum operations and derive corresponding operator conditions. This will allow us to clarify the relationships between relativistic consistency, no-signaling, and local commutativity. We argue that relativistic consistency is the basic physical principle that ensures the compatibility of quantum statistics and relativistic spacetime structure, while no-signaling and local commutativity can be justified on this basis.
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.
Axiomatic quantum field theory is one approach to the project of merging the special theory of relativity with that of ordinary quantum mechanics. The project begins with the postulation of a set of axioms. Axioms should be motivated by reasonable physical principles in a way that illustrates how a given axiom is true. Motivations are often grounded in the principles of the parent theories: ordinary quantum mechanics or the theory of special relativity. Amongst the set of axioms first proposed by Haag and Kastler in 1963 is the axiom of microcausality. Microcausality requires the observables of regions at space-like separation to commute. This thesis seeks to answer the question ‘What principles from the special theory of relativity or ordinary quantum mechanics motivate, or justify, accepting microcausality as an axiom?’ The first chapter will provide the necessary background to investigate this question and the second chapter will undertake that investigation. In conclusion, microcausality cannot be well-motivated by individual principles rooted in the special theory of relativity or ordinary quantum mechanics.