Concavity of quantum conditional entropy
= Concavity of quantum conditional entropy
For bipartite <density operator>[density operators],
$$
H(A|B)_{p\rho+(1-p)\sigma}\geq pH(A|B)_\rho+(1-p)H(A|B)_\sigma.
$$
This is a consequence of <Strong subadditivity of Von Neumann entropy>.