In short

A global phase is a complex number e^{i\varphi} with modulus 1 that multiplies the entire state: |\psi\rangle \to e^{i\varphi}|\psi\rangle. It is physically unobservable — every measurement, every expectation value, every point on the Bloch sphere is identical for |\psi\rangle and e^{i\varphi}|\psi\rangle. A relative phase is a phase difference between the components of a superposition: in \alpha|0\rangle + e^{i\varphi}\beta|1\rangle, the e^{i\varphi} sits in front of just the |1\rangle part. Relative phases are observable — they distinguish |+\rangle from |-\rangle and drive every interference effect in quantum computing. The twist: when a gate carrying a "global phase" sits inside a controlled operation, that global phase becomes a relative phase of the compound circuit. This is the mechanism behind phase kickback, the quantum Fourier transform, and most of Shor's algorithm.

Here is a puzzle that stops most students the first time they meet it. You have the state

|\psi\rangle = |0\rangle,

the simplest qubit state in the world. Now multiply it by e^{i\pi/3}:

|\psi'\rangle = e^{i\pi/3}|0\rangle.

Is |\psi'\rangle a new state? It looks different on paper. The amplitude has changed — it used to be 1 and now it is a complex number with a non-trivial phase. Surely something has changed?

The answer is no. |\psi'\rangle is exactly the same physical state as |\psi\rangle. No experiment, no measurement, no observation of any kind can distinguish them. They sit at exactly the same point on the Bloch sphere. They behave identically under every subsequent quantum operation that acts on them alone. For all physical purposes they are one state with two notations.

Now change the setup slightly. Start with

|\phi\rangle = \tfrac{1}{\sqrt{2}}(|0\rangle + |1\rangle) = |+\rangle

and multiply only the |1\rangle component by e^{i\pi/3}:

|\phi'\rangle = \tfrac{1}{\sqrt{2}}(|0\rangle + e^{i\pi/3}|1\rangle).

Is |\phi'\rangle a new state? This time, yes. |\phi'\rangle sits at a different point on the Bloch sphere from |\phi\rangle. A measurement in the X-basis gives different probabilities. The two states are physically distinct in every sense.

Same operation in both cases — multiplication by e^{i\pi/3}. First time, no change. Second time, a real change. What is different?

The first was a global phase — the whole state got multiplied, and the phase cancelled out of every observable quantity. The second was a relative phase — only the |1\rangle component got multiplied, and the resulting shift between the |0\rangle and |1\rangle amplitudes is real and measurable.

This distinction is one of the two or three most confusing points in all of quantum computing — and unlike the "0 and 1 at the same time" misconception, this one trips up people who actually understand quantum mechanics at a working level. Pop-science does not even mention it; formal textbooks state it once and move on; but if you get it wrong in a circuit design, everything downstream breaks.

This chapter builds it carefully. First the rule (global phase is invisible, relative phase is visible), then the proof (from the probability formula), then the Bloch-sphere picture (why both can be read off the sphere), then — the subtle part — when a global phase starts as a global phase but becomes a relative phase inside a controlled gate. That last move is how half of quantum computing works.

The rule — stated once, then unpacked

Global phase. If you multiply an entire quantum state |\psi\rangle by a complex number e^{i\varphi} with |e^{i\varphi}| = 1, you get a new symbolic expression e^{i\varphi}|\psi\rangle that represents the same physical state as |\psi\rangle. Every physically measurable prediction — probabilities, expectation values, correlation functions — is identical.

Relative phase. If you multiply just one component of a superposition by e^{i\varphi} — say, you change \alpha|0\rangle + \beta|1\rangle into \alpha|0\rangle + e^{i\varphi}\beta|1\rangle — you have made a physically distinct state. Different measurement probabilities in some bases, different position on the Bloch sphere, different behaviour under subsequent gates.

In short: phases on the whole state are nothing; phases between components are everything.

