A Machine-Verified Separation of the Quantum and Almost-Quantum Sets in the 3322 Bell Scenario
Abstract
We give exact rational certificates for two results in the bipartite Bell scenario with three two-outcome measurements per party. First, the maximum of the $I_{3322}$ (Froissart) functional over the almost-quantum set -- the $1{+}AB$ level of the Navascues-Pironio-Acin (NPA) hierarchy -- is certified to lie between $0.2514708838$ and $0.2514709016$ (width $
Fields of Study & Subjects
Quantum Computing Algorithms and Architecture
Quantum Mechanics and Applications
Quantum Information and Cryptography
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 26 July 2026
- Document type
- Preprint