Sourav Kundu,Ben W. Reichardt
Abstract:The tetron architecture is a promising candidate for topological quantum computation. Each tetron Majorana island has four Majorana zero modes, and possible measurements are constrained to span zero or two Majoranas per tetron. Such measurements are known to be sufficient for correcting so-called "bosonic errors," which affect an even number of Majoranas per tetron. We demonstrate that such measurements are also sufficient for correcting "fermionic errors," which affect an odd number of Majoranas per tetron. In contrast, previous proposals for "fermionic error correction" on tetrons introduce more experimental challenges. We show that "fermionic codes" can be derived from traditional "bosonic codes" by inclusion of tetrons in the stabilizer group.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is **how to correct odd - weight errors (i.e., "fermion errors") in the tetron architecture**. Specifically, the tetron architecture is a promising candidate for topological quantum computing. Each tetron contains four Majorana zero modes, and possible measurements are limited to spanning zero or two Majorana zero modes. These measurements are known to be sufficient to correct so - called "boson errors", that is, errors that affect an even number of Majorana zero modes per tetron. However, for "fermion errors" that affect an odd number of Majorana zero modes per tetron, previous error - correction methods have introduced more experimental challenges. This paper shows how to derive "fermion codes" from traditional "boson codes" by incorporating tetrons into the stabilizer group, thereby achieving the correction of "fermion errors".
### Main Contributions
1. **Proved that measurements spanning zero or two Majorana zero modes are also sufficient to correct "fermion errors"**:
- The authors show that by incorporating tetrons into the stabilizer group, effective correction of "fermion errors" can be achieved.
- This method avoids the experimental challenges of directly measuring the four Majorana zero modes of the tetron.
2. **Derived "fermion codes" from traditional "boson codes"**:
- By introducing additional stabilizers in traditional stabilizer codes (such as color codes and surface codes), where a certain qubit has a different Pauli - to - Majorana operator mapping, tetrons can be incorporated into the stabilizer group.
- This method is not only applicable to theoretical code construction but also provides a feasible path for practical experiments.
3. **Analyzed the coding capacity and fault - tolerance ability of "fermion codes"**:
- The authors used the BPOSD decoder to evaluate the logical error rate at different bias values and showed the change in the pseudo - threshold.
- Proposed a fault - tolerant measurement sequence that can tolerate one input error or one intermediate error (whether it is a boson error or a fermion error) in the presence of noise.
### Formulas and Symbols
- **Majorana Operators**:
\[
\gamma_j=\gamma_j^\dagger, \quad \gamma_j^2 = I, \quad\{\gamma_j, \gamma_k\}=2\delta_{j,k}
\]
\[
\gamma_S = i^{|S|/2}\prod_{j\in S}\gamma_j
\]
- **Stabilizer Generators**:
- For a \(J(n, k, d_f)\) fermion code, the stabilizer generator group contains \(2n - k\) generators.
- For example, the \(J(14, 1, 6f)\) fermion code in Figure 3 is derived from the \(J(7, 1, 3b)\) boson code.
- **Error - Correction Ability**:
- A fermion code with a distance of \(d_f\) can correct any error with a Majorana weight less than \(d_f/2\).
- For example, for a \(J(2n, k, d_f)\) fermion code, if \(d_f = 2d_b\), then it can correct any error with a Majorana weight less than \(d_b\).
### Conclusion
In this paper, by incorporating tetrons into the stabilizer group, the problem of correcting odd - weight errors in the tetron architecture has been successfully solved. This method is not only theoretically feasible but also highly feasible in practical experiments, providing important theoretical and technical support for the development of topological quantum computing.