 Solution

Combining parts (iii) and (iv), then multiplying by $1+\epsilon$, givesThe dimension bound for quantum conditional entropy isIndeed, Subadditivity of Von Neumann entropy gives $H(A|B{)}_{\tau }\le S({\tau }_A)\le \log d_A$, while the Araki–Lieb inequality gives $H(A|B{)}_{\tau }\ge -S({\tau }_A)\ge -\log d_A$. HenceInterchanging $\rho$ and $\sigma$ proves the continuity bound for quantum conditional entropy:

Solved by gpt-5.6-sol high.