Stronger subadditivity of entropy

The strong subadditivity of entropy plays a key role in several areas of physics and mathematics. It states that the entropy S[±]=- Tr(ϱlnϱ) of a density matrix ϱ123 on the product of three Hilbert spaces satisfies S[ϱ123]- S[ϱ12]≤S[ϱ23]-S[ϱ2]. We strengthen this to S[ϱ123]-S[ϱ12] ≤αnα(S[ϱ23α]-S[ϱ2α]), where the nα are weights and the ϱ23α are partitions of ϱ23. Correspondingly, there is a strengthening of the theorem that the map A|Trexp[L+lnA] is concave. As applications we prove some monotonicity and convexity properties of the Wehrl coherent state entropy and entropy inequalities for quantum gases.