Holevo's theorem (source code)

= Holevo's theorem
{c}
{wiki}

= Holevo bound
{c}
{synonym}

The classical mutual information obtained by any measurement of a quantum ensemble is at most its <Holevo quantity>. This follows from the <data-processing inequality for quantum relative entropy> applied to the measurement channel.