= Superadditivity of Holevo capacity
{title2=$\chi^*(\Phi_1\otimes\Phi_2)\geq\chi^*(\Phi_1)+\chi^*(\Phi_2)$}
Take independent ensembles for two <quantum channels> and their Cartesian product ensemble. The <Von Neumann entropy> of a tensor product is the sum of the two entropies, both for its average output and for each labelled output. Thus its <Holevo quantity> is the sum of the two individual quantities. Taking ensembles arbitrarily close to each supremum proves the displayed inequality without requiring maximizing ensembles to exist. It does not assert additivity for arbitrary channels.
Back to article page
