= Solution
The claimed universality is false for the particular gate specified in part (d). Every allowed single-<qubit> gate is local, and $C_{\mathrm{phase}}=-Z\otimes Z$ is local too. Products of these gates remain of the form $e^{i\chi}A\otimes B$. They preserve all <product states> and cannot, for example, implement the <CNOT gate> that sends $|+\rangle\otimes|0\rangle$ to $(|00\rangle+|11\rangle)/\sqrt2$. Equivalently, its <diagonal two-qubit phase entanglement criterion> gives the alternating phase $\pi-0-0+\pi=0$ modulo $2\pi$. \b[No construction with only the printed phase gate and local rotations implements arbitrary two-qubit gates].
The intended universality argument works after replacing that local gate by an entangling controlled phase. The same tunable <Ising coupling> supplies
$$
V=e^{-i\pi Z\otimes Z/4},\qquad
\mathrm{CZ}=e^{-i\pi/4}\{R_z(-\pi/2)\otimes R_z(-\pi/2)\}V=\operatorname{diag}(1,1,1,-1).
$$
Thus this quarter-area Ising pulse, with local corrections, realizes the <Controlled-Z gate>. Conjugating it by the <Hadamard gate> on the second qubit gives $\mathrm{CNOT}=(I\otimes H)\mathrm{CZ}(I\otimes H)$, with harmless scalar phases if the Hadamards are implemented using traceless control Hamiltonians.
The <Cartan decomposition of a two-qubit gate> writes a target as
$$
U=e^{i\chi}(A_1\otimes A_2)e^{-i(c_xX\otimes X+c_yY\otimes Y+c_zZ\otimes Z)}(B_1\otimes B_2),
$$
with local $SU(2)$ factors. The three central Pauli-product operators commute, so their exponential is a product of three variable interaction gates. From two fixed <CNOT gates> and a variable local <rotation about the z-axis>,
$$
\mathrm{CNOT}\{I\otimes R_z(2c)\}\mathrm{CNOT}=e^{-icZ\otimes Z},
$$
because $\mathrm{CNOT}(I\otimes Z)\mathrm{CNOT}=Z\otimes Z$. Conjugating this interaction by $R_y(\pi/2)$ on both qubits yields $e^{-icX\otimes X}$; conjugating by $R_x(-\pi/2)$ on both yields $e^{-icY\otimes Y}$. Part (c) implements all outer local factors. This gives the full requested Cartan construction with an entangling phase gate, and pinpoints the defect in the printed version. Exact arbitrary scalar phase requires an identity Hamiltonian term; the physical gate construction is up to <global phase>.
Back to article page
