Sympy-exact symbolic witness of the CHSH classical-vs-quantum bound gap. Step 1 — classical: on dichotomic ±1 observables the quantity C = A B + A B' + A' B − A' B' takes value in [−2, 2] for every hidden-variable outcome assignment (one…
Sympy-exact symbolic witness of the CHSH classical-vs-quantum bound gap. Step 1 — classical: on dichotomic ±1 observables the quantity C = A B + A B' + A' B − A' B' takes value in [−2, 2] for every hidden-variable outcome assignment (one…