Critical Bellman–Jacobi dynamics for reversible Bell functionals
In plain wordsFor a family of nonlocality tests with three settings and two outcomes, under two conditions verified for the I3322 test, the best quantum score is reached by an infinite quantum system but by no finite one, and finite systems of size growing like log(1/ε) come within ε.
The result
As the paper states it, in briefFor a parameterized class of three-setting binary Bell functionals, a strict wall gap and an exactly certifiable endpoint barrier give finite-dimensional nonattainment, attainment by an infinite-dimensional spatial strategy, and nonclosure; for I3322 this proves the Pál–Vértesi nonattainment conjecture. The theory also gives the constructive bound .
Questionson the index
How this was checked
- The author’s own checks
- The author’s own checks: exact certificates and independent algebraic verification programs. Reproducibility package doi:10.5281/zenodo.21910110; verification archive doi:10.5281/zenodo.22801636.
- Lean
- None.
- Peer review
- Not yet.
Every check here is internal. How we check results.
Label checked .
Novelty and credit
- Novelty
- Concurrent with named independent work: in the paper’s words, “in contemporaneous independent work, Douglas established the overlapping I3322-specific finite-nonattainment and spatial-attainment conclusions”; the parameter-general critical theory is the paper’s own. For I3322 alone, Pauwels and Coladangelo also proved nonattainment independently (see the I3322 entry above).
Versionstwo, each with its own DOI
| Version | Date | DOI | Notes |
|---|---|---|---|
| — | 10.5281/zenodo.22688831 | ||
| first | 10.5281/zenodo.21910041 |
Paper, code and links
- Paper
On Zenodo: doi:10.5281/zenodo.22688831. No copy is hosted here.
- DOI
10.5281/zenodo.22688831; all versions 10.5281/zenodo.21910040
Corrections
None so far.
All corrections, and what counts as one.
Cite
@misc{mghirbi2026criticalbellmanjacobi,
author = {Mghirbi, Nidhal},
title = {Critical {Bellman}–Jacobi dynamics for reversible {B}ell functionals},
year = {2026},
doi = {10.5281/zenodo.22688831},
url = {https://doi.org/10.5281/zenodo.22688831}
}