Solution

ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2021/quantum-information/1/c/iii/solution

Charlie cannot send a bit to Alice with the stated preparation, fixed interaction and final local measurements. Write and , so the complete gate is with the rightmost gate acting first. Alice has finished interacting before the gate involving Charlie acts.
For arbitrary product input density matrices, put . The final reduced density matrix of Alice is
The equality follows because a unitary operator on the traced-out systems leaves the partial trace unchanged. The right-hand side is independent of Charlie's preparation. Therefore every outcome probability of every local measurement by Alice is independent of Charlie's message. Quantum no-signalling applies after Alice's last interaction, even though phase kickback can allow communication between the two qubits of an individual CNOT gate.

New to topics? Read the docs here!