Solution

ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2020/quantum-information/3/b/ii/solution

Summing part (i) over the unmarked indices gives . The Grover diffusion operator therefore acts as
This is an identity for an unnormalized subset sum; it does not require replacing its norm by one.

New to topics? Read the docs here!