Further Evidence for Near-Tsirelson Bell-CHSH Violations in Quantum Field Theory via Haar Wavelets

Basic Information

• Paper ID: 2410.13362
• Title: Further Evidence for Near-Tsirelson Bell-CHSH Violations in Quantum Field Theory via Haar Wavelets
• Authors: David Dudal (KU Leuven), Ken Vandermeersch (KU Leuven)
• Classification: math-ph hep-th math.MP quant-ph
• Publication Date: October 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2410.13362

Abstract

This paper investigates a novel construction method using "smoothed" Haar wavelets to explicitly demonstrate Bell-Clauser-Horne-Shimony-Holt inequality violations in quantum field theory vacuum states. The construction is tested on massless spinor fields in (1+1)-dimensional Minkowski spacetime and claims to achieve violations arbitrarily close to the Tsirelson bound. The authors prove that this claim can be reduced to a mathematical conjecture involving the maximum eigenvalues of a sequence of symmetric matrices composed of Haar wavelet product integrals. More precisely, the asymptotic eigenvalues of this sequence should converge to π. Using a wavelet subclass, the authors provide formal arguments achieving a value of 3.11052. Although a complete proof remains elusive, the authors provide further compelling numerical evidence supporting the conjecture.

Research Background and Motivation

Core Problem

The core problem addressed in this research is the construction of explicit Bell inequality violations within the quantum field theory (QFT) framework, particularly achieving maximum violations approaching the Tsirelson bound (2√2) in the vacuum state of free fields.

Problem Significance

1. Theoretical Foundation: Bell inequalities are central tests of quantum mechanics fundamentals, involving issues of non-locality and causality
2. QFT Challenge: Extending Bell inequalities from quantum mechanics to QFT faces technical difficulties requiring handling of field smearing, causality constraints, and other complex issues
3. Existence vs. Construction: While Summers-Werner and others proved the existence of maximum violations, explicit construction methods are lacking

Limitations of Existing Approaches

• Summers-Werner's pioneering work using algebraic QFT methods proved existence but provided no explicit construction
• Direct numerical optimization methods have prohibitively high computational complexity
• Lack of systematic mathematical frameworks for handling such problems

Research Motivation

Building on previous numerical results using Haar wavelets in prior work 5, the authors transform the problem into a more tractable mathematical conjecture and provide a theoretical analysis framework.

Core Contributions

1. Problem Reduction: Reduces the construction of Bell-CHSH violations to a mathematical conjecture regarding maximum eigenvalues of block Toeplitz matrices (Conjecture B)
2. Theoretical Framework: Establishes a complete mathematical bridge from wavelet expansion to matrix eigenvalue problems
3. Partial Analytical Results: Provides complete asymptotic analysis for the special case K=1, achieving 99.01% of π
4. Numerical Evidence: Provides compelling numerical evidence supporting the convergence of eigenvalues to π in the general case
5. Smoothing Method: Proves the mathematical rigor of the "bumpification" process

Methodology Details

Task Definition

Construct test function sets (f, f', g, g') satisfying:

• Normalization conditions: ⟨f|f⟩ = ⟨f'|f'⟩ = ⟨g|g⟩ = ⟨g'|g'⟩ = 1
• Violation conditions: ⟨f|g⟩ = ⟨f'|g⟩ = ⟨f|g'⟩ = -⟨f'|g'⟩ = -i√(2η)/(1+η²)
• Causality constraints: Support of Alice's and Bob's test functions located at x<0 and x>0 respectively

Core Mathematical Architecture

1. Haar Wavelet Expansion

Test functions are expanded using Haar wavelet basis:

f̃ⱼ := ∑∑ fⱼ(n,k)ψₙ,ₖ

where ψₙ,ₖ are standard Haar wavelets.

2. Symmetry Exploitation

Based on numerical observations, solutions are assumed to possess specific symmetries:

