Communication ยท Protocols
Quantum teleportation
Theorem statement
Suppose Alice has an $n$-qubit state $\ket{\psi}$ and Alice and Bob share $n$ Bell states. There exists a quantum protocol using $2n$ classical bits to transfer $\ket{\psi}$ to Bob locally.
Sources
- Quantum Computing: Lecture Notes
Ronald de Wolf, 2019
Lean context
- Lean declaration
QuantumAlg.QuantumTeleportation.main
Copy a short prompt with the import, theorem name, citations, and public source link.