Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ii/paper-2/15e/b/solution

The state entering the controlled swap has lower-register states
and . The swap test therefore gives

New to topics? Read the docs here!