Further Evidence for Near-Tsirelson Bell-CHSH Violations in Quantum Field Theory via Haar Wavelets
Pith reviewed 2026-05-23 19:28 UTC · model grok-4.3
The pith
Bell-CHSH violations in quantum field theory can approach Tsirelson's bound if the maximal eigenvalues of Haar wavelet integral matrices approach π.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The construction using bumpified Haar wavelets reduces the question of near-Tsirelson Bell-CHSH violations in the (1+1)D QFT vacuum to the conjecture that the asymptotic maximal eigenvalue of the sequence of symmetric matrices composed of integrals of Haar wavelet products approaches π; a subclass of wavelets achieves an eigenvalue of 3.11052, with additional numerical evidence provided for the conjecture.
What carries the argument
Symmetric matrices formed from integrals of products of bumpified Haar wavelets, whose maximal eigenvalue is conjectured to approach π in the continuum limit.
If this is right
- Bell-CHSH violations can get arbitrarily close to Tsirelson's bound.
- The vacuum state of massless spinor fields in (1+1)D Minkowski space permits strong Bell violations.
- The wavelet construction provides an explicit way to realize near-maximal quantum correlations in QFT.
- Numerical computations can test the approach to the bound by increasing matrix size.
Where Pith is reading between the lines
- The conjecture, if true, might extend to other wavelet bases or field theories in different dimensions.
- Reaching only 3.11052 suggests the convergence to π may be slow, requiring higher resolutions for closer approaches.
- This could connect to broader questions about the maximal Bell violation achievable in relativistic quantum theories.
Load-bearing premise
The maximal eigenvalue of the symmetric matrices from Haar wavelet product integrals approaches π in the continuum limit.
What would settle it
A computation of the maximal eigenvalue for a sequence of increasingly large matrices that fails to increase toward π, for example remaining below 3.12 at very high resolution, would disprove the conjecture.
Figures
read the original abstract
This paper investigates a recent construction using bumpified Haar wavelets to demonstrate explicit violations of the Bell-Clauser-Horne-Shimony-Holt inequality within the vacuum state in quantum field theory. The construction was tested for massless spinor fields in $(1+1)$-dimensional Minkowski spacetime and is claimed to achieve violations arbitrarily close to an upper bound known as Tsirelson's bound. We show that this claim can be reduced to a mathematical conjecture involving the maximal eigenvalue of a sequence of symmetric matrices composed of integrals of Haar wavelet products. More precisely, the asymptotic eigenvalue of this sequence should approach $\pi$. We present a formal argument using a subclass of wavelets, allowing us to reach $3.11052$. Although a complete proof remains elusive, we present further compelling numerical evidence to support it.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper reduces the construction of near-Tsirelson Bell-CHSH violations in (1+1)-dimensional QFT vacuum states via bumpified Haar wavelets to an independent mathematical conjecture: that the largest eigenvalue λ_N of the N×N Gram matrices formed from integrals of products of these wavelets satisfies lim_{N→∞} λ_N = π. It supplies a rigorous lower bound λ ≥ 3.11052 for a restricted subclass of wavelets together with numerical diagonalization evidence for the full sequence.
Significance. If the eigenvalue conjecture holds, the work supplies concrete, falsifiable evidence that QFT can realize Bell-CHSH violations arbitrarily close to Tsirelson’s bound, a result of interest at the interface of quantum field theory and quantum information. The explicit mapping to an eigenvalue problem on Haar-wavelet Gram matrices, the analytic subclass bound, and the numerical checks constitute genuine strengths that render the physical claim testable without circularity or free parameters.
major comments (2)
- [Main text (conjecture statement and numerical section)] The central physical claim rests on the unproven limit lim λ_N = π. While the reduction itself is cleanly executed and the subclass argument (yielding 3.11052) is formal, the manuscript supplies neither an analytic proof of the full limit nor a rigorous error bound or convergence-rate estimate on the numerical extrapolation; this gap directly limits the strength of the “arbitrarily close” assertion.
- [Numerical results] The numerical evidence is reported only up to the subclass value 3.11052; the manuscript does not state the largest N for which the full matrices were diagonalized, the observed approach rate to π, or any extrapolation procedure, making it impossible to quantify how convincingly the numerics support the continuum limit.
minor comments (2)
- [Preliminaries] Notation for the bumpified Haar wavelets and the precise definition of the Gram-matrix entries ∫ ψ_i(x) ψ_j(x) dx should be collected in a single preliminary section for readability.
- [Numerical results] A short table comparing the subclass bound 3.11052, the numerical maxima, and π would help readers gauge the remaining gap.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of the reduction to the eigenvalue conjecture, the formal subclass bound, and the overall significance. We address the major comments point by point below.
read point-by-point responses
-
Referee: [Main text (conjecture statement and numerical section)] The central physical claim rests on the unproven limit lim λ_N = π. While the reduction itself is cleanly executed and the subclass argument (yielding 3.11052) is formal, the manuscript supplies neither an analytic proof of the full limit nor a rigorous error bound or convergence-rate estimate on the numerical extrapolation; this gap directly limits the strength of the “arbitrarily close” assertion.
Authors: We agree that the claim of violations arbitrarily close to Tsirelson’s bound is conditional on the unproven conjecture lim_{N→∞} λ_N = π. The manuscript already states explicitly that a complete analytic proof remains elusive and presents the subclass result of 3.11052 as a rigorous lower bound together with numerical evidence. We do not have an analytic proof of the full limit or rigorous error bounds on the numerical extrapolation. We will expand the numerical section with additional details on convergence behavior to better support the evidence presented. revision: partial
-
Referee: [Numerical results] The numerical evidence is reported only up to the subclass value 3.11052; the manuscript does not state the largest N for which the full matrices were diagonalized, the observed approach rate to π, or any extrapolation procedure, making it impossible to quantify how convincingly the numerics support the continuum limit.
Authors: We will revise the manuscript to state the largest N for which the full matrices were diagonalized, report the observed approach rate of λ_N toward π, and describe the extrapolation procedure. These additions will make the numerical support for the conjecture more transparent and quantifiable. revision: yes
- Analytic proof of lim λ_N = π together with rigorous error bounds or convergence-rate estimates on the numerical extrapolation.
Circularity Check
No circularity detected; central claim is an explicit unproven conjecture on eigenvalue limits, supported by subclass proof and numerics without reduction to inputs by construction.
full rationale
The paper explicitly reduces the QFT Bell-CHSH claim to the mathematical conjecture that lim λ_N = π for the maximal eigenvalue of Gram matrices built from integrals of bumpified Haar wavelets. A formal lower bound of 3.11052 is proven for a restricted subclass, with the general limit supported by numerical diagonalization rather than any fitted parameter or self-referential definition. No step renames a known result, smuggles an ansatz via self-citation, or equates a 'prediction' to a fitted input. Self-citations to prior work (if present) are not load-bearing for the central conjecture, which is independently evidenced here. The derivation chain is transparent and self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard L2 properties and orthogonality relations of Haar wavelets and their bumpified versions
- domain assumption The vacuum expectation values in massless (1+1)D spinor QFT can be expressed via the wavelet operators
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Conjecture B. ... lim N,K→∞ λ_max(A(N,K)) = π
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
A(n,k),(m,ℓ) = −∬ (1/(x+y)) ψ_n,-k(x) ψ_m,-ℓ(y) dx dy; block-Toeplitz structure
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.
Reference graph
Works this paper leans on
-
[1]
John S. Bell. On the Einstein Podolsky Rosen paradox. Physics Physique Fizika , 1:195–200, 1964. 36
work page 1964
-
[2]
John F. Clauser, Michael A. Horne, Abner Shimony, and Richard A. Holt. Proposed Experiment to Test Local Hidden-Variable Theories.Physical Review Letters, 23:880– 884, 1969
work page 1969
- [3]
-
[4]
Stephen J. Summers and Reinhard Werner. Bell’s inequalities and quantum field theory. I. General setting. Journal of Mathematical Physics , 28(10):2440–2447, 1987
work page 1987
-
[5]
Stephen J. Summers and Reinhard Werner. Bell’s inequalities and quantum field theory. II. Bell’s inequalities are maximally violated in the vacuum. Journal of Math- ematical Physics, 28(10):2448–2456, 1987
work page 1987
-
[6]
Stephen J. Summers and Reinhard Werner. Maximal violation of Bell’s inequalities is generic in quantum field theory. Communications in Mathematical Physics, 110:247– 259, 1987
work page 1987
-
[7]
Orthonormal Bases of Compactly Supported Wavelets
Ingrid Daubechies. Orthonormal Bases of Compactly Supported Wavelets. Commu- nications on Pure and Applied Mathematics , 41(7):909–996, 1988
work page 1988
-
[8]
Asymptotic Spectra of Hermitian Block Toeplitz Matrices and Preconditioning Results
Michele Miranda Jr and Paolo Tilli. Asymptotic Spectra of Hermitian Block Toeplitz Matrices and Preconditioning Results. SIAM Journal on Matrix Analysis and Ap- plications, 21:867–881, 2000
work page 2000
-
[9]
Regalia, and Jean-Pierre Delmas
Houcem Gazzah, Philip A. Regalia, and Jean-Pierre Delmas. Asymptotic eigenvalue distribution of block Toeplitz matrices and application to blind SIMO channel iden- tification. IEEE Transactions on Information Theory , 47(3):1243–1251, 2001
work page 2001
-
[10]
David J. A. McKechan, Craig Robinson, and Bangalore S. Sathyaprakash. A tapering window for time-domain templates and simulated signals in the detection of grav- itational waves from coalescing compact binaries. Classical and Quantum Gravity , 27:084020, 2010
work page 2010
-
[11]
Lower bounds for the largest eigenvalue of a symmetric matrix under perturbations of rank one
Jacques B´ enass´ eni. Lower bounds for the largest eigenvalue of a symmetric matrix under perturbations of rank one. Linear and Multilinear Algebra, 2011
work page 2011
-
[12]
Guimaraes, Itzhak Roditi, and Sil- vio P
David Dudal, Philipe De Fabritiis, Marcelo S. Guimaraes, Itzhak Roditi, and Sil- vio P. Sorella. Maximal violation of the bell-clauser-horne-shimony-holt inequality via bumpified haar wavelets. Physical Review D, 108:L081701, 2023
work page 2023
-
[13]
Robert M. Gray. Toeplitz and Circulant Matrices: A Review. Foundations and Trends in Communications and Information Theory. Now Publishers, 2006
work page 2006
-
[14]
Toeplitz Forms and Their Applications
Ulf Grenander and Gabor Szeg˝ o. Toeplitz Forms and Their Applications . California monographs in mathematical sciences. University of California Press, 1958. 37
work page 1958
-
[15]
Local quantum physics: Fields, particles, algebras
Rudolf Haag. Local quantum physics: Fields, particles, algebras . Springer Science & Business Media, 2012
work page 2012
-
[16]
Gerald Kaiser. A Friendly Guide to Wavelets . Birkhauser Boston Inc., 1994
work page 1994
-
[17]
Haar Wavelets: With Applications
¨Ulo Lepik and Helle Hein. Haar Wavelets: With Applications . Springer International Publishing, 2014. 38
work page 2014
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.