Abstract:Greenberger–Horne–Zeilinger (GHZ) theorem asserts that there is a set of mutually commuting nonlocal observables with a common eigenstate on which those observables assume values that refute the attempt to assign values only required to have them by the local realism of Einstein, Podolsky, and Rosen (EPR). It is known that for a three-qubit system, there is only one form of the GHZ-Mermin-like argument with equivalence up to a local unitary transformation, which is exactly Mermin's version of the GHZ theorem. This article for a four-qubit system, which was originally studied by GHZ, the authors show that there are nine distinct forms of the GHZ-Mermin-like argument. The proof is obtained using certain geometric invariants to characterize the sets of mutually commuting nonlocal spin observables on the four-qubit system. It is proved that there are at most nine elements (except for a different sign) in a set of mutually commuting nonlocal spin observables in the four-qubit system, and each GHZ-Mermin-like argument involves a set of at least five mutually commuting four-qubit nonlocal spin observables with a GHZ state as a common eigenstate in GHZ's theorem. Therefore, we present a complete construction of the GHZ theorem for the four-qubit system.

Multi-setting Greenberger-Horne-Zeilinger Paradoxes

Greenberger-Horne-Zeilinger Paradoxes from Qudit Graph States

Experimental Test of the Irreducible Four-Qubit Greenberger-Horne-Zeilinger Paradox

Experimental test of the Greenberger–Horne–Zeilinger-type paradoxes in and beyond graph states

Optimal GHZ Paradox for Three Qubits

Stronger Nonlocality in GHZ States: A Step Beyond the Conventional GHZ Paradox

Rotational Properties and GHZ Contradictions in N-Qubit Systems

A comprehensive proof of the Greenberger–Horne–Zeilinger theorem for the four-qubit system

Generalized Hardy's Paradox

Experimental implementation of Hardy-like quantum pigeonhole paradoxes

Experimental Test of Generalized Hardy’s Paradox

Necessary and Sufficient Criterion for K-Separability of N-qubit Noisy GHZ States

Experimental test of generalized Hardy's paradox

Small sets of genuinely nonlocal GHZ states in multipartite systems

Greenberger-Horne-Zeilinger paradoxes for N quNits

Greenberger-Horne-Zeilinger States: Their Identifications and Robust Violations

Multi-Photon Entanglement And Quantum Non-Locality

Einstein-Podolsky-Rosen steering paradox "2=1'' for $N$ qubits

Stronger Hardy-type Paradox Based on the Bell Inequality and Its Experimental Test

Sharing tripartite nonlocality sequentially by arbitrarily many independent observers

Hardy's Paradox for Multisetting High-Dimensional Systems