Certified exact identification of the I3322 quantum value

Abstract:We determine the quantum value of the three-setting, two-outcome Bell functional I3322. The value is the unique intersection \(q_\dagger\) of an analytic A-high stable curve of the exact Jacobi characteristic map with a central reverser curve. A computer-assisted proof isolates this intersection in a rational interval of width \(10^{-55}\), beginning 0.2508753845139765356173366109459512989013219739714764755. We prove that the supremum over finite-dimensional tensor-product strategies, the unrestricted spatial value and the commuting-operator value all equal \(q_\dagger\). No finite-dimensional strategy attains the value, whereas a normal infinite-dimensional spatial strategy and a commuting GNS strategy do. The proof combines an exact Bellman/path variational reduction, extraction of a positive bilateral calibrated Jacobi fibre from a maximizing weak-star state, a reflected-fibre central-incidence theorem and interval certificates for the unique stable/central intersection. A separate operator-positive three-remainder decomposition gives the commuting upper bound. The complete verification record is archived at DOI https://doi.org/10.5281/zenodo.22160086.

16 pages; computer-assisted proof; complete verification artifact at DOI https://doi.org/10.5281/zenodo.22160086

arXiv:2609.29693 [quant-ph]

(or arXiv:2609.29693v1 [quant-ph] for this version)

https://doi.org/10.48550/arXiv.2609.29693 Focus to learn more arXiv-issued DOI via DataCite (pending registration)

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.