Aasen, D., Hell, M., Mishmash, R. V., Higginbotham, A., Danon, J., Leijnse, M., Jespersen, T. S., Folk, J. A., Marcus, C. M., Flensberg, K., & Alicea, J. (2016). Milestones toward Majorana-based quantum computing. Physical Review X, 6(3), 1–28. https://doi.org/10.1103/PhysRevX.6.031016
Knapp, C., Beverland, M., Pikulin, D. I., & Karzig, T. (2018). Modeling noise and error correction for Majorana-based quantum computing. Quantum, 2. https://doi.org/10.22331/q-2018-09-03-88
1. Stochastic Majorana noise models
Naively:
Introduce the concept of MZM islands.
4 types of errors:
- Quasiparticle event: application of a single MAjorana operator: $|\psi \rangleM \to \gamma{j,a}|\psi \rangle_M$.
- Pair-wise dephasing event: application of a pair of Majorana operators belonging to the same island: $|\psi \rangleM \to \gamma{j,a}\gamma_{j,b}|\psi \rangle_M$.
- Correlated event: application of Majorana operators from multiple islands involved in the same measurement.
- Measurement bit-flip: flipping of the classical bit storing the outcome of a 2k-MZM parity measurement: e.g.
.
For a Majorana circuit, the possible noise can be described as follow:
Majorana circuit noise (MC): in a given step for k-island measurement (k = 0 for an idle island), implement the following sequence:
- For each island that begins the time step with odd parity, apply a quasiparticle event with probability
.
- For each island that begins the time step with odd parity, apply a quasiparticle event with probability
- For the set of islands involved in the same k-island mea- surement, do the following:
- (a) For each island in the set, apply one single-island noise event: either a quasiparticle event with $p{qp}^{(k)}
p{pair}^{(k)}$. - (b) Apply a correlated event to the set: either an odd correlated event with probability $p{cor,odd}^{(k)}
p{cor,even}^{(k)} k\leq 1$, do nothing.
- Apply the measurement projector perfectly, then flip the classical bit storing the measurement outcome with probability
. For an idle island, do nothing.
- Apply the measurement projector perfectly, then flip the classical bit storing the measurement outcome with probability
MC is defined by the parameter set ${p{odd}^{(k)},p{qp}^{(k)},p{pair}^{(k)},p{cor,odd}^{(k)},p{cor,even}^{(k)},p{mst}^{(k)}}$.
2. Physical System
Take the j-th tetron (a 4-MZM island) and its Hamiltonian can be written as:
- The first term is the charging energy.
is the number of fermions on the island when the island is not grounded (i.e. Coulomb-blockaded). - The second term is the BCS Hamiltonian written in terms of the quasiparticle number operator $\hat n{\Delta,k}
\hat n{\Delta,k}$ counts the above-gap quasiparticles. - The last term is the MZM hybridization energy. $\delta E{ab}
\gamma{j,a} \gamma{j,b} \delta E{a b} \propto e^{-L_{a b} / \xi}$. - The simple model does not include the overlap of MZMs from different islands.
The eigen states of the Hamiltonian can be written as:
The first part only contains the non-topological part, and the second part denotes the (almost) degenerate MZM space. How we pair up the MZMs (1,2 and 3,4) is chosen randomly.
We can set
where
Fig1: Lowest states for the H when $EC = 2\Delta
Two “lowest order” error processes:
- Thermally excited quasi-particles, when a Cooper pair breaks into two electrons, one occupies one of the non-local fermionic states formed by the MZMs while the other occupies a state in the continuum above the superconducting gap, denoted by
, - Extrinsic quasi-particle poisoning, when a quasiparticle tunnels onto or off of the superconducting island, thereby changing the to- tal fermion parity and charge of the island, denoted by
.
[Fig2] This triangle schematically illustrates how the ground state change into two different error states, with the error operation and the corresponding lifetime.
3. A Physical Noise Model
We can model the noise by a Hamiltonian which divide the noise into x and x parts:
The
- Overlap between MZMs across the same island, splitting
. - Residual charging energy, splitting exponentially small in
, with a prefactor .
These two mechanisms weakly lifts the topological degeneracy between
The
In this model the noise depends on the parameters