| GHZ theorem | |
|---|---|
| Name | GHZ theorem |
| Caption | Entangled three-particle correlations used in GHZ arguments |
| Field | Quantum mechanics / Quantum information |
| Introduced | 1989 |
| Proponents | Daniel M. Greenberger, Michael A. Horne, Anton Zeilinger; exposition with N. David Mermin (1990) |
| Related | Bell's theorem, EPR paradox, Quantum entanglement, Local realism |
GHZ theorem
The GHZ theorem is a result in quantum mechanics demonstrating that certain perfect correlations of multipartite entangled states are incompatible with any local hidden variable theory. Introduced by Greenberger, Horne and Zeilinger in 1989 and popularized by Mermin, it provides a deterministic contradiction with local realism without relying on statistical inequalities such as Bell's theorem. The theorem has become central to debates in philosophy of physics and the experimental study of quantum entanglement, informing work at institutions like MIT, University of Vienna and laboratories including IQOQI and Harvard University.
The canonical system used is the three-particle GHZ state, a pure quantum state exhibiting maximal multipartite entanglement. In the computational basis for three qubits it is often written as |GHZ> = (|000> + |111>)/√2, which is invariant under collective phase rotations up to a global phase and has no bipartite entanglement when one particle is traced out, distinguishing it from W state entanglement. The state can be prepared in various physical platforms including photonic setups (spontaneous parametric down-conversion studied by groups at University of Vienna and Max Planck Institute for the Science of Light), trapped ions (experiments at University of Innsbruck and NIST), and superconducting circuits (research at IBM Quantum and Google Quantum AI). Key properties include coherent superposition, nonlocal correlations across three subsystems, and sensitivity to decoherence channels studied in quantum decoherence research.
The GHZ argument considers three spatially separated qubits measured with Pauli observables (for example σ_x and σ_y). The GHZ state yields deterministic eigenvalue relations for joint measurements that lead to a logical contradiction under the assumption of preexisting local values (hidden variables) for the observables. Mermin's form frames the contradiction compactly using operator identities: σ_x^A σ_y^B σ_y^C = +1, σ_y^A σ_x^B σ_y^C = +1, σ_y^A σ_y^B σ_x^C = +1, but the product of these three relations implies σ_x^A σ_x^B σ_x^C = -1 while quantum mechanics predicts +1 for the GHZ state—hence inconsistency with deterministic local assignments. The proof is constructive and algebraic, avoiding statistical inequalities and sharpening the conceptual divide between quantum theory and classical intuitions about locality and realism. Formal treatments appear in the original GHZ paper and in expositions by Mermin, N. D. and textbooks on quantum foundations.
Experimental tests of GHZ correlations have been reported in diverse platforms: photonic three-photon entanglement (e.g., experiments by Anton Zeilinger’s group and collaborators), trapped-ion GHZ states at University of Innsbruck and NIST, and superconducting three-qubit entanglement by IBM and Google. Implementations address technical challenges such as generation fidelity, state verification via quantum state tomography, and mitigation of decoherence. Loopholes familiar from Bell tests—detection inefficiency, locality (space-like separation), and freedom-of-choice—also affect GHZ experiments; notable efforts to close these include high-efficiency detectors at NIST and space-like separated photonic trials led by teams at University of Geneva and University of Vienna. The GHZ setting magnifies the demand for simultaneous closing of multiple loopholes because deterministic contradictions place stringent requirements on experimental precision.
The GHZ theorem sharpens philosophical and physical discussions about locality, realism, and the completeness of quantum mechanics. Unlike statistical violations of Bell inequality, GHZ yields a conflict that can be presented as a logical impossibility for deterministic local hidden-variable models. This has been influential in debates involving figures such as John Bell, Einstein, Podolsky, and Schrödinger on the EPR paradox. The result has also motivated alternative interpretations—many-worlds interpretation, pilot-wave theory, and various objective-collapse models—to explain multipartite correlations while preserving different combinations of locality and realism. Ethically and politically, the theorem has been invoked in discussions about responsible stewardship of quantum technologies, as nonlocal entanglement resources may exacerbate power imbalances in surveillance, cryptography, and computational advantage.
GHZ states and the theorem inform applied areas in quantum information science: protocols in quantum cryptography (including secret sharing and multipartite key distribution), tests of quantum networks and quantum repeaters, and benchmarks for fault-tolerant quantum computing architectures. GHZ correlations underpin multipartite entanglement witnesses and certification methods used by research groups at QuTech, IQC, and industrial labs (e.g., IBM Quantum). GHZ-derived tests are integrated into experimental validation of quantum error correction codes and are central in proposals for device-independent cryptographic tasks that rely on strong nonlocality. The theorem thus links foundational insight with practical demands for equitable access, transparency, and governance of emerging quantum technologies.
Category:Quantum mechanics Category:Quantum information theory