The $I_{3322}$ Bell inequality requires infinite dimensions

• URL: http://arxiv.org/abs/2609.06038v1
• Date: Sat, 05 Sep 2026 11:42:45 GMT
• Title: The $I_{3322}$ Bell inequality requires infinite dimensions
• Abstract summary: The $I_3322$ inequality is one of the simplest bipartite Bell inequalities.<n>We prove that the same property holds for $I_3322$, which lives in the simplest Bell scenario.
• Score: 1.7192139230410988
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: The $I_{3322}$ inequality is one of the simplest bipartite Bell inequalities, with three possible questions and two possible answers per party. Yet, despite its simplicity, it has long been conjectured by Pál and Vértesi (Physical Review A, 2010) to possess the following quirk: no finite-dimensional quantum strategy can attain its maximal violation, but an infinite-dimensional strategy can. A Bell correlation, with five questions and three answers per party, that provably possesses the same property has since been discovered by Coladangelo and Stark (Nature Communications, 2020). However, proving that the same property holds for $I_{3322}$, which lives in the simplest Bell scenario in which such a phenomenon could occur, has remained elusive. Here, we provide a proof of this conjecture. An approximate proof, containing all the main ideas, was produced by GPT 5.5 Pro after various rounds of interaction. The presentation of this proof was revised substantially by the author for completeness, correctness, and clarity.

Related papers

• The quantum supremum of the $I_{3322}$ Bell inequality is not attained in finite dimension [0.0]
  In 2010, Pl and Vértesi found a family of finite-dimensional strategies for the $I_3322$ Bell inequality whose optimized values appeared to converge as the local Hilbert-space dimension grew.<n>We conjectured that this limit is the supremum over all finite-dimensional quantum strategies, but that no finite-dimensional strategy attains it.<n>The proof uses the symmetry of the Bell functional to associate every strategy with a finite matrix of probabilities, one for each pair of spectral subspaces of Alice and Bob.
  arXiv  Detail & Related papers  (2026-08-30T11:48:13Z)
• Bell Inequalities from Polyhedral Sampling [0.0]
  enumerating Bell inequalities for a given scenario remains intractable beyond the simplest cases.<n>We propose the Adjacency Sampling method, which builds on the Adjacency Decomposition method but sacrifices for speed.<n>For scenarios where no complete enumeration exists, it greatly exceeds existing partial results.
  arXiv  Detail & Related papers  (2026-04-22T20:09:20Z)
• Classifying the simplest Bell inequalities beyond qubits and their applications towards self-testing [0.22399170518036918]
  Bell inequalities show gap between local and nonlocal quantum behaviour.<n>This is useful for the geometric characterisation of the set of nonlocal correlations achievable within quantum theory.<n>It provides a systematic way to construct Bell inequalities tailored to specific quantum information processing tasks.
  arXiv  Detail & Related papers  (2026-02-09T10:16:02Z)
• Average-case quantum complexity from glassiness [45.57609001239456]
  Glassiness -- a phenomenon in physics characterized by a rough free-energy landscape -- implies hardness for stable classical algorithms.<n>We prove that the standard notion of quantum glassiness based on replica symmetry breaking obstructs stable quantum algorithms for Gibbs sampling.
  arXiv  Detail & Related papers  (2025-10-09T17:37:33Z)
• Coherence in Property Testing: Quantum-Classical Collapses and Separations [42.44394412033434]
  We show that no tester can distinguish subset states of size $2n/8$ from $2n/4$ with probability better than $2-Theta(n)$.<n>We also show connections to disentangler and quantum-to-quantum transformation lower bounds.
  arXiv  Detail & Related papers  (2024-11-06T19:52:15Z)
• Rigorous derivation of the Efimov effect in a simple model [68.8204255655161]
  We consider a system of three identical bosons in $mathbbR3$ with two-body zero-range interactions and a three-body hard-core repulsion of a given radius $a>0$.
  arXiv  Detail & Related papers  (2023-06-21T10:11:28Z)
• Is a spectrograph of hidden variables possible? [91.3755431537592]
  "Spectrograph's Realism", and "Locality", are proven to be different, and both necessary, hypotheses to derive Bell's inequalities.
  arXiv  Detail & Related papers  (2023-02-28T13:59:08Z)
• Contra Bellum: Bell's theorem as a confusion of languages [0.0]
  Bell's theorem is a conflict of mathematical predictions formulated within an infinite hierarchy of mathematical models. Inequalities formulated at level $kinmathbbZ$, are violated by probabilities at level $k+1$.
  arXiv  Detail & Related papers  (2023-01-06T07:51:44Z)
• An elegant proof of self-testing for multipartite Bell inequalities [0.0]
  This work presents a simple and broadly applicable self-testing argument for N-partite correlation Bell inequalities with two binary outcome observables per party. To showcase the versatility of our proof technique, we obtain self-testing statements for N party Mermin-Ardehali-Bei-Klyshko (MABK) and Werner-Wolf-Weinfurter-.Zukowski-Brukner (WWW.ZB) family of linear Bell inequalities.
  arXiv  Detail & Related papers  (2022-02-14T18:00:50Z)
• Generalized Iterative Formula for Bell Inequalities [12.55611325152539]
  This work is inspired via a decomposition of $(n+1)$-partite Bell inequalities into $n$-partite ones. We present a generalized iterative formula to construct nontrivial $(n+1)$-partite ones from the $n$-partite ones.
  arXiv  Detail & Related papers  (2021-09-12T14:02:13Z)
• Agnostic Online Learning and Excellent Sets [18.557423328068122]
  We show that $epsilon$-excellent sets exist for any $epsilon frac12$ in $k$-edge stable graphs in the sense of model theory.<n>We also give a version of the dynamic Sauer-Shelah-Perles lemma appropriate to this setting, related to definability of types.
  arXiv  Detail & Related papers  (2021-08-12T07:33:33Z)
• Graph-Theoretic Framework for Self-Testing in Bell Scenarios [37.067444579637076]
  Quantum self-testing is the task of certifying quantum states and measurements using the output statistics solely. We present a new approach for quantum self-testing in Bell non-locality scenarios.
  arXiv  Detail & Related papers  (2021-04-27T08:15:01Z)
• Non-Boolean Hidden Variables model reproduces Quantum Mechanics' predictions for Bell's experiment [91.3755431537592]
  Theory aimed to violate Bell's inequalities must start by giving up Boolean logic. "Hard" problem is to predict the time values when single particles are detected. "Soft" problem is to explain the violation of Bell's inequalities within (non-Boolean) Local Realism.
  arXiv  Detail & Related papers  (2020-05-20T21:46:35Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.