Bell-CHSH inequality and unitary transformations in Quantum Field Theory

Unitary transformations are employed to enhance the violations of the Bell-CHSH inequality in relativistic Quantum Field Theory. The case of the scalar field in $1+1$ Minkowski space-time is scrutinized by relying on the Tomita-Takesaki modular theory. The example of the bounded Hermitian operator $sign(φ(f))$, where $φ(f)$ stands for the smeared scalar field, is worked out. It is shown that unitary deformations enable for violations of the Bell-CHSH inequality. The setup is generalized to the Proca vector field by means of its equivalence with the scalar theory.

💡 Research Summary

The paper investigates how to obtain explicit violations of the Bell‑CHSH inequality within relativistic quantum field theory (QFT) by employing unitary transformations. After a brief review of the Bell‑CHSH inequality in ordinary quantum mechanics, where the choice of measurement operators can be optimized by local unitaries to reach the Tsirelson bound 2√2, the authors turn to the more challenging setting of QFT. They focus on a free massive real scalar field in 1 + 1 dimensional Minkowski space and use the algebraic QFT framework. Test functions with compact support are used to smear the field operator φ(f)=∫φ(x)f(x)d²x, ensuring well‑defined bounded operators. The two‑point function is expressed in terms of the Pauli‑Jordan distribution Δ_PJ and the Hadamard function H, guaranteeing micro‑causality: smeared fields with spacelike‑separated supports commute.

The central mathematical tool is the Tomita‑Takesaki modular theory. For a spacetime region O the von Neumann algebra W(O) generated by Weyl operators A_h=exp(iφ(h)) is considered. The vacuum |0⟩ is cyclic and separating for W(O), allowing the definition of the anti‑linear operator S and its polar decomposition S=JΔ^{1/2}, where J is the modular conjugation and Δ the modular operator. Tomita‑Takesaki’s theorem gives J W(O) J=W(O)′, i.e. the commutant equals the algebra associated with the symplectic complement, which encodes locality.

To construct bounded dichotomic observables suitable for a Bell test, the authors introduce the operator  sign(φ(f)) = 2π∫₀^∞ k sin(k φ(f)) dk, defined via a Dirichlet representation. This operator has eigenvalues ±1 and its two‑point correlation ⟨0|sign(φ(f)) sign(φ(g))|0⟩ can be evaluated in closed form, involving the imaginary error function. However, without further modification the resulting Bell‑CHSH correlator never exceeds the classical bound 2.

The novelty lies in applying local unitary transformations within each algebra. Choosing unitary operators U_A=exp(iθ_A Q_A) and U_B=exp(iθ_B Q_B), where Q_A and Q_B are self‑adjoint generators built from the local field algebra, the observables are deformed to  Ā = U_A† sign(φ(f)) U_A,  Ḃ = U_B† sign(φ(g)) U_B, and similarly for the primed versions. Because the unitaries preserve the spectrum, the operators remain dichotomic, but they introduce controllable phase factors into the correlation functions. By tuning the angles θ_A, θ_B (and the analogous parameters for the primed observables) the expectation value of the Bell‑CHSH operator  C = Ā⊗Ḃ + Ā⊗Ḃ′ + Ā′⊗Ḃ − Ā′⊗Ḃ′ in the vacuum can be made larger than 2, reaching values close to the Tsirelson limit. This demonstrates that even the vacuum of a free scalar field exhibits non‑local correlations when appropriate unitary “rotations” of the measurement operators are performed.

The analysis is then extended to the Proca vector field in 1 + 1 dimensions. In two dimensions the Proca field has only one propagating degree of freedom and is exactly dual to a massive scalar via F_{μν}=m²ε_{μν}φ or A_μ=ε_{μν}∂^νφ. By employing the same smearing procedure with transverse test functions and exploiting this duality, the authors show that the Bell‑CHSH violation for the Proca vacuum reproduces the scalar result verbatim. This illustrates how field‑theoretic dualities can directly translate non‑locality properties between seemingly different models.

In conclusion, the paper provides a concrete, calculable framework for Bell‑CHSH violations in QFT: (i) it uses modular theory to rigorously define local algebras and guarantee causality; (ii) it identifies a bounded Hermitian operator (sign (φ(f))) whose correlations are analytically tractable; (iii) it shows that local unitary deformations of this operator are sufficient to boost the Bell‑CHSH value above the classical limit; and (iv) it demonstrates that the method applies equally to scalar and Proca fields in 1 + 1 dimensions. The work bridges the gap between abstract existence proofs of non‑locality in QFT and explicit operator constructions, opening avenues for numerical studies, extensions to interacting or higher‑dimensional theories, and possibly experimental analogues in engineered quantum systems.