On assigne le circuit de téléportation à la variable t.  Notez l'avant-dernière porte: elle agit sur deux fils non contigus, les fils 1 et 3.  Pour cette raison, le fil 1 contient à cet endroit l'entier «2» qui signifie «voir 2 fils vers le bas».

We assign the teleportation gate array to the variable t.  Note that the next to last gate performs an operation on two non contiguous wires, wires 1 and 3.  This is why the first wire contains a "2" at this gate, meaning "jump 2 wires below".

La variable a contient l'opération quantique qui consiste à ajouter une ancille |0> de dimension 4 «sous» un espace de Hilbert de dimension 2 et «au-dessus» d'un espace de Hilbert (trivial) de dimension 1.

Variable a contains the quantum operation of adding a 4-dimensional |0> ancilla "below" a 2-dimensional Hilbert space and "above" a (trivial) 1-dimensional Hilbert space.

Voici l'état obtenu (sous forme de matrice de densité) en faisant opérer a sur l'état pur |0>.

Here is the result (a density matrix) of applying operator a upon the pure state |0>.

La variable o contient l'opération de trace-out d'un espace de dimension 4 positionné «sous» un espace (trivial) de dimension 1 et «au-dessus» d'un espace de dimension 2.

Variable o contains the operation of tracing-out a 4-dimensional spcace located "below" a (trivial) 1-dimensional space and "above" a 2-dimensional space.

Voici l'état obtenu (sous forme de matrice de densité) en faisant opérer o sur l'état pur |110>.  Le résultat est la matrice de densité de l'état |0>.

Here is the result (a density matrix) of applying operator o upon the pure state |110>.  The result is the density matrix of the state |0>.

On peut maintenant vérifier que la composition des trois opérations décrites ci-dessus est équivalente à l'identité.

We can now verify that the three operations just described yield the identity when composed in the proper order.