Arxiv:2104.09539V1 [Quant-Ph] 19 Apr 2021
Total Page:16
File Type:pdf, Size:1020Kb
Practical quantum error correction with the XZZX code and Kerr-cat qubits Andrew S. Darmawan,1, 2 Benjamin J. Brown,3 Arne L. Grimsmo,3 David K. Tuckett,3 and Shruti Puri4, 5 1Yukawa Institute for Theoretical Physics (YITP), Kyoto University, Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, Japan∗ 2JST, PRESTO, 4-1-8 Honcho, Kawaguchi, Saitama 332-0012, Japan 3Centre for Engineered Quantum Systems, School of Physics, University of Sydney, Sydney, New South Wales 2006, Australia 4 Department of Applied Physics, Yale University, New Haven, Connecticut 06511, USAy 5Yale Quantum Institute, Yale University, New Haven, Connecticut 06511, USA (Dated: April 21, 2021) The development of robust architectures capable of large-scale fault-tolerant quantum computa- tion should consider both their quantum error-correcting codes, and the underlying physical qubits upon which they are built, in tandem. Following this design principle we demonstrate remarkable error correction performance by concatenating the XZZX surface code with Kerr-cat qubits. We contrast several variants of fault-tolerant systems undergoing different circuit noise models that reflect the physics of Kerr-cat qubits. Our simulations show that our system is scalable below a threshold gate infidelity of pCX 6:5% within a physically reasonable parameter regime, where ∼ pCX is the infidelity of the noisiest gate of our system; the controlled-not gate. This threshold can be reached in a superconducting circuit architecture with a Kerr-nonlinearity of 10MHz, a 6:25 photon cat qubit, single-photon lifetime of > 64µs, and thermal photon population < 8%.∼ Such parameters are routinely achieved in superconducting∼ circuits. ∼ I. INTRODUCTION qubit [22, 34, 35]. The Kerr-cat qubit is realized by para- metric pumping of a Kerr-nonlinear oscillator, as recently A scalable quantum computer will require a large num- demonstrated in a superconducting circuit platform using ber of almost perfect qubits. To this end, impressive a Superconducting Nonlinear Asymmetric Inductive eL- progress has been made in engineering high-quality quan- ement (SNAIL) [11]. This qubit is stabilized against bit tum systems in the laboratory that can perform some flips. Specifically, bit flips are exponentially suppressed with the photon number α 2, leading to a highly bi- requisite set of operations that are needed for quantum ∼ j j computation [1{13]. While we cannot expect to reduce ased noise channel for large α [35]. Surprisingly, it has qubit noise arbitrarily with laboratory engineering alone, recently been proposed that the controlled-not gate (CX) the theory of quantum error correction [14{19] has shown can be executed with Kerr-cat qubits without changing that we can produce logical qubits that experience next- this noise profile [35]. This enables us to go beyond to-no noise by using a redundancy of high-quality phys- schemes where it is assumed that only diagonal entan- ical qubits, provided the noise strength on the physical gling gates can be used without introducing bit-flip errors qubits as they perform computational operations is below at a significant rate [36, 37]. some threshold value [20]. Nevertheless, it still remains A number of error-correction protocols have been pro- a significant experimental challenge to produce scalable posed recently that are adapted specifically to biased quantum error-correcting codes using available technol- noise [30, 36{47]. In particular, the XZZX surface ogy. In order to overcome this challenge we should co- code [48, 49], a surface code variant [15, 16, 50], has design the code in unison with the underlying qubit ar- recently been shown to have a very high threshold un- chitecture. This way we can build better error-correcting der biased noise. This is because it mimics the behav- systems that specifically target the dominant sources of ior of the classical repetition code in the limit that a errors that the physical qubits experience. particular type of Pauli error is dominant. As such, arXiv:2104.09539v1 [quant-ph] 19 Apr 2021 A promising approach to realize a high-quality phys- minimum-weight perfect-matching decoders [16, 51, 52] ical qubit is to encode it in a bosonic mode [7{13, 21{ have been developed by exploiting the symmetries of this 33]. Broadly speaking, encoding a qubit in the larger code [15, 16, 43, 53]. These practical decoders demon- Hilbert space of an oscillator gives more room to pro- strate exceptionally high fault-tolerant thresholds when tect the encoded information from noise, either through the dominant source of noise is dephasing [49]. active error correction or autonomous stabilization of In this work we present a scheme for error correction in the codespace. One of the simplest incarnations of this which the XZZX surface code is concatenated with Kerr- idea is the Kerr-cat qubit, where orthogonal superpo- cat qubits. Figure1 shows what a Kerr-cat XZZX chip sitions of two coherent states α define a physical |± i may look like if implemented with SNAILs. The domi- nant physical error channels for Kerr-cat qubits are pho- ton loss and gain, quantified by a single-photon loss rate κ ∗ [email protected] and the oscillator's thermal population nth [11]. The [email protected] y noise model of the Kerr-cat qubit is a function of κ, nth, 2 as well as the \cat size" α 2 and the Kerr-nonlinearity of the oscillator K. With jαj2 = 6:25 and a thermal pop- j j 4 ulation of 8%, we find a threshold of κ/K = 2:5 10− . This corresponds to a total infidelity of 6:5%× for the noisiest logical operation in the error correction∼ circuit, CX, whose average bias is 351 where we define bias as the ratio of the probability∼ of Pauli Z errors and the probability of any other Pauli error occurring dur- ing the gate. This noise threshold can be reached, for example, using a superconducting Kerr-cat realization with K=(2π) = 10 MHz, a parametric pump strength of 1 62:5 MHz, and a single photon lifetime κ− = 63:6 µs. We remark that the experimental demonstration of the Kerr- cat qubit in Ref. 11 showed that frequency fluctuations are heavily suppressed when the SNAIL is pumped into the cat-subspace, such that requirements on flux noise = DC flux-bias for the SNAIL (characterized by the T2 time of the un-pumped SNAIL) are greatly relaxed compared to frequency tunable trans- = resonator for qubit readout mons. These parameters are routinely achieved in su- = out-of-plane interconnect = perconducting circuits [54, 55], suggesting that Kerr-cats through which all the microwave well below threshold may be realized in the near future, drives (such as the two-photon making the proposed architecture a promising approach SNAIL drives, coupling drives for CX gates and drives for single-qubit gates) to large-scale fault-tolerant quantum computing. are applied While our protocol achieves exceptional performance using Kerr-cat qubits, we also show that similar improve- FIG. 1. Schematic for a possible realization of the XZZX ments may be attainable in other biased-noise architec- surface code using a 2D lattice of nearest-neighbor capaci- tures. Using the XZZX code with a generic biased circuit tively coupled SNAIL-based Kerr-cat qubits. Data qubits are noise model we observe roughly a factor of two improve- represented in magenta and ancilla qubits in green. A DC ment in the threshold error rate over the standard CSS flux line is present to bias the SNAIL at the point of desired version of the surface code. Surprisingly, we still find nonlinearities. The lattice arrangement is such that neigh- that the XZZX code has a 50% higher threshold error boring SNAILs resonate at different frequencies to minimize rate than the CSS surface code when using standard CX cross-talk. Microwave drives applied at appropriate frequen- gates rather than bias-preserving CX gates. cies through the out-of-plane interconnects parametrically ac- tivate gate operations [11, 35]. Importantly, no extra nonlin- We also perform exact simulations on small codes that ear control/coupling elements are required unlike other biased represent near-term experiments. These simulations al- noise bosonic qubits. For direct readout of ancilla and data low us to study non-Pauli noise models with optimal qubits, an additional readout resonator is available at each decoders and reveal that the high performance of our site. This readout resonator also provides the ability to para- scheme at both high and low biases is relatively insensi- metrically introduce two-photon dissipation in the SNAILs which could be used for autonomous leakage correction. tive to sub-optimal implementation of gates and decoding compared to other schemes. This paper is structured as follows. In Sec. II we re- II. THE XZZX SURFACE CODE view the definition of the XZZX surface code and describe how it can be implemented in a Kerr-cat architecture. In Sec. III we review Kerr-cat qubits and describe the We describe the XZZX code using the stabilizer for- bias-preserving gates available to them. In Sec. IIIB we malism, i.e., a list of commuting Pauli operators whose describe the important noise processes affecting Kerr-cat common +1 eigenspace defines the codespace of the code. qubits and the methods we have used to simulate noisy We lay out the code with a single qubit on each vertex of gate execution. In Sec.IV we present results of numerical the square lattice. Up to its boundaries, all of its stabi- simulations, demonstrating that very high thresholds can lizers are the product of four Pauli terms; XZZX acting be achieved using XZZX codes and Kerr-cat qubits. The on the four qubits at the corners of each of the faces of performance of low-distance codes under biased noise is the square lattice, see Fig.2(a).