<aside>

Fine’s theorem

Fine - 1982 - Hidden Variables, Joint Probability, and the Bell Inequalities.pdf

https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.48.291


the set of local correlations forms a convex polytope

$$ \int_\Lambda d\lambda \rho (\lambda)\cdot P(A^{+1},\lambda)P(A^{-1},\lambda)P(B^{+1},\lambda)P(B^{-1},\lambda)=P(A^{+1}A^{-1}B^{+1}B^{-1})\\=\int_\Lambda d\lambda \rho (\lambda)\cdot \lambda^\prime $$


deterministic hidden variable model

</aside>

<aside>

polynomial optimization


</aside>