A two-qubit unitary gate can approximately clone the known pair with global cloning fidelity for each input, using no additional workspace. To construct it, put , , and . The vectors are orthonormal, and have coefficients in that basis. Choose output vectors with coefficients . Their inner product is , exactly the overlap of the inputs . Their linear matching therefore defines a linear isometry on the input span and extends to a two-qubit unitary operator by unitary extension of a finite-dimensional isometry. Each output's overlap with its ideal copy is , proving the stated squared quantum fidelity.
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.
For input , the controlled-NOT gate fixes , which is the ideal two-copy pure state. Thus its global cloning fidelity is . For input , the actual output is the Bell state , whereas the desired output is . Their overlap is
With the given equal input probabilities,
These values use the specified squared quantum fidelity for the full output, rather than a one-copy marginal fidelity.