350,108 verified facet classes of the (3,4,3,2) Bell local polytope (Alice 3 settings x 3 outcomes, Bob 4 settings x 2 outcomes), not proven complete
收藏资源简介:
A machine-verified data record, not peer reviewed. Scenario: two parties; Alice has 3 measurement settings with 3 outcomes, Bob 4 settings with 2 outcomes ((mA,mB,dA,dB) = (3,4,3,2); 432 deterministic strategies; dimension 34; relabelling group of order 497,664). The record lists 350,108 classes of facets of the local polytope (tight Bell inequalities), one representative per relabelling orbit: 331,747 genuine to this scenario and 18,361 liftings of smaller scenarios' facets, 168,563,434,392 facets in total. For 463 classes an explicit quantum strategy violating the inequality is stored (re-checked in 50-digit arithmetic; all already violated by two qubits) and for 464 an NPA level-1+AB upper bound with an exact rational dual certificate. Every claim is re-checked from the data file alone by an independent verifier (code/verify_bell.py, no shared code with the search): validity and facet rank in exact arithmetic for every class, orbit sizes and pairwise distinctness by brute force over all 497,664 relabellings, lifting flags, quantum values and NPA certificates. Result: VERIFIED (logs in checks/). The verifier was tamper-tested (8/8), and the catalogue was calibrated against the published complete list for (3,3,3,2) (Jesus & Zambrini Cruzeiro 2023: 25 classes, 252,558 facets, reproduced exactly) and the (3,4,2,2) list (Collins & Gisin 2004: 6 classes, 12,480 facets, reproduced exactly) by lifting every class of those scenarios to (3,4,3,2) and finding every facet lifting in the catalogue. NOT claimed: completeness. The list was built by adjacency decomposition; ridges were enumerated exactly for 349,889 classes and sampled for 219 highly degenerate ones, so facets adjacent only to those 219 could be missing. We found no earlier facet list for this scenario (searched arXiv, faacets, the PANDA and ENS-boxes repositories, November 2026); absence from a search is not proof of novelty. Significance has not been assessed by experts. The project was directed by the author; the software was written with the assistance of an AI model (Claude, Anthropic); the computations ran on the author's own hardware. Files: bell-3432-v1.zip (catalogue.json 259 MB, discovery.json, checks/, code/, README.md, CITATION.cff, LICENSE.md) and README.md (copy).



