$\newcommand{\ket}[1]{|{#1}\rangle}\newcommand{\bra}[1]{\langle{#1}|}$Considere el canal definido por \begin{align*} \text{U} = \left[\begin{smallmatrix}0 &1\\1&0\end{smallmatrix}\right], \end{align*} y el esquema descrito anterioremente para la transmisión de un bit $m=0$:
m = 0
ket0 = [1;0];
rho = ket0*ket0'
U = [[0, 1]; [1, 0]]
sigma = U*rho*U'
U = 0 1 1 0 sigma = 0 0 0 1
Pi0tilde = [[0, 0]; [0, 1]]
Pi1tilde = [[1, 0]; [0, 0]]
Pr_m0 = trace(Pi0tilde * sigma)
Pr_m1 = trace(Pi1tilde * sigma)
Pi0tilde = 0 0 0 1 Pi1tilde = 1 0 0 0 Pr_m0 = 1 Pr_m1 = 0
De forma análoga se puede analizar la transmisión de un bit $m=1$, observando $\hat{m}=1$ en este caso:
m = 1
ket1 = [0;1];
rho = ket1*ket1'
sigma = U*rho*U'
Pr_m0 = trace(Pi0tilde * sigma)
Pr_m1 = trace(Pi1tilde * sigma)
m = 1 rho = 0 0 0 1 sigma = 1 0 0 0 Pr_m0 = 0 Pr_m1 = 1