Joint convexity of quantum relative entropy (source code)

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