| GHZ theorem | |
|---|---|
| Name | GHZ theorem |
| Field | Quantum mechanics |
| Introduced | 1989 |
| Authors | Daniel M. Greenberger, Michael A. Horne, Anton Zeilinger |
| Notable consequences | Incompatibility of local hidden variables with quantum predictions, strengthened nonlocality proofs |
GHZ theorem
The GHZ theorem is a result in Quantum mechanics that demonstrates a conflict between the predictions of quantum theory and the assumptions of local realism for certain multipartite entangled states. It provides a deterministic contradiction without relying on statistical inequalities like the Bell inequalities, and thus sharpened debates about locality and realism in foundational studies of quantum theory.
The GHZ theorem concerns specific three- (or more) particle entangled states, now commonly called GHZ states, which exhibit correlations incompatible with any theory obeying both locality and predefined outcomes (realism). In contrast to Bell's inequalities, the GHZ argument gives a direct logical contradiction between the predictions of quantum theory and a class of local hidden-variable theories for individual events. This makes the theorem influential in foundations, and significant for experimental tests at laboratories such as Vienna, Anton Zeilinger's group, NIST, and other institutions exploring quantum entanglement.
The GHZ argument was first articulated by Daniel M. Greenberger, Michael A. Horne, and Anton Zeilinger in the late 1980s, with earlier philosophical roots in the EPR paradox (1935) by Albert Einstein, Boris Podolsky, and Nathan Rosen. The work built on Bell's 1964 result and on subsequent experimental and theoretical advances by researchers such as John Clauser, Alain Aspect, and Abner Shimony. The 1990s and 2000s saw rapid experimental follow-up by groups at institutions including University of Innsbruck, University of Vienna, Massachusetts Institute of Technology, and California Institute of Technology, confirming GHZ predictions and stimulating further theoretical refinements.
The canonical GHZ state for three qubits is the pure state |GHZ⟩ = (|000⟩ + |111⟩)/√2 in the computational basis of three qubit subsystems. The theorem analyzes joint measurements of Pauli observables such as σ_x and σ_y on each qubit. Under the assumption of local realism, each measurement outcome is assigned a predetermined value ±1. Quantum mechanics predicts deterministic correlations for certain combinations of measurements (for example, σ_x⊗σ_x⊗σ_x = +1 and σ_x⊗σ_y⊗σ_y = −1, up to conventions), leading to an algebraic contradiction when local deterministic assignments are attempted. The contradiction can be expressed succinctly using operators in the Hilbert space formalism and eigenvalue relations, avoiding probabilistic inequalities. Generalizations use stabilizer formalism and multipartite entanglement classification to derive analogous contradictions for larger systems.
Experimental tests of GHZ correlations have been performed with photons, trapped ions, and superconducting circuits. Early photonic demonstrations were carried out by groups led by Anton Zeilinger and by Paul Kwiat using parametric down-conversion sources. Trapped-ion implementations at NIST and the University of Innsbruck produced high-fidelity three- and four-qubit GHZ states using coherent control and entangling gates. Recent work in superconducting qubits at institutions like IBM and Google has extended GHZ-state preparation to larger registers. Many experiments exploited interferometry, phase stabilization, and single-photon detection or quantum tomography to verify GHZ correlations and to close various experimental loopholes.
The GHZ theorem sharpened philosophical and practical debates about locality and realism by showing that quantum predictions for single runs contradict deterministic local models, not merely statistical averages. It motivated refined formulations of nonlocality, such as Hardy's paradox and Greenberger–Horne–Zeilinger arguments for more parties. The theorem also influenced the study of contextuality, linking with results like the Kochen–Specker theorem, and informed discussions in philosophy of physics concerning counterfactual definiteness and the role of measurement. Debates often reference contributions by Niels Bohr, John Bell, and commentators such as Tim Maudlin and Abner Shimony.
GHZ ideas have been generalized to N-partite GHZ states and to families such as W-states and cluster states used in measurement-based quantum computation (MBQC). Formal tools include the stabilizer formalism, graph states introduced by Hein et al., and entanglement measures like entanglement entropy and concurrence. Generalized GHZ paradoxes inform studies of multipartite nonlocality, entanglement classification, and resource theories. The theorem also appears in frameworks for device-independent certification and self-testing of quantum devices.
GHZ states are resources in protocols for quantum cryptography (e.g., multipartite quantum key distribution), quantum metrology (enhanced phase sensitivity), and quantum error correction where entangled logical states protect information. They serve in demonstrations of quantum teleportation networks and in tests of decoherence models relevant to scalable quantum computing efforts at labs like Los Alamos National Laboratory and industrial research at Microsoft Research. GHZ-based proofs underpin device-independent security proofs and inform standards for quantum hardware certification. The theorem’s emphasis on coherent, correlated multi-qubit behavior connects foundational stability with pragmatic goals in building robust national-scale quantum technologies.
Category:Quantum mechanics Category:Quantum information theory Category:Foundations of quantum mechanics