Quantum teleportation (Bennett et al., 1993) has already been covered on this blog. This was the first tutorial I have written on this website. Right now we are going to re-visit this concept again from a slightly different perspective. Recently we have been talking a lot about the Majorana zero modes, creating them using the topological phase transitions and performing quantum computation by braiding them defining the Majorana qubits. The question to ask now is, would it be possible to perform the quantum teleportation on such states defined on the Kitaev chains? In other words, could we teleport a state from one Kitaev chain onto another using nothing else but braids of their edges? Turns out yes!

It was June 5th, 2019. Very fun time as Jonathan Dowling visited us in Shanghai to be a speaker at ITU Workshop on Quantum Information Technology (QIT) for Networks. At our lab, we all joined and attended it. During the break time, I was chatting with my Ph.D. advisor Tim Byrnes, we discussed teleporting states in the Kitaev chains and we got quite excited about this idea. It took us quite a few months to develop a necessary theory to make it work, which eventually resulted in the PRL publication (Huang et al., 2021) which additionally has been highlighted on the NYU Shanghai website.

The key to performing quantum teleportation is the ability to perform entangling operations. As we have few entangling gates described in (Narozniak, Dartiailh, Dowling, Shabani, & Byrnes, 2021) and also in this tutorial we found that the inner braid equivalent to X1X2\sqrt{X_1 X_2} operation does produce the effect of quantum teleportation with slightly different classical correction.

We start by producing the entangled state. Working in the logical space we begin by creating entanglement between second and third logical qubits using inner braid which corresponds to X2X3\sqrt{X_2 X_3} operation

E>23=X2X300L>23=12(00L>23+i11L>23).\begin{aligned} \left \vert E \right>_{23} & = \sqrt{X_2 X_3} \left \vert 0 0_L \right>_{23} \\ & = \frac{1}{\sqrt{2}} ( \left \vert 0 0_L \right>_{23} + i \left \vert 1 1_L \right>_{23}) . \end{aligned}

The first logical qubit contains the state to be teleported ψ>\left \vert \psi \right>, which can be written as

ψ>1=α0L>1+β1L>1.\begin{aligned} \left \vert \psi \right>_1 = \alpha \left \vert 0_L \right>_1 + \beta \left \vert 1_L \right>_1 . \end{aligned}

Now after applying the X1X2\sqrt{X_1 X_2} gate we have

X1X2ψ>1E>23=12(α000L>+iα011L>+β100L>+iβ111L>+iα110L>α101L>+iβ010L>β001L>)=12(00L>(α0L>β1L>)+i01L>(β0L>+α1L>)00L>(β0L>α1L>)+i01L>(α0L>+β1L>))\begin{aligned} & \sqrt{X_1 X_2} \left \vert \psi \right>_1 \left \vert E \right>_{23} \\ = & \frac{1}{2}(\alpha \left \vert 000_L \right> + i \alpha \left \vert 011_L \right> + \beta \left \vert 100_L \right> + i \beta \left \vert 111_L \right> \\ & + i\alpha \left \vert 110_L \right> - \alpha \left \vert 101_L \right> + i \beta \left \vert 010_L \right> - \beta \left \vert 001_L \right> ) \\ = &\frac{1}{2}(\left \vert 00_L \right> (\alpha \left \vert 0_L \right> - \beta \left \vert 1_L \right>) + i \left \vert 01_L \right> (\beta \left \vert 0_L \right> + \alpha \left \vert 1_L \right>) \\ & -\left \vert 00_L \right>(\beta \left \vert 0_L \right> - \alpha \left \vert 1_L \right>) + i \left \vert 01_L \right> (\alpha \left \vert 0_L \right> + \beta \left \vert 1_L \right>)) \end{aligned}

from which we can deduce what corrections have to be applied depending on the measurements of the first two logical qubits. Under the form of a logical circuit, those XX and ZZ corrections depending on measurements are

