Greenberger–Horne–Zeilinger state explained

In physics, in the area of quantum information theory, a Greenberger–Horne–Zeilinger (GHZ) state is an entangled quantum state that involves at least three subsystems (particle states, qubits, or qudits). Named for the three authors that first described this state, the GHZ state predicts outcomes from experiments that directly contradict predictions by every classical local hidden-variable theory. The state has applications in quantum computing.

History

The four-particle version was first studied by Daniel Greenberger, Michael Horne and Anton Zeilinger in 1989.^[1] The following year Abner Shimony joined in an they published a three-particle version^[2] based on suggestionsby N. David Mermin.^[3] ^[4] Experimental measurements on such states contradict intuitive notions of locality and causality. GHZ states for large numbers of qubits are theorized to give enhanced performance for metrology compared to other qubit superposition states.^[5]

Definition

The GHZ state is an entangled quantum state for 3 qubits and it can be written $|\mathrm\rangle = \frac$

111\rangle

.where the or values of the qubit correspond to any two physical states. For example the two states may correspond to spin-down and spin up along some physical axis. In physics applications the state may be written

|\mathrm\rangle = \frac

-1,-1,-1\rangle

.where the numbering of the states represents spin eigenvalues.^[3]

Another example^[6] of a GHZ state is three photons in an entangled state, with the photons being in a superposition of being all horizontally polarized (HHH) or all vertically polarized (VVV), with respect to some coordinate system. The GHZ state can be written in bra–ket notation as

\|GHZ\rangle=	1
	\sqrt{2

}(|\mathrm\rangle+|\mathrm\rangle).

Prior to any measurements being made, the polarizations of the photons are indeterminate. If a measurement is made on one of the photons using a two-channel polarizer aligned with the axes of the coordinate system, each orientation will be observed, with 50% probability. However the result of all three measurements on the state gives the same result: all three polarizations are observed along the same axis.

Generalization

The generalized GHZ state is an entangled quantum state of subsystems. If each system has dimension

, i.e., the local Hilbert space is isomorphic to

C^d

, then the total Hilbert space of an

-partite system is

l{H}_\rm=(C^d)^⊗

. This GHZ state is also called an

-partite qudit GHZ state. Its formula as a tensor product is

\|GHZ\rangle=	1
	\sqrt{d

}\sum_^|i\rangle\otimes\cdots\otimes|i\rangle=\frac(|0\rangle\otimes\cdots\otimes|0\rangle+\cdots+|d-1\rangle\otimes\cdots\otimes|d-1\rangle).

In the case of each of the subsystems being two-dimensional, that is for a collection of M qubits, it reads

|GHZ\rangle=

	\|0\rangle^⊗+\|1\rangle^⊗
	\sqrt{2

}.The results of actual experiments agree with the predictions of quantum mechanics, not those of local realism.^[7]

GHZ experiment

In the language of quantum computation, the polarization state of each photon is a qubit, the basis of which can be chosen to be

|0\rangle\equiv|H\rangle, |1\rangle\equiv|V\rangle.

With appropriately chosen phase factors for

|H\rangle

and

|V\rangle

, both types of measurements used in the experiment becomes Pauli measurements, with the two possible results represented as +1 and −1 respectively:

The 45° linear polarizer implements a Pauli

measurement, distinguishing between the eigenstates

|{+X}\rangle\equiv|+\rangle=

	1
	\sqrt{2

}(|\mathrm\rangle + |\mathrm\rangle), \qquad |\rangle \equiv |-\rangle = \frac(|\mathrm\rangle - |\mathrm\rangle).

The circular polarizer implements a Pauli

measurement, distinguishing between the eigenstates

|{+Y}\rangle\equiv|R\rangle=

	1
	\sqrt{2

}(|\mathrm\rangle + i|\mathrm\rangle), \qquad |\rangle \equiv |L\rangle = \frac(|\mathrm\rangle - i|\mathrm\rangle).

A combination of those measurements on each of the three qubits can be regarded as a destructive multi-qubit Pauli measurement, the result of which being the product of each single-qubit Pauli measurement. For example, the combination "circular polarizer on photons 1 and 2, 45° linear polarizer on photon 3" corresponds to a

