Quantum Information Processing with Bosonic Qubits in Circuit QED Atharv Joshi,1 Kyungjoo Noh,2, ∗ and Yvonne Y. Gao1, y 1Centre for Quantum Technologies, National University of Singapore 2AWS Center for Quantum Computing, Pasadena, CA, 91125, USA The unique features of quantum theory offer a powerful new paradigm for information processing. Translating these mathematical abstractions into useful algorithms and applications requires quantum systems with significant complexity and sufficiently low error rates. Such quantum systems must be made from robust hardware that can coherently store, process, and extract the encoded information, as well as possess effective quantum error correction (QEC) protocols to detect and correct errors. Circuit quantum electrodynamics (cQED) provides a promising hardware platform for implementing robust quantum devices. In particular, bosonic encodings in cQED that use multi- photon states of superconducting cavities to encode information have shown success in realizing hardware-efficient QEC. Here, we review recent developments in the theory and implementation of quantum error correction with bosonic codes and report the progress made towards realizing fault-tolerant quantum information processing with cQED devices. CONTENTS I. INTRODUCTION I. Introduction 1 A quantum computer harnesses unique features of A. Organization of the article 2 quantum theory, such as superposition and entangle- ment, to tackle classically challenging tasks. To perform II. Concepts of Bosonic Quantum Error faithful computation, quantum information must be Correction 2 protected against errors due to decoherence mechanisms and operational imperfections. While these errors are III. Performance of Bosonic Codes for Loss and relatively insignificant individually, they can quickly Dephasing Errors 4 accumulate to completely scramble the information. A. Rotation-symmetric codes: Binomial and cat To protect quantum information from scrambling, codes 5 the theoretical frameworks of quantum error correction B. Translation-symmetric codes: GKP codes 6 (QEC) [1, 2] and fault-tolerant quantum computation [3] C. Biased-noise bosonic qubits: Two-component were developed in the early days of quantum computing. cat codes 7 Essentially, these frameworks devise encodings which D. Comparison of various bosonic codes for loss map a collection of physical elements onto a single and dephasing errors 8 `logical' bit of quantum information. Such a logical qubit is endowed with cleverly chosen symmetry properties IV. The cQED Hardware for Bosonic Codes 8 that allow us to extract error syndromes and enact error A. Components of the cQED architecture 9 correction without disturbing the encoded information. B. Coherence of superconducting cavities 9 An important metric for evaluating the effectiveness of QEC implementations is the break-even point, which V. Realization of Bosonic Logical Qubits 10 is achieved when the lifetime of a logical qubit exceeds A. Operations on single bosonic modes 10 that of the best single physical element in the system. B. Operations on multiple bosonic modes 12 Achieving the break-even point entails that additional C. Implementations of QEC 13 physical elements and operations introduced to a QEC VI. Towards Fault-tolerant Quantum Computation process do not cause more degradation than the pro- arXiv:2008.13471v3 [quant-ph] 12 Apr 2021 with Bosonic Modes 14 tection they afford. Hence, reaching the break-even point is a critical pre-requisite for implementing fault- VII. Outlook and Perspectives 15 tolerant gates and eventually performing robust quantum information processing on a large scale. References 16 In the conventional approach to QEC, the physical elements are realized by discrete two-level systems. In this approach, even a simple QEC scheme designed to correct single errors, such as the Steane code [2], ∗ This review paper was written before K. Noh joined AWS Center requires tens of two-level systems, ancillary qubits, and for Quantum Computing. measurement elements. Constructing physical devices y Corresponding author: [email protected] that contain these many interconnected elements can be a significant engineering challenge. More crucially, having many interconnected elements often degrades the device 2 performance and introduces new uncorrectable errors last decade. Subsequently, in Sec. V, we explore the latest such as cross-talk due to undesired couplings between the developments in implementing robust universal control elements. Over the last decade, many proof-of-principle on bosonic qubits encoded in superconducting cavities, demonstrations of QEC schemes have been realized both in terms of single-mode gates as well as novel with encoding schemes based on two-level systems [4{ two-mode operations. We then describe the different 10]. However, given the practical challenges described strategies for detecting and correcting quantum errors above, these demonstrations have not deterministically on bosonic logical qubits encoded in superconducting extended the performance of the logical qubits beyond cavities. that of the best available physical qubit in the system. In Sec. VI, we discuss the concept of fault-tolerance A promising alternative with the potential to realize and how that might be realized with protected bosonic robust universal quantum computing with effective QEC qubits. Here, we also feature some novel schemes that beyond the break-even point involves encoding logical concatenate bosonic codes with other QEC codes to qubits in continuous variables [11{13]. In particular, protect against quantum errors more comprehensively. superconducting microwave cavities coupled to one or Finally, in Sec. VII, we provide some perspectives for more anharmonic elements in the circuit quantum achieving QEC on a larger scale. We conclude by electrodynamics (cQED) architecture provide a valuable remarking on the appeal of the modular architecture, resource for the hardware-efficient encoding of logical which offers a promising path for practical and robust qubits [14, 15]. These cavities have a large Hilbert quantum information processing with individually pro- space for encoding information in multi-photon states tected bosonic logical elements. compactly and thus form a logical qubit in a single piece of hardware. The anharmonic element, typically in the form of a transmon and henceforth referred to II. CONCEPTS OF BOSONIC QUANTUM as the `ancilla', provides the necessary non-linearity to ERROR CORRECTION control and measure cavity states. This strategy of using multi-photon states of superconducting cavities to The general principle of QEC is to encode logical encode logical information is also known as bosonic codes. quantum information redundantly in a large Hilbert Implementations of bosonic codes in cQED have thus far space with certain symmetry properties, which can not only demonstrated QEC at the break-even point [16], be used to detect errors. In particular, logical code but also robust operations [17{21] and fault-tolerant states are designed such that they can be mapped onto measurement of error syndromes [22], thus making rapid orthogonal subspaces under distinct errors. Crucially, the progress in recent years. logical information can be recovered faithfully only if the In this article, we review the recent developments in mapping between the logical and the error states does bosonic codes in the cQED setting. In particular, we not distort the code words. highlight the progress made in demonstrating effective Mathematically, these requirements can be succinctly QEC and information processing with logical elements described by the Knill-Laflamme condition [23], which implemented using bosonic codes. These recent works states that an error-correcting code C can correct provide compelling evidence for the vast potential of any error operators in the span of an error set ^ ^ bosonic codes in cQED as the fundamental building E ≡ fE1; ··· ; EjEjg if and only if it satisfies: blocks for robust universal quantum computing. ^ ^y ^ ^ ^ PCE` E`0 PC = α``0 PC (1) A. Organization of the article for all `; `0 2 f1; ··· ; jEjg, where jEj is the size of the error set, P^C is the projection operator to the code space C, In Sec. II, we begin by outlining the basic principles and α``0 are matrix elements of a Hermitian and positive of QEC as well as bosonic codes. Here, we highlight semi-definite matrix. A derivation of the Knill-Laflamme their nature by comparing a bosonic code with a multi- condition is given in Ref. [24]. qubit code in the presence of similar errors. In Sec. III, Bosonic codes achieve these requirements by cleverly we present various bosonic encoding schemes proposed configuring the excitations in a harmonic oscillator mode. in literature and compare their respective strengths For instance, in the cQED architecture, information and limitations. In particular, we wish to emphasize is encoded in multi-photon states of superconducting crucial considerations for constructing these codes and microwave cavities. We will illustrate how bosonic QEC evaluating their performance in the presence of naturally- codes work by describing the simplest binomial code [25], occurring errors. also known as the `kitten' code. We will then compare In Sec. IV, we introduce the key hardware building this code with its multi-qubit cousin, the `4-qubit code' blocks required for cQED implementations of bosonic (or the [[4; 1; 2]] code or the distance-2 surface code) [26], encoding schemes. In this section, we also consolidate in the