Solution

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

Because ,
which is the reflection operator in the line spanned by . Meanwhile changes the sign of every good basis state and fixes every bad basis state; on
it is the reflection in the axis. Both reflections preserve , so their product does too.
Write
In Euclidean geometry, the composition of reflections in two lines through the origin has a rotation matrix through twice the oriented angle between the lines. Hence rotates the good-bad plane by from toward . In particular, the Grover rotation angle formula is

New to topics? Read the docs here!