= 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
