Comprehensive proof of the Greenberger-Horne-Zeilinger Theorem for the four-qubit system

Li Tang, Jie Zhong, Yaofeng Ren +2

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 t…