Solution

ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2019/quantum-information/3/b/ii/solution

Squaring the diagonal gate gives
Thus the T gate is available up to a global phase. Reading the supplied W columns in order , it sends to , to , and fixes the other two vectors: it is CNOT with the second wire controlling the first. Conjugating both wires by the Hadamard gate reverses that orientation:
For instance, write . Conjugation uses and , , yielding . Expanding the first-wire Z eigenspaces gives , as required.
We have H directly and finite constructions of CNOT and T up to physically irrelevant global phase. By universality transfer by exact gate synthesis, the assumed universality of proves that is universal under the phase-insensitive convention. There is no assertion of arbitrary strict operator-norm phases: on a fixed register these generators have only a finite set of possible determinants, which would obstruct density in the entire unitary group if global phase were treated as an observable target.

New to topics? Read the docs here!