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

This paper provides further numerical evidence and a formal argument supporting the claim that a construction using bumpified Haar wavelets in the vacuum state of $(1+1)$-dimensional massless spinor fields can violate the Bell-CHSH inequality arbitrarily close to Tsirelson's bound, contingent on a conjecture regarding the asymptotic maximal eigenvalue of specific symmetric matrices approaching $\pi$.

The Gist

Imagine the universe as a giant, invisible ocean. In the deepest, calmest part of this ocean (the "vacuum" state), nothing seems to be happening. But in the quantum world, even this empty space is buzzing with hidden connections.

This paper is about proving that these hidden connections are so strong that they break the "rules of the game" set by classical physics. Specifically, the authors are investigating a famous rule called the Bell-CHSH inequality.

Here is the story of their discovery, explained simply:

1. The Game: Alice, Bob, and the Magic Coins

Imagine two friends, Alice and Bob, standing far apart in the universe. They each have a box with a coin inside.

• In the "old world" (classical physics), if they flip their coins, the results are random but independent. If they compare notes later, there's a strict limit to how much their results can be correlated. This limit is the Bell Inequality.
• In the "quantum world," however, the coins are entangled. They are like a pair of magical dice that always land on matching numbers, no matter how far apart they are. This is called entanglement.

There is a theoretical "speed limit" to how strong this magic can be, known as Tsirelson's Bound. It's like the maximum speed of light; you can't go faster, but you can get very close to it.

2. The Problem: Proving it in the "Empty" Ocean

For decades, physicists knew that quantum fields (the fabric of the universe) should allow for this strong magic. But proving it explicitly in a vacuum was like trying to find a specific grain of sand in a desert using a blindfold. Previous proofs said, "It's definitely there," but they couldn't show you exactly where or how to find it.