Global vs relative phase on the Bloch sphereTwo Bloch spheres side by side. The left sphere shows a single point labelled |psi⟩ = e^(i phi)|psi⟩ — both states at the same location, demonstrating that global phase does not move the Bloch point. The right sphere shows two distinct points labelled |+⟩ and |phi'⟩; |+⟩ is on the +x axis, |phi'⟩ is rotated around the equator showing that relative phase moves the Bloch point around the equator.Global phase — invisible|ψ⟩= e^(iφ)|ψ⟩|1⟩+xone point, two labelsRelative phase — visible|+⟩|φ'⟩|0⟩|1⟩two points, two states
The same operation — multiplication by $e^{i\varphi}$ — does two very different things depending on where you apply it. On the whole state (left), it doesn't move the Bloch point at all. On one component of a superposition (right), it rotates the Bloch point around the equator.

Proof that global phase is invisible

The claim is strong — every observable is identical — so it deserves an actual proof.

Start with the Born rule. Given a state |\psi\rangle, the probability of obtaining outcome |k\rangle in a projective measurement is

p_k \;=\; |\langle k|\psi\rangle|^2.

Now replace |\psi\rangle with e^{i\varphi}|\psi\rangle. The inner product becomes

\langle k | e^{i\varphi}|\psi\rangle = e^{i\varphi}\langle k|\psi\rangle.

Take the modulus squared:

|e^{i\varphi}\langle k|\psi\rangle|^2 = |e^{i\varphi}|^2 \cdot |\langle k|\psi\rangle|^2 = 1 \cdot |\langle k|\psi\rangle|^2 = p_k.

Why the phase drops out: |e^{i\varphi}|^2 = \cos^2\varphi + \sin^2\varphi = 1 identically for any real \varphi. The modulus squared is blind to the phase.

So every probability is identical. Since everything you can measure in quantum mechanics reduces to a sequence of probabilities (expectation values are just weighted averages of them), every observable is identical. |\psi\rangle and e^{i\varphi}|\psi\rangle are indistinguishable by any physical test.

This is not a special property of the computational basis; the same argument goes through for any measurement basis \{|k\rangle\}. It is not a special property of projective measurements; the same argument goes through for any positive-operator-valued measure. Phase on the whole state, no effect on anything.

Why relative phase is visible

Consider |+\rangle and a modified version:

|+\rangle = \tfrac{1}{\sqrt{2}}(|0\rangle + |1\rangle), \qquad |\phi'\rangle = \tfrac{1}{\sqrt{2}}(|0\rangle + e^{i\varphi}|1\rangle).

Measure each in the X-basis. The projector onto |+\rangle is |+\rangle\langle+|. For the first state, the overlap is

\langle +|+\rangle = 1, \quad \text{so} \quad p_+ = 1.

For the modified state, compute

\langle+|\phi'\rangle = \tfrac{1}{\sqrt{2}}\big(\langle 0| + \langle 1|\big)\cdot\tfrac{1}{\sqrt{2}}\big(|0\rangle + e^{i\varphi}|1\rangle\big) = \tfrac{1}{2}(1 + e^{i\varphi}).

Modulus squared:

p_+ = \big|\tfrac{1}{2}(1 + e^{i\varphi})\big|^2 = \tfrac{1}{4}(1 + e^{i\varphi})(1 + e^{-i\varphi}) = \tfrac{1}{4}(2 + 2\cos\varphi) = \tfrac{1}{2}(1 + \cos\varphi).

Why this calculation matters: the probability of measuring |+\rangle went from 1 (for the original |+\rangle) to \tfrac{1}{2}(1+\cos\varphi) for the phase-shifted state. If \varphi = \pi, the probability drops to 0: the state has become |-\rangle, orthogonal to |+\rangle. Relative phase is visible — you can literally read it off a measurement statistic.

So when \varphi = 0, p_+ = 1; when \varphi = \pi, p_+ = 0; and for intermediate values the probability varies smoothly. The relative phase shows up as a detectable difference in measurement statistics.

Contrast this with the global phase. Multiplying |+\rangle by e^{i\varphi} gives

