Solution

ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2022/quantum-information/3/d/iii/solution

Construct an economical two-state quantum cloner by moving both actual outputs slightly toward one another relative to the two desired copies. Set and . Their overlap is , so their sum and difference yield the orthonormal vectors
The desired outputs have the symmetric expressions
Choose the actual outputs to be
They are normalized and satisfy
Consequently the prescription , preserves the Gram matrix of the two inputs and defines a linear isometry on their span. The unitary extension of a finite-dimensional isometry gives a unitary operator on the same four-dimensional, two-qubit Hilbert space; no extra workspace is required.
For an explicit full-space construction, define , and the orthonormal basis
Choose two further orthonormal vectors perpendicular to ,
Then
maps one orthonormal basis to another and is therefore unitary. Since and , it has exactly the required two outputs.
Finally,
Both inputs therefore have the same global cloning fidelity, and so does their average:
This proves the requested existence with a two-qubit unitary gate.

New to topics? Read the docs here!