Abstract In quantum measurement theory, a measurement scheme describes how an observable of a given system can be measured indirectly using a probe. The measurement scheme involves the specification of a probe theory, an initial probe state, a probe observable and a coupling between the system and the probe, so that a measurement of the probe observable after the coupling has ceased reproduces (in expectation) the result of measuring the system observable in the system state. Recent work has shown how local and causal measurement schemes may be described in the context of model-independent quantum field theory (QFT), but has not addressed the question of whether such measurement schemes exist for all system observables. Here, we present two treatments of this question. The first is a proof of principle which provides a measurement scheme for every local observable of the quantized real linear scalar field if one relaxes one of the conditions on a QFT measurement scheme by allowing a non-compact coupling region. Secondly, restricting to compact coupling regions, we explicitly construct asymptotic measurement schemes for every local observable of the quantized theory. More precisely, we show that for every local system observable A there is an associated collection of measurement schemes for system observables that converge to A . All the measurement schemes in this collection have the same fixed compact coupling zone and the same processing region. The convergence of the system observables holds, in particular, in GNS representations of suitable states on the field algebra or the Weyl algebra. In this way, we show that every observable can be asymptotically measured using locally coupled probe theories.
Abstract In quantum measurement theory, a measurement scheme describes how an observable of a given system can be measured indirectly using a probe. The measurement scheme involves the specification of a probe theory, an initial probe state, a probe observable and a coupling between the system and the probe, so that a measurement of the probe observable after the coupling has ceased reproduces (in expectation) the result of measuring the system observable in the system state. Recent work has shown how local and causal measurement schemes may be described in the context of model-independent quantum field theory (QFT), but has not addressed the question of whether such measurement schemes exist for all system observables. Here, we present two treatments of this question. The first is a proof of principle which provides a measurement scheme for every local observable of the quantized real linear scalar field if one relaxes one of the conditions on a QFT measurement scheme by allowing a non-compact coupling region. Secondly, restricting to compact coupling regions, we explicitly construct asymptotic measurement schemes for every local observable of the quantized theory. More precisely, we show that for every local system observable A there is an associated collection of measurement schemes for system observables that converge to A . All the measurement schemes in this collection have the same fixed compact coupling zone and the same processing region. The convergence of the system observables holds, in particular, in GNS representations of suitable states on the field algebra or the Weyl algebra. In this way, we show that every observable can be asymptotically measured using locally coupled probe theories.
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.
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.
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.
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.
We present and investigate two issues within the measurement scheme for QFT presented by Polo-G\'omez et al. [Phys. Rev. D 105, 065003 (2022)]. We point out some discrepancies that arise when the measurement scheme is applied to contextual field states and show that n-point function assignments based on local processing regions sometimes lead to inconsistencies. To solve these issues, we modify the measurement scheme to use nonrelativistic detectors to induce an update rule for algebraic states in the Haag-Kastler formulation of quantum field theory. In this way, n-point functions can be consistently evaluated across any region having a definite causal relation with measurements.