arxiv: 2604.05109 · v1 · submitted 2026-04-06 · 🧮 math-ph · hep-th· math.MP· math.SP

Recognition: 3 theorem links

· Lean Theorem

Near-Tsirelson Bell-CHSH Violations in Quantum Field Theory via Carleman and Hankel Operators

David Dudal , Ken Vandermeersch

Authors on Pith no claims yet

Pith reviewed 2026-05-10 19:00 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.MPmath.SP

keywords Bell-CHSHTsirelson boundquantum field theoryCarleman operatorHankel operatorfree spinor fieldsnonlocalityspacelike supports

0 comments

The pith

Explicit smooth test functions with spacelike supports make Bell-CHSH correlators in (1+1)D free spinor fields converge to the Tsirelson bound 2√2.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs concrete smooth compactly supported test functions whose supports are spacelike separated and shows that their Bell-CHSH correlators in the vacuum state of free spinor fields in (1+1)-dimensional Minkowski space approach the maximum quantum value 2√2. After reducing the problem to the time-zero slice and imposing a symmetry, the correlator becomes the quadratic form of either the Carleman operator (massless fields) or a Hankel operator whose kernel involves the modified Bessel function K1 (massive fields). Near-maximal violation is then controlled by the known spectral properties of these operators, with explicit near-extremal functions obtained by cutting off their generalized eigenfunctions. A sympathetic reader cares because the construction supplies explicit, physically interpretable states that realize near-Tsirelson nonlocality inside a relativistic quantum field theory rather than through abstract existence arguments.

Core claim

We construct explicit smooth compactly supported test functions with spacelike separated supports whose Bell-CHSH correlators converge to Tsirelson's bound 2√2. In the massless case, after passage to the time-zero slice and a natural symmetry reduction, the problem reduces to the quadratic form of the Carleman operator on L²([0,∞)). Near-maximal Bell violation is then governed by the spectral edge π, and explicit near-extremizers are obtained from compactly supported cutoffs of the generalized eigenfunction x^{-1/2}. In the massive case, the same reduction leads to a Hankel operator with kernel mK₁(m(x+y)), and exponentially damped variants of the massless test functions again yield Bell-CHS

What carries the argument

Reduction of the vacuum Bell-CHSH correlator, after time-zero slice and symmetry reduction, to the quadratic form of the Carleman operator (massless) or Hankel operator with kernel mK₁(m(x+y)) (massive) on the half-line.

Load-bearing premise

The assumption that passage to the time-zero slice and a natural symmetry reduction reduces the Bell-CHSH problem exactly to the quadratic form of the Carleman or Hankel operator.

What would settle it

A direct numerical or analytic computation of the Bell-CHSH expectation value for the given test functions in the free spinor vacuum that remains bounded away from 2√2 as the cutoff support is enlarged would falsify the convergence claim.

read the original abstract

We study Bell-Clauser-Horne-Shimony-Holt (Bell-CHSH) violations in the vacuum state of free spinor fields in $(1+1)$-dimensional Minkowski spacetime. We construct explicit smooth compactly supported test functions with spacelike separated supports whose Bell-CHSH correlators converge to Tsirelson's bound $2\sqrt2$. In the massless case, after passage to the time-zero slice and a natural symmetry reduction, the problem reduces to the quadratic form of the Carleman operator on $L^2([0,\infty))$. Near-maximal Bell violation is then governed by the spectral edge $\pi$, and explicit near-extremizers are obtained from compactly supported cutoffs of the generalized eigenfunction $x^{-1/2}$. This also explains the appearance of the constant $\pi$ in earlier wavelet-based formulations. In the massive case, the same reduction leads to a Hankel operator with kernel $mK_1(m(x+y))$, where $K_1$ denotes the modified Bessel function of the second kind of order $1$, and exponentially damped variants of the massless test functions again yield Bell-CHSH values converging to $2\sqrt2$. Therefore, we establish a direct link between Bell-CHSH violations for free $(1+1)$-dimensional spinor fields and the spectral theory of Carleman and Hankel operators on the half-line.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper supplies explicit cutoff test functions that push Bell-CHSH close to 2√2 in 1+1D free spinor QFT by reducing the vacuum expectation to Carleman and Hankel quadratic forms on the half-line.

read the letter

