Quantum Field Measurements in the Fewster-Verch Framework

TL;DR

This paper advances the Fewster-Verch framework for quantum field measurements by demonstrating that Gaussian-modulated measurements are compatible and can be implemented with a movable FV-Heisenberg cut, addressing key open issues.

Contribution

It proves Gaussian-modulated measurements fit within the FV framework and that such measurements allow a movable FV-Heisenberg cut, resolving two open problems.

Findings

Gaussian-modulated measurements are compatible with FV framework

Movable FV-Heisenberg cut exists for these measurements

State transformations preserve the Hadamard property

Abstract

The Fewster-Verch (FV) framework provides a local and covariant approach for defining measurements in quantum field theory (QFT). Within this framework, a probe QFT represents the measurement device, which, after interacting with the target QFT, undergoes an arbitrary local measurement. Remarkably, the FV framework is free from Sorkin-like causal paradoxes and robust enough to enable quantum state tomography. However, two open issues remain. First, it is unclear if the FV framework allows conducting arbitrary local measurements. Second, if the probe field is interpreted as physical and the FV framework as fundamental, then one must demand the probe measurement to be itself implementable within the framework. That would involve a new probe, which should also be subject to an FV measurement, and so on. It is unknown if there exist non-trivial FV measurements for which such an ``FV-Heisenberg cut" can be moved arbitrarily far away. In this work, we advance the first problem by proving that Gaussian-modulated measurements of locally smeared fields fit within the FV framework. We solve the second problem by showing that any such measurement admits a movable FV-Heisenberg cut. As a technical byproduct, we establish that state transformations induced by finite-rank perturbations of the classical phase space underlying a linear scalar field preserve the Hadamard property.