arXiv:2610.33773
Induced Bell-CHSH observables in the Fewster-Verch measurement scheme
M. S. Guimaraes, I. Roditi, S. P. Sorella
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.
AI Summary
The paper asks how Bell–CHSH observables can arise from explicitly localized system–probe interactions in the Fewster–Verch (FV) measurement framework, rather than from algebraic existence arguments. It studies a free massive Majorana field in $1+1$ dimensions coupled to Majorana probes through compactly supported mass mixing. Assuming a well-defined, resumable Møller construction, the induced system smearing factorizes as $f_h=k b_{\lambda,h}$, giving a representative supported inside the coupling region. Given independent non-null modes in the attainable output range, real Gram–Schmidt calibration and CAR normalization turn contraction-corrected probe bilinears into Hermitian system involutions. Expanding joint probe expressions and subtracting probe-only contractions yields products of the induced Alice–Bob bilinears without assuming multiplicativity of the FV map. With three attainable real modes per party in spacelike separated regions, the construction generates two commuting even Pauli algebras. A joint singlet projection, preceded if necessary by a local Pauli rotation, prepares a state from the vacuum in which suitable settings attain $2\sqrt2$. This is not maximal violation in the original vacuum. A scalar-field extension establishes finite-harmonic Weyl identities and an induced sign–cosine limit. The attainable ranges are assumed rather than characterized. Induced involutions generally reproduce only first moments, not sharp binary probe measurements; the joint preparation is not implemented by the proposed FV scheme. In the scalar extension, positive probe noise prevents the infinite corrected Fourier prescription from defining a bounded readout. A complete operational Bell protocol remains unresolved.
Written by gpt-6.1-sol from the paper's full text. Automated: it can be wrong.
- Comments
- 15 pages, 1 figure