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

arXiv:1308.3808 · Physical Review A

Rotational covariance and Greenberger-Horne-Zeilinger theorems for three or more particles of any dimension

Jay Lawrence

Published Jan 9, 2014• 30 citations
arXivHTMLPDF

Abstract

Greenberger-Horne-Zeilinger (GHZ) states are characterized by their transformation properties under a continuous symmetry group, and $N$-body operators that transform covariantly exhibit a wealth of GHZ contradictions. We show that local or noncontextual hidden variables cannot duplicate the predicted measurement outcomes for covariant transformations, and we extract specific GHZ contradictions from discrete subgroups, with no restrictions on particle number $N$ or dimension $d$ except for the general requirement that $N\ensuremath{\ge}3$ for GHZ states. However, the specific contradictions fall into three regimes distinguished by increasing demands on the number of measurement operators required for the proofs. The first regime consists of proofs found recently by Ryu et al. [Phys. Rev. A 88, 042101 (2013)], the first operator-based theorems for all odd dimensions $d$, covering many (but not all) particle numbers $N$ for each $d$. We introduce alternative methods of proof that define second and third regimes and produce theorems that fill all remaining gaps down to $N=3$ for every $d$. The common origin of all such GHZ contradictions is that the GHZ states and measurement operators transform according to different representations of the symmetry group, which has an intuitive physical interpretation.

DOI
10.1103/physreva.89.012105

Related papers

General proof of the Greenberger-Horne-Zeilinger theorem

Zeqian Chen

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.

Physical Review A•Sep 24, 2004•1 citation

Rotational Properties and GHZ Contradictions in N-Qubit Systems

Jay Lawrence

Rotational symmetries of N-qubit Greenberger-Horne-Zeilinger (GHZ) states directly exhibit their nonlocality and render transparent the many possible measurements that produce absolute contradictions with local realism. While N measurements fix the assumed elements of reality, an exponentially growing number of absolute contradictions occurs. Operators that represent the detector settings provide a faithful representation of the symmetry group, and demonstrate Kochen-Specker contextuality.

arXiv:quant-ph/0506063•Jun 7, 2005•0 citations

Multisetting Greenberger-Horne-Zeilinger theorem

Junghee Ryu, Changhyoup Lee, Zhi Yin +4 more

We present a generalized Greenberger-Horne-Zeilinger (GHZ) theorem, which involves more than two local measurement settings for some parties, and cannot be reduced to one with less settings. Our results hold for an odd number of parties. We use a set of observables, which are incompatible but share a common eigenstate, here a GHZ state. Such observables are called concurrent. The idea is illustrated with an example of a three-qutrit system and then generalized to systems of higher dimensions, and more parties. The GHZ paradoxes can lead to, e.g., secret sharing protocols.

arXiv:1303.7222•Physical Review A•Feb 26, 2014•22 citations

Solving the Greenberger-Horne-Zeilinger paradox: an explicit model of local hidden variables for the GHZ quantum state

David H. Oaknin

The Greenberger-Horne-Zeilinger (GHZ) version of the Einstein-Podolsky-Rosen (EPR) paradox is widely regarded as a conclusive logical argument that rules out the possibility of describing quantum phenomena within the framework of any model of local hidden variables in which the observers are free to choose their own experimental settings. In this paper, we show, however, that the GHZ argument implicitly relies on a subtle, though crucial, assumption that is not required by fundamental physical principles, and which had gone unnoticed. Namely, we note that the argument implicitly assumes the existence of an absolute angular frame of reference with respect to which the polarization properties of the hypothetical hidden configurations of the entangled particles, as well as the orientations of the measurement devices that test them, can be defined. We further note that such an absolute frame of reference may not exist if the hidden configurations of the entangled particles spontaneously break the gauge rotational symmetry. Indeed, by skipping the disputed requirement we are able to build a model of local hidden variables for the GHZ state, which complies with the 'free-will' hypothesis and reproduces the quantum mechanical predictions. Our model, thus, completes-in the EPR sense-the quantum description of the GHZ state.

•Apr 22, 2022•0 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

Logical inconsistency in combining counterfactual results from non-commutative operations: Deconstructing the GHZ-Bell theorems

Louis Sica

