Quantum computers based on Majorana fermions offer intrinsic robustness due to the topological nature of these quasiparticles. However, active quantum error correction is still necessary in order to perform fully protected quantum gates and reliably store information due to the presence of unwanted errors, such as quasiparticle poisoning. Here, the authors demonstrate that using networks of interacting Majorana particles achieves a higher error tolerance than traditional qubit-based quantum computers, thereby offering potential advantages for large-scale quantum information processing.
Quantum computers based on Majorana fermions offer intrinsic robustness due to the topological nature of these quasiparticles. However, active quantum error correction is still necessary in order to perform fully protected quantum gates and reliably store information due to the presence of unwanted errors, such as quasiparticle poisoning. Here, the authors demonstrate that using networks of interacting Majorana particles achieves a higher error tolerance than traditional qubit-based quantum computers, thereby offering potential advantages for large-scale quantum information processing.
Quantum computers are devices that can solve certain problems faster than ordinary, classical computers. The fundamental units of quantum information are qubits, superpositions of two states, a "zero" state and a "one" state. There are various approaches to construct such two-level systems, among others, using superconducting circuits, trapped ions or photons. A common feature of these physical systems is that their coherence times are relatively short compared to the length of useful computations. Superconducting qubits, for instance, are currently the most advanced solid-state qubits, but they decohere after around 100 microseconds, and any information stored in these qubits is lost. On the other hand, useful quantum computations may require quantum information to survive on time scales that are many orders of magnitude longer, as their runtimes can reach several hours or even days. Topological quantum computing is an approach to construct qubits that survive for the entire duration of such a long computation. Topological quantum computing comes in two flavors. The condensed matter approach is to build error-resilient qubits using exotic quasiparticles in topological materials, most prominently Majorana zero modes in topological superconductors. Even though no such qubit has been built to date, the hope is that their coherence times may be significantly longer than the coherence times of currently available solid-state qubits, but are still expected to be too short for large-scale quantum computing. The quantum information approach is to combine many error-prone qubits to build more robust logical qubits using topological error-correcting codes, e.g., surface codes. Even though the first approach is hardware-based and the second approach is software-based, they are deeply related. With Majorana-based qubits, the main logical operations are Majorana fermion parity measurements. By replacing Majorana-based qubits with surface-code patches and parity measurements with lattice-surgery operations, schemes for quantum computation with Majorana-based qubits or with surface codes can be identical. In this thesis, we explore how to construct a large-scale topological fault-tolerant quantum computer that can perform useful quantum computations. Here, topological refers to the nature of the quantum error-correcting code, while the underlying hardware may be based on non-topological qubits, but could also be composed of Majorana-based qubits. We provide a complete picture of such a large-scale device, breaking down large quantum computations into logical qubits and logical operations, describing how these logical operations are performed on the level of physical qubits and physical gates, and finally discussing how these physical qubits can be pieced together in a Majorana-based system using topological superconducting nanowires.
Surface codes represent a promising route towards universal fault-tolerant quantum computation, allowing for the protection of stored quantum states against many types of errors. This theoretical work shows that, in addition, a significantly enhanced versatility in quantum information processing is expected when qubits are encoded into the Majorana bound states in topological superconductor-semiconductor heterostructures. In view of recent experimental evidence for Majorana states in such heterostructures, a two-dimensional network of interacting Majorana states thus may feature key advantages towards the long-term goal of a functional quantum computer. The authors discuss how topologically protected logical qubits in this Majorana surface code architecture can be defined, initialized, manipulated, and read out. The physical ingredients needed to implement such operations are familiar from topologically trivial quantum devices. In particular, by employing quantum interference terms in conductance measurements, composite single-electron pumping protocols, and gate-tunable tunnel barriers, the full set of gates required for universal quantum computation can be implemented.
Majorana-based quantum computing seeks to use the non-local nature of Majorana zero modes to store and manipulate quantum information in a topologically protected way. While noise is anticipated to be significantly suppressed in such systems, finite temperature and system size result in residual errors. In this work, we connect the underlying physical error processes in Majorana-based systems to the noise models used in a fault tolerance analysis. Standard qubit-based noise models built from Pauli operators do not capture leading order noise processes arising from quasiparticle poisoning events, thus it is not obvious a priori that such noise models can be usefully applied to a Majorana-based system. We develop stochastic Majorana noise models that are generalizations of the standard qubit-based models and connect the error probabilities defining these models to parameters of the physical system. Using these models, we compute pseudo-thresholds for the d=5 Bacon-Shor subsystem code. Our results emphasize the importance of correlated errors induced in multi-qubit measurements. Moreover, we find that for sufficiently fast quasiparticle relaxation the errors are well described by Pauli operators. This work bridges the divide between physical errors in Majorana-based quantum computing architectures and the significance of these errors in a quantum error correcting code.
Fault-tolerant quantum computing in systems composed of both Majorana fermions and topologically unprotected quantum systems, e.g., superconducting circuits or quantum dots, is studied in this Letter. Errors caused by topologically unprotected quantum systems need to be corrected with error-correction schemes, for instance, the surface code. We find that the error-correction performance of such a hybrid topological quantum computer is not superior to a normal quantum computer unless the topological charge of Majorana fermions is insusceptible to noise. If errors changing the topological charge are rare, the fault-tolerance threshold is much higher than the threshold of a normal quantum computer and a surface-code logical qubit could be encoded in only tens of topological qubits instead of about 1,000 normal qubits.
Quantum error correction protocols protect against local errors by storing logical information non-locally. This poses a challenge: how to design efficient logical gates on the non-local ``hidden'' logical information, and how to implement these gates using the local physical operations. We develop a general description of planar Pauli stabilizer codes and protocols for logical operations in terms of point-like particles called Majorana fermions. Information is stored in the pairwise fermion parities of spatially separated Majorana fermions. The description in terms of Majorana fermions captures not only large distance asymptotics, but also all scales down to the lattice constants. We exploit this locality to densely pack logical information in spacetime. The simplest application is to a static case: dense memory. More importantly, we implement fault-tolerant Majorana motion and leverage this primitive to design braiding-based logical gates. This approach reduces space overhead of logical operations resulting in an improved logical error rate given fixed number of physical qubits. We illustrate a practical use of our approach by designing and benchmarking of 2-qubit Clifford gates. We find numerically that our protocol outperforms lattice surgery in this setting for near-term error rates and realistic device constraints. More generally, introduction of compact motion of Majorana fermions as an efficient computational primitive opens a promising new route for the design of low overhead error correction protocols.
We introduce error-correcting codes that can correct for fermion parity-violating (quasiparticle poisoning) and parity-conserving errors in systems of complex fermions and of Majorana fermions. After establishing properties of fermion codes, we introduce a generic construction of fermion codes from weakly self-dual classical, binary error-correcting codes. We use this method to construct (i) the shortest fermion code to correct for quasiparticle poisoning errors, (ii) translationally-invariant fermion codes and (iii) other codes that correct higher-weight errors. We conclude by discussing a possible physical realizations of one such code in mesoscopic superconductors hosting Majorana zero modes.