Y_1Y_2X₃

measurement, and the four possible result combinations (RL+, LR+, RR−, LL−) are exactly the ones corresponding to an overall result of −1.

The quantum mechanical predictions of the GHZ experiment can then be summarized as

\langleGHZ|Y_1Y_2X_3|GHZ\rangle=\langleGHZ|Y_1X_2Y_3|GHZ\rangle=\langleGHZ|X_1Y_2Y_3|GHZ\rangle=-1,

\langleGHZ|X_1X_2X_3|GHZ\rangle=+1,

which is consistent in quantum mechanics because all these multi-qubit Paulis commute with each other, and

Y_1Y_2X₃ ⋅ Y_1X_2Y₃ ⋅ X_1Y_2Y₃ ⋅ X_1X_2X₃=-1

due to the anticommutativity between

and

These results lead to a contradiction in any local hidden variable theory, where each measurement must have definite (classical) values

x_i,y_i=\pm1

determined by hidden variables, because

y_1y_2x₃ ⋅ y_1x_2y₃ ⋅ x_1y_2y₃ ⋅ x_1x_2x₃=

	2
x
	1

	2
x
	2

	2
x
	3

	2
y
	1

	2
y
	2

	2
y
	3

must equal +1, not −1.^[8]

Properties

There is no standard measure of multi-partite entanglement because different, not mutually convertible, types of multi-partite entanglement exist. Nonetheless, many measures define the GHZ state to be a maximally entangled state.

Another important property of the GHZ state is that taking the partial trace over one of the three systems yields

\operatorname{Tr}

3\left[\left(	\|000\rangle+\|111\rangle
	\sqrt{2

}\right)\left(\frac\right) \right] = \frac,which is an unentangled mixed state. It has certain two-particle (qubit) correlations, but these are of a classical nature. On the other hand, if we were to measure one of the subsystems in such a way that the measurement distinguishes between the states 0 and 1, we will leave behind either

|00\rangle

|11\rangle

, which are unentangled pure states. This is unlike the W state, which leaves bipartite entanglements even when we measure one of its subsystems.

A pure state

|\psi\rangle

parties is called biseparable, if one can find a partition of the parties in two nonempty disjoint subsets

and

with

A\cupB=\{1,...,N\}

such that

|\psi\rangle=|\phi\rangle_A ⊗ |\gamma\rangle_B

, i.e.

|\psi\rangle

is a product state with respect to the partition

A|B

. The GHZ state is non-biseparable and is the representative of one of the two non-biseparable classes of 3-qubit states which cannot be transformed (not even probabilistically) into each other by local quantum operations, the other being the W state,

|W\rangle=(|001\rangle+|010\rangle+|100\rangle)/\sqrt{3}

.^[9] Thus

|GHZ\rangle

and

|W\rangle

represent two very different kinds of entanglement for three or more particles.The W state is, in a certain sense "less entangled" than the GHZ state; however, that entanglement is, in a sense, more robust against single-particle measurements, in that, for an N-qubit W state, an entangled (N − 1)-qubit state remains after a single-particle measurement. By contrast, certain measurements on the GHZ state collapse it into a mixture or a pure state.

Experiments on the GHZ state lead to striking non-classical correlations (1989). Particles prepared in this state lead to a version of Bell's theorem, which shows the internal inconsistency of the notion of elements-of-reality introduced in the famous Einstein–Podolsky–Rosen article. The first laboratory observation of GHZ correlations was by the group of Anton Zeilinger (1998), who was awarded a share of the 2022 Nobel Prize in physics for this work.^[10] Many more accurate observations followed. The correlations can be utilized in some quantum information tasks. These include multipartner quantum cryptography (1998) and communication complexity tasks (1997, 2004).

Pairwise entanglement

Although a measurement of the third particle of the GHZ state that distinguishes the two states results in an unentangled pair, a measurement along an orthogonal direction can leave behind a maximally entangled Bell state. This is illustrated below.

The 3-qubit GHZ state can be written as

