Local Measurements, Detectors, and Instruments

A local measurement in quantum field theory is not specified by naming an observable alone. It is a spacetime protocol: a prepared probe couples to smeared fields in a declared region, a probe observable is read out, and the resulting completely positive instrument determines both outcome probabilities and conditional field states. This chapter develops that chain from compactly supported couplings to causal composition and validation. Its scope is flat-spacetime measurement structure; accelerated and curved-spacetime detector phenomenology belongs to the next volume.

Helpful background. Local regions and their algebras supplies the net-of-algebras language, while restricted states explains why a local state is a restriction rather than generally a density matrix. Review relativistic causality and operator-valued distributions before taking pointlike or instantaneous limits. The open-system routes on influence functionals, field master equations, Lindblad field dynamics, and Markov generators are useful when comparing finite interventions with dynamical semigroups.

Enter this chapter

The central separation is between three objects:

1. a coupling model, which fixes spacetime support, switching, smearing, probe dynamics, and perturbative control;
2. an instrument, which assigns a completely positive, trace-nonincreasing operation to each recorded outcome; and
3. a claim, such as localization, no signaling, tomography, or an energy cost, whose hypotheses must be tested against the actual instrument.

Begin with operational locality and localized detector models. Then use switching and smearing to control the distributional coupling. Detector responses and field observables explains why a click is not a basis-independent particle count.

The middle of the chapter constructs the measurement itself. System–probe scattering induces field observables and operations from a localized interaction; local instruments separates effects from updates; and causal channels states the extra localization conditions that complete positivity alone does not provide. The remaining routes treat postselection, energy, noise, and backreaction, spacelike joint measurements, finite-setting witnesses, and the final validation protocol.

The operational chain from spacetime-supported coupling to a recorded outcome and a field-state update. A locality claim concerns the complete chain, not merely the label attached to the detector. The diagram is schematic and not to scale.

The localized system–probe construction

Let the field system have algebra $\mathcal A$ and a probe have algebra $\mathcal B$. Prepare the product state $\omega\otimes\sigma$, couple the two only in a compact region $K$, and denote the corresponding scattering automorphism by $\Theta$. A probe effect $B\in\mathcal B$ induces the system effect

$$\varepsilon_\sigma(B)=(\operatorname{id}\otimes\sigma)\!\left(\Theta(\mathbf 1\otimes B)\right).$$

Consequently, the probability of the recorded event is

$$p_\omega(B)=\omega\!\left(\varepsilon_\sigma(B)\right) =(\omega\otimes\sigma)\!\left(\Theta(\mathbf 1\otimes B)\right).$$

This formula is the chapter’s basic dictionary: it converts a probe readout into a field observable while retaining the coupling that makes the observation local. For an outcome set $X$, the corresponding selective operation may be written in the Heisenberg picture as

$$\mathcal I_X^*(A) =(\operatorname{id}\otimes\sigma)\!\left[ \Theta(A\otimes E_X) \right], \qquad \mathcal I_X^*(\mathbf 1)=\varepsilon_\sigma(E_X),$$

where $E_X$ is the probe POVM effect. Normalization belongs to the family: $\mathcal I_\Omega^*$ is unital for a nonselective, trace-preserving intervention. The same $E_X$ can accompany different state updates, so knowing the POVM does not by itself determine disturbance, energy injection, or later statistics. This system–probe framework and its causal factorization are developed rigorously by Fewster and Verch 2020, §§ 3–5.

A common comparison table

The table is a checklist, not a ranking. “Local” means that the action of the complete operation on observables in the causal complement is controlled; it does not mean merely that a Kraus operator or interaction Hamiltonian carries a position label.

Operational claims and the checks that delimit their validity

Model or claim	Support and regulator	Recorded object	Channel property to verify	Energy and noise account	Causal test	What would falsify the advertised use?
Smeared two-level detector	Worldtube, smooth switching χ, spatial profile F	Probe excitation or a probe POVM	Positivity and perturbative normalization	Switching work, excitation energy, response variance	Move the receiver outside the causal future	Persistent acausal response after support tails and numerical error are bounded
Local scattering probe	Compact coupling region K	Induced effect εσ(B)	Normal complete positivity of the instrument	Probe preparation and backreaction	Causal factorization for spacelike couplings	Order dependence for genuinely spacelike, disjoint couplings
Gaussian unsharp field measurement	Smeared quadrature and finite resolution	Continuous outcome with effect density	Complete positivity, normalization, and covariance-domain control	Added noise and conjugate disturbance	Identity action on the causal complement	A claimed sharp limit with divergent energy or uncontrolled domain
Selective protocol	Same physical support plus a classical record	Subnormalized branch ℐX	Outcome weight between zero and one	Success probability and communication cost	Compare unconditional and accessible conditional statistics	Remote change exists only after unavailable outcome sorting
Spacelike joint measurement	Two disjoint supported instruments	Pair of local outcomes	Commuting superoperators or causal factorization	Separate apparatus accounts	Compose in both orders	Commuting effects but order-dependent updates
Witness or partial tomography	Finite calibrated setting set	Correlators or covariance matrix	Valid confidence region and model class	Shot noise, resolution, calibration drift	Support and setting-independence checks	A non-Gaussian counterexample shares all measured moments

What can and cannot be concluded

Microcausality constrains field observables, but an apparatus may still introduce support tails, a shared control, or a postselection channel. Complete positivity protects extensions by spectator ancillas, but it says nothing by itself about spacetime support. A detector response samples a switched and smeared correlation function, but generally does not measure a pre-existing global particle number; the causal regulator and response analysis of Schlicht 2004, §§ 2–4, pp. 4649–4658 is a representative demonstration. These distinctions are the point of the measurement model, not technical decorations.

Three independent failure routes: singular coupling can spoil the response, an incompletely localized update can spoil causal composition, and selection or incomplete data can spoil inference. Passing one branch does not certify the others. The map is schematic.

The system–probe approach does not assert that every abstract instrument has a compactly supported realization. In algebraic QFT, extension and localization depend on properties of the local net and on normality; Okamura and Ozawa 2015, §§ 3–5 make those qualifications explicit. Nor should an ideal instantaneous measurement be inserted into a relativistic protocol without an apparatus: Bostelmann, Fewster, and Ruep 2021, §§ II–IV show how apparently impossible measurements point to impossible localization assumptions about the apparatus.

Review the chapter

After completing the routes, you should be able to start from a spacetime diagram and write the coupling, induced effect, selective operations, and accessible classical records; distinguish regulator error from detector-model dependence; verify complete positivity and normalization without confusing them with locality; and state exactly which statistics are unconditional, locally conditioned, or available after classical communication.

References

• Bostelmann, H., Fewster, C. J., and Ruep, M. H. (2021). “Impossible Measurements Require Impossible Apparatus.” Physical Review D 103, 025017. DOI. Open PDF.
• Fewster, C. J., and Verch, R. (2020). “Quantum Fields and Local Measurements.” Communications in Mathematical Physics 378, 851–889. DOI. Open PDF.
• Okamura, K., and Ozawa, M. (2015). “Measurement Theory in Local Quantum Physics.” Journal of Mathematical Physics 56, 015209. DOI. Open PDF.
• Schlicht, S. (2004). “Considerations on the Unruh Effect: Causality and Regularization.” Classical and Quantum Gravity 21, 4647–4660. DOI. Open PDF.