Entropy and asymptotics / Theorem

FQSW direct achievability via the source route

Theorem statement

For every finite-dimensional pure tripartite source $\psi_{ABR}$, the fully quantum Slepian-Wolf communication rate $\frac{1}{2} I(A;R)_\psi$ is directly achievable: for every slack $\delta>0$ and error tolerance $\varepsilon>0$, all sufficiently large i.i.d. blocklengths admit FQSW operational surfaces with communication rate at most $\frac{1}{2} I(A;R)_\psi+\delta$, entanglement yield at least $\frac{1}{2} I(A;B)_\psi-\delta$, and normalized trace-distance error at most $\varepsilon$.

Sources

  1. The mother of all protocols: Restructuring quantum information's family tree

    Anura Abeyesinghe, Igor Devetak, Patrick Hayden, Andreas Winter, 2006

Lean context

Copy a short prompt with the import, Lean declaration, citations, and public source link.

Open Lean source