Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Physical Review A

General proof of the Greenberger-Horne-Zeilinger theorem

Zeqian Chen

Published Sep 24, 2004• 1 citation
Publisher

Abstract

It is proved that all states of three spin-$\frac{1}{2}$ 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.

DOI
10.1103/physreva.70.032109

Related papers

Greenberger-Horne-Zeilinger theorem cannot be extended to a Bell state

Zeqian Chen

The Greenberger-Horne-Zeilinger (GHZ) theorem exhibits an ``all versus nothing'' contradiction between Ernstein, Podelsky, and Rosen's local realism and quantum mechanics by using a maximally entangled state of three qubits. However, it is shown in this paper that no extension of GHZ's proof is possible for any entangled state of two qubits, including Bell states. The proof is obtained by showing the fact that there are no more than three distinct elements (except for a different sign) in a set of mutually commuting nonlocal spin observables of two qubits. This also leads to a generic setup of the Kochen-Specker theorem for the two-qubit system.

Physical Review A•Nov 17, 2003•5 citations

Comprehensive proof of the Greenberger-Horne-Zeilinger Theorem for the four-qubit system

Tang Li, Zhong, Jie, Ren, Yaofeng +2 more

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.

arXiv:quant-ph/0509158•Sep 22, 2005•0 citations

Bell's Theorem without Inequalities: On the Inception and Scope of the GHZ Theorem

Olival Freire, Osvaldo Frota Pessoa Junior

Introduction Since its inception, fifty years ago, Bell's theorem has had a long history not only of experimental tests but also of theoretical developments. Studying pairs of correlated quantummechanical particles separated in space, in a composite “entangled” state, Bell [1] showed that the joint ascription of hidden variables and locality to the system led to an inequality that is violated by the predictions of quantum mechanics. Fifteen years later, experiments confirmed the predictions of quantum mechanics, ruling out a large class of local realist theories. One of the most meaningful theoretical developments that followed Bell's work was the Greenberger–Horne–Zeilinger (GHZ) theorem, also known as Bell's theorem without inequalities. In 1989, the American physicists Daniel Greenberger and Michael Horne, who had been working on Bell's theorem since the late 1960s, together with the Austrian physicist Anton Zeilinger, introduced a novelty into the testing of entanglement, extending Bell's theorem in a different and interesting direction. According to Franck Laloë [2], For many years, everyone thought that Bell had basically exhausted the subject by considering all really interesting situations, and that two-spin systems provided the most spectacular quantum violations of local realism. It therefore came as a surprise to many when in 1989 Greenberger, Horne, and Zeilinger (GHZ) showed that systems containing more than two correlated particles may actually exhibit even more dramatic violations of local realism. The trio analyzed the Einstein, Podolsky, and Rosen 1935 argument once again and were able to write what are now called Greenberger–Horne–Zeilinger (GHZ) entangled states, involving three or four correlated spin-1/2 particles, leading to conflicts between local realist theories and quantum mechanics. However, unlike Bell's theorem, the conflict now was not of a statistical nature, as was the case with Bell's theorem, insofar as measurements on a single GHZ state could lead to conflicting predictions with local realistic models [3–5]. In this paper we present the history of the creation of this theorem and analyze its scope.

Cambridge University Press eBooks•Aug 31, 2016•1 citation

Bell’s theorem with and without inequalities for the three-qubit Greenberger-Horne-Zeilinger andWstates

Adán Cabello

A proof of Bell's theorem without inequalities valid for both inequivalent classes of three-qubit entangled states under local operations assisted by classical communication, namely Greenberger-Horne-Zeilinger (GHZ) and $W,$ is described. This proof leads to a Bell inequality that allows more conclusive tests of Bell's theorem for three-qubit systems. Another Bell inequality involving both tri- and bipartite correlations is introduced which illustrates the different violations of local realism exhibited by the GHZ and $W$ states.

arXiv:quant-ph/0107146•Physical Review A•Feb 5, 2002•214 citations

Experimental test of the irreducible four-qubit Greenberger-Horne-Zeilinger paradox

Zu-En Su, Weidong Tang, Dian Wu +7 more

The paradox of Greenberger-Horne-Zeilinger (GHZ) disproves directly the concept of EPR elements of reality, based on the EPR correlations, in an all-versus-nothing way. A three-qubit experimental demonstration of the GHZ paradox was achieved nearly 20 years ago, followed by demonstrations for more qubits. Still, the GHZ contradictions underlying the tests can be reduced to a three-qubit one. We show an irreducible four-qubit GHZ paradox, and report its experimental demonstration. The bound of a three-setting-per-party Bell-GHZ inequality is violated by $7\ensuremath{\sigma}$. The fidelity of the GHZ state was around $81%$, and an entanglement witness reveals a violation of the separability threshold by $19\ensuremath{\sigma}$.

