Solution

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

For the first output qubit,
A Clifford circuit maps the Pauli observable under conjugation to a tensor-product Pauli operator , found by propagating it backward through the circuit in polynomial time. Since the input is a product state,
Each factor is efficiently computable, so both one-bit output probabilities are strongly simulatable. This is Heisenberg propagation of a Pauli observable through a Clifford circuit.

New to topics? Read the docs here!