Each Controlled-Z gate from v to a neighbour acts as Zur after projecting v onto ∣r⟩; all other edges remain unchanged. The projection contributes 1/2, so either result has probability1/2. For a four-cycle, deleting one vertex leaves a path and adds byproducts on its two endpoints.
Any known Pauli Z gateframes on other vertices remain as additional factors before those vertices' input states. The identity J(α)Zr=XrJ(α) combines the leaf byproduct with the measurement result.
For n≥2, apply a Hadamard gate to one qubit, then controlled-NOTs from it to all others. Replacing each controlled-NOT gate by a target Hadamard, a Controlled-Z gate, and another target Hadamard uses 1+3(n−1) allowed gates. Each one-qubit reduced state is I/2, proving entanglement across each qubit-versus-rest bipartition.
Two angle-zero one-bit teleportations with outcomes p,q implement XqHXpH=XqZp on an arbitrary input, up to global phase. A Controlled-Z gate with a fixed ∣1⟩quantum ancilla implements Z, so Zp removes the known Z factor. The result is Xqup to phase. With probabilityone half the desired Pauli X gate is applied; otherwise the input is unchanged. Repeating until q=1 gives an exact heralded correction with two attempts on average and almost-sure termination. It has no finite worst-case measurement count. A Pauli frame avoids this repeat-until-success procedure when only logical action or classical output statistics are required.
Each branch has probability1/2, independently of the input. The logical output is J(α)∣ψ⟩ with known Pauli frameXs; the input qubit has been measured, so this does not clone it.
The control-zero block remains the identity, and the control-one block becomes HZH=X, proving the identity with the stated control convention. We have therefore constructed each gate in the assumed universal quantum gate set{CNOT,H,T} using only CZ,Q,H.
Replacing every gate of a circuit by its displayed finite construction reproduces that circuit exactly. Thus {CZ,Q,H} is universal under the usual arbitrary-accuracy convention: it can perform every approximation obtainable from the given universal set. The claim concerns approximation of arbitrary unitary operators; it does not assert that finitely many circuits exactly represent an uncountable continuum of gates. This is universality transfer by exact gate synthesis.
A universal quantum gate set can implement any unitary operator on any finite number of qubits, exactly when arbitrary continuous gate parameters are allowed, or to arbitrary accuracy with a suitable finite gate alphabet. More precisely, for every target V and ϵ>0 there is a finite quantum circuitW with minγ∥W−eiγV∥<ϵ in operator norm. This ignores only an overall global phase of the complete operation. Universality lets a fixed collection of controllable elementary operations run arbitrary quantum algorithms rather than requiring a different physical interaction for each algorithm.
This is an exact operator identity, including its global phase, and applies to arbitrary inputs. One can also check it directly from the orthogonal projectorsPb=∣b⟩⟨b∣: conjugating C1→2=P0⊗I+P1⊗X by H⊗H gives
These are the simplified quantum circuits in the figure: for a=00 there are no gates; for a=01 there is Cy→2; for a=10 there is Cy→1; and for a=11 there are both. The ancilla qubit becomes their common control. On every computational-basis state, the entire simplified circuit acts as
Starting the data qubits at ∣00⟩, the prescribed computational basis preparation of the ancilla qubit must therefore be ∣1⟩: it activates the required flips and gives ∣a⟩∣1⟩. Starting it at ∣0⟩ instead gives ∣00⟩∣0⟩ for every a, so no information is obtained.
In principle, a nonlinear interaction producing eiπn1Vn2V supplies a deterministic Controlled-Z gate: only the joint VV component acquires a minus sign. A strongly coupled matter mediator can also provide the required conditional interaction. At optical single-photon energies the direct nonlinear interaction is weak; loss, unwanted noise and maintaining indistinguishable spatial and temporal modes make ahigh-fidelity deterministic gate difficult. Passive linear optics by itself does not supply this deterministic entangling interaction; measurement-based optical gates introduce additional resources and success conditions.
For the printed circuit, the first three H gates create ∣+⟩⊗3. The two controlled-Z operations from the firstqubit to the others give
In each sum the four sign triples are (+,+,−),(+,−,+),(−,+,+),(−,−,−). They have equal probabilities 1/4. Thus two Y outcomes determine the X outcome with certainty: their product times the X outcome is −1.
The four allowed triples are (+,+,+),(+,−,−),(−,+,−),(−,−,+), so the XXX outcome product is +1.
The GHZ theorem follows without a statistical inequality. If local predetermined values Xi,Yi∈{±1} reproduced the three mixed-basiscorrelations, multiplying them would give
These controls supply a universal gate set on a finite addressable connected register, but conventional liquid-state molecular NMR is not an architecture that scales straightforwardly to arbitrary register size. A finite chemical-shift bandwidth causes spectral crowding as more spins and coupling-split transitions are added; increasingly selective pulses become slow relative to coherence times, and complicated couplingnetworks require extensive refocusing. The exponentially small pseudo-pure-statesignal further limits the complete ensemble scheme. Formal unitary universality therefore does not establish scalable physical addressability, gate speed or initialization.
Track the −i factors only when the corresponding transition is addressed. They are common within the addressed two-state subspace, but become physically relevant relative phases between computational basis states. Using a semicolon to separate the shared motional number state, the complete paths are
The middle arrow comprises both Ypulses. In the last row those individual steps are −i∣ge;1⟩→−∣gf;0⟩→+i∣ge;1⟩. The two Xpulses contribute (−i)2=−1 for either initially excited control; the Ypair supplies asecond minus sign only when the secondion is also excited.
Here ∣−⟩=(∣0⟩−∣1⟩)/2. Since X∣−⟩=−∣−⟩, phase kickback gives Uf(∣x⟩∣−⟩)=(−1)f(x)∣x⟩∣−⟩. The third qubit remains separable and unchanged. A direct marked-state phase oracleOf∣x⟩=(−1)f(x)∣x⟩ therefore replaces the three-qubit query using only two qubits: