The desired output is . To evaluate its squared quantum fidelity, write the input Bloch vector as , with , and . The desired vector after the Hadamard is . From part (a), the actual vector is
For this simplifies to . The pure state overlap is one half of one plus the dot product with the desired unit vector, so
Since , . Therefore the infidelity is uniformly bounded by , and the entanglement effect on the implemented gate is negligible for large , uniformly over all initial pure states. The shifted field packets then have overlaps tending to one, so they retain negligible information about the qubit transitions. A large fixed photon number without this broad number coherence would not suffice.
The printed overlap silently requires . If the allowed packet has , the exact result instead is
For instance, and give actual overlap , whereas substituting into the printed expression gives . This boundary correction follows directly from the two-shift overlap above.
Use the rotation-invariant distribution over pure initial states, namely the uniform pure-qubit average with area element . Reflection symmetry gives , and rotational symmetry together with gives . Averaging the squared quantum fidelity from part (b) therefore yields
If the single-number packet is included, its corrected average is
Uniform polar angle without the sine weight would not be the Haar-uniform average over all pure qubit states.
For a pure qubit , the Bloch vector is . Substitution gives
Both lie on the unit Bloch sphere, at the same azimuth and opposite heights. They are reflections across its equatorial plane, not antipodal vectors. Choose and , so their coordinates are . The following original sketch shows those vectors and their common meridian:
Figure 1.
Bloch vectors at theta pi/3 and azimuth pi/4, reflected across the equatorial plane
. Details.
The target states here are qubit states, as appropriate to sharing singlet states of two qubits. Write and choose . These form an orthonormal basis, and the shared Bell state can be expressed as
Alice knows the classical description of , so she can perform the projective measurement in this basis. The outcome has probability and leaves Bob in , up to an irrelevant overall phase. Alice sends a success bit: one for this outcome and zero for the other. Bob keeps his qubit only on success. This proves heralded remote preparation of an arbitrary qubit:
The other outcome leaves at Bob's side; the protocol makes no claim of success in that branch.
For a block of targets, share independent singlet states. Alice measures her th qubit in the basis . She sends one bit indicating whether all outcomes were of the successful kind. Because the pairs are independent, all-success has probability ; conditioned on it, Bob's joint state is precisely . Thus one-bit heralding of a remote state preparation block gives
On failure Bob discards the block, so he does not need a list of which component states failed.
For asymptotic remote state preparation by block indexing, prelabel a supply of independent candidate blocks, each containing singlet states. Alice measures blocks until she finds the first all-success block, of index . She does not send a flag after each trial. Since is the success probability of each block,
This geometric distribution is independent of the target states. The probability of never succeeding is . Alice needs to communicate only ; Bob retrieves the labelled qubits in that block, and thereby knows that every requested state was prepared exactly.
Here is an explicit prefix code for a rare geometric success. Set and divide , where . Encode as ones followed by zero, then encode in exactly bits. Bob can decode this without knowing any target-state description. The message length is . With ,
Since ,
This version succeeds exactly with probability one and has the stated expected classical communication cost. It consumes singlet states on average, compatible with the unlimited entanglement assumption.
There is also a fixed-message-length version. Try at most candidate blocks and send the first successful index, or a zero codeword reporting that none succeeded. Encoding the possibilities uses bits. Its failure probability is
Thus fixed-length communication approaches one bit per state with success probability tending to one; variable-length communication achieves exact eventual success with expected cost approaching one bit per state. Before the index arrives, Bob's unconditional state remains independent of the target descriptions, in agreement with the no-signalling theorem.
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 written
and consequently
Choose with and , and set when . The Pauli matrix multiplication law shows . Applying part (a) proves
For , 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.
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 supplies
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 , 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
with 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 echo
This 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.
Write and abbreviate the Dicke states by . Alice's shared resource has decomposition
Follow the actual circuit order: a controlled-NOT gate from the input to , a Hadamard gate on the input and a Pauli X gate on , followed by computational basis measurements. Just before measurement, the joint vector is
The Dicke states in each branch are orthogonal, so each branch has squared norm . Conditioning on outcome and normalizing therefore gives the state of the other parties:
This is the encoding used in Dicke-resource telecloning. The extra Pauli X gate on Alice's resource qubit is essential to the displayed ordering of the amplitudes.
The state in part (b) is symmetric in the receiving qubits. Single out Bob using the Dicke state recursion. For , the two vectors are
Distinct excitation counts give orthogonal states of the other recipients. Taking their partial trace, the only surviving off-diagonal term comes from the common rest vector . The one-qubit reduction of Dicke-state superpositions is consequently
Put and , so . The overlap with the input is
For there is no system to trace out, and the same matrix is , with overlap one. For every the overlap is below one, even at its maximum , so these are imperfect copies.
Initialize the register in
This can be prepared by Pauli X gates on the one-bits of , starting from , followed by Hadamard gates on all qubits. Alternatively, prepare the original uniform state and apply Pauli Z gates at those same bit positions. The conjugation calculation gives
The final diagonal sign operator changes no computational basis outcome probabilities. Thus the success probability and the iteration count in part (b) are unchanged. No final correction is needed when the objective is to measure a marked string.
Define orthonormal symmetric vectors
The symmetric-arm reduction of an exchange Hamiltonian here has two arms. To verify it directly, the link between radial distances and has strength on either side, while the two central links have strength . The calculation of part (a) therefore gives
In particular this subspace is invariant and contains the initial vector. Define the linear isometry . The displayed matrix entries prove , or . Induction gives for every nonnegative integer ; hence the convergent exponential series proves . This establishes the mapping for the entire evolution, rather than just its first two powers. The supplied endpoint transfer also forces every to be nonzero, since a broken link would disconnect the two endpoints. Successive powers applied to then generate all , so this is exactly the cyclic subspace governing the initial state.
Using the stated perfect quantum state transfer identity at time ,
The two terms have the excitation at sites and , respectively, and all intermediate qubits are zero in both terms. The full state thus factors into a Bell state at the endpoints and the vacuum on the interior. Its partial trace is
The coherent cross terms survive the trace because the interior vectors coincide. We have used the transfer phase convention supplied in the question; a common transfer phase would leave this density operator unchanged.
Replace the two arms by three identical arms of length attached to one central qubit. Label the hub and the sites on arm by , , . Use XY exchange interactions with coupling on each hub-to-first-site link, and coupling on each arm link to . Initially excite only the hub: this is the product state with every arm qubit in .
In the symmetric single-excitation subspace, define and . The hub coupling is
and the reverse coupling has the same coefficient. All other radial links have coefficients , just as in part (c). Thus the symmetric-arm reduction of an exchange Hamiltonian is again exactly . At time its evolution is
Every nontip qubit is zero, so tracing them out leaves the three tips in the pure W state
The essential change is the additional identical arm and the normalization of each hub coupling by instead of .
Label the control qubits by binary weight: the bit contributes to . For each , use that qubit as the control of the supplied controlled-, with the same target eigenstate . The controlled unitary gate acts by
since . The target remains unchanged after every application. Multiplying these factors gives
The ordering of the tensor factors is chosen to match the binary place values. Discarding the unchanged target leaves the required phase register. This uses quantum phase kickback in the phase accumulation step of quantum phase estimation.