The rightmost logical qubit is prepared in the logical +L>\left \vert +_L \right> state to avoid getting entangled with the rest of the system in case the XX-correction getting applied. The teleportation itself is performed entirely using the braiding operations, however classical correction requires the logical XX-operation needs an extra qubit.

I did this tutorial slightly differently than we described in the paper. Here we do not simply assume the existence of such an ancilla Kitaev chain, we also prepare it. If we include the state preparation an extra ancilla topological qubit is required and one more inner braid

The above diagram contains classical correction operators which of course do not need to always be applied. To more formally define the measurement we will prepare appropriate projection operators. But first, a topological qubit on logical ZZ-basis could be written as

mL>=(1m)0L>+m1L>\begin{aligned} \left \vert m_L \right> &= (1-m) \left \vert 0_L \right> + m \left \vert 1_L \right> \end{aligned}

where m{0,1}m \in \{0, 1\}. For the final state after the teleportation ψf>\left \vert \psi_f \right> if the first topological qubit has been measured to be m(1)m^{(1)} and second m(2)m^{(2)} we could define the projection operator

Πm(1),m(2)=mL(1)><mL(1)mL(2)><mL(2)III\begin{aligned} \Pi_{m^{(1)}, m^{(2)}} &= \left \vert m^{(1)}_L \right> \left< m^{(1)}_L \right \vert \otimes \left \vert m^{(2)}_L \right> \left< m^{(2)}_L \right \vert \otimes I \otimes I \otimes I \end{aligned}

which gives us the post-teleportation and post-measurement state

ψm(1),m(2)>=Πm(1),m(2)ψf>\begin{aligned} \left \vert \psi_{m^{(1)}, m^{(2)}} \right> &= \Pi_{m^{(1)}, m^{(2)}} \left \vert \psi_f \right> \end{aligned}

we could trace out logical qubits apart from the teleported logical qubit on the third side and get fidelity for each of the outcomes as

fm(1),m(2)=<ψTr1,2,3,4,7,8,9,10(ψm(1),m(2)><ψm(1),m(2))ψ>.\begin{aligned} f_{m^{(1)}, m^{(2)}} &= \left < \psi \right \vert \text{Tr}_{1, 2, 3, 4, 7, 8, 9, 10}(\left \vert \psi_{m^{(1)}, m^{(2)}} \right> \left < \psi_{m^{(1)}, m^{(2)}} \right \vert) \left \vert \psi \right> . \end{aligned}

This was for the case of 55 topological qubits each of length L=2L = 2. The partial trace arguments would need to be adjusted for different system sizes. I have numerically simulated the above approach and feel free to review the Python source code. The bar plot comparing fidelities for the cases with and without classical correction are as follows

Effect of classical correction on fidelities per outcome
Bar plot showing how unreliable teleportation is without the classical correction.

The exact distribution depends on the random state. There would always be one outcome with perfect fidelity as there is one outcome that does not require any classical correction.

Today we have simulated the topological teleportation by applying sequences of unitary braids to topological states. The full source code of this simulation is published under an MIT license on GitHub. If you find errors please tweet me and let me know.

  1. Bennett, C. H., Brassard, G., Crépeau, C., Jozsa, R., Peres, A., & Wootters, W. K. (1993). Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Phys. Rev. Lett., 70(13), 1895–1899. 10.1103/PhysRevLett.70.1895
  2. Huang, H.-L., Narozniak, M., Liang, F., Zhao, Y., Castellano, A. D., Gong, M., Wu, Y., et al. (2021). Emulating Quantum Teleportation of a Majorana Zero Mode Qubit. Phys. Rev. Lett., 126(9), 090502. 10.1103/PhysRevLett.126.090502
  3. Narozniak, M., Dartiailh, M. C., Dowling, J. P., Shabani, J., & Byrnes, T. (2021). Quantum gates for Majoranas zero modes in topological superconductors in one-dimensional geometry. Phys. Rev. B, 103(20), 205429. 10.1103/PhysRevB.103.205429

[Back to Top]