Monotonicity under coarse-graining is a crucial property of the quantum
relative entropy. The aim of this paper is to investigate the condition of
equality in the monotonicity theorem and in its consequences such as the strong
sub-additivity of the von Neumann entropy, the Golden-Thompson trace inequality
and the monotonicity of the Holevo quantity.The relation to quantum Markovian
states is briefly indicated.Comment: 13 pages, LATEX fil