Induced Bell-CHSH observables in the Fewster-Verch measurement scheme

Abstract

The Summers-Werner theorem shows that the vacuum of a relativistic quantum field theory violates the Bell-CHSH inequality maximally on complementary wedges, but it is an existence statement: it exhibits neither the observables nor an apparatus that measures them. We give an explicit operator-level realization within the Fewster-Verch measurement framework, obtaining dichotomic Bell observables of a free Majorana field in $1+1$ dimensions as observables induced by local couplings to Majorana probes. The induced system smearing factorizes exactly as $f_h=k\,b_{λ,h}$, so its support is controlled by the compactly supported coupling profile $k$; dichotomy is imposed by calibrating and normalizing the induced smearings rather than required of the probe observable; and a probe-only normal ordering yields the product of Alice's and Bob's induced bilinears, which the non-multiplicative induced map alone does not provide. Under explicit attainability hypotheses the induced observables saturate the Tsirelson bound in a state prepared from the vacuum. The construction extends to coupled scalar fields.