Coherent information upper bound by input entropy
= Coherent information upper bound by input entropy
{title2=$I_c(\Lambda,\rho)=S(\rho)-I(R:E)\leq S(\rho)$}
In a purified <Stinespring dilation>, <coherent information> satisfies $I_c=S(RE)-S(E)=S(\rho)-I(R:E)$. Nonnegativity of <quantum mutual information> implies $I_c\leq S(\rho)$. Equality means that the reference and environment are uncorrelated, so the environment learns nothing about the purified input reference.