Communication ยท Protocols
Superdense coding
Theorem statement
Suppose Alice has a $2n$-bit classical string $x$ and Alice and Bob share $n$ Bell states. There exists a quantum protocol using $n$ qubits for Bob to recover $x$ locally.
Sources
- Quantum Computing: Lecture Notes
Ronald de Wolf, 2019
- Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
Charles H. Bennett, Stephen J. Wiesner, 1992
Lean context
- Lean declaration
QuantumAlg.SuperdenseCoding.main
Copy a short prompt with the import, theorem name, citations, and public source link.