Natalie C. Brown

Preparation of high-fidelity logical magic states has remained as a necessary but daunting step towards building a large-scale fault-tolerant quantum computer. One approach is to fault-tolerantly prepare a magic state in one code and then switch to another, a method known as code switching. We experimentally demonstrate this protocol on an ion-trap quantum processor, yielding a logical magic state encoded in an error-correcting code with state-of-the-art logical fidelity. Our experiment is based on the first demonstration of code switching between color codes, from the fifteen-qubit quantum Reed-Muller code to the seven-qubit Steane code. We prepare an encoded magic state in the Steane code with $82.58\%$ probability, with an infidelity of at most $5.1(2.7) \times 10^{-4}$. The reported infidelity is lower than the leading infidelity of the physical operations utilized in the protocol by a factor of at least $2.7$, indicating the quantum processor is below the pseudo-threshold. Furthermore, we create two copies of the magic state in the same quantum processor and perform a logical Bell basis measurement for a sample-efficient certification of the encoded magic state. The high-fidelity magic state can be combined with the already-demonstrated fault-tolerant Clifford gates, state preparation, and measurement of the 2D color code, completing a universal set of fault-tolerant computational primitives with logical error rates equal or better than the physical two-qubit error rate.

A great deal of work has been done developing quantum codes with varying overhead and connectivity constraints. However, given the such an abundance of codes, there is a surprising shortage of fault-tolerant logical gates supported therein. We define a construction, such that given an input $[[n,k,d]]$ code, yields a $[[2n,2k,\ge d]]$ symplectic double code with naturally occurring fault-tolerant logical Clifford gates. As applied to 2-dimensional $D(\mathbb{Z}_2)$-topological codes with genons (twists) and domain walls, we find the symplectic double is genon free, and of possibly higher genus. Braiding of genons on the original code becomes Dehn twists on the symplectic double. Such topological operations are particularly suited for architectures with all-to-all connectivity, and we demonstrate this experimentally on Quantinuum's H1-1 trapped-ion quantum computer.

Leakage errors take qubits out of the computational subspace and will accumulate if not addressed. A leaked qubit will reduce the effectiveness of quantum error correction protocols due to the cost of implementing leakage reduction circuits and the harm caused by interacting leaked states with qubit states. Ion trap qubits driven by Raman gates have a natural choice between qubits encoded in magnetically insensitive hyperfine states that can leak and qubits encoded in magnetically sensitive Zeeman states of the electron spin that cannot leak. In our previous work, we compared these two qubits in the context of the toric code with a depolarizing leakage error model and found that for magnetic field noise with a standard deviation less than 32 $μ$G that the $^{174}$Yb$^+$ Zeeman qubit outperforms the $^{171}$Yb$^+$ hyperfine qubit. Here we examine a physically motivated leakage error model based on ions interacting via the Molmer-Sorenson gate. We find that this greatly improves the performance of hyperfine qubits but the Zeeman qubits are more effective for magnetic field noise with a standard deviation less than 10 $μ$G. At these low magnetic fields, we find that the best choice is a mixed qubit scheme where the hyperfine qubits are the ancilla and the leakage is handled without the need of an additional leakage reduction circuit.

Leakage is a particularly damaging error that occurs when a qubit state falls out of its two-level computational subspace. Compared to independent depolarizing noise, leaked qubits may produce many more configurations of harmful correlated errors during error-correction. In this work, we investigate different local codes in the low-error regime of a leakage gate error model. When restricting to bare-ancilla extraction, we observe that subsystem codes are good candidates for handling leakage, as their locality can limit damaging correlated errors. As a case study, we compare subspace surface codes to the subsystem surface codes introduced by Bravyi et al. In contrast to depolarizing noise, subsystem surface codes outperform same-distance subspace surface codes below error rates as high as $\lessapprox 7.5 \times 10^{-4}$ while offering better per-qubit distance protection. Furthermore, we show that at low to intermediate distances, Bacon-Shor codes offer better per-qubit error protection against leakage in an ion-trap motivated error model below error rates as high as $\lessapprox 1.2 \times 10^{-3}$. For restricted leakage models, this advantage can be extended to higher distances by relaxing to unverified two-qubit cat state extraction in the surface code. These results highlight an intrinsic benefit of subsystem code locality to error-corrective performance.

Many systems used for quantum computing possess additional states beyond those defining the qubit. Leakage out of the qubit subspace must be considered when designing quantum error correction codes. Here we consider trapped ion qubits manipulated by Raman transitions. Zeeman qubits do not suffer from leakage errors but are sensitive to magnetic fields to first-order. Hyperfine qubits can be encoded in clock states that are insensitive to magnetic fields to first-order, but spontaneous scattering during the Raman transition can lead to leakage. Here we compare a Zeeman qubit ($^{174}$Yb$^+$) to a hyperfine qubit ($^{171}$Yb$^+$) in the context of the surface code. We find that the number of physical qubits required to reach a specific logical qubit error can be reduced by using $^{174}$Yb$^+$ if the magnetic field can be stabilized with fluctuations smaller than $10$ $μ$G.