Entanglement-assisted classical communication / Bound
Upper Bounds for Entanglement-Assisted Classical Communication in Asymptotic Setting
Bound statement
Let $\mathcal{N}$ be a quantum channel. For all $\varepsilon\in[0,1)$, $n\in\mathbb{N}$, and every $(n,|\mathcal{M}|,\varepsilon)$ entanglement-assisted classical communication protocol over $n$ uses of $\mathcal{N}$,
\[
\frac{1}{n}\log_2 |\mathcal{M}|
\le \frac{1}{1-\varepsilon}\left(\frac{1}{n}I(\mathcal{N}^{\otimes n})+\frac{1}{n}h_2(\varepsilon)\right),
\]
and, for all $\alpha>1$,
\[
\frac{1}{n}\log_2 |\mathcal{M}|
\le \frac{1}{n}\widetilde{I}_{\alpha}(\mathcal{N}^{\otimes n})
+ \frac{\alpha}{n(\alpha-1)}\log_2\!\left(\frac{1}{1-\varepsilon}\right).
\]
Using additivity, these bounds imply that $I(\mathcal{N})$ is a strong converse rate and $\widetilde{C}_{\operatorname{EA}}(\mathcal{N})\le I(\mathcal{N})$. The single-letter strong-converse quantity is $\widetilde{I}_{\alpha}(\mathcal{N})$, and the entropy correction is $h_2(\varepsilon)$.
Sources
- Principles of Quantum Communication Theory: A Modern Approach
Sumeet Khatri, Mark M. Wilde, 2024
Lean context
Copy a short prompt with the import, Lean declaration, citations, and public source link.