The main takeaway is that they build smooth compactly supported test functions with spacelike supports whose CHSH correlators in the vacuum approach Tsirelson's bound. In the massless case this comes from cutting off the x^{-1/2} generalized eigenfunction after a time-zero slice and symmetry reduction to the half-line; the Carleman operator's spectral edge at π then controls the violation. The massive case replaces it with a Hankel operator whose kernel is m K_1(m(x+y)) and uses exponentially damped versions of the same cutoffs. This is new: prior work had wavelet hints at the π constant, but the explicit functions and the precise operator reductions are not in the literature they cite. It also gives a clean bridge between QFT vacuum expectations and known spectral theory results for these integral operators. The constructions look concrete enough that someone could reproduce the test functions and check the numerics. The reduction step is the part that needs the closest look. After restricting the four spacetime test functions to t=0 and folding via parity or light-cone coordinates, the vacuum two-point function for the Dirac field must yield exactly the claimed quadratic form with no residual cross terms from the spinor structure or from the full commutator function. The abstract states that the problem reduces exactly, and the supports are chosen to respect spacelike separation, but any small mismatch in how the components are projected would mean the Rayleigh quotients do not translate one-to-one to the original Bell-CHSH value. If the full paper shows the cancellation explicitly and gives error bounds on the cutoff, that concern disappears. This is aimed at people working on Bell inequalities inside relativistic QFT or on applications of Carleman/Hankel operators to quantum information. A reader who wants concrete near-maximal examples rather than abstract bounds will get usable functions and a clear explanation of the π factor. It is worth sending to peer review because the central claim rests on standard external operators rather than fitted parameters, the constructions are new, and the gaps are fixable with more detail on the reduction rather than fatal. A referee can check the algebra once and for all.

Referee Report

3 major / 2 minor

Summary. The paper claims to construct explicit smooth compactly supported test functions with spacelike separated supports in the vacuum of free (1+1)-dimensional spinor fields such that the Bell-CHSH correlators converge to Tsirelson's bound 2√2. After passage to the time-zero slice and a natural symmetry reduction, the massless case reduces exactly to the quadratic form of the Carleman operator on L²([0,∞)), with near-extremizers from cutoffs of x^{-1/2}; the massive case reduces to a Hankel operator with kernel mK₁(m(x+y)), and exponentially damped variants again approach 2√2. This establishes a direct link to the spectral theory of these operators and explains the constant π in prior wavelet formulations.

Significance. If the reduction is rigorous, the work provides a concrete bridge between QFT Bell violations and the spectral edges of standard Carleman/Hankel operators, yielding explicit near-Tsirelson test functions without parameter fitting. The connection to the known spectral edge π of the Carleman operator is a clear strength, as is the explicit construction of compactly supported approximants that achieve convergence.

major comments (3)

[massless case reduction (abstract and §2)] The central claim rests on the exactness of the time-zero slice plus symmetry reduction (abstract and the massless-case derivation). The manuscript asserts that the vacuum expectation of the CHSH combination equals the quadratic form of the Carleman operator (kernel 1/(x+y)) with no leftover cross terms from the full Dirac two-point function, but provides no detailed expansion of the spinor correlator components or verification that spacelike commutativity constraints are fully captured by the half-line supports. This step is load-bearing for translating the Rayleigh quotients of x^{-1/2} cutoffs into the stated Bell-CHSH values.
[massive case reduction (§3)] §3 (massive case): the reduction to the Hankel operator with kernel mK₁(m(x+y)) is stated to follow by the same symmetry argument, yet no error estimate or explicit check is given that the massive two-point function components reduce without residual terms that would alter the quadratic form. The convergence claim for exponentially damped variants therefore inherits the same unverified step.
[symmetry reduction step (abstract and introduction)] The paper invokes 'natural symmetry reduction' (presumably parity or light-cone folding) but does not demonstrate that the chosen compact supports on the half-line preserve the exact Bell-CHSH value under the full QFT vacuum expectation; if any component of the Dirac propagator is omitted, the near-2√2 values obtained from the operator-theoretic cutoffs do not necessarily carry over.

minor comments (2)

[test function construction] Notation for the test functions and their supports could be clarified with an explicit diagram or coordinate definitions to avoid ambiguity in the spacelike separation condition.
[near-extremizers] The manuscript would benefit from a short appendix or remark confirming that the cutoffs of x^{-1/2} remain smooth and compactly supported after the symmetry folding.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful and constructive report. The comments correctly identify that the central reductions require more explicit verification to be fully rigorous. We will revise the manuscript to supply the requested expansions, component-wise calculations, and checks on residual terms, thereby strengthening the link to the Carleman and Hankel operators.

