Since is a bounded operator, its exponential power series converges in operator norm. The identity gives and . Separating the even and odd powers therefore givesThe algebraic identity does not require to be Hermitian. Hermiticity is additionally needed for this exponential to be a unitary operator for real .
A general single-qubit quantum gate belongs to . Remove its global phase to obtain ; the displayed expression in the question is literally a special-unitary gate and represents a general physical gate up to that phase. Every can be writtenand consequentlyChoose with and , and set when . The Pauli matrix multiplication law shows . Applying part (a) provesFor , and any axis can be used with angle zero or . Thus the phase-free gate is a rotation gate by angle about the unit axis . An arbitrary exact operator also needs the scalar phase , which cannot in general be produced by a traceless Quantum Hamiltonian.
With , a pulse of the field realizes when . Similarly the field realizes with area . These are instances of the quantum pulse area rule. A rotation about the z-axis can be synthesized from the two available axes:because .
For a target , one convenient construction isTake and choose , when both entries are nonzero; if an entry vanishes its phase constraint can be omitted. Substitute the three-pulse construction for each rotation. Apply the factors from right to left in time. Pulses along the available axes therefore implement every single-qubit gate up to global phase. Negative angles use negative field area, or an equivalent full-period rotation.
Write , , . The specified diagonal two-qubit gate has the exact factorizationThus one exact implementation is to set the controllable Ising coupling to zero and perform the two local rotations about the z-axis, synthesized from the available pulses as in part (c). Alternatively, turn off the local fields and choose the interaction area . Thenwhich implements the same physical gate up to global phase. The printed gate is local, not entangling; the pulse construction does not change that fact.
The claimed universality is false for the particular gate specified in part (d). Every allowed single-qubit gate is local, and is local too. Products of these gates remain of the form . They preserve all product states and cannot, for example, implement the CNOT gate that sends to . Equivalently, its diagonal two-qubit phase entanglement criterion gives the alternating phase modulo . 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 suppliesThus this quarter-area Ising pulse, with local corrections, realizes the Controlled-Z gate. Conjugating it by the Hadamard gate on the second qubit gives , with harmless scalar phases if the Hadamards are implemented using traceless control Hamiltonians.
The Cartan decomposition of a two-qubit gate writes a target aswith local 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,because . Conjugating this interaction by on both qubits yields ; conjugating by on both yields . 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.
An always-on Ising coupling produces evolution during every nominally local pulse, and generally does not commute with the applied Quantum Hamiltonians. A naive product of single-qubit rotations therefore accumulates unwanted conditional phases and can entangle the qubits. Idling is also no longer an identity operation.
For a pulse of duration , neglecting the coupling requires in units , or in ordinary units. For order-one rotation angles, this is the strong-local-drive regime . Large drive amplitude alone does not justify neglect over a long total sequence: the accumulated interaction time or an appropriate error bound must also be small.
If it cannot be neglected, include it in the quantum optimal control model, or refocus it. A pulse obeys , giving the ideal Ising spin echoThis cancellation assumes the refocusing pulses are instantaneous relative to , or that the coupling during finite pulses is compensated. It explains how fast local controls can suppress the fixed coupling without mistaking it for a controllable zero interaction.
Articles by others on the same topic
There are currently no matching articles.