No-communication theorem
= No-communication theorem
{wiki}
A trace-preserving operation on subsystem $B$ cannot change the <reduced density matrix> of a disjoint subsystem $A$ when its unobserved outcomes are averaged. Local measurements on $A$ therefore cannot reveal which operation was chosen on $B$.