Entanglement-assisted classical communication / Definition
One-Shot Entanglement-Assisted Classical Capacity
Definition statement
Given a quantum channel $\mathcal{N}_{A\to B}$ and $\varepsilon\in[0,1]$, the one-shot $\varepsilon$-error entanglement-assisted classical capacity $C_{\operatorname{EA}}^{\varepsilon}(\mathcal{N})$ is
\[
C_{\operatorname{EA}}^{\varepsilon}(\mathcal{N})
:= \sup_{(\mathcal{M},\Psi,\mathcal{E},\mathcal{D})}
\{\log_2 |\mathcal{M}| :
p_{\mathrm{err}}^{*}((\Psi,\mathcal{E},\mathcal{D});\mathcal{N})\le \varepsilon\}.
\]
The supremum ranges over one-shot entanglement-assisted classical communication protocols with message set $\mathcal{M}$, shared state $\Psi_{A'B'}$, encoding channel $\mathcal{E}_{M'A'\to A}$, and decoding channel $\mathcal{D}_{BB'\to\widehat{M}}$, with message and estimate registers indexed by the message set.
- $D$
- decoding channel in the protocol notation
Sources
- Principles of Quantum Communication Theory: A Modern Approach
Sumeet Khatri, Mark M. Wilde, 2024
Lean context
- Lean declaration
QIT.Channel.oneShotEntanglementAssistedClassicalCapacity
Copy a short prompt with the import, Lean declaration, citations, and public source link.