The Greenberger, Horne, Zeilinger (GHZ) theorem is critically important to consideration of the possibility of hidden variables in quantum mechanics. Since it depends on predictions of single sets of measurements on three particles, it eliminates the sampling loophole encountered by the Bell theorem which requires a large number of observations to obtain a small number of useful joint measurements. In evading this problem, the GHZ theorem is believed to have confirmed Bell's historic conclusion that local hidden variables are inconsistent with the results of quantum mechanics. The GHZ theorem depends on predicting the results of sets of measurements of which only one may be performed, i.e., counterfactuals. In the present paper, the non-commutative aspects of these unperformed measurement sequences are critically examined. Three classical examples and two variations on the GHZ construction are analyzed to demonstrate that combined counter factual results of non-commuting operations are in general logically inconsistent with performable measurement sequences that take non-commutation into account. As a consequence, negative conclusions regarding local hidden variables do not follow from the GHZ and Bell theorems as historically reasoned.

arXiv:1202.0841•Feb 3, 2012•0 citations
Greenberger-Horne-Zeilinger (GHZ) states are characterized by their transformation properties under a continuous symmetry group, and NNN-body operators that transform covariantly exhibit a wealth of GHZ contradictions. We show that local or noncontextual hidden variables cannot duplicate the predicted measurement outcomes for covariant transformations, and we extract specific GHZ contradictions from discrete subgroups, with no restrictions on particle number NNN or dimension ddd except for the general requirement that N\ensuremath≥3N\ensuremath{\ge}3N\ensuremath≥3 for GHZ states. However, the specific contradictions fall into three regimes distinguished by increasing demands on the number of measurement operators required for the proofs. The first regime consists of proofs found recently by Ryu et al. [Phys. Rev. A 88, 042101 (2013)], the first operator-based theorems for all odd dimensions ddd, covering many (but not all) particle numbers NNN for each ddd. We introduce alternative methods of proof that define second and third regimes and produce theorems that fill all remaining gaps down to N=3N=3N=3 for every ddd. The common origin of all such GHZ contradictions is that the GHZ states and measurement operators transform according to different representations of the symmetry group, which has an intuitive physical interpretation.
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.
We present a generalized Greenberger-Horne-Zeilinger (GHZ) theorem, which involves more than two local measurement settings for some parties, and cannot be reduced to one with less settings. Our results hold for an odd number of parties. We use a set of observables, which are incompatible but share a common eigenstate, here a GHZ state. Such observables are called concurrent. The idea is illustrated with an example of a three-qutrit system and then generalized to systems of higher dimensions, and more parties. The GHZ paradoxes can lead to, e.g., secret sharing protocols.
The Greenberger-Horne-Zeilinger (GHZ) version of the Einstein-Podolsky-Rosen (EPR) paradox is widely regarded as a conclusive logical argument that rules out the possibility of describing quantum phenomena within the framework of any model of local hidden variables in which the observers are free to choose their own experimental settings. In this paper, we show, however, that the GHZ argument implicitly relies on a subtle, though crucial, assumption that is not required by fundamental physical principles, and which had gone unnoticed. Namely, we note that the argument implicitly assumes the existence of an absolute angular frame of reference with respect to which the polarization properties of the hypothetical hidden configurations of the entangled particles, as well as the orientations of the measurement devices that test them, can be defined. We further note that such an absolute frame of reference may not exist if the hidden configurations of the entangled particles spontaneously break the gauge rotational symmetry. Indeed, by skipping the disputed requirement we are able to build a model of local hidden variables for the GHZ state, which complies with the 'free-will' hypothesis and reproduces the quantum mechanical predictions. Our model, thus, completes-in the EPR sense-the quantum description of the GHZ state.
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.
The Greenberger, Horne, Zeilinger (GHZ) theorem is critically important to consideration of the possibility of hidden variables in quantum mechanics. Since it depends on predictions of single sets of measurements on three particles, it eliminates the sampling loophole encountered by the Bell theorem which requires a large number of observations to obtain a small number of useful joint measurements. In evading this problem, the GHZ theorem is believed to have confirmed Bell's historic conclusion that local hidden variables are inconsistent with the results of quantum mechanics. The GHZ theorem depends on predicting the results of sets of measurements of which only one may be performed, i.e., counterfactuals. In the present paper, the non-commutative aspects of these unperformed measurement sequences are critically examined. Three classical examples and two variations on the GHZ construction are analyzed to demonstrate that combined counter factual results of non-commuting operations are in general logically inconsistent with performable measurement sequences that take non-commutation into account. As a consequence, negative conclusions regarding local hidden variables do not follow from the GHZ and Bell theorems as historically reasoned.