Data-processing inequality for quantum relative entropy
= Data-processing inequality for quantum relative entropy
For every <quantum channel> $T$,
$$
D(T(\rho)\|T(\sigma))\leq D(\rho\|\sigma).
$$
For a <partial trace>, this says that discarding a subsystem cannot make two <density operators> more distinguishable in <quantum relative entropy>.