Arxiv:2010.08699V1 [Quant-Ph] 17 Oct 2020 Tum Computation Systems
Total Page:16
File Type:pdf, Size:1020Kb
Bosonic quantum error correction codes in superconducting quantum circuits 1, 1, 1, 2,† 1,‡ W. Cai, ∗ Y. Ma, ∗ W. Wang, ∗ C.-L. Zou, and L. Sun 1Center for Quantum Information, Institute for Interdisciplinary Information Sciences, Tsinghua University, Beijing 100084, China 2Key Laboratory of Quantum Information, CAS, University of Science and Technology of China, Hefei, Anhui 230026, P. R. China Quantum information is vulnerable to environmental noise and experimental imperfections, hindering the reliability of practical quantum information processors. Therefore, quantum error correction (QEC) that can protect quantum information against noise is vital for universal and scalable quantum compu- tation. Among many different experimental platforms, superconducting quantum circuits and bosonic encodings in superconducting microwave modes are appealing for their unprecedented potential in QEC. During the last few years, bosonic QEC is demonstrated to reach the break-even point, i.e. the lifetime of a logical qubit is enhanced to exceed that of any individual components composing the experimen- tal system. Beyond that, universal gate sets and fault-tolerant operations on the bosonic codes are also realized, pushing quantum information processing towards the QEC era. In this article, we review the recent progress of the bosonic codes, including the Gottesman-Kitaev-Preskill codes, cat codes, and bino- mial codes, and discuss the opportunities of bosonic codes in various quantum applications, ranging from fault-tolerant quantum computation to quantum metrology. We also summarize the challenges associated with the bosonic codes and provide an outlook for the potential research directions in the long terms. I. INTRODUCTION grees of freedom, e.g. spatial, temporal, frequency, polar- ization, or their combinations, and thus are scalable. Third, Quantum computers promise to exponentially or dramat- bosonic modes are convenient in transferring information and ically outperform classical computers on certain problems also can easily interface with many different physical systems, (e.g. factoring and unstructured database searching) because therefore they are inevitable building blocks in quantum net- of quantum coherence and true parallel computation [1–4]. works. Lastly, bosonic modes are fundamental and indispens- However, quantum states are fragile and can be easily de- able physical systems that cannot be replaced by other qubit stroyed by their inevitable coupling to the uncontrolled en- or finite-level quantum systems. vironment, which presents a major obstacle to universal quan- Therefore, bosonic modes have attracted a lot of interest tum computation [2,5]. A practical quantum computer that in quantum information processing and demonstrated wide is capable of large circuit depth, therefore, ultimately calls for applications in quantum computation, quantum communica- operations on logical qubits protected by quantum error cor- tion, quantum simulation, and quantum metrology in the last rection (QEC) against unwanted or uncontrolled errors and is decades, as shown in Fig.1. Bosonic modes with QEC pro- expected to spend a vast majority of its resources on error cor- tection would exhibit better quantum properties and thus will rection [6–11]. The realization of such a logical qubit with a greatly broaden the above applications. As a result, exten- longer coherence time than its individual physical components sive explorations of QEC based on bosonic modes are de- is considered as one of the most challenging and urgent goals manded. As mentioned, QEC in a bosonic mode benefits from for current quantum information processing [3, 12]. When the infinite-dimensional Hilbert space of a harmonic oscillator universal gate sets on these logical qubits are available, quan- for redundant information encoding and only one error syn- tum information processing technologies would enter an era drome that needs to be monitored, thus greatly reducing the of quantum protection. Finally, universal quantum computa- requirements on hardware. The bosonic modes could be real- tion is realizable by scaling up the system when the error rates ized with microwave or optical photons, magnons, phonons, of the logical gates exceed a certain threshold. plasmons, as well as polaritons [26]. Among them, supercon- Extensive attention has been paid to the qubit-based quan- ducting circuit quantum electrodynamics (circuit QED) archi- arXiv:2010.08699v1 [quant-ph] 17 Oct 2020 tum computation systems. However, the demonstration of tecture [3, 27–32] is of particular interest for bosonic QEC QEC in those systems is extremely challenging due to the codes due to its unprecedented capability in quantum con- huge physical resource overhead and the difficulties in scal- trol. Three dimensional (3D) cavities [33], especially 3D ing up the number of qubits [9, 13, 14]. So far, qubit-based coaxial cavities [34], exhibit great quantum coherence with QEC encoding and gate operations on the encoded qubits still single-photon lifetimes up to 1-10 ms. In analogy to optical remain elusive. Compared with qubits, harmonic oscillators cavity QED that studies the interaction between atoms and or bosonic modes provide an alternative route towards uni- photons, circuit QED describes the interaction between su- versal quantum computation. The bosonic modes are ben- perconducting qubits (artificial atoms) and microwave pho- eficial to quantum information processing in four aspects. tons in a cavity with ultrahigh cooperativities. Thus, this ex- First, a single bosonic mode can provide an infinitely large perimental platform allows universal control of the bosonic Hilbert space, which allows QEC encoding by only extending mode with high fidelities, and QEC that exceeds or closely excitation numbers while keeping the noise channels fixed. reaches the break-even point [12, 35, 36], logical-qubit oper- Second, bosonic modes could be realized with multiple de- ations [19, 35–38], and fault-tolerant operations [15–17] have 2 f ∣ 〉 non-fault-tolerant fault-tolerant path independent ωRO quantum gates ∣e〉 FT parity ωge measurement ωef ωET ∣g〉 ∣gn⟩ ∣e4⟩ ∣e3⟩ ∣e2⟩ ∣e1⟩ ∣e0⟩ autonomous error-transparent quantum error gates correction topological invariant ∣g4⟩ ∣g3⟩ ∣g2⟩ ∣g1⟩ ∣g0⟩ ∣en⟩ measurement |+ZL〉 S1 S2 |–XL〉 |–YL〉 Q R R1 Q1 2 2 logical |+YL〉 Q3 data-qubit |+XL〉 R3 encoding |–ZL〉 Bosonic simulating molecular aˆ vibronic spectra O κ propagating H H out bˆ photon Mode bˆ g(t) out P0 N Nϕ U O 0 U1 0 2 ϕ OO D single-mode α) 3 N = 3 N = 6 N = 9 N = 12 W ( 2 0.6 sensing 1 standing-mode 0 0.4 –1 Readout –2 0.2 mode α) –3 Theory Im ( 3 0.0 2 1 –0.2 0 –1 –0.4 –2 –3 Exp –0.6 –3 –2 –1 0 1 2 3 –3 –2 –1 0 1 2 3 –3 –2 –1 0 1 2 3 –3 –2 –1 0 1 2 3 Sensing Qubit Re (α) mode manipulation Dynamic quantum Initial state process Final state Measurement Estimator parameter estimation xest FIG. 1. Quantum applications of bosonic modes. Bosonic modes have wide applications in quantum computation, quantum communication, quantum simulation, and quantum metrology. Here we only list a small portion of them. For quantum computation, QEC and fault-tolerant operations on bosonic codes have been demonstrated. Adapted from Refs. [15–18]. For quantum communication, quantum state transfer, remote entanglement, gate teleportation, etc., have been demonstrated. Adapted from Refs. [19, 20]. A single bosonic mode can be employed for quantum metrology to achieve a measurement precision beyond the shot-noise limit. Moreover, it is promising to achieve quantum- enhanced sensing by constructing suitable QEC codes. Adapted from Ref. [21, 22]. Bosonic modes also can be used to simulate solid-state materials and molecular vibrations. Adapted from Refs. [23–25]. already been demonstrated based on bosonic codes. bosonic codes as well as the universal control of the codes. This article reviews the recent development of bosonic QEC With the basic toolkit available, intriguing potential applica- codes in superconducting quantum circuits. The organization tions of bosonic codes and their proof-of-principle demon- is as follows. A basic introduction of QEC and bosonic modes strations in the fault-tolerant quantum computation, quantum is provided in Sec.II. Details on the three most widely used communication, quantum simulation, and quantum metrology bosonic codes, i.e. the Gottesman-Kitaev-Preskill (GKP), cat, are presented in Sec.V. Finally, future directions and chal- and binomial codes are presented in Sec. III. In Sec.IV, we lenges are discussed in Sec.VI. summarize the underlying kernel techniques to realize the 3 (a) Multi-qubit code (b) Bosonic code while single physical qubits contain no encoded information. Because noise is generally local and independent, it only cor- rupts little about the stored information. A bit-flip error on the code could be detected by measuring the correlations between neighboring qubits (the error syndromes) instead of projec- tive measurements of the encoded quantum states. The essen- tial part for QEC to work is that these error syndrome mea- FIG. 2. Multi-qubit architecture vs bosonic-mode architecture. surements need to be non-destructive to the encoded informa- Enlarged Hilbert space can be constructed with multiple qubits (a) or tion, which is realized by introducing and measuring ancillary one bosonic mode (b). Qubits and harmonic oscillators are critical el- qubits or modes that interact with the physical qubits consti- ements for these two different architectures. However, their roles are tuting the QEC codewords. exchanged: in the qubit-based architecture, quantum information is The above QEC would be properly described by a more stored on the qubits while harmonic oscillators are used to couple or readout the qubits; in the bosonic architecture, quantum information general mathematical framework. The QEC condition is a is stored in the bosonic modes while the qubits provide the necessary sufficient and necessary condition for a QEC code to protect nonlinearity for the control and readout of the bosonic modes. against errors in a given error set e = Eˆi : f g † Pˆ Eˆi EˆjPˆ = ai jPˆ (1) II.