 Polarization CHSH count model

Let $H,V$ be orthogonal linear polarizations, and prepare the Bell state $|{\Phi }^{+}⟩=(|HH⟩+|VV⟩)/\sqrt{2}$. The $+1$ analyzer vector is $|a⟩=\cos a|H⟩+\sin a|V⟩$; its orthogonal companion has outcome $-1$. Direct inner products with the Bell state give $P_{++}=P_{--}={\cos }^2(a-b)/2$ and $P_{+-}=P_{-+}={\sin }^2(a-b)/2$. Thus the expectation value of the outcome product is $E(a,b)=\cos 2(a-b)$. These are physical polarizer angles; their corresponding Bloch sphere angles are doubled.

For a stipulated isotropic admixture, use the density matrixThe maximally mixed state contributes zero correlation, so $P_{st}(a,b)=[1+stv\cos 2(a-b)]/4$ for $s,t\in \{-1,1\}$. Each local marginal is $1/2$, independently of the other setting, illustrating quantum no-signalling. In this model $v$ is the interferometric visibility of the coincidence fringe; other noise models need not have one common visibility for every basis.

Choose $a_0=0^{\circ }$, $a_1=45^{\circ }$, $b_0=22.5^{\circ }$ and $b_1=-22.5^{\circ }$. The four correlations in the displayed CHSH inequality are $v/\sqrt{2},v/\sqrt{2},v/\sqrt{2},-v/\sqrt{2}$. Consequently $S=2\sqrt{2}v$, exceeding the local bound exactly when $v>1/\sqrt{2}$. Perfect correlation at a single common setting would not yield this comparison between incompatible measurement in quantum measurements.

To connect probabilities with expected counts, stipulate $M$ emitted pairs per setting pair and independent detection efficiencies ${\eta }_A,{\eta }_B$, independent also of settings, outcomes and hidden variables. The expected joint counts are $n_{st}=M{\eta }_A{\eta }_B{P}_{st}$. Their normalized correlation isFor original teaching inputs $M=1000$, ${\eta }_A=0.8$, ${\eta }_B=0.75$ and $v=0.8$, the $(a_0,b_0)$ expected counts are $n_{++}=n_{--}\simeq 234.85$ and $n_{+-}=n_{-+}\simeq 65.15$. They total $600$ and give $E_{\det }\simeq 0.56569$, hence $S\simeq 2.26274$. Fractional expected counts are not measured data. Efficiency cancels here because the loss model was specified to be independent; this algebra supplies no justification for discarding failures in an arbitrary Bell test with a detection loophole.