Paper 3 , Section I, D
Part II, 2021
Let be the joint state of a bipartite system with subsystems and separated in space. Suppose that Alice and Bob have access only to subsystems and respectively, on which they can perform local quantum operations.
Alice performs a unitary operation on and then a (generally incomplete) measurement on , with projectors labelled by her possible measurement outcomes . Then Bob performs a complete measurement on relative to the orthonormal basis labelled by his possible outcomes .
Show that the probability distribution of Bob's measurement outcomes is unaffected by whether or not Alice actually performs the local operations on described above.