Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/ii/paper-3/15d/d/solution

Let on the input register and let on the target register. Both are fixed unitary operators independent of . Conjugating the query by the input shift gives
because the intermediate query is made at . Conjugating by target negation gives
since . Each construction uses exactly once.

New to topics? Read the docs here!