Abstract The Greenberger–Horne–Zeilinger (GHZ) paradox is an exquisite no-go theorem that shows the sharp contradiction between classical theory and quantum mechanics by ruling out any local realistic description of quantum theory. The investigation of GHZ-type paradoxes has been carried out in a variety of systems and led to fruitful discoveries. However, its range of applicability still remains unknown and a unified construction is yet to be discovered. In this work, we present a unified construction of GHZ-type paradoxes for graph states, and show that the existence of GHZ-type paradox is not limited to graph states. The results have important applications in quantum state verification for graph states, entanglement detection, and construction of GHZ-type steering paradox for mixed states. We perform a photonic experiment to test the GHZ-type paradoxes via measuring the success probability of their corresponding perfect Hardy-type paradoxes, and demonstrate the proposed applications. Our work deepens the comprehension of quantum paradoxes in quantum foundations, and may have applications in a broad spectrum of quantum information tasks.
Abstract The Greenberger–Horne–Zeilinger (GHZ) paradox is an exquisite no-go theorem that shows the sharp contradiction between classical theory and quantum mechanics by ruling out any local realistic description of quantum theory. The investigation of GHZ-type paradoxes has been carried out in a variety of systems and led to fruitful discoveries. However, its range of applicability still remains unknown and a unified construction is yet to be discovered. In this work, we present a unified construction of GHZ-type paradoxes for graph states, and show that the existence of GHZ-type paradox is not limited to graph states. The results have important applications in quantum state verification for graph states, entanglement detection, and construction of GHZ-type steering paradox for mixed states. We perform a photonic experiment to test the GHZ-type paradoxes via measuring the success probability of their corresponding perfect Hardy-type paradoxes, and demonstrate the proposed applications. Our work deepens the comprehension of quantum paradoxes in quantum foundations, and may have applications in a broad spectrum of quantum information tasks.
The Greenberger-Horne-Zeilinger (GHZ) paradox, involving quantum systems with three or more subsystems, offers an 'all-vs-nothing' test of quantum nonlocality. Unlike Bell tests for bipartite systems, which reveal statistical contradictions, the GHZ paradox demonstrates a definitive (i.e. 100%) conflict between local hidden variable theories and quantum mechanics. Given this, how can the claim made in the title be justified? The key lies in recognising that GHZ games are typically played under a predefined promise condition for input distribution. By altering this promise, different GHZ games can be constructed. Here, we introduce a randomized variant of GHZ game, where the promise condition is randomly selected from multiple possibilities and revealed to only one of the parties chosen randomly. We demonstrate that this randomized GHZ paradox can also be perfectly resolved using a GHZ state, revealing a potentially stronger form of nonlocality than the original paradox. The claim of enhanced nonlocality is supported by its operational implications: correlations yielding perfect success in the randomized game offer a greater communication advantage than traditional GHZ correlations in a distributed multi-party communication complexity task.
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}$.
The Greenberger-Horne-Zeilinger (GHZ) paradox provides an all-versus-nothing test for the quantum nonlocality. In most of the GHZ paradoxes known so far each observer is allowed to measure only two alternative observables. Here we present a general construction for GHZ paradoxes in which each observer measures more than two observables given that the system is prepared in the n-qudit GHZ state. By doing so we are able to construct a multisetting GHZ paradox for the n-qubit GHZ state, with n being arbitrary, which is genuine n-partite; i.e., no GHZ paradox exists when restricted to a subset of a number of observers for a given set of Mermin observables. Our result fills up the gap of the absence of a genuine GHZ paradox for the GHZ state of an even number of qubits, especially the four-qubit GHZ state as used in GHZ's original proposal.
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 a local and realistic model of 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 an additional crucial assumption, which is not required by fundamental physical principles and 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 orientation of the measurement apparatus that test the system can be defined. We further note that such an absolute frame of reference would not exist if the hidden configurations of the entangled particles spontaneously break the gauge rotational symmetry. Indeed, by skipping this unnecessary additional assumption we are able to build an explicitly local and realistic model of hidden variables for the GHZ state, which complies with the 'free-will' hypothesis and reproduces the quantum mechanical predictions, and thus completes the description of the system in the EPR sense.
Greenberger-Horne-Zeilinger (GHZ) states are multipartite entangled quantum states that play a central role in quantum information theory, with applications in quantum communication, cryptography, and distributed quantum computing. A major experimental goal is to create high-dimensional GHZ states using multiple entangled parties. Krenn, Gu and Zeilinger discovered a surprising bridge between these quantum-optical experiments and graph theory: certain photonic experiments can be represented by edge-coloured, edge-weighted graphs, and the dimension of the produced GHZ state equals the number of feasible monochromatic inherited vertex colourings. This led Krenn and Gu to conjecture that every GHZ graph with more than four vertices has dimension at most 2. A counterexample would give a new high-dimensional multipartite GHZ construction, while a proof would clarify fundamental resource limitations in quantum optics. It is known that the conjecture holds for graphs of vertex connectivity at most 2 [MFCS 2024], and that simple GHZ graphs with n>4 vertices have dimension less than n/2 [Quantum 2024]. However, no general upper bound depending only on vertex connectivity was known. We prove that every simple connected GHZ graph G with at least four vertices has dimension at most 2κ(G)−1+(2κ(G)), where κ(G) is the vertex connectivity of G. We also prove new bounds in terms of edge connectivity and maximum degree.
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.