Past exam of the mathematics course of the University of Cambridge / 2009 / iii / Paper 53 / 2 / Solution

The EPR criterion of reality says that if a physical quantity can be predicted with certainty without disturbing the system, then it represents an element of physical reality. For separated particles, the EPR locality assumption regards choices of measurements on the other particles as nondisturbing. The perfect correlations below therefore imply predetermined local values for both $X={\sigma }_x$ and $Y={\sigma }_y$, independent of which distant measurements are chosen.

Put $|0⟩=|\uparrow ⟩$ and $|1⟩=|\downarrow ⟩$. The Pauli matrices satisfyFor three particles, each operator with one $X$ and two $Y$ takes $|000⟩$ to $-|111⟩$ and $|111⟩$ to $-|000⟩$, whereas $X\otimes X\otimes X$ interchanges the two strings without a minus sign. Thus the GHZ state in the question has the certain outcomesEach local $X$ or $Y$ value can be predicted from measurements at the other two sites in one of these contexts. If the EPR criterion of reality and locality assign values $x_j,y_j\in \{\pm 1\}$, the first three equalities requireMultiplying these ordinary numbers and using $y_j^2=1$ yields $x_1{x}_2{x}_3=1$, contradicting the certain quantum outcome $-1$. This derives the GHZ theorem explicitly; the multiplication is of hypothetical local values, not of mutually incompatible local observables.

For general $N$, let $O_j=X_j{⨂}_{k\ne j}{Y}_k$, with the tensor factors ordered by their site labels, and let $X_N=X^{\otimes N}$. Directly,For the difference of the two strings to be an eigenstate, these phases must agree, which happens exactly when $N-1$ is even. For odd $N$ the common phase is $(-1{)}^{(N-1)/2}$, and interchanging the strings negates their difference. ConsequentlyFor even $N$, $X_N$ still has eigenvalue $-1$, but every $O_j$ takes the difference state to a phase times the sum state, which is orthogonal to it. Thus it is not an eigenstate of any $O_j$; those operators each have outcomes $\pm 1$ with equal probabilities. Among the stated $N\ge 4$, simultaneous eigenstates therefore occur precisely at $N=5,7,9,\dots$.

For odd $N$, certainty of each $O_j$ again permits remote prediction of both local $X$ and $Y$. Writing ${\lambda }_N=(-1{)}^{(N+1)/2}$, the local hidden-variable theory would require $x_j{\prod }_{k\ne j}{y}_k={\lambda }_N$ for all $j$. Their product ishence ${\prod }_j{x}_j={\lambda }_N$, since $N-1$ is even and $N$ is odd. Quantum theory requires the same product to be $-1$. The contradiction occurs when ${\lambda }_N=+1$, giving the infinite familyFor $N\equiv 1(\mathrm{mod}4)$, these particular certain product constraints are consistent; for example $x_j=-1$, $y_j=+1$ satisfies them. This distinguishes the GHZ contradiction for N congruent to 3 modulo 4 from the larger set of odd $N$ for which simultaneous eigenstates exist.