Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ii/paper-1/10d/b/solution

Run the perfect discriminator on the supplied state and record whether the result is or . For each , choose a unitary satisfying
which is possible by extending to an orthonormal basis. Prepare two fresh systems in and, controlled by the classical outcome , apply . The output is
The discriminator may destroy its input; the two freshly prepared outputs still implement cloning on this known pair. This is the construction that perfect discrimination implies cloning for a known state family.

New to topics? Read the docs here!