Bell-basis teleportation identity (source code)

= Bell-basis teleportation identity
{c}

For $|\beta_{xz}\rangle=(Z^zX^x\otimes I)|\beta_{00}\rangle$, an arbitrary qubit obeys
$$
|\alpha\rangle_C|\beta_{00}\rangle_{AB}
=\frac12\sum_{x,z\in\{0,1\}}
|\beta_{xz}\rangle_{CA}X^xZ^z|\alpha\rangle_B.
$$
A Bell-basis measurement reveals $(x,z)$, after which the receiver applies the inverse Pauli correction.