Past exam of the computer science course of the University of Oxford / 2020 / Quantum information / 1 / f / i / Solution

The controlled-NOT gate is its own inverse, so ${\mathrm{CNOT}}^2=I$. Every remaining nontrivial gate acts on one wire. By the tensor product rule, any circuit on a product input stays a product state; in particular, starting at $|00⟩$ it cannot produce a Bell state.

This also prevents arbitrary approximation, not merely exact preparation. For normalized single-qubit vectors $|u⟩,|v⟩$,by the Cauchy-Schwarz inequality. Hence the quantum fidelity with $|{\Phi }^{+}⟩$ is bounded away from one for every reachable state. This gate set is not universal. The obstruction is preservation of product states, a special case of the existing product-state obstruction to SWAP universality.