Joint convexity of quantum relative entropy
= Joint convexity of quantum relative entropy
Quantum relative entropy obeys $D(\sum_ip_i\rho_i\|\sum_ip_i\sigma_i)\leq\sum_ip_iD(\rho_i\|\sigma_i)$. It follows by applying data processing to flagged block-diagonal states and discarding the flag.