\|GHZ\rangle=	1
	\sqrt{2

}\left(|000\rangle + |111\rangle\right) = \frac\left(|00\rangle + |11\rangle \right) \otimes |+\rangle + \frac\left(|00\rangle - |11\rangle\right) \otimes |-\rangle,where the third particle is written as a superposition in the X basis (as opposed to the Z basis) as

|0\rangle=(|+\rangle+|-\rangle)/\sqrt{2}

and

|1\rangle=(|+\rangle-|-\rangle)/\sqrt{2}

A measurement of the GHZ state along the X basis for the third particle then yields either

|\Phi^+\rangle=(|00\rangle+|11\rangle)/\sqrt{2}

, if

|+\rangle

was measured, or

|\Phi^{-\rangle=(|00\rangle}-|11\rangle)/\sqrt{2}

, if

|-\rangle

was measured. In the later case, the phase can be rotated by applying a Z quantum gate to give

|\Phi^+\rangle

, while in the former case, no additional transformations are applied. In either case, the result of the operations is a maximally entangled Bell state.

This example illustrates that, depending on which measurement is made of the GHZ state is more subtle than it first appears: a measurement along an orthogonal direction, followed by a quantum transform that depends on the measurement outcome, can leave behind a maximally entangled state.

Applications

GHZ states are used in several protocols in quantum communication and cryptography, for example, in secret sharing or in the quantum Byzantine agreement.

References

Book: Going beyond Bell's Theorem . Bell's Theorem, Quantum Theory and Conceptions of the Universe . M. . Kafatos . Kluwer . Dordrecht . 1989 . 69 . Daniel M. . Greenberger . Michael A. . Horne . Anton . Zeilinger . 0712.0921. 2007arXiv0712.0921G .
D. Greenberger . M. Horne . A. Shimony . A. Zeilinger . Bell's theorem without inequalities . Am. J. Phys. . 58 . 12 . 1131 . 1990. 1990AmJPh..58.1131G . 10.1119/1.16243 . free .
Mermin. N. David. 1990-08-01. Quantum mysteries revisited. American Journal of Physics. 58. 8. 731–734. 10.1119/1.16503. 0002-9505. 1990AmJPh..58..731M. 119911419.
Caves. Carlton M.. Carlton M. Caves. Fuchs. Christopher A.. Schack. Rüdiger. 2002-08-20. Unknown quantum states: The quantum de Finetti representation. Journal of Mathematical Physics. 43. 9. 4537–4559. quant-ph/0104088. 10.1063/1.1494475. 0022-2488. Mermin was the first to point out the interesting properties of this three-system state, following the lead of D. M. Greenberger, M. Horne, and A. Zeilinger [...] where a similar four-system state was proposed.. 2002JMP....43.4537C. 17416262.
Eldredge . Zachary . Foss-Feig . Michael . Gross . Jonathan A. . Rolston . S. L. . Gorshkov . Alexey V. . 2018-04-23 . Optimal and secure measurement protocols for quantum sensor networks . Physical Review A . 97 . 4 . 042337 . 10.1103/PhysRevA.97.042337 . 6513338 . 31093589. 1607.04646 . 2018PhRvA..97d2337E .
A. Zeilinger, Dance of the Photons, Farrar, Straus and Giroux, New York, 2010, pp. 218–223.
Jian-Wei Pan . D. Bouwmeester . M. Daniell . H. Weinfurter . A. Zeilinger . Experimental test of quantum nonlocality in three-photon GHZ entanglement . Nature . 403 . 515–519 . 2000. 2000Natur.403..515P . 10.1038/35000514 . 6769 . 10676953. 4309261 .
Mermin. N. David. 1990-08-01. Quantum mysteries revisited. American Journal of Physics. 58. 8. 731–734. 10.1119/1.16503. 0002-9505. 1990AmJPh..58..731M. 119911419.
Horodecki . Ryszard . Horodecki . Pawel . Horodecki . Michal . Horodecki . Karol . Quantum entanglement . Reviews of Modern Physics . quant-ph/0702225 . 10.1103/RevModPhys.81.865 . 2009 . 865–942 . 2009RvMP...81..865H . 81 . 2 . 59577352 .
Web site: 4 October 2022 . Scientific Background on the Nobel Prize in Physics 2022 . The Nobel Prize.