--- title: Three-Qubit Nonlocality Paradoxes url: https://www.emergentmind.com/topics/three-qubit-nonlocality-paradoxes type: topic --- # Three-Qubit Nonlocality Paradoxes Three-qubit nonlocality paradoxes are logical contradictions between the possibilistic structure of quantum correlations for three spatially separated qubits and any local-hidden-variable description based on preassigned outcomes. In the modern sheaf-theoretic formulation, a three-qubit scenario \((|\psi\rangle,\mathcal M)\) is paradoxical when its empirical model is **strongly nonlocal**: no global assignment of binary outcomes to all local measurements remains compatible with the support of the Born-rule distributions across all contexts [2508.14673]. This notion includes the Greenberger-Horne-Zeilinger (GHZ) all-versus-nothing contradiction, Hardy and Cabello forms of nonlocality without inequalities, projected-coloring-graph and quantum pigeonhole variants, and recent structural classification results showing that the space of three-qubit paradoxes is much broader than the standard GHZ construction alone [2607.00795]. ## 1. Formal framework and state-measurement structure A three-qubit measurement scenario is a Bell scenario \(M=(M_1,M_2,M_3)\), where each \(M_i\) is a finite set of local measurements on qubit \(i\), outcomes are binary \(\mathcal O=\{0,1\}\), and contexts are triples \(C=(A,B,C)\in M_1\times M_2\times M_3\). For a state \(|\psi\rangle\), the quantum model assigns to each context the Born-rule distribution \[ P_C(o_a,o_b,o_c) = \bigl|\langle A\!\to\!o_a\otimes B\!\to\!o_b\otimes C\!\to\!o_c\mid\psi\rangle\bigr|^2. \] An event is impossible precisely when its amplitude vanishes: \[ \langle A\!\to\!o_a,\;B\!\to\!o_b,\;C\!\to\!o_c\mid\psi\rangle=0. \] Strong nonlocality means that every global assignment \(g\) fails on at least one context: \[ \forall\,g\;\exists\,C\in\mathcal C\quad C\!\to\!\bigl(g(A),g(B),g(C)\bigr)\;\text{impossible.} \] Equivalently, there is no assignment \(g:M_1\cup M_2\cup M_3\to\{0,1\}\) consistent with the support of the empirical model [2508.14673]. For three qubits, the structural state constraint is already restrictive. A key theorem specialized to this setting states that any three-qubit state admitting a paradox lies in the SLOCC class of GHZ and, up to local unitaries, has a balanced form; moreover, equatorial measurements \[ E_\varphi=\cos\varphi\,X+\sin\varphi\,Y \] suffice to witness the paradox [2508.14673]. This places three-qubit paradoxes in a narrow but highly structured sector of multipartite nonlocality: they are not arbitrary support obstructions, but arise from GHZ-type entanglement together with equatorial measurement geometry. ## 2. GHZ all-versus-nothing contradictions The conventional GHZ paradox is the canonical three-qubit all-versus-nothing proof. In one convenient phase convention, the state is \[ |GHZ_-\rangle=\frac{|000\rangle-|111\rangle}{\sqrt2}, \] and the relevant local observables are the Pauli operators \(X_j\) and \(Y_j\) on qubit \(j\). Direct action on the state gives the operator constraints \[ X_1X_2X_3\,|GHZ_-\rangle=-|GHZ_-\rangle, \] \[ X_1Y_2Y_3\,|GHZ_-\rangle=+|GHZ_-\rangle,\qquad Y_1X_2Y_3\,|GHZ_-\rangle=+|GHZ_-\rangle,\qquad Y_1Y_2X_3\,|GHZ_-\rangle=+|GHZ_-\rangle. \] If a local-hidden-variable model assigns predetermined values \(x_j,y_j\in\{\pm1\}\) to each \(X_j,Y_j\), then multiplying the last three equations yields \(x_1x_2x_3=+1\), while the first requires \(x_1x_2x_3=-1\). No assignment satisfies all four simultaneously, producing the traditional GHZ contradiction [2409.14711]. In the bit-valued formulation used in later classification work, the GHZ paradox becomes a system of parity constraints. With outcomes \(a,b,c\in\{0,1\}\), the four contexts \[ (X,X,X),\quad (X,Y,Y),\quad (Y,X,Y),\quad (Y,Y,X) \] impose \[ a\oplus b\oplus c=1 \] for \(XXX\), and \[ a\oplus b\oplus c=0 \] for each of \(XYY\), \(YXY\), and \(YYX\). Summing over \(\mathbb Z_2\) gives \(1=0\), which is the parity form of the contradiction [2508.14673]. Later work identified a more refined **conditional** structure inside GHZ-type paradoxes. For interpolant states, conditioning on the third qubit’s measurement and outcome yields Alice-Bob XOR systems of the form \[ A_j\oplus B_k=r_{jkl}(z), \] and paradoxicality is equivalent to inconsistency of the union of these conditioned systems for every total assignment of the third party’s outcomes [2508.14673]. This conditional viewpoint became the basis for the broader classification of non-GHZ three-qubit paradoxes. ## 3. Hardy and generalized Hardy paradoxes Hardy’s paradox is a nonlocality-without-inequalities argument based on zero-probability constraints together with one strictly positive event. In the generalized multipartite framework, the three-qubit case uses the GHZ state \[ |\Psi_{\rm GHZ}\rangle=\frac1{\sqrt2}\bigl(|000\rangle+|111\rangle\bigr), \] with two binary-outcome measurements per party, \(a\) and \(b\). Measurement \(a\) projects onto the \(+x\) eigenstate of \(\sigma_x\), \[ \hat a=|+x\rangle\langle +x|, \] while \(b\) projects onto the \(+y\) eigenstate of \(\sigma_y\), \[ \hat b=|+y\rangle\langle +y|. \] Writing \(p(X_1X_2X_3)=\Pr[X_1=1,X_2=1,X_3=1]\) and \(\bar b=1-b\), the three-qubit generalized Hardy paradox in the \([3;|\alpha|=2,|\beta|=2]\) scenario is \[ \begin{aligned} &p(b_1b_2a_3)=p(b_1a_2b_3)=p(a_1b_2b_3)=0,\\ &p(\bar b_1\bar b_2a_3)=p(\bar b_1a_2\bar b_3)=p(a_1\bar b_2\bar b_3)=0,\\ &p(a_1a_2a_3)>0. \end{aligned} \] In a deterministic local-hidden-variable model, each \(a_i,b_i\in\{0,1\}\) is preassigned. The six zero-probability constraints force \(p(a_1a_2a_3)=0\), whereas quantum mechanics yields a nonzero value, giving a direct all-versus-nothing contradiction [1709.09812]. For the specified measurements on the GHZ state, \[ p(a_1a_2a_3)=\bigl|\langle +x,+x,+x|\Psi_{\rm GHZ}\rangle\bigr|^2=\frac14. \] Thus the paradox succeeds with probability \(1/4\). This is higher than the standard three-qubit Hardy \([3;3,1]\) scenario, whose success probability is \(1/8\); the generalized construction therefore doubles the three-qubit success rate and, according to the paper, is stronger in showing the conflict of quantum mechanics with local realism [1709.09812]. The same seven probabilities define the Bell-type inequality \[ \mathcal I[3;2,2;1,1] = p(a_1a_2a_3) -\bigl[p(b_1b_2a_3)+p(b_1a_2b_3)+p(a_1b_2b_3)\bigr] -\bigl[p(\bar b_1\bar b_2a_3)+p(\bar b_1a_2\bar b_3)+p(a_1\bar b_2\bar b_3)\bigr] \le 0. \] Every local-hidden-variable model satisfies \(\mathcal I\le0\), while quantum mechanics gives \(\mathcal I=1/4\). For the proposed photonic implementation, if each of the six nominally zero probabilities is at most \(\epsilon\), violation persists whenever \[ \frac14-6\epsilon>0, \] that is, for \(\epsilon<1/24\approx0.041\) [1709.09812]. More generally, the generalized Hardy framework covers Hardy’s original construction and Cereceda’s extension as special cases, and for any \(n\ge3\) there exist generalized paradoxes with success probability as high as \(1/2^{n-1}\). The three-qubit case is the first nontrivial instance of this strengthened multipartite family [1709.09812]. ## 4. Cabello, quantum pigeonhole, and other Hardy-like variants Cabello’s nonlocality argument (CNA) is another three-qubit nonlocality-without-inequalities scheme. It uses the generalized GHZ state \[ |GHZ(\theta)\rangle=\cos\theta\,|000\rangle+\sin\theta\,|111\rangle, \] equivalently \[ |\psi\rangle=\frac{t|000\rangle+|111\rangle}{\sqrt{1+t^2}},\qquad t=\tan\theta. \] Each qubit \(k\) has two dichotomic observables, \(U_k\) and \(D_k\), with outcomes \(\pm1\). The Cabello conditions are: \[ P(U_1,U_2,U_3|+++)=P>0, \] \[ P(D_1,U_2,U_3|+++)=0,\quad P(U_1,D_2,U_3|+++)=0,\quad P(U_1,U_2,D_3|+++)=0, \] \[ P(D_1,D_2,D_3|---)=Q. \] Local realism forces \(Q\ge P\), so \(Q0. \] Classically, if \(Z_1=Z_2=Z_3=+1\) in a deterministic model, then all three pairwise products \(X_jX_k\) must be \(-1\), which contradicts the classical pigeonhole rule for three objects in two boxes. The same logical pattern applies to \(|S'\rangle\), except that two conditional constraints have \(X_jX_k=+1\) instead of \(-1\). In both cases the success probability is \(1/4\) [2206.02324]. These Hardy-like constructions show that three-qubit paradoxes need not be exhausted by the GHZ parity contradiction or by the standard Hardy support pattern. They can also be organized by graph-theoretic uncolorability, conditional pairwise parities, and post-selection structure [2206.02324]. ## 5. Classification beyond the conventional GHZ construction A major recent development is the structural classification of three-qubit paradoxes. The central notion is the **biconditional parity proof** (BPP). In this framework, Charlie has exactly two measurements \(C_0,C_1\), and conditioning on Charlie’s choice and outcome \((C_i,z)\), the Alice-Bob possibilistic structure reduces to a single XOR equation: \[ a\oplus b=p_{i,z}(A,B) \] for a parity function \(p_{i,z}:M_1\times M_2\to\{0,1\}\) defined on a subset \(F_{i,z}\). If \((A,B)\notin F_{i,z}\), all four Alice-Bob outcomes are possible; if \((A,B)\in F_{i,z}\), exactly the opposite parity class is impossible. The paradox arises when, for each \((z_0,z_1)\in\{0,1\}^2\), the pair of conditioned XOR systems has no global solution \(g:M_1\cup M_2\to\{0,1\}\) [2607.00795]. The classification machinery is combinatorial and logical. Zero-probability events are encoded as clauses in a 2-CNF formula \(\Phi(z)\), and the resulting implication graph \(I(z)\) is unsatisfiable precisely when a strongly connected component contains a literal and its complement. For interpolant states, impossibility pairs come in complementary pairs, which makes \(I(z)\) bidirected; then unsatisfiability reduces to the existence of a witness path from a literal to its complement. From such paths one extracts a finite “Charlie clock” \[ T=(N,t,s_0,s_1,p), \] together with a canonical Alice-Bob completion \(P\) and a tuple of layer shifts \(\alpha\). The main theorem states that every minimal three-qubit paradox admitting a biconditional parity proof is uniquely classified—up to local unitary and permutation equivalence—by the finite datum \((T,P,\alpha)\) [2607.00795]. This framework encompasses all earlier-known examples and also produces genuinely new families. The examples include the Abramsky-Barbosa family with \(2m\) equatorial measurements on Alice and Bob and two measurements on Charlie, new interpolant families with three Charlie measurements in symmetric \((N,N,3)\) and asymmetric \((4p,2p,3)\) forms, and exotic infinite families with four Charlie measurements such as \((6,6,4)\), \((6,2,4)\), and \((7,5,4)\) scenarios. These violate regularity conditions assumed in earlier constructions, including: use of an interpolant state, restriction to two Charlie measurements, equality of Alice and Bob’s numbers of measurements, maximal logico-combinatorial strength, and contradiction by summing all parity constraints [2607.00795]. A complementary 2025 classification program established a partial classification under explicit **N-regularity** conditions. In that setting, \(M_3=\{C_0,C_1\}\), \(|M_1|=|M_2|=N\), the paradox is maximally impossible, and each of the four conditioned systems has coefficient-matrix rank \(2N-1\). Every \(N\)-regular paradox is then equivalent to exactly one of four infinite families, including the GHZ case \(N=2\), the Abramsky et al. family, and further families with shifted or asymmetric equatorial measurement sets. The same work exhibited a highly exotic non-\(N\)-regular paradox and conjectured that all three-qubit paradoxes arise from a one-parameter interpolant family \(|B(\lambda)\rangle\); the conjecture is supported by structural constraints on impossible events but was not proved there [2508.14673]. Taken together, these results shift the subject from isolated constructions to a genuine classification theory. The standard GHZ paradox is now understood as one corner of a larger combinatorial landscape of conditioned parity obstructions, witness paths, clocks, cosets, and layer structures. ## 6. Experiments, operational variants, and robustness Three-qubit paradoxes have been treated not only as logical no-go results but also as experimentally implementable and operationally useful correlation structures. For the generalized Hardy paradox, the proposed three-photon implementation uses a polarization-entangled GHZ source generated by cascaded spontaneous parametric down-conversion or a single-crystal interferometric scheme. Measurement in the \(x\) basis is realized by a half-wave plate at \(22.5^\circ\) followed by a polarizing beam splitter, while the \(y\) basis uses a quarter-wave plate at \(45^\circ\) together with a half-wave plate. The six forbidden joint settings should vanish within error, and the \((a_1,a_2,a_3)=(1,1,1)\) outcome should appear with probability about \(25\%\); the white-noise tolerance condition is \(\epsilon<1/24\) [1709.09812]. The projected-coloring-graph paradoxes have already been implemented optically. The experiment employed 390 nm, 140 fs pulses at 76 MHz, two beam-like compound BBO crystals in sandwich geometry to generate two independent \(|\psi^-\rangle\) pairs, spatial and temporal compensation giving Bell-pair visibility \(\simeq0.98\), and Hong-Ou-Mandel visibility \(0.962\) after overlap on a PBS. By wave-plate rotations, the raw GHZ state was converted into \(|S\rangle\) or \(|S'\rangle\), with a single QWP change from \(0^\circ\) to \(45^\circ\) toggling between them. For \(|S\rangle\), the reported values were \(\langle X_2X_3\rangle|_{Z_1=+1}=-0.911\pm0.012\), \(\langle X_1X_3\rangle|_{Z_2=+1}=-0.931\pm0.017\), \(\langle X_1X_2\rangle|_{Z_3=+1}=-0.930\pm0.020\), and \(P(Z_1=Z_2=Z_3=+1)=0.277\pm0.009\). For \(|S'\rangle\), the corresponding values were \(-0.921\pm0.011\), \(+0.911\pm0.017\), \(+0.923\pm0.008\), and \(0.246\pm0.014\) [2206.02324]. A common misconception is that, because the GHZ paradox is already an all-versus-nothing contradiction, no stronger three-qubit form can exist. A recent answer is the randomized GHZ game \(R2GHZ\), where the promise condition is itself randomly chosen and revealed only to one party. The shared resource is still a GHZ state, the local measurements remain \(X/Y\)-type, and the quantum strategy wins with probability \(1\). However, any deterministic local-hidden-variable strategy wins at most \(3/4\). When lifted to the communication-complexity task \(R2CC_2\), the GHZ-assisted protocol computes the target exactly with one bit from Alice and one from Bob, whereas any classical protocol with perfect success requires at least three bits of communication. In that operational sense, the randomized variant is stronger than the conventional GHZ game, even though both have perfect quantum success [2409.14711]. Robustness against white noise is usually quantified by Bell inequalities rather than possibilistic paradoxes, but the connection is direct for GHZ correlations. For the noisy state \[ \rho(v)=v\,|\mathrm{GHZ}\rangle\langle\mathrm{GHZ}|+(1-v)\frac{\mathbf1_8}{8}, \] the \(2\times2\times2\) Mermin inequality gives the familiar threshold \(v_{\rm th}=1/2\). Systematic facet searches with more settings lowered this threshold below \(1/2\): the tight \(5\times5\times5\) inequality \(V_{555}\) gives \(v_{\rm th}=0.496057\), while the most economical nontrivial tight facet with \(3\times3\times4\) settings gives \(v_{\rm th}\approx0.49967\). These results show that noisy three-qubit GHZ nonlocality persists slightly below the Mermin threshold once additional settings are allowed [1108.1998]. Three-qubit nonlocality paradoxes therefore occupy a dual role. They are, at one level, sharp logical obstructions to global assignments and local realism; at another, they are structured resources for nonlocal games, communication tasks, measurement-based quantum computation, randomness certification, device-independent key distribution, and self-testing. Recent work has made both roles more precise by extending the family of paradoxes beyond GHZ, classifying broad subclasses, and tying their logical form to operational advantage [2607.00795]. Source: https://www.emergentmind.com/topics/three-qubit-nonlocality-paradoxes