Entanglement-assisted classical communication / Definition
Entanglement-Assisted Classical Capacity of a Quantum Channel
Definition statement
Given a quantum channel $\mathcal{N}$, a rate $R\in\mathbb{R}^{+}$ is achievable for entanglement-assisted classical communication over $\mathcal{N}$ if, for all $\varepsilon\in(0,1]$, $\delta>0$, and sufficiently large $n$, there exists an $(n,2^{n(R-\delta)},\varepsilon)$ entanglement-assisted classical communication protocol. The capacity $C_{\operatorname{EA}}(\mathcal{N})$ is
\[
C_{\operatorname{EA}}(\mathcal{N}) :=
\sup\{R : R\text{ is an achievable rate for }\mathcal{N}\}.
\]
Sources
- Principles of Quantum Communication Theory: A Modern Approach
Sumeet Khatri, Mark M. Wilde, 2024
Lean context
- Lean declaration
QIT.Channel.entanglementAssistedClassicalCapacity
Copy a short prompt with the import, Lean declaration, citations, and public source link.