read point-by-point responses

Referee: [massless case reduction (abstract and §2)] The central claim rests on the exactness of the time-zero slice plus symmetry reduction (abstract and the massless-case derivation). The manuscript asserts that the vacuum expectation of the CHSH combination equals the quadratic form of the Carleman operator (kernel 1/(x+y)) with no leftover cross terms from the full Dirac two-point function, but provides no detailed expansion of the spinor correlator components or verification that spacelike commutativity constraints are fully captured by the half-line supports. This step is load-bearing for translating the Rayleigh quotients of x^{-1/2} cutoffs into the stated Bell-CHSH values.

Authors: We agree that the massless reduction would be clearer with an explicit component expansion. In the revised manuscript we will insert a new subsection in §2 that writes out the full Dirac two-point function in (1+1) dimensions, applies the time-zero restriction, and shows term-by-term that the cross terms vanish identically once the test functions are supported on the positive half-line and the parity-odd properties of the spinor field are used. We will also verify that the chosen supports lie in spacelike separated regions, so that the commutator contributions are zero by the causal structure of the free field. This makes the identification with the Carleman quadratic form fully rigorous. revision: yes
Referee: [massive case reduction (§3)] §3 (massive case): the reduction to the Hankel operator with kernel mK₁(m(x+y)) is stated to follow by the same symmetry argument, yet no error estimate or explicit check is given that the massive two-point function components reduce without residual terms that would alter the quadratic form. The convergence claim for exponentially damped variants therefore inherits the same unverified step.

Authors: We accept that an explicit verification is needed for the massive case. The revised §3 will contain a direct expansion of the massive Dirac propagator under the same symmetry reduction, confirming that all components reduce to the stated Hankel kernel mK₁(m(x+y)) with no residual terms. We will also add a short error estimate showing that the exponentially damped cutoffs of the massless near-extremizers produce a quadratic form that converges to the spectral edge of the Hankel operator as the damping parameter tends to zero, without introducing new contributions that would change the Bell-CHSH value. revision: yes
Referee: [symmetry reduction step (abstract and introduction)] The paper invokes 'natural symmetry reduction' (presumably parity or light-cone folding) but does not demonstrate that the chosen compact supports on the half-line preserve the exact Bell-CHSH value under the full QFT vacuum expectation; if any component of the Dirac propagator is omitted, the near-2√2 values obtained from the operator-theoretic cutoffs do not necessarily carry over.

Authors: The symmetry reduction relies on the parity invariance of the vacuum state together with the folding of light-cone coordinates. To make this explicit, the revised introduction will contain a short paragraph deriving the reduction from the full vacuum expectation, and the abstract will be updated with a forward reference to the detailed calculation now placed in §2. We will show that, for the compactly supported test functions chosen on the half-line, every component of the Dirac propagator that is not captured by the reduced kernel vanishes identically because of the support constraints and the odd/even transformation properties under parity. Consequently the Bell-CHSH value is exactly preserved by the reduction. revision: yes

Circularity Check

0 steps flagged

Derivation self-contained via reduction to standard spectral theory of Carleman and Hankel operators

full rationale

The paper reduces the Bell-CHSH problem in (1+1)D free spinor QFT to the quadratic form of the externally defined Carleman operator (kernel 1/(x+y)) or Hankel operator (kernel m K_1(m(x+y))) after time-zero slice and symmetry reduction. It then invokes the known spectral edge π of the Carleman operator and constructs near-extremizers from cutoffs of the generalized eigenfunction x^{-1/2}, with analogous damped constructions for the massive case. These steps rely on independent mathematical facts about standard operators rather than internal fitting, self-definition, or load-bearing self-citation. No step equates the claimed near-Tsirelson bound to the paper's own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard QFT vacuum properties plus a symmetry reduction whose validity is asserted but not derived in the abstract; no new entities or fitted parameters are introduced.

axioms (2)

domain assumption Standard axioms of free quantum field theory in (1+1)D Minkowski spacetime, including the vacuum state and canonical commutation relations for spinor fields
Invoked to define the Bell-CHSH correlator in the vacuum.
ad hoc to paper The time-zero slice plus natural symmetry reduction preserves the Bell-CHSH value
Stated in the abstract as the step that maps the QFT problem onto the Carleman/Hankel quadratic forms.

