Доказательство информационного неравенства Холево

Предположим, у меня есть классически-классический-квантовый канал W:X×Y→D(H)W:X×Y→D(H)W : \mathcal{X}\times\mathcal{Y} \rightarrow \mathcal{D}(\mathcal{H}), где X,YX,Y\mathcal{X},\mathcal{Y} конечные множества и D(H)D(H)\mathcal{D}(\mathcal{H}) множество матриц плотности в конечномерном комплексном...