Paper 3 , Section I, D

Quantum Information and Computation
Part II, 2021

Let ψAB|\psi\rangle_{A B} be the joint state of a bipartite system ABA B with subsystems AA and BB separated in space. Suppose that Alice and Bob have access only to subsystems AA and BB respectively, on which they can perform local quantum operations.

Alice performs a unitary operation UU on AA and then a (generally incomplete) measurement on AA, with projectors {Πa}\left\{\Pi_{a}\right\} labelled by her possible measurement outcomes aa. Then Bob performs a complete measurement on BB relative to the orthonormal basis {b}\{|b\rangle\} labelled by his possible outcomes bb.

Show that the probability distribution of Bob's measurement outcomes is unaffected by whether or not Alice actually performs the local operations on AA described above.