e^{i\varphi}|+\rangle = \tfrac{e^{i\varphi}}{\sqrt{2}}(|0\rangle + |1\rangle).

The amplitude of |0\rangle and the amplitude of |1\rangle both picked up the same e^{i\varphi}. The probability of measuring |+\rangle is |\langle+|e^{i\varphi}|+\rangle|^2 = |e^{i\varphi}|^2 \cdot 1 = 1 — unchanged. Same e^{i\varphi}, completely different effect.

The amplitude-ratio view — the cleanest framing

Here is the way to think about global vs relative phase that makes the distinction obvious and never trips you up again.

Given a single-qubit state |\psi\rangle = \alpha|0\rangle + \beta|1\rangle, the "shape" of the state — the thing that distinguishes it from any other state — is encoded in the ratio \beta / \alpha.

This is a complex number. Its modulus tells you how the probability is split between |0\rangle and |1\rangle. Its phase tells you the relative phase between the two components. Together, those two pieces of information — a magnitude and a phase, or equivalently two real numbers — encode exactly the physical state.

Now multiply both \alpha and \beta by the same phase factor e^{i\varphi}:

\alpha' = e^{i\varphi}\alpha, \quad \beta' = e^{i\varphi}\beta \;\; \Rightarrow \;\; \beta'/\alpha' = e^{i\varphi}\beta \,/\, e^{i\varphi}\alpha = \beta/\alpha.

The ratio is unchanged. So the physical state is unchanged. Global phase is a phase factor that multiplies both the numerator and the denominator of \beta/\alpha, and therefore changes nothing.

Now multiply only \beta by e^{i\varphi}:

\beta'/\alpha = e^{i\varphi}\beta/\alpha.

The ratio picks up the phase. The physical state has changed. Relative phase is a phase change in the ratio.

Global phase cancels in the amplitude ratioTwo panels. Left panel labelled "global phase": the numerator and denominator of beta-over-alpha are both multiplied by e^(i phi), and the ratio is shown unchanged. Right panel labelled "relative phase": only the numerator is multiplied, and the ratio gets the phase factor, changing the value.Global phaseβ · e^(iφ)α · e^(iφ)= β / αratio unchanged→ physical state unchangedRelative phaseβ · e^(iφ)α= e^(iφ) · β / αratio gains the phase→ physical state changed
The amplitude-ratio view. Global phase multiplies both numerator and denominator — cancels. Relative phase multiplies only one — survives. This is the rule in one picture.

The Bloch-sphere connection

The Bloch sphere has already quietly encoded the global-vs-relative distinction. A general single-qubit state is parameterised as

|\psi\rangle = \cos(\theta/2)|0\rangle + e^{i\varphi}\sin(\theta/2)|1\rangle.

Notice: only two angles. There is no slot for an extra "global phase" parameter. The Bloch sphere is built to ignore global phase by construction — the space of single-qubit states modulo global phase is exactly the 2-sphere.

Why there is no global-phase slot: mathematically, quantum states live not in a vector space but in the projective Hilbert space — the set of unit vectors modulo global phase. The Bloch sphere is a concrete realisation of this quotient for a single qubit. Two vectors that differ by a global phase are, in the projective sense, literally the same point.

Now look at the two angles:

So on the Bloch sphere: changing \theta changes the probability balance; changing \varphi changes the relative phase. A state at the |+\rangle position has \varphi = 0. A state at |-\rangle has \varphi = \pi. A state at |+i\rangle has \varphi = \pi/2. All six cardinal equatorial states are identical in magnitude structure (|+\rangle, |-\rangle, |+i\rangle, |-i\rangle all have \theta = \pi/2) — they differ only in relative phase.

Two key consequences:

  1. A global phase moves the state through the projective space's abstract geometry, but the Bloch point doesn't budge. The two angles (\theta, \varphi) don't change because global phase doesn't touch them.

  2. A relative phase between |0\rangle and |1\rangle is exactly what \varphi is. Change the relative phase by \Delta\varphi and the Bloch point spins around the equator by the same \Delta\varphi.

