REVIEW 2 major objections 4 minor 5 cited by
Modular localization of one-particle vectors lets free scalar fields violate Bell-CHSH, and points to a path that can reach Tsirelson's bound 2√2.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-13 17:56 UTC pith:RMGNRC2A
load-bearing objection Solid modular constructions and explicit ~2.3 Weyl violations for free scalars; the path to 2√2 is an honest outline that still needs a concrete bosonic operator. the 2 major comments →
Modular Theory and the Bell-CHSH inequality in relativistic scalar Quantum Field Theory
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Wedge-localized vectors constructed by the modular projector (1+s)/2, together with the spectral properties of the modular operator δ, convert the vacuum Bell-CHSH correlator of a free scalar field into controllable inner products; pure Weyl operators already produce violations near 2.3, and any operator whose correlators match the modular two-point structure of the Summers-Werner vectors will approach Tsirelson's bound 2√2 as the modular spectral parameter λ tends to 1.
What carries the argument
The modular localization condition sψ=ψ (equivalently ψ( heta)=(ψ( heta-iπ))*) together with the Bisognano-Wichmann identification δ=e^{-2πK}, j=CPT; these operators manufacture the wedge-localized vectors whose inner products determine the Bell-CHSH value.
Load-bearing premise
That a concrete bosonic operator exists which is simultaneously bounded, Hermitian, wedge-localized and free of extra damping factors so that its vacuum correlators exactly reproduce the modular two-point functions needed for Tsirelson's bound.
What would settle it
Explicitly evaluate the vacuum Bell-CHSH correlator of a bosonized vertex operator (or any other candidate bosonic operator engineered to match the modular spectrum) and check whether the numerical value approaches 2√2 as the modular spectral parameter λ o1.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper uses Tomita-Takesaki modular theory together with the Bisognano-Wichmann identification of the modular operators for wedges to construct families of wedge-localized vectors in the one-particle Hilbert space of a free massive real scalar field in 1+1 dimensions. These vectors are employed to evaluate the vacuum Bell-CHSH correlator for unitary Weyl operators, yielding explicit violations of size ≈2.295 (two-parameter family) and ≈2.3244 (scaled Summers-Werner vectors at λ=1). The Summers-Werner vectors themselves are recovered in rapidity space, and the paper diagnoses why several standard bounded Hermitian operators (e.g., the optical Π_f operator) produce no violation. It then outlines a necessary spectral condition for approaching Tsirelson’s bound 2√2 and suggests that vertex operators arising in bosonization may realize it.
Significance. The modular constructions, the recovery of the Summers-Werner vectors, and the fully explicit Weyl calculations are solid and useful: they turn abstract algebraic-QFT statements into concrete, reproducible one-particle computations that any reader can check. The clear explanation of why ordinary QM-style operators fail (Gaussian damping that erases the modular inner products) is pedagogically valuable. If a concrete bosonic operator satisfying the modular two-point condition can be exhibited, the work would close a long-standing gap between the bosonic and fermionic cases; even as an outline the paper correctly isolates the necessary condition. The results rest on standard Tomita-Takesaki/Bisognano-Wichmann theory and direct vacuum expectation values, with no circular redefinitions.
major comments (2)
- [Section IV.2, Eqs. (92)–(97)] Section IV.2, Eqs. (92)–(97): The illustrative operator A_ε(f) is not shown to be a rigorously defined bounded operator on Fock space; the modular prefactor √(1-λ^{2}) and the Gaussian damping require domain and continuity arguments that are left implicit. The subsequent claim that any operator whose correlators reproduce Eq. (94) approaches 2√2 is therefore a necessary spectral condition rather than a constructive existence proof. The text should state this distinction explicitly and control the O(ε) remainder.
- [Section V / end of IV.2] Section V and the final paragraph of IV.2: The suggestion that bosonization vertex operators A_vert(h) fulfill the modular two-point condition (94) is left as a programmatic remark. No explicit vacuum correlator is computed (even for the free massless chiral boson), nor is a reference supplied that already establishes the required matrix elements for the massive theory. Without at least a sketch of that calculation the path to Tsirelson remains an outline rather than a demonstrated route.
minor comments (4)
- [Figs. 1–2] Figures 1 and 2: the captions and axis labels are clear, but the numerical maximum 2.295 should be stated with the precise (η,η') values that realize it so that the plot is reproducible without re-optimization.
- [Section II.B] Eq. (57) and surrounding text: the analyticity strip argument is standard, yet a one-line reminder that the exponential e^{-θ^{2}} guarantees the required bound for any polynomial P would help non-specialist readers.
- [Throughout] Several typographical artifacts appear in the supplied source (e.g., malformed square-root symbols around Eqs. (92)–(93)); these should be cleaned in the final version.
- [Appendix B] Appendix B is a useful self-contained review of the free Majorana case; a short forward pointer from the main text (when Eq. (94) is first invoked) would improve readability.
Circularity Check
No significant circularity: modular vector constructions, Weyl correlators, and Summers-Werner recovery are self-contained evaluations against external Tomita-Takesaki/Bisognano-Wichmann/Araki results; self-citations supply only background reviews.
full rationale
The paper's load-bearing steps are (i) the modular localization condition sψ=ψ realized via the projector (1+s)/2 on analytically continuable test functions (Eqs. 49-57), (ii) direct vacuum expectation values of Weyl operators yielding the explicit correlator (70) maximized at 2.295, and (iii) the rapidity-space reconstruction of the Summers-Werner spectral vectors (75-79) that, after the standard scaling c_λ, produce 2.3244 for pure Weyl operators at λ=1. All three rest on the classical Bisognano-Wichmann identification δ=e^{-2πK}, j=CPT and on Araki's standard-subspace theory, which are external. The free coefficients η,η' (or the eight real parameters of the linear combinations (83)) are ordinary variational parameters, not fitted inputs re-labeled as predictions. The illustrative operator A_ε(f) of (92) is constructed precisely so that its two-point function reproduces the modular inner products (94) by design; the paper presents this only as an existence outline, not as a derived saturation for bosons. Self-citations ([15,16,19,23,25]) appear solely as reviews of the Bell-CHSH literature or prior applications of Weyl operators; none supplies a uniqueness theorem or forces the numerical values. Consequently the derivation chain does not reduce to its own inputs.
Axiom & Free-Parameter Ledger
free parameters (4)
- η, η' (and polynomial coefficients c_i) =
η ≈ -0.395 yields ~2.295
- x,y,m,n,x',y',m',n' (linear combinations of Summers-Werner vectors)
- λ (spectral parameter of modular operator) =
λ o 1
- ε (Gaussian width / damping) =
ε o 0
axioms (4)
- domain assumption Bisognano-Wichmann theorem: modular operator δ = e^{-2πK} and modular conjugation j = CPT for wedge algebras of free fields.
- standard math Tomita-Takesaki theory for standard subspaces: s = j δ^{1/2}, Haag duality K(W') = K'(W), etc.
- domain assumption Araki's characterization of the real subspaces K(W_R) and K'(W_R) for free fields.
- domain assumption Vacuum two-point function of Weyl operators reduces to the one-particle inner product (Eq. 68).
invented entities (1)
-
Illustrative operator A_ε(f) containing the modular factor √(1-λ^{2}) and a Gaussian damping
no independent evidence
read the original abstract
The Tomita-Takesaki modular theory is employed to discuss the Bell-CHSH inequality in wedge regions. By using the Bisognano-Wichmann results, the construction of a set of wedge localized vectors in the one-particle Hilbert space of a relativistic massive scalar field in $1+1$ dimensions is devised to establish whether violations of the Bell-CHSH inequality might occur for different choices of Bell's operators. In particular, the construction of the wedge localized vectors employed in the seminal work by Summers-Werner is scrutinized and applied to Weyl and other operators. We also outline a possible path towards the saturation of Tsirelson's bound.
Figures
Forward citations
Cited by 5 Pith papers
-
Modular wedge localization, Majorana fields and the Tsirelson limit of the Bell-CHSH inequality
In the 1+1D Majorana QFT the vacuum Bell-CHSH correlator reduces to a modular spectral weight that can be tuned to reach the Tsirelson limit.
-
Near-Tsirelson Bell-CHSH Violations in Quantum Field Theory via Carleman and Hankel Operators
Explicit test functions in (1+1)D free spinor QFT achieve Bell-CHSH values converging to Tsirelson's bound 2√2 via reductions to Carleman and Hankel operator spectra.
-
More on Majorana fields, modular localization and near saturation of the Tsirelson bound
Free massless Majorana fields in 1+1D with modular wedge localization nearly saturate the Tsirelson bound for the Bell-CHSH inequality.
-
More on Majorana fields, modular localization and near saturation of the Tsirelson bound
Modular wedge localization of free massless Majorana fields in 1+1 dimensions yields Bell-CHSH correlators that approach the Tsirelson bound of 2√2.
-
Bosonization, vertex operators and maximal violation of the Bell-CHSH inequality in wedge regions
Vertex operators of a chiral boson realize dichotomic bounded Hermitian operators that saturate the Tsirelson bound of the Bell-CHSH inequality in the vacuum.
Reference graph
Works this paper leans on
-
[1]
Needless to say, the vertex operators behave like fermions, allowing thus for a helpful bridge with the Fermi case
could offer a concrete and viable example of operators to be exploited in order to saturate Tsirelson’s bound. Needless to say, the vertex operators behave like fermions, allowing thus for a helpful bridge with the Fermi case. The work is organized as follows. In Sect.(II) we provide the details of the construction of the vectors{ψ}by means of(δ, j). Sect...
-
[2]
Section (V) contains our conclusion. In Appendix, (A) a brief account on the canonical quantization of the scalar field is provided, while in Appendix (B) we revise in detail the saturation of the Tsirelson bound for free Fermi fields, by taking the example of a massless Majorana spinor. II. CONSTRUCTION OF THE VECTORS{ψ}∈L 2(dµp, Hm)BY EMPLOYING THE MODU...
-
[3]
This example will enable us to highlight a few aspects related to the four vectors(f, f ′)and(g, g ′)
Weyl operators revisited As a first application of the previous construction, we revise here the correlation function of pure Weyl operators, Eq.(62). This example will enable us to highlight a few aspects related to the four vectors(f, f ′)and(g, g ′). in fact, 7 The appearance of the spectral intervalλ 2 ∈[0,1]has quite deep reasons, see [14]. It stems ...
-
[4]
As such, we need to move to truly Hermitian bounded operators, a quite 14 challenging task
Hunting Tsirelson’s bound Even if the use of the Weyl operators, Eq.(62), has enabled us to obtain a violation whose size is≈2.3, we have to remind that these operators are unitary. As such, we need to move to truly Hermitian bounded operators, a quite 14 challenging task. In a first attempt, one might be tempted to employ operators which are well tested ...
2024
-
[5]
The real massive scalar field in(1+1)Minkowski spacetime We consider a free real scalar field of massmin(1+1)-dimensional Minkowski spacetime. Its quantized form, expressed via plane-wave decomposition, reads φ(t, x)= ∫ dk (2π) 1 2ωk (e−ikµxµ ak+e ikµxµ a† k) , k µxµ =ω kt−kx ,(A1) whereω k = √ k2+m 2 and the annihilation and creation operators satisfy th...
-
[6]
R. Brunetti, D. Guido and R. Longo, Rev. Math. Phys.14(2002), 759-786 doi:10.1142/S0129055X02001387 [arXiv:math- ph/0203021 [math-ph]]
-
[7]
H. J. Borchers, J. Math. Phys.41(2000), 3604-3673 doi:10.1063/1.533323
doi:10.1063/1.533323 2000
-
[8]
Schroer, SIGMA10(2014), 085 doi:10.3842/SIGMA.2014.085 [arXiv:1407.2124 [math-ph]]
B. Schroer, SIGMA10(2014), 085 doi:10.3842/SIGMA.2014.085 [arXiv:1407.2124 [math-ph]]
-
[9]
M. Takesaki,Tomita’s Theory of Modular Hilbert Algebras and its Applications, Springer-Verlag, 1970, doi:10.1007/bfb0065832
-
[10]
Bratteli and D
O. Bratteli and D. W. Robinson, ‘Operator Algebras and Quantum Statistical Mechanics, 1., Springer-Verlag (1987)
1987
-
[11]
S. J. Summers, [arXiv:math-ph/0511034 [math-ph]]
-
[12]
D. Guido, Contemp. Math.534(2011), 97-120 [arXiv:0812.1511 [math.OA]]
Pith/arXiv arXiv 2011
-
[13]
E. Witten, Rev. Mod. Phys.90(2018) no.4, 045003 doi:10.1103/RevModPhys.90.045003 [arXiv:1803.04993 [hep-th]]
-
[14]
J. J. Bisognano and E. H. Wichmann, J. Math. Phys.16(1975), 985-1007 doi:10.1063/1.522605
doi:10.1063/1.522605 1975
-
[15]
J. S. Bell, Physics Physique Fizika1(1964), 195-200 doi:10.1103/PhysicsPhysiqueFizika.1.195
-
[16]
J. F. Clauser, M. A. Horne, A. Shimony and R. A. Holt, Phys. Rev. Lett.23(1969), 880-884 doi:10.1103/PhysRevLett.23.880
-
[17]
S. J. Summers and R. Werner, J. Math. Phys.28(1987), 2440-2447 doi:10.1063/1.527733
doi:10.1063/1.527733 1987
-
[18]
S. J. Summers and R. Werner, J. Math. Phys.28(1987) no.10, 2448-2456 doi:10.1063/1.527734
doi:10.1063/1.527734 1987
-
[19]
S. J. Summers and R. Werner, Commun. Math. Phys.110(1987), 247-259 doi:10.1007/BF01207366
-
[20]
M. S. Guimaraes, I. Roditi and S. P. Sorella, Universe10(2024) no.10, 396 doi:10.3390/universe10100396 [arXiv:2409.07597 [quant-ph]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.3390/universe10100396 2024
-
[21]
M. S. Guimaraes, I. Roditi and S. P. Sorella, Rev. Phys.13(2025), 100121 doi:10.1016/j.revip.2025.100121 [arXiv:2410.19101 [quant-ph]]
-
[22]
Haag,Local Quantum Physics: Fields, Particles, Algebras, Springer-Verlag (1992)
R. Haag,Local Quantum Physics: Fields, Particles, Algebras, Springer-Verlag (1992)
1992
-
[23]
B. S. Cirelson, Lett. Math. Phys.4(1980), 93-100 doi:10.1007/BF00417500 24
-
[24]
M. S. Guimaraes, I. Roditi and S. P. Sorella, Phys. Rev. D112(2025) no.8, 085009 doi:10.1103/x939-vzq7 [arXiv:2506.00504 [quant-ph]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/x939-vzq7 2025
-
[25]
Coleman, Cambridge University Press, 1985, ISBN 978-0-521-31827-3 doi:10.1017/CBO9780511565045
S. Coleman, Cambridge University Press, 1985, ISBN 978-0-521-31827-3 doi:10.1017/CBO9780511565045
-
[26]
Araki, J
H. Araki, J. Math. Phys. 5 (1964), 1-13
1964
-
[27]
Rieffel and A
M. Rieffel and A. van Daele, Pac. J. Math. 69, 187 (1977)
1977
-
[28]
M. S. Guimaraes, I. Roditi and S. P. Sorella, Nucl. Phys. B1008(2024), 116717 doi:10.1016/j.nuclphysb.2024.116717 [arXiv:2403.15276 [quant-ph]]
-
[29]
K. Banaszek and K. W´ odkiewicz, Phys. Rev. Lett.82(1999) no.10, 2009 doi:10.1103/PhysRevLett.82.2009 [arXiv:quant- ph/9806068 [quant-ph]]
-
[30]
M. S. Guimaraes, I. Roditi and S. P. Sorella, [arXiv:2601.05216 [hep-th]]
-
[31]
D. Dudal, P. De Fabritiis, M. S. Guimaraes, I. Roditi and S. P. Sorella, Phys. Rev. D108(2023), L081701 doi:10.1103/PhysRevD.108.L081701 [arXiv:2307.04611 [hep-th]]
- [32]
-
[33]
R. Brunetti, D. Guido and R. Longo, Commun. Math. Phys.156(1993), 201-220 doi:10.1007/BF02096738 [arXiv:funct- an/9302008 [math.FA]]
-
[34]
H. J. Borchers and J. Yngvason, J. Math. Phys.40(1999), 601-624 doi:10.1063/1.532678 [arXiv:math-ph/9805013 [math- ph]]
-
[35]
J. J. Foit, Publ. Res. Inst. Math. Sci. Kyoto19(1983), 729-741 doi:10.2977/prims/1195182448
-
[36]
J. Mund, B. Schroer and J. Yngvason, Commun. Math. Phys.268(2006), 621-672 doi:10.1007/s00220-006-0067-4 [arXiv:math-ph/0511042 [math-ph]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00220-006-0067-4 2006
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.