CHSH inequality

For local outcomes $A_0,A_1,B_0,B_1\in \{-1,1\}$, the Clauser–Horne–Shimony–Holt inequality isAn arbitrary no-signalling correlation can reach the algebraic maximum $4$, while quantum correlations are bounded by $2\sqrt{2}$.

For spin-projective measurements on a two-qubit state, let ${\lambda }_1\ge {\lambda }_2\ge {\lambda }_3$ be the eigenvalues of $T^{T}T$, where $T$ is its Pauli correlation tensor. Bob's sum and difference of unit axes are orthogonal and have lengths $2\cos \varphi$ and $2\sin \varphi$. Maximizing Alice's two axes aligns them with the corresponding images under $T$. Maximizing $\varphi$ then gives $2\sqrt{\Vert T\mathbf{u}{\Vert }^2+\Vert T\mathbf{v}{\Vert }^2}$ for orthonormal $\mathbf{u},\mathbf{v}$. The maximum of this quadratic-form sum is ${\lambda }_1+{\lambda }_2$, by diagonalizing $T^{T}T$ and selecting its top two eigenvectors. Thus the displayed expression is both an upper bound and attainable. The same maximum applies to the form with the sum of two absolute values, since local outcome signs can select their positive branches.

Every entangled pure state of two qubits violates a CHSH inequality for a suitable choice of local measurement axes. If its two Schmidt coefficients are $c_0,c_1>0$, the optimal construction already gives a value $2\sqrt{1+(2c_0{c}_1{)}^2}>2$.

For the Schmidt-basis Pauli correlation tensor, choose Alice's axes ${\mathbf{e}}_z,{\mathbf{e}}_x$ and Bob's $({\mathbf{e}}_z\pm s{\mathbf{e}}_x)/\sqrt{1+s^2}$. The CHSH inequality expression is $2\sqrt{1+s^2}$. It exceeds two exactly when both Schmidt coefficients are nonzero, reaching $2\sqrt{2}$ for maximal quantum entanglement. A product state gives $s=0$ and saturates rather than violates the inequality.

A no-signalling box is a conditional probability distribution $P(x,y|a,b)$ whose marginal distribution for either party is independent of the other party's input. It can therefore exhibit correlations stronger than quantum correlations without transmitting information superluminally.

A Popescu–Rohrlich box is a bipartite no-signalling box attaining the algebraic maximum of the CHSH inequality.

Take a separated Boolean decomposition $f(x,y)={⨁}_{\ell }{u}_{\ell }(x)v_{\ell }(y)$. Feed $(u_{\ell },v_{\ell })$ to one independent PR box, obtaining outputs with $a_{\ell }\oplus b_{\ell }=u_{\ell }{v}_{\ell }$. Alice forms $A={⨁}_{\ell }{a}_{\ell }$, Bob forms $B={⨁}_{\ell }{b}_{\ell }$, and their parities satisfy $A\oplus B=f$. Sending the single bit $A$ lets Bob compute the answer with certainty. The truth-table decomposition needs at most $2^{\min (m,n)}$ boxes for input lengths $m,n$. Each box's local output is uniform, so Bob's uncommunicated output string carries no information about Alice's input; the final parity bit is essential for a general function depending on that input.