A recent study (by the same authors and colleagues) tried to build a map using Haar Wavelets. Think of Haar Wavelets as a set of Lego bricks. You can build any shape you want by snapping these bricks together. The previous study used these bricks to build a structure that showed the magic was almost at the maximum speed limit (Tsirelson's Bound).

3. The New Paper: Checking the Math with a Magnifying Glass

The authors of this paper, David Dudal and Ken Vandermeersch, decided to take a closer look at that Lego construction. They asked: "Is this really as close to the limit as we think, or is there a mathematical trick we missed?"

They realized that the whole problem could be boiled down to a giant math puzzle involving a matrix (a grid of numbers).

• The Puzzle: They created a grid where every number represents how two Lego bricks interact.
• The Goal: They needed to find the "strongest vibration" (the largest eigenvalue) of this grid.
• The Target: If the math is right, this strongest vibration should equal $\pi$ (3.14159...). If it hits $\pi$, it proves the quantum magic reaches the absolute maximum limit.

4. The "Bumpified" Trick

The Lego bricks (Haar wavelets) are a bit jagged—they have sharp, square edges. But the universe is smooth. To fix this, the authors used a technique called "Bumpification."

• Analogy: Imagine taking a jagged, blocky stone and sanding it down until it becomes a smooth, round pebble.
• They smoothed out the edges of their Lego bricks so they fit perfectly into the smooth fabric of the universe (Quantum Field Theory) without breaking the rules of causality (nothing travels faster than light).

5. The Results: Getting Very Close to the Limit

The authors couldn't write a perfect, 100% mathematical proof that the answer is exactly $\pi$. However, they did something even more convincing for a scientist: they ran the numbers.

• They built bigger and bigger grids (using more Lego bricks).
• As the grids got larger, the "strongest vibration" got closer and closer to 3.14159...
• They reached a value of 3.11052, which is 99% of the way to the goal.
• Their computer simulations suggest that if you keep making the grid infinitely large, it will eventually hit $\pi$ exactly.

The Big Picture

Think of this like trying to measure the circumference of a circle. You can't measure it perfectly with a ruler, but if you use a polygon with 10 sides, then 100 sides, then 1,000 sides, the shape looks more and more like a circle, and your measurement gets closer and closer to the true value of $\pi$.

What does this mean for us?

1. It confirms the weirdness of the universe: Even in the emptiest space, particles are deeply connected in ways that defy our everyday logic.
2. It gives us a blueprint: Instead of just saying "it's possible," the authors gave us a specific recipe (using these smoothed-out Lego bricks) to build these connections.
3. Future applications: This method might help us understand how these quantum connections work in more complex, "messy" systems (like interacting particles), which could one day help us build better quantum computers or understand the early universe.

In short: They took a messy, jagged mathematical problem, smoothed it out, and showed with overwhelming numerical evidence that the universe is indeed as "spooky" and interconnected as the greatest physicists ever dreamed.

Technical Summary

1. Problem Statement

The paper addresses the problem of explicitly constructing test functions in the vacuum state of a free, massless, spinor Quantum Field Theory (QFT) in $(1+1)$-dimensional Minkowski spacetime that violate the Bell-Clauser-Horne-Shimony-Holt (Bell-CHSH) inequality.

• Context: While Algebraic QFT (AQFT) proofs (Summers-Werner) established the existence of states violating the Bell-CHSH inequality arbitrarily close to Tsirelson's bound ($2\sqrt{2}$), these proofs were non-constructive.
• Previous Work: A recent study [17] introduced a constructive approach using "bumpified" Haar wavelets to generate explicit test functions. Numerical optimization suggested violations could approach $2\sqrt{2}$, but the method was computationally expensive and lacked a rigorous mathematical proof of the asymptotic limit.
• Goal: This paper aims to reformulate the hypothesis of [17] into a precise mathematical conjecture regarding the spectral properties of specific matrices derived from Haar wavelet integrals, providing both formal arguments and compelling numerical evidence that the violation can approach Tsirelson's bound.

2. Methodology

The authors decompose the problem into two main steps:

Step 1: Exact Solution via Haar Wavelets (Discrete Approximation)

The authors restrict the search for test functions to finite linear combinations of Haar wavelets.

• Haar Wavelet Basis: They utilize the orthonormal basis of Haar wavelets $\psi_{n,k}$. The test functions for Alice ($f, f'$) and Bob ($g, g'$) are expanded as finite sums of these wavelets.
• Symmetry Exploitation: By analyzing the numerical solutions from previous work, the authors identify specific (anti)symmetry relations among the wavelet coefficients (e.g., $f'_2 = f_1$, $f_2 = -cf_1$ with $c = \sqrt{2}-1$).
• Matrix Formulation: These symmetries reduce the system of equations required to satisfy the Bell-CHSH conditions to a single quadratic form involving a symmetric matrix $\mathbf{A}$.
  • The condition for maximal violation reduces to finding a unit vector $\mathbf{y}$ such that $\mathbf{y}^T \mathbf{A} \mathbf{y} = \frac{2\pi\eta}{1+\eta^2}$.
  • As $\eta \to 1$, the target value approaches $\pi$.
  • The existence of a solution depends on the maximal eigenvalue $\lambda_{\max}(\mathbf{A})$ being able to reach $\pi$.
• Conjecture B: The core mathematical conjecture is that for the sequence of block Toeplitz matrices $\mathbf{A}(N, K)$ constructed from Haar wavelet integrals, the maximal eigenvalue converges to $\pi$ as the resolution parameters $N$ (scale) and $K$ (translation count) go to infinity:
  $$\lim_{N, K \to \infty} \lambda_{\max}(\mathbf{A}(N, K)) = \pi$$

Step 2: Bumpification (Smoothness Restoration)

Haar wavelets are discontinuous, which violates the smoothness requirements of Algebraic QFT.

• Smoothing: The authors replace the discontinuous Haar wavelets with $C^\infty$ "bumpified" versions using the Planck-taper window function.
• Translation: A small spatial translation is applied to ensure the test functions for Alice and Bob remain strictly in their respective causal wedges (separated by $x=0$).
• Convergence: They formally prove that as the smoothing parameter $\epsilon \to 0$, the inner products of the smoothed functions converge to the exact values obtained with the discontinuous Haar wavelets, preserving the normalization and the Bell-CHSH violation magnitude.

3. Key Contributions

1. Mathematical Reformulation: The paper transforms a complex numerical optimization problem into a rigorous spectral problem (Conjecture B) concerning the asymptotic behavior of the maximal eigenvalue of a sequence of block Toeplitz matrices.
2. Formal Proof for $K=1$: For the specific case where the number of translations $K=1$, the matrix becomes a standard Toeplitz matrix. The authors derive a closed-form expression for the asymptotic maximal eigenvalue:
   $$\lim_{N \to \infty} \lambda_{\max}(\mathbf{A}(N, 1)) \approx 3.11052$$
   This value is approximately $99.01\%$ of $\pi$, providing a rigorous lower bound for the violation in this specific subclass.
3. Numerical Evidence for General $K$: For $K > 1$, the matrix is block Toeplitz. The authors provide extensive numerical data showing that $\lambda_{\max}(\mathbf{A}(N, K))$ approaches $\pi$ as $K$ increases.
   • At $K=10$, the value is $\approx 3.1412$.
   • At $K=60$, the value is $\approx 3.14158$, extremely close to $\pi \approx 3.14159$.
4. Rigorous Convergence of Bumpified Functions: The paper provides a formal proof (Proposition IV.7) that the "bumpification" process does not destroy the Bell-CHSH violation, ensuring the constructed functions are valid within the framework of AQFT.

4. Results

• Eigenvalue Convergence: The numerical results strongly support Conjecture B. The maximal eigenvalue of the matrix $\mathbf{A}(N, K)$ converges to $\pi$ as the resolution increases.
• Bell-CHSH Violation: Since the Bell-CHSH correlator magnitude is proportional to $\frac{4\eta}{1+\eta^2} \times (\text{eigenvalue factor})$, and the eigenvalue approaches $\pi$, the constructed test functions yield violations arbitrarily close to Tsirelson's bound ($2\sqrt{2}$).
• Specific Values:
  • For $K=1$, the theoretical limit is $\approx 3.11052$.
  • For $K \to \infty$, the limit is $\pi$.
  • This implies that by increasing the number of wavelet translations ($K$), one can get arbitrarily close to the theoretical maximum violation allowed by quantum mechanics.

5. Significance

• Constructive Proof: Unlike previous non-constructive existence proofs in AQFT, this work provides an explicit, algorithmic method to generate test functions that violate Bell inequalities.
• Bridge to Interacting QFT: The constructive nature of this approach (using wavelets) makes it potentially applicable to interacting Quantum Field Theories (e.g., the Thirring model in $d=2$), which are currently out of reach for standard AQFT algebraic proofs. The authors plan to extend this method to interacting cases in future work.
• Mathematical Insight: The work highlights a deep connection between the Bell-CHSH violation in QFT and the spectral properties of integral kernels resembling the Hilbert transform (which has an $L^2$ norm of $\pi$).
• Validation of Numerical Methods: It validates the use of "bumpified" Haar wavelets as a powerful tool for exploring entanglement and non-locality in relativistic quantum field theories.

In summary, the paper provides strong evidence that the vacuum state of free massless spinor fields in $(1+1)$ dimensions can be explicitly engineered to exhibit Bell-CHSH violations arbitrarily close to Tsirelson's bound, reducing the problem to a solvable (though not yet fully proven) conjecture about the eigenvalues of specific wavelet-integral matrices.