• f'₂ = f₁, f'₁ = -f₂ (relationship between Alice's functions)
• g'₂ = g₁, g'₁ = -g₂ (relationship between Bob's functions)
• f(-x) = -g(x) (antisymmetric relationship between Alice's and Bob's functions)
• f₂ = -cf₁, where c = √2 - 1

3. Matrix Construction

Define matrix A^(N,K) with elements:

A_(n,k),(m,ℓ) = -∬ (1/(x+y)) ψₙ,-ₖ(x)ψₘ,-ℓ(y) dxdy

4. Eigenvalue Problem

The problem reduces to finding vector y such that:

y^T A y = 2πη/(1+η²), ||y||² = 1

Technical Innovations

1. Problem Transformation: Converts complex QFT problems into linear algebra eigenvalue problems
2. Symmetry Analysis: Systematically exploits solution symmetries to dramatically reduce unknown parameters
3. Block Toeplitz Structure: Identifies and exploits special matrix structure for analysis
4. Hierarchical Analysis: Progressively extends from the simple K=1 case to the general case

Experimental Setup

Mathematical Conjecture Verification

Conjecture A: For any η ∈ (√2-1, 1), there exist sufficiently large resolutions {N₀, N₁, K} such that the system has a solution.

Conjecture B: For any δ > 0, there exist sufficiently large N, K such that λₘₐₓ(A^(N,K)) > π - δ.

Numerical Computation Setup

• Finite truncation of Fourier series approximation (n ∈ -50, 50)
• Computation of maximum eigenvalues of F_K(0) for different K values
• Analysis of eigenvalue convergence with respect to parameter variations

Evaluation Metrics

• Proximity of eigenvalues to π
• Precision and stability of numerical solutions
• Consistency across different parameter settings

Experimental Results

Main Results

Analytical Results for K=1 Case

The authors completely resolve the K=1 case, obtaining precise asymptotic formulas:

lim λₘₐₓ(A^(N,1)) = ln(1024/729) + 2α + 2(3-2√2)∑ιₙ ≈ 3.1105202

This achieves 99.01% of π, demonstrating the method's effectiveness.

Numerical Evidence for General Case

Table 2 shows the convergence of λₘₐₓ(F_K(0)) as K increases:

The data demonstrates monotonic increase of eigenvalues converging to π ≈ 3.14159.

Smoothing Verification

The authors rigorously prove the convergence of the "bumpification" process:

• L^p convergence of Planck-taper window functions (Proposition 4.2)
• Error estimates for smoothed Haar wavelets (Proposition 4.5)
• Convergence of final test functions (Propositions 4.7-4.9)

Experimental Findings

1. Monotonicity: λₘₐₓ(A^(N,K)) is monotonically increasing in both N and K
2. Block Toeplitz Structure: Matrices exhibit favorable mathematical structure facilitating analysis
3. Parameter Sensitivity: K has relatively minor effects, with precision primarily controlled by N

Related Work

Historical Development

1. Bell Inequalities: Bell (1964) and CHSH (1969) established fundamental constraints of classical theory
2. Tsirelson Bound: Tsirelson (1980) proved the upper bound 2√2 for quantum theory
3. QFT Extension: Summers-Werner (1987) series of works proved the existence of maximum violations in free fields

Positioning of This Work

• Compared to Summers-Werner's existence proof, this paper provides constructive methods
• Compared to direct numerical optimization, this paper provides a more efficient computational framework
• Establishes new connections between wavelet analysis and Bell inequalities

Conclusions and Discussion

Main Conclusions

1. Theoretical Contribution: Successfully transforms Bell violation problems in QFT into tractable mathematical conjectures
2. Partial Resolution: Completely resolves the K=1 case and provides compelling evidence for the general case
3. Method Validity: Rigor of the smoothing process ensures physical relevance

Limitations

1. Completeness: Complete proof of Conjecture B remains missing
2. Dimensional Restriction: Current results apply only to (1+1)-dimensional cases
3. Numerical Dependence: General case relies primarily on numerical evidence

Future Directions

1. Theoretical Refinement: Seek rigorous mathematical proofs of Conjecture B
2. Higher-Dimensional Extension: Generalize to higher-dimensional QFT
3. Interacting Theories: Extend to interacting field theories
4. Experimental Verification: Explore possible experimental implementation schemes

In-Depth Evaluation

Strengths

1. Mathematical Rigor: Transforms physical problems into rigorous mathematical frameworks
2. Innovative Methodology: Novel application of wavelet analysis to Bell inequality research
3. Partial Completeness: Analytical solution for the K=1 case
4. Numerical Reliability: Extensive consistent numerical evidence
5. Technical Completeness: Rigorous treatment of the smoothing process

Weaknesses

1. Theoretical Gap: Core conjecture lacks complete proof
2. Limited Scope: Restricted to free fields and low-dimensional cases
3. Computational Complexity: High-resolution computations remain expensive
4. Physical Intuition: Lacks physical interpretation of wavelet construction

Impact

1. Theoretical Value: Provides new tools for QFT research on Bell inequalities
2. Mathematical Contribution: Connects wavelet analysis with quantum information theory
3. Methodological Significance: Demonstrates effective approaches to mathematizing physical problems
4. Inspirational Value: Provides new research directions for related problems

Applicable Scenarios

1. Theoretical Physics: Research on quantum field theory foundations
2. Mathematical Physics: Applications of operator algebra and spectral theory
3. Quantum Information: Mathematical descriptions of non-locality and entanglement
4. Computational Physics: Development of efficient numerical methods

References

This paper cites 35 important references, primarily including:

• Original works on Bell inequalities 1,3
• Pioneering series by Summers-Werner 13-15
• Haar wavelet theory 10
• Block Toeplitz matrix theory 6,12
• Authors' prior work 5

Overall Assessment: This is an important work in research on quantum field theory foundations. The authors cleverly transform complex physical problems into tractable mathematical problems and provide partial rigorous solutions and compelling numerical evidence. Although complete theoretical proof remains elusive, this work opens new research directions with significant theoretical value and methodological significance.