Preuve d'une inégalité d'information Holevo

Supposons que j'ai un canal quantique classique classique W:X×Y→D(H)W:X×Y→D(H)W : \mathcal{X}\times\mathcal{Y} \rightarrow \mathcal{D}(\mathcal{H}) , où X, YX,Y\mathcal{X},\mathcal{Y} sont des ensembles finis et D ( H )D(H)\mathcal{D}(\mathcal{H}) est l'ensemble des matrices de densité sur l'...