arXiv:1611.09990•Physical Review A•Mar 15, 2017•11 citations

Greenberger-Horne-Zeilinger Nonlocality for Continuous Quantum Variables

Zeng‐Bing Chen, Yongde Zhang

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.

•Mar 14, 2001•0 citations
It is proved that all states of three spin-12\frac{1}{2}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.
The Greenberger-Horne-Zeilinger (GHZ) theorem exhibits an ``all versus nothing'' contradiction between Ernstein, Podelsky, and Rosen's local realism and quantum mechanics by using a maximally entangled state of three qubits. However, it is shown in this paper that no extension of GHZ's proof is possible for any entangled state of two qubits, including Bell states. The proof is obtained by showing the fact that there are no more than three distinct elements (except for a different sign) in a set of mutually commuting nonlocal spin observables of two qubits. This also leads to a generic setup of the Kochen-Specker theorem for the two-qubit system.
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.
Introduction Since its inception, fifty years ago, Bell's theorem has had a long history not only of experimental tests but also of theoretical developments. Studying pairs of correlated quantummechanical particles separated in space, in a composite “entangled” state, Bell [1] showed that the joint ascription of hidden variables and locality to the system led to an inequality that is violated by the predictions of quantum mechanics. Fifteen years later, experiments confirmed the predictions of quantum mechanics, ruling out a large class of local realist theories. One of the most meaningful theoretical developments that followed Bell's work was the Greenberger–Horne–Zeilinger (GHZ) theorem, also known as Bell's theorem without inequalities. In 1989, the American physicists Daniel Greenberger and Michael Horne, who had been working on Bell's theorem since the late 1960s, together with the Austrian physicist Anton Zeilinger, introduced a novelty into the testing of entanglement, extending Bell's theorem in a different and interesting direction. According to Franck Laloë [2], For many years, everyone thought that Bell had basically exhausted the subject by considering all really interesting situations, and that two-spin systems provided the most spectacular quantum violations of local realism. It therefore came as a surprise to many when in 1989 Greenberger, Horne, and Zeilinger (GHZ) showed that systems containing more than two correlated particles may actually exhibit even more dramatic violations of local realism. The trio analyzed the Einstein, Podolsky, and Rosen 1935 argument once again and were able to write what are now called Greenberger–Horne–Zeilinger (GHZ) entangled states, involving three or four correlated spin-1/2 particles, leading to conflicts between local realist theories and quantum mechanics. However, unlike Bell's theorem, the conflict now was not of a statistical nature, as was the case with Bell's theorem, insofar as measurements on a single GHZ state could lead to conflicting predictions with local realistic models [3–5]. In this paper we present the history of the creation of this theorem and analyze its scope.
A proof of Bell's theorem without inequalities valid for both inequivalent classes of three-qubit entangled states under local operations assisted by classical communication, namely Greenberger-Horne-Zeilinger (GHZ) and W,W,W, is described. This proof leads to a Bell inequality that allows more conclusive tests of Bell's theorem for three-qubit systems. Another Bell inequality involving both tri- and bipartite correlations is introduced which illustrates the different violations of local realism exhibited by the GHZ and WWW states.
The paradox of Greenberger-Horne-Zeilinger (GHZ) disproves directly the concept of EPR elements of reality, based on the EPR correlations, in an all-versus-nothing way. A three-qubit experimental demonstration of the GHZ paradox was achieved nearly 20 years ago, followed by demonstrations for more qubits. Still, the GHZ contradictions underlying the tests can be reduced to a three-qubit one. We show an irreducible four-qubit GHZ paradox, and report its experimental demonstration. The bound of a three-setting-per-party Bell-GHZ inequality is violated by $7\ensuremath{\sigma}$. The fidelity of the GHZ state was around 8181%81, and an entanglement witness reveals a violation of the separability threshold by $19\ensuremath{\sigma}$.
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 NNN modes of a light field. Then the Bell-CHSH (Clauser, Horne, Shimony and Holt) inequality is presented for the NNN modes, each of which has a continuous degree of freedom. Following Mermin's argument, it is demonstrated that for NNN-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 NNN, similarly to the usual NNN-spin cases.