Classical capacity / Theorem
Holevo-Schumacher-Westmoreland classical capacity theorem
Theorem statement
For every quantum channel $\mathcal{N}$, its classical capacity is given by the regularized Holevo-information limit$$
C(\mathcal{N}) = \lim_{n\to\infty} \frac{1}{n}\,\chi(\mathcal{N}^{\otimes n}).
$$
Sources
- From Classical to Quantum Shannon Theory
Mark M. Wilde, 2011
Lean context
- Lean declaration
QIT.Channel.hswClassicalCapacityTheorem_proved
Copy a short prompt with the import, Lean declaration, citations, and public source link.