The Bloch sphere is, in a precise sense, the "observable state space" of a single qubit. Global phase is the thing you have to quotient out to get there.

Worked example 1 — two states, one Bloch point

Let's actually do the computation on a specific pair of states.

Example 1: Show that $|\psi\rangle = |0\rangle$ and $|\psi'\rangle = e^{i\pi/3}|0\rangle$ are the same state

Step 1. Compute the Bloch coordinates of |\psi\rangle = |0\rangle. Write |\psi\rangle as \alpha|0\rangle + \beta|1\rangle with \alpha = 1 and \beta = 0. Match to \cos(\theta/2)|0\rangle + e^{i\varphi}\sin(\theta/2)|1\rangle. \cos(\theta/2) = 1 \Rightarrow \theta = 0. Since \sin(\theta/2) = 0, \varphi is undefined (the north pole has no well-defined azimuth — it is the axis itself). Why: at the poles, azimuthal angle is degenerate — just like latitude 90° at the true North Pole of Earth. Every longitude passes through the same point. So \varphi simply doesn't matter when \theta = 0.

Step 2. Compute the Bloch coordinates of |\psi'\rangle = e^{i\pi/3}|0\rangle. \alpha = e^{i\pi/3}, \beta = 0. In the Bloch parameterisation, divide out by the phase of \alpha: the phase of \alpha gets absorbed into the overall global phase, and what's left is \cos(\theta/2) = |\alpha| = 1, so \theta = 0 again. Same Bloch point: the north pole.

Step 3. Compute the measurement probabilities in the Z-basis. For |\psi\rangle = |0\rangle: p_0 = |\langle 0|0\rangle|^2 = 1; p_1 = |\langle 1|0\rangle|^2 = 0. For |\psi'\rangle = e^{i\pi/3}|0\rangle: p_0 = |\langle 0|e^{i\pi/3}|0\rangle|^2 = |e^{i\pi/3}|^2 = 1; p_1 = 0. Why they agree: the e^{i\pi/3} factor cancels when you take the modulus squared. Since probabilities are modulus-squared amplitudes, global phases never affect them.

Step 4. Compute the measurement probabilities in the X-basis. For |\psi\rangle: p_+ = |\langle +|0\rangle|^2 = |1/\sqrt{2}|^2 = 1/2; p_- = 1/2. For |\psi'\rangle: p_+ = |\langle +|e^{i\pi/3}|0\rangle|^2 = |e^{i\pi/3}/\sqrt{2}|^2 = 1/2; p_- = 1/2. Why: again, |e^{i\pi/3}|^2 = 1. Identical probabilities in every basis.

Step 5. Compute an expectation value to triple-check. Take \langle Z\rangle: for |\psi\rangle, \langle Z\rangle = \langle 0|Z|0\rangle = 1. For |\psi'\rangle, \langle Z\rangle = \langle 0| e^{-i\pi/3} Z e^{i\pi/3}|0\rangle = \langle 0|Z|0\rangle = 1 (the phases cancel). Same.

Result. |\psi\rangle and |\psi'\rangle have identical Bloch coordinates, identical measurement probabilities in every basis, identical expectation values. They are the same physical state, written with two different symbolic conventions.

