It is proved that all states of three spin-
21 particles exhibiting an ``all versus nothing'' contradiction between quantum mechanics and the local realism of Einstein, Podolsky, and Rosen are exactly the Greenberger-Horne-Zeilinger (GHZ) states and the states obtained from them by local unitary transformations. The proof is obtained by showing that there are at most four elements (except for a different sign) in a set of mutually commuting nonlocal spin observables in the three-qubit system and using the certain algebraic properties that Pauli's matrices satisfy. We show that only does such a set of four nonlocal spin observables present a Greenberger-Horne-Zeilinger-Mermin-like argument. This also reveals the equivalence between the GHZ theorem and maximal violation of the Bell inequality.
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. In this paper, however, for a four-qubit system which was originally studied by GHZ, we show that there are nine distinct forms of the GHZ-Mermin-like argument. The proof is obtained by using some 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.
We extend the Greenberger-Horne-Zeilinger (GHZ) theorem to continuous variable cases. This is enabled by introducing a pseudospin operator, which has the same algebra as the Pauli operator, for each of the
N modes of a light field. Then the Bell-CHSH (Clauser, Horne, Shimony and Holt) inequality is presented for the
N modes, each of which has a continuous degree of freedom. Following Mermin's argument, it is demonstrated that for
N-mode parity-entangled GHZ states (in an infinite-dimensional Hilbert space) of the light field, the contradictions between quantum mechanics and local realism grow exponentially with
N, similarly to the usual
N-spin cases.