 The relative entropy is jointly convex.For formula_53 and states formula_54 we have

formula_55

The relative entropy decreases monotonically under completely positive trace preserving (CPTP) operations formula_56 on density matrices,

formula_57.This inequality is called Monotonicity of quantum relative entropy.