Fewster–Verch Probe Measurements, State Updates, and Causal Composition

The Fewster–Verch construction turns a compactly supported system–probe interaction into a scattering morphism, an induced system observable, and a normal completely positive instrument. Its causal-composition theorem is conditional: the coupled dynamics must obey causal factorization, and the coupling regions must be causally ordered; only spacelike-separated schemes may be interchanged.

Required background. Localized AQFT instruments supply state updates, and locally covariant QFT supplies theories on globally hyperbolic spacetimes. Helpful background. The time-slice axiom and relative Cauchy evolution construct dynamical identifications, while primitive causality controls localization. Operational treatments include localized protocols, detector models, system–probe scattering, energy and backreaction, joint spacelike measurements, curved-spacetime response, and switching transients.

Scattering morphism and induced observable

Let $M$ be globally hyperbolic, let $\mathcal A$ and $\mathcal B$ be the uncoupled system and probe theories, and let their interaction be confined to a compact set $K\subset M$. Work in fixed von Neumann representations in which the local theory morphisms and the scattering map extend normally; without that extra representation-level assumption, the construction below is a C*-algebraic completely positive construction and normality is not asserted. Outside $J(K)$, assume the coupled theory $\mathcal C$ is naturally identified with $\mathcal A\otimes\mathcal B$. The time-slice property extends the past and future identifications to isomorphisms $\tau_-$ and $\tau_+$, producing the Heisenberg scattering morphism

$$\Theta=\tau_-^{-1}\circ\tau_+: \mathcal A(M)\otimes\mathcal B(M)\longrightarrow \mathcal A(M)\otimes\mathcal B(M).$$

It transports outgoing observables back to incoming ones. For a normal probe preparation $\sigma$, the slice map $\eta_\sigma(A\otimes B)=\sigma(B)A$ gives the induced system observable

$$\varepsilon_\sigma(B)=\eta_\sigma\bigl(\Theta(1\otimes B)\bigr).$$

This map is normal, unital, and completely positive. For a probe effect $0\leq b\leq1$, the corresponding pre-instrument is

$$\mathcal I_{\sigma,b}(\omega)(A) =(\omega\otimes\sigma)\bigl(\Theta(A\otimes b)\bigr).$$

After division by its value at $1$, it is the postselected normal state. These constructions and their localization in the causal hull of $K$ are proved in Fewster and Verch 2020, §§3.1–3.3, pp. 859–870.

The denominator is

$$p_b=(\omega\otimes\sigma)\bigl(\Theta(1\otimes b)\bigr) =\omega(\varepsilon_\sigma(b)).$$

Thus $p_b=0$ means that the conditional state is undefined, not that it is the zero state. For $b=1$, no division is needed and one obtains the nonselective channel. The maps $b\mapsto\mathcal I_{\sigma,b}$ form a Davies–Lewis instrument because positivity and ultraweak additivity are inherited from the probe effect measure Davies and Lewis 1970, §§2–3, pp. 242–250.

Localization can be checked before any field calculation. If a system observable $A$ is localized spacelike to the causal hull of $K$, the scattering morphism acts trivially on $A\otimes1$. It follows that the nonselective update preserves $A$ in every normal state. If a probe test function has no causal route through $K$ to the system, then the system component $f_h$ below vanishes and the induced observable is merely the scalar $\sigma(W_\psi(h_h))1$.

Coupled Klein–Gordon fields

Take real system and probe fields with normally hyperbolic operators $P=\Box_g+m_\phi^2$ and $Q=\Box_g+m_\psi^2$. Let $\rho\in C_0^\infty(M)$ have support in a causal diamond $K$, and define the coupled classical operator

$$T=\begin{pmatrix}P&\lambda\rho\\[2pt]\lambda\rho&Q\end{pmatrix}.$$

For sufficiently small $|\lambda|$ so that the required Green operators and Møller maps exist, the retarded and advanced identifications give a symplectic scattering map $S$ on the quotient test-function space. Quantization lifts it to Weyl generators:

$$\Theta\bigl(W_\phi(f)\otimes W_\psi(h)\bigr) =W_{\phi\oplus\psi}\bigl(S[f\oplus h]\bigr).$$

The symplectic identity $\sigma(SF,SG)=\sigma(F,G)$ independently verifies that the Weyl relations and $*$ operation are preserved. The explicit Green-operator construction for this compact bilinear model is given in Fewster and Verch 2020, §4, pp. 872–875 and Appendix D, pp. 886–888.

Choose a probe Weyl observable $W_\psi(h)$ in the out-region. Decompose

$$S[0\oplus h]=[f_h\oplus h_h].$$

Then

$$\varepsilon_\sigma(W_\psi(h)) =\sigma(W_\psi(h_h))\,W_\phi(f_h).$$

Thus the coupled probe induces a definite system Weyl observable, attenuated by the probe characteristic function. At first order, $f_h$ is obtained by propagating $h$ to $K$, multiplying by $\lambda\rho$, and propagating it with the system causal Green operator. Stating it through $S$ keeps signs fixed by the displayed scattering convention. This is the concrete system–probe scattering measurement requested by the chapter plan.

Causal composition and its boundary

For two probes with coupling regions $K_1,K_2$, suppose $K_2\cap J^-(K_1)=\varnothing$, so the second is not earlier than the first, and suppose the combined scattering morphism factorizes in the pastward Heisenberg convention as

$$\widehat\Theta=\widehat\Theta_1\circ\widehat\Theta_2.$$

Then the composite pre-instrument equals the causally ordered composition

$$\mathcal I_{\sigma_2,b_2}\circ\mathcal I_{\sigma_1,b_1} =\mathcal I_{\sigma_1\otimes\sigma_2,b_1\otimes b_2}.$$

If $K_1$ and $K_2$ are causally disjoint, the two factorizations agree and the instruments commute. Fewster and Verch prove precisely this order-sensitive statement Fewster and Verch 2020, Theorem 3.5, pp. 868–870.

The adversarial test overlaps the regions or leaves them causally unordered and then swaps the instruments. Causal factorization supplies no equality in that situation; interaction terms can propagate from one coupling to the other, and the two compositions can differ. Compact support alone does not make arbitrary measurement order irrelevant.

Exercises

1. Sharpness loss. Show that $|\sigma(W_\psi(h_h))|\leq1$ and explain when the induced Weyl observable is attenuated.

Solution

$W_\psi(h_h)$ is unitary, so every state has expectation of modulus at most one. The induced observable is a scalar multiple of a system unitary. It is unattenuated only when the probe state has unit-modulus characteristic function at $h_h$; otherwise the norm is strictly reduced.

2. Spacelike order. Assuming both causal factorizations for disjoint $K_1,K_2$, derive commutativity of the pre-instruments.

Solution

Apply the composition theorem first with $1$ before $2$ and then with $2$ before $1$. Both compositions equal the same joint pre-instrument with product probe state and effect $b_1\otimes b_2$, hence they are equal on every normal system state.

References

• Davies, Edward B., and John T. Lewis. “An Operational Approach to Quantum Probability.” Communications in Mathematical Physics 17 (1970): 239–260. DOI.
• Fewster, Christopher J., and Rainer Verch. “Quantum Fields and Local Measurements.” Communications in Mathematical Physics 378 (2020): 851–889. DOI; Open PDF.