Additivity of quantum relative entropy
= Additivity of quantum relative entropy
The <quantum relative entropy> is additive on <tensor products>:
$$
D(\rho_A\otimes\rho_B\|\sigma_A\otimes\sigma_B)
=D(\rho_A\|\sigma_A)+D(\rho_B\|\sigma_B).
$$
This follows by expanding $\log(\sigma_A\otimes\sigma_B)=\log\sigma_A\otimes I+I\otimes\log\sigma_B$ and its counterpart for $\rho$.