A phase gate three-row scan applies S, Z, and H to the same balanced plus-x state and compares the z-basis populations afterward. The S and Z rows both leave the populations at one half and one half, changing only the phase between branches; the H row genuinely redistributes population to probability one and zero exactly for the stated toy gate rules; real gate operations have finite fidelity, leakage to other states, and calibration drift.

Three gates act on the same balanced input; only one of them genuinely redistributes the z-basis populations. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

A phase gate can leave the direct populations fixed

The S gate applied to the plus-x state keeps the z-basis populations balanced at one half each, exactly as before the gate. Only the phase between the branches changed.

P↑=12,P↓=12P_{\uparrow}=\frac{1}{2},\quad P_{\downarrow}=\frac{1}{2}
S gate on plus-xThe S gate output keeps balanced z populations.state1/sqrt(2) zero1/sqrt(2) onestate1/sqrt(2) zero1/sqrt(2)i oneSgate

Three gates on the same input separate phase from population

S and Z only ever touch phase in this model: both leave the z-basis populations balanced. H is not a phase gate here; it genuinely moves population, collapsing the balanced input onto one definite branch.

gateP↑P↓S1212Z1212H10\begin{array}{c|c|c}\text{gate}&P_{\uparrow}&P_{\downarrow}\\S&\frac{1}{2}&\frac{1}{2}\\Z&\frac{1}{2}&\frac{1}{2}\\H&1&0\\\end{array}
Z gate on plus-xThe Z gate is the second phase-only row.state1/sqrt(2) zero1/sqrt(2) onestate1/sqrt(2) zero-1/sqrt(2) oneZgate

H genuinely redistributes population, not just phase

The H gate output is the definite up branch: probability one up, probability zero down. This is the one row in the scan where the population itself changed, not only the phase between branches.

P↑=1,P↓=0P_{\uparrow}=1,\quad P_{\downarrow}=0
H gate on plus-xThe H gate row is rendered as the population-moving case.state1/sqrt(2) zero1/sqrt(2) onestate1 zero0 oneHgate