Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-324/3/ii/solution

The computational-basis projectors on the first qubit are
The Pauli Z gate acts as on the first subspace and on the second, so . By the Born rule, . Therefore the expectation determines the output probabilities:
The normalization supplies ; no product-state assumption is needed for this identity.

New to topics? Read the docs here!