Abstract: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. This article for a four-qubit system, which was originally studied by GHZ, the authors show that there are nine distinct forms of the GHZ-Mermin-like argument. The proof is obtained using certain 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.

Proposal for the complete high-dimensional Greenberger-Horne-Zeilinger state measurement

Complete Greenberger–Horne–Zeilinger state analyzer using hyperentanglement

Complete hyperentanglement-assisted multi-photon Greenberger-Horne- Zeilinger states analysis with cross-Kerr nonlinearity

Complete hyperentangled Greenberger-Horne-Zeilinger state analysis for polarization and time-bin hyperentanglement

Complete N-photon Greenberger-Horne-Zeilinger-state analyzer and its applications to quantum communication

Preparation of multiphoton high-dimensional GHZ state

Preparation of Multiphoton High-Dimensional GHZ States

Complete analysis and generation of hyperentangled Greenberger-Horne-Zeilinger state for photons using quantum-dot spins in optical microcavities

Efficient Hyperentanglement Concentration for N-particle Greenberger–Horne–Zeilinger State Assisted by Weak Cross-Kerr Nonlinearity

Precise Detection of Multipartite Entanglement in Fourqubit Greenberger–Horne–Zeilinger Diagonal States

Efficient hyperentangled Greenberger–Horne–Zeilinger states analysis with cross-Kerr nonlinearity

Linear Optical Protocol for Preparation of N-photon Greenberger–Horne–Zeilinger State with Conventional Photon Detectors

Quantum Experiments and Graphs. III. High-dimensional and Multiparticle Entanglement

Complete Hyperentangled State Analysis Using Weak Cross-Kerr Nonlinearity and Auxiliary Entanglement

Optimized Detection of High-Dimensional Entanglement

Generation of a Multi-Photon Greenberger–Horne–Zeilinger State with Linear Optical Elements and Photon Detectors

Complete Hyperentangled Bell State Analysis Assisted by Hyperentanglement

Linear Optical Protocol for Generation of Greenberger-Horne-Zeilinger State Within a Network

A dimensionality and purity measure for high-dimensional entangled states

A (2, 3) Quantum Threshold Scheme Based on Greenberger–Horne–Zeilinger State

A comprehensive proof of the Greenberger–Horne–Zeilinger theorem for the four-qubit system