No-communication theorem (source code)

= 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$.