pith-pipeline@v0.9.0 · 5559 in / 1577 out tokens · 84338 ms · 2026-05-10T19:00:38.178361+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel (J-cost uniqueness) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

after passage to the time-zero slice and a natural symmetry reduction, the problem reduces to the quadratic form of the Carleman operator on L²([0,∞)) … spectral edge π … Hankel operator with kernel mK₁(m(x+y))
IndisputableMonolith/Foundation/AlphaCoordinateFixation.lean costAlphaLog_fourth_deriv_at_zero echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

change of variables x=e^s … h(r) := ½ cosh(r/2) … ∫ h(r) dr = π
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking (D=3) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

free spinor fields in (1+1)-dimensional Minkowski spacetime

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Modular wedge localization, Majorana fields and the Tsirelson limit of the Bell-CHSH inequality
hep-th 2026-05 unverdicted novelty 7.0

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.
Bosonization, vertex operators and maximal violation of the Bell-CHSH inequality in wedge regions
hep-th 2026-04 unverdicted novelty 4.0

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

17 extracted references · 1 canonical work pages · cited by 2 Pith papers

[1]

J. S. Bell. On the Einstein Podolsky Rosen paradox.Physics Physique Fizika, 1:195–200, 1964

1964
[2]

J. G. A. Carib´ e, M. S. Guimaraes, I. Roditi, and S. P. Sorella. Modular Theory and the Bell-CHSH inequality in relativistic scalar Quantum Field Theory, 2026. arXiv:2603.25873

work page arXiv 2026
[3]

J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt. Proposed Experiment to Test Local Hidden- Variable Theories.Phys. Rev. Lett., 23:880–884, 1969

1969
[4]

Dudal, P

D. Dudal, P. De Fabritiis, M. S. Guimaraes, I. Roditi, and S. P. Sorella. Maximal violation of the Bell-Clauser-Horne-Shimony-Holt inequality via bumpified Haar wavelets.Phys. Rev. D, 108:L081701, 2023

2023
[5]

Dudal and K

D. Dudal and K. Vandermeersch. Further evidence for near-Tsirelson Bell–CHSH violations in quantum field theory via Haar wavelets.Eur. Phys. J. C, 86:349, 2026

2026
[6]

Glimm and A

J. Glimm and A. Jaffe.Quantum Physics: A Functional Integral Point of View. Springer-Verlag, New York, second edition, 1987

1987
[7]

M. S. Guimaraes, I. Roditi, and S. P. Sorella. Bell’s inequality in relativistic Quantum Field Theory. Rev. Phys., 13:100121, 2025. 16

2025
[8]

J. S. Howland. Spectral theory of operators of Hankel type. II.Indiana Univ. Math. J., 41(2):409–426, 427–434, 1992

1992
[9]

V. V. Peller.Hankel operators and their applications. Springer Monographs in Mathematics. Springer- Verlag, New York, 2003

2003
[10]

V. Petrov. On exact solutions of Hankel equations.St. Petersburg Math. J., 30(1):123–148, 2019

2019
[11]

S. J. Summers and R. Werner. Bell’s inequalities and quantum field theory. I. General setting.J. Math. Phys., 28(10):2440–2447, 1987

1987
[12]

S. J. Summers and R. Werner. Bell’s inequalities and quantum field theory. II. Bell’s inequalities are maximally violated in the vacuum.J. Math. Phys., 28(10):2448–2456, 1987

1987
[13]

S. J. Summers and R. Werner. Maximal violation of Bell’s inequalities is generic in quantum field theory. Comm. Math. Phys., 110:247–259, 1987

1987
[14]

B. S. Tsirelson. Quantum generalizations of Bell’s inequality.Lett. Math. Phys., 4(2):93–100, 1980

1980
[15]

G. N. Watson.A Treatise on the Theory of Bessel Functions. Cambridge University Press, Cambridge, 1995

1995
[16]

D. R. Yafaev. Spectral and scattering theory for perturbations of the Carleman operator.St. Petersburg Math. J., 25(2):339–359, 2014

2014
[17]

D. R. Yafaev. A commutator method for the diagonalization of Hankel operators.Funct. Anal. Appl., 44(4):295–306, 2010. 17

2010