Two states, same Bloch pointA single Bloch sphere with one point drawn at the north pole, labelled with two labels: |psi⟩ = |0⟩ and |psi'⟩ = e^(i pi/3)|0⟩. Below the sphere, a small table shows the Z-basis probabilities (both 1, 0) and X-basis probabilities (both 1/2, 1/2).|0⟩|ψ⟩|ψ'⟩ = e^(iπ/3)|ψ⟩|1⟩outcomep(|ψ⟩)p(|ψ'⟩)Z=011Z=100X=+½½
Same Bloch point, same probabilities in every basis. The symbolic difference $e^{i\pi/3}$ has no physical counterpart.

What this shows. Two different-looking strings of symbols can describe the same physical state. Quantum mechanics has a built-in redundancy — global phase — that the Bloch sphere automatically mods out. Any computation you do on |\psi'\rangle will give the same answers as the same computation on |\psi\rangle.

When a global phase stops being global — the controlled-gate twist

Now the subtle move. Start with a single-qubit gate U and a gate U' = e^{i\varphi} U that differs from U only by a global phase. Acting alone on a qubit, they do the same thing — same rotations, same measurements, same everything. No experiment can tell them apart.

But embed them inside a controlled operation. Build the controlled-U gate: "if the control qubit is |1\rangle, apply U to the target; if the control is |0\rangle, do nothing." Now do the same for controlled-U'. Are these two two-qubit gates the same?

Write out the two-qubit matrices. Let |c\rangle be the control and |t\rangle the target. Controlled-U acts as:

|0\rangle|t\rangle \to |0\rangle|t\rangle, \qquad |1\rangle|t\rangle \to |1\rangle \cdot U|t\rangle.

Controlled-U', where U' = e^{i\varphi} U:

|0\rangle|t\rangle \to |0\rangle|t\rangle, \qquad |1\rangle|t\rangle \to |1\rangle \cdot e^{i\varphi}U|t\rangle.

On the |0\rangle|t\rangle branch, the two gates are identical. But on the |1\rangle|t\rangle branch, controlled-U' picks up an extra e^{i\varphi} that controlled-U does not.

So on a superposition state — say \tfrac{1}{\sqrt{2}}(|0\rangle + |1\rangle)|t\rangle — controlled-U gives

\tfrac{1}{\sqrt{2}}(|0\rangle|t\rangle + |1\rangle \cdot U|t\rangle)

while controlled-U' gives

\tfrac{1}{\sqrt{2}}(|0\rangle|t\rangle + e^{i\varphi}|1\rangle \cdot U|t\rangle).

The e^{i\varphi} is now sitting between the |0\rangle and |1\rangle components of the control qubit. It has become a relative phase — a phase difference between the two branches of the superposition on the control. And relative phases are observable.

Why this happens: inside the larger two-qubit state, the "whole" is not just U's output on the target — it is a sum of two branches (controlled on |0\rangle and |1\rangle), each with its own target output. The global phase attached to U only multiplies one branch, not both, so it becomes relative.

This is not a technicality. It is the mechanism behind phase kickback, the trick at the heart of Deutsch's algorithm, Deutsch-Jozsa, quantum phase estimation, and Shor's factoring algorithm. Kickback works by arranging for a "global" phase attached to a gate U on an eigenstate of U to become a relative phase on the control — where a Hadamard at the end can read it out. Without the global-becomes-relative distinction, none of this works.

Worked example 2 — phase kickback through controlled-Z on |+⟩|+⟩

To see the global-becomes-relative principle in action, compute the action of a controlled-Z gate on the two-qubit state |+\rangle|+\rangle.

Example 2: Controlled-Z on $|+\rangle|+\rangle$ — phase kickback in miniature

The controlled-Z gate fires Z on the target if the control is |1\rangle. Its action on the four computational-basis states:

CZ|00\rangle = |00\rangle, \quad CZ|01\rangle = |01\rangle, \quad CZ|10\rangle = |10\rangle, \quad CZ|11\rangle = -|11\rangle.

Step 1. Expand |+\rangle|+\rangle in the computational basis.

|+\rangle|+\rangle = \tfrac{1}{2}(|0\rangle + |1\rangle)(|0\rangle + |1\rangle) = \tfrac{1}{2}(|00\rangle + |01\rangle + |10\rangle + |11\rangle).

Why: |+\rangle = (|0\rangle + |1\rangle)/\sqrt{2}, so the tensor product distributes over both factors, giving four equal-amplitude terms.

Step 2. Apply CZ term by term.

CZ|+\rangle|+\rangle = \tfrac{1}{2}(|00\rangle + |01\rangle + |10\rangle - |11\rangle).

Why: the only change is on the |11\rangle term, which picks up a minus sign. This minus sign is a "global phase on the target" (Z contributes -1 to |1\rangle) — but only on the branch where the control is also |1\rangle. That is what makes it into a relative phase.

Step 3. Regroup to see the effect on the control qubit.

\tfrac{1}{2}(|00\rangle + |01\rangle + |10\rangle - |11\rangle) = \tfrac{1}{2}|0\rangle(|0\rangle + |1\rangle) + \tfrac{1}{2}|1\rangle(|0\rangle - |1\rangle) = \tfrac{1}{\sqrt{2}}|0\rangle|+\rangle_t + \tfrac{1}{\sqrt{2}}|1\rangle|-\rangle_t.

Wait — regrouping differently to emphasise the control's story, let's group by target state and see what the control is doing. Separate out the pieces where the target came back as |+\rangle vs |-\rangle:

CZ|+\rangle|+\rangle = \tfrac{1}{\sqrt{2}}|0\rangle|+\rangle_t + \tfrac{1}{\sqrt{2}}|1\rangle|-\rangle_t.

Why this form matters: the control qubit is now entangled with the target. When the control is |0\rangle the target is |+\rangle, and when the control is |1\rangle the target is |-\rangle. The information about whether the "phase flip" fired is stored in a correlation between the two qubits.

Step 4. Now do a truly instructive version. Start with |+\rangle|-\rangle instead, since |-\rangle is an eigenstate of Z with eigenvalue -1.

|+\rangle|-\rangle = \tfrac{1}{\sqrt{2}}(|0\rangle + |1\rangle)|-\rangle.

Apply CZ: when control is |0\rangle, nothing happens; when control is |1\rangle, Z fires on |-\rangle, giving -|-\rangle.

CZ|+\rangle|-\rangle = \tfrac{1}{\sqrt{2}}(|0\rangle|-\rangle - |1\rangle|-\rangle) = \tfrac{1}{\sqrt{2}}(|0\rangle - |1\rangle) \otimes |-\rangle = |-\rangle|-\rangle.

Why this is the money shot: the "-1" that Z introduces on |-\rangle is, in isolation, a global phase on the target — it's Z|-\rangle = -|-\rangle, which means "the same state scaled by e^{i\pi}," a global phase that is invisible when |-\rangle is alone. But through the controlled gate, that global phase has now been kicked back onto the control qubit, flipping |+\rangle \to |-\rangle on the control. The phase was "global" on the target but became "relative" on the control.

Result. CZ|+\rangle|-\rangle = |-\rangle|-\rangle. The control qubit flipped from |+\rangle to |-\rangle, even though no gate "acted on" the control in the usual sense.

Phase kickback through controlled-ZA two-wire circuit diagram. The top wire starts as |+⟩ (the control); the bottom wire starts as |−⟩ (the target, an eigenstate of Z with eigenvalue -1). A controlled-Z gate is drawn between them: a filled dot on the control wire, a box labelled Z on the target wire, connected by a vertical line. After the CZ, the top wire exits as |−⟩ and the bottom wire exits as |−⟩, with an annotation pointing out that the phase was kicked back.Z|+⟩|−⟩|−⟩|−⟩flipped!unchangedcontroltarget (eigenstate of Z)A "global phase" of $-1$ on the targetbecame a "relative phase" on the control
Phase kickback. The $Z$ gate sees $|-\rangle$ as an eigenvector with eigenvalue $-1$ — a global phase on the target. But that global phase is attached only to the $|1\rangle$ branch of the control, so it becomes a relative phase of the control's own superposition, flipping $|+\rangle$ to $|-\rangle$.

What this shows. This is the engine of the Deutsch and Deutsch-Jozsa algorithms — and, more abstractly, of quantum phase estimation. A controlled gate whose target is an eigenstate of U doesn't change the target; instead, it kicks the eigenvalue of U onto the control as a relative phase, where a Hadamard can interfere with it.

Common confusions

This is the section that exists because this is the most error-prone topic in all of quantum computing. Read it slowly.

Going deeper

If you are here to know the working rule — global phase is invisible, relative phase is visible, and global-becomes-relative inside controlled gates — you have it. The rest of this section goes deeper: the projective Hilbert space as the proper mathematical home of quantum states, the Berry / geometric phase as a real-but-subtle consequence of global-phase ambiguity, the formal statement and proof sketch of phase kickback in arbitrary unitaries, and why Pauli Z is a "cheap" gate in fault-tolerant architectures.

Projective Hilbert space — the proper home of quantum states

In a linear-algebra course you learn that the state of a qubit is a unit vector in \mathbb{C}^2 — the 2-dimensional complex vector space. Strictly speaking, this is wrong. The state of a qubit is a ray in \mathbb{C}^2 — an equivalence class of unit vectors under the relation "|\psi\rangle \sim |\psi'\rangle iff |\psi'\rangle = e^{i\varphi}|\psi\rangle for some real \varphi."

The set of rays is called the projective Hilbert space, written \mathbb{CP}^1 for a single qubit. For a qubit, \mathbb{CP}^1 is the Riemann sphere, which is topologically equivalent to the Bloch sphere. For n qubits, the projective Hilbert space is \mathbb{CP}^{2^n - 1}, a (2^{n+1} - 2)-real-dimensional complex manifold.

Why bother with this abstraction? Because it makes the global-phase-is-invisible rule automatic. You don't have to keep remembering to quotient out; the quotient is baked into the state space. And for multi-qubit systems, the projective structure is essential for correctly defining when two states are "the same" and when two circuits compute "the same" unitary up to irrelevant phase.

One physical consequence: a quantum state is not a vector but an equivalence class, so the "phase" of a state is genuinely not a physical quantity. Only differences of phases (relative phases between components of a superposition, or phases acquired over paths through parameter space) are physical.

The Berry phase — global phase that isn't quite global

Here is a subtlety: sometimes you can pick up a global phase that, despite being global, has physical consequences.

If you slowly vary the parameters of a quantum system — say, a magnetic field rotating slowly around a spin — the state adiabatically tracks an instantaneous eigenstate. At the end of a loop in parameter space (the magnetic field returns to its original orientation), the state picks up a phase. Part of it is the expected dynamical phase e^{-iEt/\hbar}. But there is an extra piece called the Berry phase (or geometric phase) that depends on the geometry of the loop in parameter space, not on how fast you traversed it.

This extra phase is mathematically a global phase — it multiplies the state that comes back from the loop. In isolation, it would be invisible. But if you split a wave packet into two paths, take one path around the loop and the other not, and then recombine, the Berry phase between the two paths becomes a relative phase, and it interferes observably. Berry-phase interference has been directly measured in neutron interferometry and in atom-optics experiments.

Berry's key insight (1984): global phase becomes observable in a topological sense — it tracks the topology of loops in the parameter space of the Hamiltonian. It is the quantum-mechanical analog of parallel transport in differential geometry, and it appears in the integer quantum Hall effect, topological insulators, and holonomic quantum computation.

The Berry phase is the cleanest example of the principle at the heart of this chapter: a quantity that looks like a global phase in one setting becomes a relative phase in another, and the apparently "unphysical" becomes physical through context.

Phase kickback — the formal statement

Let U be a unitary with an eigenstate |u\rangle and eigenvalue e^{i\lambda}:

U|u\rangle = e^{i\lambda}|u\rangle.

Build a controlled-U gate with a control qubit in the state |+\rangle = \tfrac{1}{\sqrt{2}}(|0\rangle + |1\rangle) and a target in |u\rangle. Apply it:

\text{CU} \big(|+\rangle \otimes |u\rangle\big) \;=\; \tfrac{1}{\sqrt{2}}(|0\rangle \otimes |u\rangle + |1\rangle \otimes U|u\rangle) \;=\; \tfrac{1}{\sqrt{2}}(|0\rangle \otimes |u\rangle + e^{i\lambda}|1\rangle \otimes |u\rangle).

Factor out |u\rangle:

= \tfrac{1}{\sqrt{2}}(|0\rangle + e^{i\lambda}|1\rangle) \otimes |u\rangle.

The eigenvalue e^{i\lambda}, which was a global phase on the target |u\rangle in isolation (since U|u\rangle = e^{i\lambda}|u\rangle and |u\rangle and e^{i\lambda}|u\rangle are the same state), has been kicked onto the control, where it sits as a relative phase between the |0\rangle and |1\rangle components.

This is the central technique of quantum phase estimation: stack many controlled-U gates with different powers of U, each kicking its own power of e^{i\lambda} onto a different control qubit, then inverse-Fourier-transform the controls to read out \lambda in binary. Shor's factoring algorithm uses this exact structure — the "eigenvalue" there is the phase of a modular multiplication — and Grover's amplitude amplification has its own controlled-U moment.

Without the global-to-relative transition, phase estimation simply would not work: the information about the eigenvalue would be trapped in a physically unmeasurable global phase of the target, and no sequence of measurements could extract it.

Fault-tolerance and the cheapness of Z

In fault-tolerant quantum architectures (based on topological codes like the surface code), different gates have vastly different costs. The general trade-off:

Where does phase fit in? Pauli Z is a Clifford gate — on the surface code it is transversal and essentially free. More remarkably, on many physical hardware platforms (including superconducting qubits, as mentioned in the previous chapter), the Z gate is implemented "virtually" by updating the phase of all subsequent pulses. No physical operation happens; a classical computer just remembers that the qubit is now -|1\rangle instead of |1\rangle.

This is possible precisely because the -1 on |1\rangle is a global phase when acting on a single basis state. The hardware doesn't need to physically flip the sign — it just needs to track the flip in software, and compensate when the next gate needs to interact with the qubit. By the time the qubit enters a superposition or a controlled gate, the tracked phase is cashed out as an actual relative phase in the circuit.

This is a beautiful piece of engineering: a gate that is "invisible" when it acts alone costs nothing to apply, and only costs something when it creates a physically observable relative phase. The compiler hides the cost inside the gates that actually see the difference.

The Raman effect — where relative phase encodes physics

One beautiful Indian example of phase carrying real physical information: the Raman effect, discovered by C. V. Raman in 1928 (Nobel Prize, 1930).

When a monochromatic light beam scatters off a molecule, most photons come out at the same frequency (elastic scattering). But a small fraction come out at a slightly different frequency, shifted by the vibrational energy of the molecule. This is the Raman scattering.

The crucial point for this chapter: the information about the molecular vibration is encoded in a relative phase between the incoming and outgoing photons. Specifically, the outgoing photon's wave function picks up a phase that depends on the instantaneous vibrational coordinate of the molecule; averaging over the molecular state gives an intensity spectrum with peaks at the shifted frequency. Without the relative-phase machinery, the Raman effect could not exist.

Modern Raman spectroscopy, widely used in Indian pharma for molecular fingerprinting and in astrophysics for exoplanet atmosphere analysis, is fundamentally a quantum-mechanical relative-phase measurement. Raman himself did not have the modern language of "relative phase," but the phenomenon he observed is exactly what happens when a quantum system's global phase gets lifted into a relative phase via interaction — the same principle that underpins quantum phase estimation.

Where this leads next

References

  1. Wikipedia, Quantum state — includes discussion of the equivalence of rays and the role of global phase.
  2. John Preskill, Lecture Notes on Quantum Computation, Ch. 2 (Foundations) — theory.caltech.edu/~preskill/ph229.
  3. Nielsen and Chuang, Quantum Computation and Quantum Information, §1.2 and §2.2 (states, density operators, and the physical equivalence relation) — Cambridge University Press.
  4. Qiskit Documentation, Global phase of a circuit — the practical software interface for tracking global phase in compiled circuits.
  5. Wikipedia, Phase kickback — where phase estimation and phase kickback are explained together.
  6. Wikipedia, Berry phase / Geometric phase — the topologically-nontrivial case of a "global" phase that becomes observable.