System–Probe Scattering and Measurement Models

A localized measurement can be derived from dynamics: prepare an auxiliary probe, couple it to the field in a compact spacetime region, and measure the outgoing probe. The scattering map then induces both a field observable and a field operation. This construction keeps the apparatus, causal support, and backreaction visible instead of postulating a global projection.

Required background. Operational locality fixes the spacetime and record data that a protocol must declare.

Helpful background. Localized detector models provides a concrete finite-dimensional probe realization.

Scattering map and induced observable

Let $\mathcal A$ be the system algebra and $\mathcal B$ the uncoupled probe algebra. Outside a compact coupling region $K$, identify the coupled and uncoupled theories by advanced and retarded maps. Their relative composition defines a scattering automorphism

$$\Theta:\mathcal A\otimes\mathcal B\longrightarrow \mathcal A\otimes\mathcal B.$$

Prepare the probe in state $\sigma$. The partial expectation

$$\eta_\sigma(A\otimes B)=\sigma(B)A$$

maps joint observables back to system observables. A probe effect $E$ induces

$$\varepsilon_\sigma(E)=\eta_\sigma\!\left(\Theta(\mathbf 1\otimes E)\right),$$

and $\omega(\varepsilon_\sigma(E))$ is exactly the outgoing probability in the joint initial state $\omega\otimes\sigma$.

The scattering map connects the supported interaction to both the probe readout and the induced system operation. It is the causal bridge missing from an abstract POVM specification. The diagram is schematic.

Deriving the instrument

For a probe POVM $E(X)$, define the unnormalized updated system functional

$$\mathcal J_X(\omega)(A) =(\omega\otimes\sigma)\!\left( \Theta(A\otimes E(X)) \right).$$

Its normalization is the outcome probability,

$$\mathcal J_X(\omega)(\mathbf1) =\omega\!\left(\varepsilon_\sigma(E(X))\right),$$

and the conditional state is $\omega_X=\mathcal J_X(\omega)/\mathcal J_X(\omega)(\mathbf1)$ when the denominator is nonzero. The nonselective state is obtained with $E(\Omega)=\mathbf1$. Positivity and normalization follow from the joint dynamics and probe measurement; complete positivity becomes explicit in the dual channel formulation.

For a finite-dimensional probe coupled through $V=\sum_\alpha A_\alpha\otimes B_\alpha$ inside $K$, expand the unitary $U=\mathcal T\exp[-i\int V]$ to the declared order. If the probe begins in $|0\rangle$ and is read in basis $|r\rangle$, the induced Kraus operators are $M_r=\langle r|U|0\rangle$ and

$$\mathcal J_r(\rho)=M_r\rho M_r^\dagger, \qquad \sum_rM_r^\dagger M_r=\mathbf1$$

for the exact unitary. A truncated expansion generally satisfies the last relation only to the retained order; the residual is a required perturbative check.

Localization and causal factorization

If an observable lies in a region causally disjoint from $K$, a properly localized nonselective intervention acts trivially on it. If two coupling regions $K_1$ and $K_2$ are spacelike separated, causal factorization makes their scattering maps commute. If $K_2$ is later, the maps factor in causal order. These properties, proved in the locally covariant framework by Fewster and Verch 2020, §§ 3–5, are stronger than commutation of two selected POVM effects.

Move a second coupling across the causal boundary as an adversarial test. In the spacelike arrangement, order dependence should vanish up to numerical and perturbative error. In the timelike arrangement, ordered dependence is allowed. Moving only the probe readout, after the coupling has ended, does not move the support of the induced field interaction; it changes when a classical record becomes available.

A POVM may be mathematically valid while its proposed localized realization fails through support overlap, truncation, or an unavailable record. The map keeps these failure modes separate. The diagram is schematic.

Limitations

The construction maps a specified physical probe to an instrument; it does not prove that every abstract POVM or completely positive map has such a compactly supported realization. Theorems about local extensions require additional properties of the observable net; Okamura and Ozawa 2015, §§ 3–5 state the relevant normality and extension conditions. It also does not eliminate backreaction: the nonselective channel generally disturbs observables in the causal future of $K$.

References

• 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.