Showing 1–50 of 90 results for author: Terhal, B M

Reducing the error rate of a superconducting logical qubit using analog readout information

Authors: Hany Ali, Jorge Marques, Ophelia Crawford, Joonas Majaniemi, Marc Serra-Peralta, David Byfield, Boris Varbanov, Barbara M. Terhal, Leonardo DiCarlo, Earl T. Campbell

Abstract: Quantum error correction enables the preservation of logical qubits with a lower logical error rate than the physical error rate, with performance depending on the decoding method. Traditional error decoding approaches, relying on the binarization (`hardening') of readout data, often ignore valuable information embedded in the analog (`soft') readout signal. We present experimental results showcas… ▽ More Quantum error correction enables the preservation of logical qubits with a lower logical error rate than the physical error rate, with performance depending on the decoding method. Traditional error decoding approaches, relying on the binarization (`hardening') of readout data, often ignore valuable information embedded in the analog (`soft') readout signal. We present experimental results showcasing the advantages of incorporating soft information into the decoding process of a distance-three ($d=3$) bit-flip surface code with transmons. To this end, we use the $3\times3$ data-qubit array to encode each of the $16$ computational states that make up the logical state $\ket{0_{\mathrm{L}}}$, and protect them against bit-flip errors by performing repeated $Z$-basis stabilizer measurements. To infer the logical fidelity for the $\ket{0_{\mathrm{L}}}$ state, we average across the $16$ computational states and employ two decoding strategies: minimum weight perfect matching and a recurrent neural network. Our results show a reduction of up to $6.8\%$ in the extracted logical error rate with the use of soft information. Decoding with soft information is widely applicable, independent of the physical qubit platform, and could reduce the readout duration, further minimizing logical error rates. △ Less

Submitted 1 March, 2024; originally announced March 2024.

Comments: 23 pages, 8 figures, 2 table; typos corrected

Lecture Notes on Quantum Electrical Circuits

Authors: Alessandro Ciani, David P. DiVincenzo, Barbara M. Terhal

Abstract: During the last 30 years, stimulated by the quest to build superconducting quantum processors, a theory of quantum electrical circuits has emerged and this theory goes under the name of circuit quantum electrodynamics or circuit-QED. The goal of the theory is to provide a quantum description of the most relevant degrees of freedom. The central objects to be derived and studied are the Lagrangian a… ▽ More During the last 30 years, stimulated by the quest to build superconducting quantum processors, a theory of quantum electrical circuits has emerged and this theory goes under the name of circuit quantum electrodynamics or circuit-QED. The goal of the theory is to provide a quantum description of the most relevant degrees of freedom. The central objects to be derived and studied are the Lagrangian and the Hamiltonian governing these degrees of freedom. Central concepts in classical network theory such as impedance and scattering matrices can be used to obtain the Hamiltonian and Lagrangian description for the lossless (linear) part of the circuits. Methods of analysis, both classical and quantum, can also be developed for nonreciprocal circuits. These lecture notes aim at giving a pedagogical overview of this subject for theoretically-oriented Master or PhD students in physics and electrical engineering, as well as Master and PhD students who work on experimental superconducting quantum devices and wish to learn more theory. △ Less

Submitted 15 February, 2024; v1 submitted 8 December, 2023; originally announced December 2023.

Comments: This text is also available as a TU Delft Open Textbook. The text is supplemented with 41 exercises and a version which includes the answers to the exercises can be found at the provided DOI

Neural network decoder for near-term surface-code experiments

Authors: Boris M. Varbanov, Marc Serra-Peralta, David Byfield, Barbara M. Terhal

Abstract: Neural-network decoders can achieve a lower logical error rate compared to conventional decoders, like minimum-weight perfect matching, when decoding the surface code. Furthermore, these decoders require no prior information about the physical error rates, making them highly adaptable. In this study, we investigate the performance of such a decoder using both simulated and experimental data obtain… ▽ More Neural-network decoders can achieve a lower logical error rate compared to conventional decoders, like minimum-weight perfect matching, when decoding the surface code. Furthermore, these decoders require no prior information about the physical error rates, making them highly adaptable. In this study, we investigate the performance of such a decoder using both simulated and experimental data obtained from a transmon-qubit processor, focusing on small-distance surface codes. We first show that the neural network typically outperforms the matching decoder due to better handling errors leading to multiple correlated syndrome defects, such as $Y$ errors. When applied to the experimental data of [Google Quantum AI, Nature 614, 676 (2023)], the neural network decoder achieves logical error rates approximately $25\%$ lower than minimum-weight perfect matching, approaching the performance of a maximum-likelihood decoder. To demonstrate the flexibility of this decoder, we incorporate the soft information available in the analog readout of transmon qubits and evaluate the performance of this decoder in simulation using a symmetric Gaussian-noise model. Considering the soft information leads to an approximately $10\%$ lower logical error rate, depending on the probability of a measurement error. The good logical performance, flexibility, and computational efficiency make neural network decoders well-suited for near-term demonstrations of quantum memories. △ Less

Submitted 23 October, 2023; v1 submitted 6 July, 2023; originally announced July 2023.

Comments: 15 pages, 8 figures, 1 table; Added/updated references, fixed typos, retrained some models to improve performance, and included a soft MWPM decoder comparison in Sec. III

Homological Quantum Rotor Codes: Logical Qubits from Torsion

Authors: Christophe Vuillot, Alessandro Ciani, Barbara M. Terhal

Abstract: We formally define homological quantum rotor codes which use multiple quantum rotors to encode logical information. These codes generalize homological or CSS quantum codes for qubits or qudits, as well as linear oscillator codes which encode logical oscillators. Unlike for qubits or oscillators, homological quantum rotor codes allow one to encode both logical rotors and logical qudits in the same… ▽ More We formally define homological quantum rotor codes which use multiple quantum rotors to encode logical information. These codes generalize homological or CSS quantum codes for qubits or qudits, as well as linear oscillator codes which encode logical oscillators. Unlike for qubits or oscillators, homological quantum rotor codes allow one to encode both logical rotors and logical qudits in the same block of code, depending on the homology of the underlying chain complex. In particular, a code based on the chain complex obtained from tessellating the real projective plane or a Möbius strip encodes a qubit. We discuss the distance scaling for such codes which can be more subtle than in the qubit case due to the concept of logical operator spreading by continuous stabilizer phase-shifts. We give constructions of homological quantum rotor codes based on 2D and 3D manifolds as well as products of chain complexes. Superconducting devices being composed of islands with integer Cooper pair charges could form a natural hardware platform for realizing these codes: we show that the $0$-$π$-qubit as well as Kitaev's current-mirror qubit -- also known as the Möbius strip qubit -- are indeed small examples of such codes and discuss possible extensions. △ Less

Submitted 28 September, 2023; v1 submitted 23 March, 2023; originally announced March 2023.

Comments: 69 pages, 10 figures, 2 tables

All-microwave leakage reduction units for quantum error correction with superconducting transmon qubits

Authors: J. F. Marques, H. Ali, B. M. Varbanov, M. Finkel, H. M. Veen, S. L. M. van der Meer, S. Valles-Sanclemente, N. Muthusubramanian, M. Beekman, N. Haider, B. M. Terhal, L. DiCarlo

Abstract: Minimizing leakage from computational states is a challenge when using many-level systems like superconducting quantum circuits as qubits. We realize and extend the quantum-hardware-efficient, all-microwave leakage reduction unit (LRU) for transmons in a circuit QED architecture proposed by Battistel et al. This LRU effectively reduces leakage in the second- and third-excited transmon states with… ▽ More Minimizing leakage from computational states is a challenge when using many-level systems like superconducting quantum circuits as qubits. We realize and extend the quantum-hardware-efficient, all-microwave leakage reduction unit (LRU) for transmons in a circuit QED architecture proposed by Battistel et al. This LRU effectively reduces leakage in the second- and third-excited transmon states with up to $99\% $ efficacy in $220~\mathrm{ns}$, with minimum impact on the qubit subspace. As a first application in the context of quantum error correction, we demonstrate the ability of multiple simultaneous LRUs to reduce the error detection rate and to suppress leakage buildup within $1\%$ in data and ancilla qubits over 50 cycles of a weight-2 parity measurement. △ Less

Submitted 22 March, 2023; v1 submitted 20 February, 2023; originally announced February 2023.

Comments: 11 pages, 11 figures, 1 table; typos corrected

Journal ref: Phys. Rev. Lett. 130, 250602 (2023)

Microwave-activated gates between a fluxonium and a transmon qubit

Authors: Alessandro Ciani, Boris M. Varbanov, Nicolas Jolly, Christian K. Andersen, Barbara M. Terhal

Abstract: We propose and analyze two types of microwave-activated gates between a fluxonium and a transmon qubit, namely a cross-resonance (CR) and a CPHASE gate. The large frequency difference between a transmon and a fluxonium makes the realization of a two-qubit gate challenging. For a medium-frequency fluxonium qubit, the transmon-fluxonium system allows for a cross-resonance effect mediated by the high… ▽ More We propose and analyze two types of microwave-activated gates between a fluxonium and a transmon qubit, namely a cross-resonance (CR) and a CPHASE gate. The large frequency difference between a transmon and a fluxonium makes the realization of a two-qubit gate challenging. For a medium-frequency fluxonium qubit, the transmon-fluxonium system allows for a cross-resonance effect mediated by the higher levels of the fluxonium over a wide range of transmon frequencies. This allows one to realize the cross-resonance gate by driving the fluxonium at the transmon frequency, mitigating typical problems of the cross-resonance gate in transmon-transmon chips related to frequency targeting and residual ZZ coupling. However, when the fundamental frequency of the fluxonium enters the low-frequency regime below 100 MHz, the cross-resonance effect decreases leading to long gate times. For this range of parameters, a fast microwave CPHASE gate can be implemented using the higher levels of the fluxonium. In both cases, we perform numerical simulations of the gate showing that a gate fidelity above 99% can be obtained with gate times between 100 and 300 ns. Next to a detailed gate analysis, we perform a study of chip yield for a surface code lattice of fluxonia and transmons interacting via the proposed cross-resonance gate. We find a much better yield as compared to a transmon-only architecture with the cross-resonance gate as native two-qubit gate. △ Less

Submitted 13 December, 2022; v1 submitted 13 June, 2022; originally announced June 2022.

Phase flip code with semiconductor spin qubits

Authors: F. van Riggelen, W. I. L. Lawrie, M. Russ, N. W. Hendrickx, A. Sammak, M. Rispler, B. M. Terhal, G. Scappucci, M. Veldhorst

Abstract: The fault-tolerant operation of logical qubits is an important requirement for realizing a universal quantum computer. Spin qubits based on quantum dots have great potential to be scaled to large numbers because of their compatibility with standard semiconductor manufacturing. Here, we show that a quantum error correction code can be implemented using a four-qubit array in germanium. We demonstrat… ▽ More The fault-tolerant operation of logical qubits is an important requirement for realizing a universal quantum computer. Spin qubits based on quantum dots have great potential to be scaled to large numbers because of their compatibility with standard semiconductor manufacturing. Here, we show that a quantum error correction code can be implemented using a four-qubit array in germanium. We demonstrate a resonant SWAP gate and by combining controlled-Z and controlled-$\text{S}^{-1}$ gates we construct a Toffoli-like three-qubit gate. We execute a two-qubit phase flip code and find that we can preserve the state of the data qubit by applying a refocusing pulse to the ancilla qubit. In addition, we implement a phase flip code on three qubits, making use of a Toffoli-like gate for the final correction step. Both the quality and quantity of the qubits will require significant improvement to achieve fault-tolerance. However, the capability to implement quantum error correction codes enables co-design development of quantum hardware and software, where codes tailored to the properties of spin qubits and advances in fabrication and operation can now come together to scale semiconductor quantum technology toward universal quantum computers. △ Less

Submitted 23 February, 2022; originally announced February 2022.

Comments: 8 pages, 4 figures

Fault-tolerant operation of a logical qubit in a diamond quantum processor

Authors: M. H. Abobeih, Y. Wang, J. Randall, S. J. H. Loenen, C. E. Bradley, M. Markham, D. J. Twitchen, B. M. Terhal, T. H. Taminiau

Abstract: Solid-state spin qubits are a promising platform for quantum computation and quantum networks. Recent experiments have demonstrated high-quality control over multi-qubit systems, elementary quantum algorithms and non-fault-tolerant error correction. Large-scale systems will require using error-corrected logical qubits that are operated fault-tolerantly, so that reliable computation is possible des… ▽ More Solid-state spin qubits are a promising platform for quantum computation and quantum networks. Recent experiments have demonstrated high-quality control over multi-qubit systems, elementary quantum algorithms and non-fault-tolerant error correction. Large-scale systems will require using error-corrected logical qubits that are operated fault-tolerantly, so that reliable computation is possible despite noisy operations. Overcoming imperfections in this way remains a major outstanding challenge for quantum science. Here, we demonstrate fault-tolerant operations on a logical qubit using spin qubits in diamond. Our approach is based on the 5-qubit code with a recently discovered flag protocol that enables fault-tolerance using a total of seven qubits. We encode the logical qubit using a novel protocol based on repeated multi-qubit measurements and show that it outperforms non-fault-tolerant encoding schemes. We then fault-tolerantly manipulate the logical qubit through a complete set of single-qubit Clifford gates. Finally, we demonstrate flagged stabilizer measurements with real-time processing of the outcomes. Such measurements are a primitive for fault-tolerant quantum error correction. While future improvements in fidelity and the number of qubits will be required, our realization of fault-tolerant protocols on the logical-qubit level is a key step towards large-scale quantum information processing based on solid-state spins. △ Less

Submitted 3 August, 2021; originally announced August 2021.

Journal ref: Nature (2022)

Heisenberg-limited quantum phase estimation of multiple eigenvalues with few control qubits

Authors: Alicja Dutkiewicz, Barbara M. Terhal, Thomas E. O'Brien

Abstract: Quantum phase estimation is a cornerstone in quantum algorithm design, allowing for the inference of eigenvalues of exponentially-large sparse matrices.The maximum rate at which these eigenvalues may be learned, --known as the Heisenberg limit--, is constrained by bounds on the circuit complexity required to simulate an arbitrary Hamiltonian. Single-control qubit variants of quantum phase estimati… ▽ More Quantum phase estimation is a cornerstone in quantum algorithm design, allowing for the inference of eigenvalues of exponentially-large sparse matrices.The maximum rate at which these eigenvalues may be learned, --known as the Heisenberg limit--, is constrained by bounds on the circuit complexity required to simulate an arbitrary Hamiltonian. Single-control qubit variants of quantum phase estimation that do not require coherence between experiments have garnered interest in recent years due to lower circuit depth and minimal qubit overhead. In this work we show that these methods can achieve the Heisenberg limit, {\em also} when one is unable to prepare eigenstates of the system. Given a quantum subroutine which provides samples of a `phase function' $g(k)=\sum_j A_j e^{i φ_j k}$ with unknown eigenphases $φ_j$ and overlaps $A_j$ at quantum cost $O(k)$, we show how to estimate the phases $\{φ_j\}$ with (root-mean-square) error $δ$ for total quantum cost $T=O(δ^{-1})$. Our scheme combines the idea of Heisenberg-limited multi-order quantum phase estimation for a single eigenvalue phase [Higgins et al (2009) and Kimmel et al (2015)] with subroutines with so-called dense quantum phase estimation which uses classical processing via time-series analysis for the QEEP problem [Somma (2019)] or the matrix pencil method. For our algorithm which adaptively fixes the choice for $k$ in $g(k)$ we prove Heisenberg-limited scaling when we use the time-series/QEEP subroutine. We present numerical evidence that using the matrix pencil technique the algorithm can achieve Heisenberg-limited scaling as well. △ Less

Submitted 23 September, 2022; v1 submitted 9 July, 2021; originally announced July 2021.

Comments: 25 pages + 5 page appendix, 3 figures, accepted in Quantum

Journal ref: Quantum 6, 830 (2022)

Preparing Dicke states in a spin ensemble using phase estimation

Authors: Yang Wang, Barbara M. Terhal

Abstract: We present a Dicke state preparation scheme which uses global control of $N$ spin qubits: our scheme is based on the standard phase estimation algorithm, which estimates the eigenvalue of a unitary operator. The scheme prepares a Dicke state non-deterministically by collectively coupling the spins to an ancilla qubit via a $ZZ$-interaction, using $\ceil*{\log_2 N} + 1$ ancilla qubit measurements.… ▽ More We present a Dicke state preparation scheme which uses global control of $N$ spin qubits: our scheme is based on the standard phase estimation algorithm, which estimates the eigenvalue of a unitary operator. The scheme prepares a Dicke state non-deterministically by collectively coupling the spins to an ancilla qubit via a $ZZ$-interaction, using $\ceil*{\log_2 N} + 1$ ancilla qubit measurements. The preparation of such Dicke states can be useful if the spins in the ensemble are used for magnetic sensing: we discuss a possible realization using an ensemble of electronic spins located at diamond Nitrogen-Vacancy (NV) centers coupled to a single superconducting flux qubit. We also analyze the effect of noise and limitations in our scheme. △ Less

Submitted 10 September, 2021; v1 submitted 29 April, 2021; originally announced April 2021.

Journal ref: Phys. Rev. A 104, 032407 (2021)

Logical-qubit operations in an error-detecting surface code

Authors: J. F. Marques, B. M. Varbanov, M. S. Moreira, H. Ali, N. Muthusubramanian, C. Zachariadis, F. Battistel, M. Beekman, N. Haider, W. Vlothuizen, A. Bruno, B. M. Terhal, L. DiCarlo

Abstract: We realize a suite of logical operations on a distance-two logical qubit stabilized using repeated error detection cycles. Logical operations include initialization into arbitrary states, measurement in the cardinal bases of the Bloch sphere, and a universal set of single-qubit gates. For each type of operation, we observe higher performance for fault-tolerant variants over non-fault-tolerant vari… ▽ More We realize a suite of logical operations on a distance-two logical qubit stabilized using repeated error detection cycles. Logical operations include initialization into arbitrary states, measurement in the cardinal bases of the Bloch sphere, and a universal set of single-qubit gates. For each type of operation, we observe higher performance for fault-tolerant variants over non-fault-tolerant variants, and quantify the difference through detailed characterization. In particular, we demonstrate process tomography of logical gates, using the notion of a logical Pauli transfer matrix. This integration of high-fidelity logical operations with a scalable scheme for repeated stabilization is a milestone on the road to quantum error correction with higher-distance superconducting surface codes. △ Less

Submitted 25 February, 2021; originally announced February 2021.

Comments: 16 pages, 9 figures, 2 tables

Journal ref: Nature Physics 18, 80 (2022)

A hardware-efficient leakage-reduction scheme for quantum error correction with superconducting transmon qubits

Authors: Francesco Battistel, Boris M. Varbanov, Barbara M. Terhal

Abstract: Leakage outside of the qubit computational subspace poses a threatening challenge to quantum error correction (QEC). We propose a scheme using two leakage-reduction units (LRUs) that mitigate these issues for a transmon-based surface code, without requiring an overhead in terms of hardware or QEC-cycle time as in previous proposals. For data qubits we consider a microwave drive to transfer leakage… ▽ More Leakage outside of the qubit computational subspace poses a threatening challenge to quantum error correction (QEC). We propose a scheme using two leakage-reduction units (LRUs) that mitigate these issues for a transmon-based surface code, without requiring an overhead in terms of hardware or QEC-cycle time as in previous proposals. For data qubits we consider a microwave drive to transfer leakage to the readout resonator, where it quickly decays, ensuring that this negligibly affects the coherence within the computational subspace for realistic system parameters. For ancilla qubits we apply a $|1\rangle\leftrightarrow|2\rangle$ $π$ pulse conditioned on the measurement outcome. Using density-matrix simulations of the distance-3 surface code we show that the average leakage lifetime is reduced to almost 1 QEC cycle, even when the LRUs are implemented with limited fidelity. Furthermore, we show that this leads to a significant reduction of the logical error rate. This LRU scheme opens the prospect for near-term scalable QEC demonstrations. △ Less

Submitted 6 July, 2021; v1 submitted 16 February, 2021; originally announced February 2021.

Journal ref: PRX Quantum 2, 030314 (2021)

Stoquasticity in circuit QED

Authors: Alessandro Ciani, Barbara M. Terhal

Abstract: We analyze whether circuit-QED Hamiltonians are stoquastic focusing on systems of coupled flux qubits: we show that scalable sign-problem free path integral Monte Carlo simulations can typically be performed for such systems. Despite this, we corroborate the recent finding [arXiv:1903.06139] that an effective, non-stoquastic qubit Hamiltonian can emerge in a system of capacitively coupled flux qub… ▽ More We analyze whether circuit-QED Hamiltonians are stoquastic focusing on systems of coupled flux qubits: we show that scalable sign-problem free path integral Monte Carlo simulations can typically be performed for such systems. Despite this, we corroborate the recent finding [arXiv:1903.06139] that an effective, non-stoquastic qubit Hamiltonian can emerge in a system of capacitively coupled flux qubits. We find that if the capacitive coupling is sufficiently small, this non-stoquasticity of the effective qubit Hamiltonian can be avoided if we perform a canonical transformation prior to projecting onto an effective qubit Hamiltonian. Our results shed light on the power of circuit-QED Hamiltonians for the use of quantum adiabatic computation and the subtlety of finding a representation which cures the sign problem in these systems △ Less

Submitted 29 March, 2021; v1 submitted 2 November, 2020; originally announced November 2020.

Journal ref: Phys. Rev. A 103, 042401 (2021)

Termwise versus globally stoquastic local Hamiltonians: questions of complexity and sign-curing

Authors: Marios Ioannou, Stephen Piddock, Milad Marvian, Joel Klassen, Barbara M. Terhal

Abstract: We elucidate the distinction between global and termwise stoquasticity for local Hamiltonians and prove several complexity results. We show that the stoquastic local Hamiltonian problem is $\textbf{StoqMA}$-complete even for globally stoquastic Hamiltonians. We study the complexity of deciding whether a local Hamiltonian is globally stoquastic or not. In particular, we prove $\textbf{coNP}$-hardne… ▽ More We elucidate the distinction between global and termwise stoquasticity for local Hamiltonians and prove several complexity results. We show that the stoquastic local Hamiltonian problem is $\textbf{StoqMA}$-complete even for globally stoquastic Hamiltonians. We study the complexity of deciding whether a local Hamiltonian is globally stoquastic or not. In particular, we prove $\textbf{coNP}$-hardness of deciding global stoquasticity in a fixed basis and $Σ_2^p$-hardness of deciding global stoquasticity under single-qubit transformations. As a last result, we expand the class of sign-curing transformations by showing how Clifford transformations can sign-cure a class of disordered 1D $XYZ$ Hamiltonians. △ Less

Submitted 27 April, 2022; v1 submitted 23 July, 2020; originally announced July 2020.

Towards Scalable Bosonic Quantum Error Correction

Authors: Barbara M. Terhal, Jonathan Conrad, Christophe Vuillot

Abstract: We review some of the recent efforts in devising and engineering bosonic qubits for superconducting devices, with emphasis on the Gottesman-Kitaev-Preskill (GKP) qubit. We present some new results on decoding repeated GKP error correction using finitely-squeezed GKP ancilla qubits, exhibiting differences with previously studied stochastic error models. We discuss circuit-QED ways to realize CZ gat… ▽ More We review some of the recent efforts in devising and engineering bosonic qubits for superconducting devices, with emphasis on the Gottesman-Kitaev-Preskill (GKP) qubit. We present some new results on decoding repeated GKP error correction using finitely-squeezed GKP ancilla qubits, exhibiting differences with previously studied stochastic error models. We discuss circuit-QED ways to realize CZ gates between GKP qubits and we discuss different scenario's for using GKP and regular qubits as building blocks in a scalable superconducting surface code architecture. △ Less

Submitted 1 June, 2020; v1 submitted 25 February, 2020; originally announced February 2020.

Comments: 54 pages; 18 Figs; 3 Appendices; invited topical review for Quantum Science & Technology. v2 has a few corrections and some additional references. v3 has a few additional corrections and references

Leakage detection for a transmon-based surface code

Authors: B. M. Varbanov, F. Battistel, B. M. Tarasinski, V. P. Ostroukh, T. E. O'Brien, L. DiCarlo, B. M. Terhal

Abstract: Leakage outside of the qubit computational subspace, present in many leading experimental platforms, constitutes a threatening error for quantum error correction (QEC) for qubits. We develop a leakage-detection scheme via Hidden Markov models (HMMs) for transmon-based implementations of the surface code. By performing realistic density-matrix simulations of the distance-3 surface code (Surface-17)… ▽ More Leakage outside of the qubit computational subspace, present in many leading experimental platforms, constitutes a threatening error for quantum error correction (QEC) for qubits. We develop a leakage-detection scheme via Hidden Markov models (HMMs) for transmon-based implementations of the surface code. By performing realistic density-matrix simulations of the distance-3 surface code (Surface-17), we observe that leakage is sharply projected and leads to an increase in the surface-code defect probability of neighboring stabilizers. Together with the analog readout of the ancilla qubits, this increase enables the accurate detection of the time and location of leakage. We restore the logical error rate below the memory break-even point by post-selecting out leakage, discarding about 47% of the data. Leakage detection via HMMs opens the prospect for near-term QEC demonstrations, targeted leakage reduction and leakage-aware decoding and is applicable to other experimental platforms. △ Less

Submitted 17 February, 2020; originally announced February 2020.

Comments: 21 pages, 13 figures

Journal ref: npj Quantum Inf 6, 102 (2020)

Towards a realistic GaAs-spin qubit device for a classical error-corrected quantum memory

Authors: Manuel Rispler, Pascal Cerfontaine, Veit Langrock, Barbara M. Terhal

Abstract: Based on numerically-optimized real-device gates and parameters we study the performance of the phase-flip (repetition) code on a linear array of Gallium Arsenide (GaAs) quantum dots hosting singlet-triplet qubits. We first examine the expected performance of the code using simple error models of circuit-level and phenomenological noise, reporting, for example, a circuit-level depolarizing noise t… ▽ More Based on numerically-optimized real-device gates and parameters we study the performance of the phase-flip (repetition) code on a linear array of Gallium Arsenide (GaAs) quantum dots hosting singlet-triplet qubits. We first examine the expected performance of the code using simple error models of circuit-level and phenomenological noise, reporting, for example, a circuit-level depolarizing noise threshold of approximately 3%. We then perform density-matrix simulations using a maximum-likelihood and minimum-weight matching decoder to study the effect of real-device dephasing, read-out error, quasi-static as well as fast gate noise. Considering the trade-off between qubit read-out error and dephasing time (T2) over measurement time, we identify a sub-threshold region for the phase-flip code which lies within experimental reach. △ Less

Submitted 12 February, 2020; originally announced February 2020.

Comments: 22 pages

Journal ref: Phys. Rev. A 102, 022416 (2020)

Realizing modular quadrature measurements via a tunable photon-pressure coupling in circuit-QED

Authors: Daniel J. Weigand, Barbara M. Terhal

Abstract: One of the most direct preparations of a Gottesman-Kitaev-Preskill qubit in an oscillator uses a tunable photon-pressure (also called optomechanical) coupling of the form $g \hat{q} a^{\dagger} a$, enabling to imprint the modular value of the position $\hat{q}$ of one oscillator onto the state of an ancilla oscillator. We analyze the practical feasibility of executing such modular quadrature measu… ▽ More One of the most direct preparations of a Gottesman-Kitaev-Preskill qubit in an oscillator uses a tunable photon-pressure (also called optomechanical) coupling of the form $g \hat{q} a^{\dagger} a$, enabling to imprint the modular value of the position $\hat{q}$ of one oscillator onto the state of an ancilla oscillator. We analyze the practical feasibility of executing such modular quadrature measurements in a parametric circuit-QED realization of this coupling. We provide estimates for the expected GKP squeezing induced by the protocol and discuss the effect of photon loss and other errors on the resulting squeezing. △ Less

Submitted 22 September, 2019; originally announced September 2019.

Comments: 28 pages, 8 figures. Comments welcome

Journal ref: Phys. Rev. A 101, 053840 (2020)

Spectral Quantum Tomography

Authors: Jonas Helsen, Francesco Battistel, Barbara M. Terhal

Abstract: We introduce spectral quantum tomography, a simple method to extract the eigenvalues of a noisy few-qubit gate, represented by a trace-preserving superoperator, in a SPAM-resistant fashion, using low resources in terms of gate sequence length. The eigenvalues provide detailed gate information, supplementary to known gate-quality measures such as the gate fidelity, and can be used as a gate diagnos… ▽ More We introduce spectral quantum tomography, a simple method to extract the eigenvalues of a noisy few-qubit gate, represented by a trace-preserving superoperator, in a SPAM-resistant fashion, using low resources in terms of gate sequence length. The eigenvalues provide detailed gate information, supplementary to known gate-quality measures such as the gate fidelity, and can be used as a gate diagnostic tool. We apply our method to one- and two-qubit gates on two different superconducting systems available in the cloud, namely the QuTech Quantum Infinity and the IBM Quantum Experience. We discuss how cross-talk, leakage and non-Markovian errors affect the eigenvalue data. △ Less

Submitted 30 July, 2019; v1 submitted 30 March, 2019; originally announced April 2019.

Comments: 13 pages, 6 figures v2: various minor changes, close to accepted version

Journal ref: npj Quantum Inf 5, 74 (2019)

A fast, low-leakage, high-fidelity two-qubit gate for a programmable superconducting quantum computer

Authors: M. A. Rol, F. Battistel, F. K. Malinowski, C. C. Bultink, B. M. Tarasinski, R. Vollmer, N. Haider, N. Muthusubramanian, A. Bruno, B. M. Terhal, L. DiCarlo

Abstract: A common approach to realize conditional-phase (CZ) gates in transmon qubits relies on flux control of the qubit frequency to make computational states interact with non-computational ones using a fast-adiabatic trajectory to minimize leakage. We develop a bipolar flux-pulsing method with two key advantages over the traditional unipolar variant. First, the action of the bipolar pulse is robust to… ▽ More A common approach to realize conditional-phase (CZ) gates in transmon qubits relies on flux control of the qubit frequency to make computational states interact with non-computational ones using a fast-adiabatic trajectory to minimize leakage. We develop a bipolar flux-pulsing method with two key advantages over the traditional unipolar variant. First, the action of the bipolar pulse is robust to long-timescale linear-dynamical distortions in the flux-control line, facilitating tuneup and ensuring atomic repeatability. Second, the flux symmetry of the transmon Hamiltonian makes the conditional phase and the single-qubit phase of the pulsed qubit first-order insensitive to low-frequency flux noise, increasing fidelity. By harnessing destructive interference to minimize leakage, the bipolar pulse can approach the speed limit set by the exchange coupling. We demonstrate a repeatable, high-fidelity ($99.1\%$), low-leakage ($0.1\%$), and fast ($40~\mathrm{ns}$) CZ gate in a circuit QED quantum processor. Detailed numerical simulations with excellent match to experiment show that leakage is dominated by remaining short-timescale distortions and fidelity is limited by high-frequency flux noise. △ Less

Submitted 6 March, 2019; originally announced March 2019.

Journal ref: Phys. Rev. Lett. 123, 120502 (2019)

Hamiltonian quantum computing with superconducting qubits

Authors: Alessandro Ciani, Barbara M. Terhal, David P. DiVincenzo

Abstract: We consider how the Hamiltonian Quantum Computing scheme introduced in [ar** interactions and we detail how this can be achieved. Our proposal uses a new electric circuit for obtaining the attractive cross… ▽ More We consider how the Hamiltonian Quantum Computing scheme introduced in [ar** interactions and we detail how this can be achieved. Our proposal uses a new electric circuit for obtaining the attractive cross-Kerr coupling between transmons via a dipole-like element. We discuss and numerically analyze the forward motion and execution of the computation and its dependence on coupling strengths and their variability. We extend [arXiv:1509.01278] by explicitly showing how to construct a direct Toffoli gate, thus establishing computational universality via the Hadamard and Toffoli gate or via controlled-Hadamard, Hadamard and CNOT. △ Less

Submitted 7 June, 2019; v1 submitted 2 December, 2018; originally announced December 2018.

Journal ref: Quantum Science and Technology 4(3), 035002 (2019)

Code Deformation and Lattice Surgery Are Gauge Fixing

Authors: Christophe Vuillot, Lingling Lao, Ben Criger, Carmen García Almudéver, Koen Bertels, Barbara M. Terhal

Abstract: The large-scale execution of quantum algorithms requires basic quantum operations to be implemented fault-tolerantly. The most popular technique for accomplishing this, using the devices that can be realised in the near term, uses stabilizer codes which can be embedded in a planar layout. The set of fault-tolerant operations which can be executed in these systems using unitary gates is typically v… ▽ More The large-scale execution of quantum algorithms requires basic quantum operations to be implemented fault-tolerantly. The most popular technique for accomplishing this, using the devices that can be realised in the near term, uses stabilizer codes which can be embedded in a planar layout. The set of fault-tolerant operations which can be executed in these systems using unitary gates is typically very limited. This has driven the development of measurement-based schemes for performing logical operations in these codes, known as lattice surgery and code deformation. In parallel, gauge fixing has emerged as a measurement-based method for performing universal gate sets in subsystem stabilizer codes. In this work, we show that lattice surgery and code deformation can be expressed as special cases of gauge fixing, permitting a simple and rigorous test for fault-tolerance together with simple guiding principles for the implementation of these operations. We demonstrate the accuracy of this method numerically with examples based on the surface code, some of which are novel. △ Less

Submitted 13 November, 2018; v1 submitted 23 October, 2018; originally announced October 2018.

Comments: 37 pages, 21 figures

Journal ref: New J. Phys. 21 033028 (2019)

Quantum Error Correction with the Toric-GKP Code

Authors: Christophe Vuillot, Hamed Asasi, Yang Wang, Leonid P. Pryadko, Barbara M. Terhal

Abstract: We examine the performance of the single-mode GKP code and its concatenation with the toric code for a noise model of Gaussian shifts, or displacement errors. We show how one can optimize the tracking of errors in repeated noisy error correction for the GKP code. We do this by examining the maximum-likelihood problem for this setting and its map** onto a 1D Euclidean path-integral modeling a par… ▽ More We examine the performance of the single-mode GKP code and its concatenation with the toric code for a noise model of Gaussian shifts, or displacement errors. We show how one can optimize the tracking of errors in repeated noisy error correction for the GKP code. We do this by examining the maximum-likelihood problem for this setting and its map** onto a 1D Euclidean path-integral modeling a particle in a random cosine potential. We demonstrate the efficiency of a minimum-energy decoding strategy as a proxy for the path integral evaluation. In the second part of this paper, we analyze and numerically assess the concatenation of the GKP code with the toric code. When toric code measurements and GKP error correction measurements are perfect, we find that by using GKP error information the toric code threshold improves from $10\%$ to $14\%$. When only the GKP error correction measurements are perfect we observe a threshold at $6\%$. In the more realistic setting when all error information is noisy, we show how to represent the maximum likelihood decoding problem for the toric-GKP code as a 3D compact QED model in the presence of a quenched random gauge field, an extension of the random-plaquette gauge model for the toric code. We present a new decoder for this problem which shows the existence of a noise threshold at shift-error standard deviation $σ_0 \approx 0.243$ for toric code measurements, data errors and GKP ancilla errors. If the errors only come from having imperfect GKP states, this corresponds to states with just 4 photons or more. Our last result is a no-go result for linear oscillator codes, encoding oscillators into oscillators. For the Gaussian displacement error model, we prove that encoding corresponds to squeezing the shift errors. This shows that linear oscillator codes are useless for quantum information protection against Gaussian shift errors. △ Less

Submitted 15 October, 2018; v1 submitted 28 September, 2018; originally announced October 2018.

Comments: 50 pages, 14 figures

Journal ref: Phys. Rev. A 99, 032344 (2019)

Quantum phase estimation of multiple eigenvalues for small-scale (noisy) experiments

Authors: T. E. O'Brien, B. Tarasinski, B. M. Terhal

Abstract: Quantum phase estimation is the workhorse behind any quantum algorithm and a promising method for determining ground state energies of strongly correlated quantum systems. Low-cost quantum phase estimation techniques make use of circuits which only use a single ancilla qubit, requiring classical post-processing to extract eigenvalue details of the system. We investigate choices for phase estimatio… ▽ More Quantum phase estimation is the workhorse behind any quantum algorithm and a promising method for determining ground state energies of strongly correlated quantum systems. Low-cost quantum phase estimation techniques make use of circuits which only use a single ancilla qubit, requiring classical post-processing to extract eigenvalue details of the system. We investigate choices for phase estimation for a unitary matrix with low-depth noise-free or noisy circuits, varying both the phase estimation circuits themselves as well as the classical post-processing to determine the eigenvalue phases. We work in the scenario when the input state is not an eigenstate of the unitary matrix. We develop a new post-processing technique to extract eigenvalues from phase estimation data based on a classical time-series (or frequency) analysis and contrast this to an analysis via Bayesian methods. We calculate the variance in estimating single eigenvalues via the time-series analysis analytically, finding that it scales to first order in the number of experiments performed, and to first or second order (depending on the experiment design) in the circuit depth. Numerical simulations confirm this scaling for both estimators. We attempt to compensate for the noise with both classical post-processing techniques, finding good results in the presence of depolarizing noise, but smaller improvements in $9$-qubit circuit-level simulations of superconducting qubits aimed at resolving the electronic ground-state of a $H_4$-molecule. △ Less

Submitted 17 December, 2018; v1 submitted 25 September, 2018; originally announced September 2018.

Comments: 29 pages (1 column, 12pt), 13 page appendix, 11 figures. New version contains explicit demonstration of convergence for multiple eigenvalues in the absence of noise, some comparison between different measures of estimator performance, and more references

Two-local qubit Hamiltonians: when are they stoquastic?

Authors: Joel Klassen, Barbara M. Terhal

Abstract: We examine the problem of determining if a 2-local Hamiltonian is stoquastic by local basis changes. We analyze this problem for two-qubit Hamiltonians, presenting some basic tools and giving a concrete example where using unitaries beyond Clifford rotations is required in order to decide stoquasticity. We report on simple results for $n$-qubit Hamiltonians with identical 2-local terms on bipartit… ▽ More We examine the problem of determining if a 2-local Hamiltonian is stoquastic by local basis changes. We analyze this problem for two-qubit Hamiltonians, presenting some basic tools and giving a concrete example where using unitaries beyond Clifford rotations is required in order to decide stoquasticity. We report on simple results for $n$-qubit Hamiltonians with identical 2-local terms on bipartite graphs. Our most significant result is that we give an efficient algorithm to determine whether an arbitrary $n$-qubit XYZ Heisenberg Hamiltonian is stoquastic by local basis changes. △ Less

Submitted 29 April, 2019; v1 submitted 14 June, 2018; originally announced June 2018.

Comments: 24 pages

Journal ref: Quantum 3, 139 (2019)

The Small Stellated Dodecahedron Code and Friends

Authors: Jonathan Conrad, Christopher Chamberland, Nikolas P. Breuckmann, Barbara M. Terhal

Abstract: We explore a distance-3 homological CSS quantum code, namely the small stellated dodecahedron code, for dense storage of quantum information and we compare its performance with the distance-3 surface code. The data and ancilla qubits of the small stellated dodecahedron code can be located on the edges resp. vertices of a small stellated dodecahedron, making this code suitable for 3D connectivity.… ▽ More We explore a distance-3 homological CSS quantum code, namely the small stellated dodecahedron code, for dense storage of quantum information and we compare its performance with the distance-3 surface code. The data and ancilla qubits of the small stellated dodecahedron code can be located on the edges resp. vertices of a small stellated dodecahedron, making this code suitable for 3D connectivity. This code encodes 8 logical qubits into 30 physical qubits (plus 22 ancilla qubits for parity check measurements) as compared to 1 logical qubit into 9 physical qubits (plus 8 ancilla qubits) for the surface code. We develop fault-tolerant parity check circuits and a decoder for this code, allowing us to numerically assess the circuit-based pseudo-threshold. △ Less

Submitted 29 March, 2018; v1 submitted 20 December, 2017; originally announced December 2017.

Comments: 19 pages, 14 figures, comments welcome! v2 includes updates which conforms with the journal version

Journal ref: Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, 376, 2123 (2018)

Generating Grid States From Schrödinger Cat States without Post-Selection

Authors: Daniel J. Weigand, Barbara M. Terhal

Abstract: Grid (or comb) states are an interesting class of bosonic states introduced by Gottesman, Kitaev and Preskill to encode a qubit into an oscillator. A method to generate or `breed' a grid state from Schrödinger cat states using beam splitters and homodyne measurements is known, but this method requires post-selection. In this paper we show how post-processing of the measurement data can be used to… ▽ More Grid (or comb) states are an interesting class of bosonic states introduced by Gottesman, Kitaev and Preskill to encode a qubit into an oscillator. A method to generate or `breed' a grid state from Schrödinger cat states using beam splitters and homodyne measurements is known, but this method requires post-selection. In this paper we show how post-processing of the measurement data can be used to entirely remove the need for post-selection, making the scheme much more viable. We bound the asymptotic behavior of the breeding procedure and demonstrate the efficacy of the method numerically. △ Less

Submitted 9 February, 2018; v1 submitted 25 September, 2017; originally announced September 2017.

Comments: 10 pages + 5 page appendix, 5 figures

Journal ref: Phys. Rev. A 97, 022341 (2018)

Renormalization group decoder for a four-dimensional toric code

Authors: Kasper Duivenvoorden, Nikolas P. Breuckmann, Barbara M. Terhal

Abstract: We describe a computationally-efficient heuristic algorithm based on a renormalization-group procedure which aims at solving the problem of finding minimal surface given its boundary (curve) in any hypercubic lattice of dimension $D>2$. We use this algorithm to correct errors occurring in a four-dimensional variant of the toric code, having open as opposed to periodic boundaries. For a phenomenolo… ▽ More We describe a computationally-efficient heuristic algorithm based on a renormalization-group procedure which aims at solving the problem of finding minimal surface given its boundary (curve) in any hypercubic lattice of dimension $D>2$. We use this algorithm to correct errors occurring in a four-dimensional variant of the toric code, having open as opposed to periodic boundaries. For a phenomenological error model which includes measurement errors we use a five-dimensional version of our algorithm, achieving a threshold of $4.35\pm0.1\%$. For this error model, this is the highest known threshold of any topological code. Without measurement errors, a four-dimensional version of our algorithm can be used and we find a threshold of $7.3\pm0.1\%$. For the gate-based depolarizing error model we find a threshold of $0.31\pm0.01\%$ which is below the threshold found for the two-dimensional toric code. △ Less

Submitted 30 August, 2017; originally announced August 2017.

Comments: 18 pages, 12 figures, 3 tables. Comments are welcome

Journal ref: IEEE Transactions on Information Theory 2018

Performance and structure of single-mode bosonic codes

Authors: Victor V. Albert, Kyungjoo Noh, Kasper Duivenvoorden, Dylan J. Young, R. T. Brierley, Philip Reinhold, Christophe Vuillot, Linshu Li, Chao Shen, S. M. Girvin, Barbara M. Terhal, Liang Jiang

Abstract: The early Gottesman, Kitaev, and Preskill (GKP) proposal for encoding a qubit in an oscillator has recently been followed by cat- and binomial-code proposals. Numerically optimized codes have also been proposed, and we introduce new codes of this type here. These codes have yet to be compared using the same error model; we provide such a comparison by determining the entanglement fidelity of all c… ▽ More The early Gottesman, Kitaev, and Preskill (GKP) proposal for encoding a qubit in an oscillator has recently been followed by cat- and binomial-code proposals. Numerically optimized codes have also been proposed, and we introduce new codes of this type here. These codes have yet to be compared using the same error model; we provide such a comparison by determining the entanglement fidelity of all codes with respect to the bosonic pure-loss channel (i.e., photon loss) after the optimal recovery operation. We then compare achievable communication rates of the combined encoding-error-recovery channel by calculating the channel's hashing bound for each code. Cat and binomial codes perform similarly, with binomial codes outperforming cat codes at small loss rates. Despite not being designed to protect against the pure-loss channel, GKP codes significantly outperform all other codes for most values of the loss rate. We show that the performance of GKP and some binomial codes increases monotonically with increasing average photon number of the codes. In order to corroborate our numerical evidence of the cat/binomial/GKP order of performance occurring at small loss rates, we analytically evaluate the quantum error-correction conditions of those codes. For GKP codes, we find an essential singularity in the entanglement fidelity in the limit of vanishing loss rate. In addition to comparing the codes, we draw parallels between binomial codes and discrete-variable systems. First, we characterize one- and two-mode binomial as well as multi-qubit permutation-invariant codes in terms of spin-coherent states. Such a characterization allows us to introduce check operators and error-correction procedures for binomial codes. Second, we introduce a generalization of spin-coherent states, extending our characterization to qudit binomial codes and yielding a new multi-qudit code. △ Less

Submitted 20 March, 2018; v1 submitted 16 August, 2017; originally announced August 2017.

Comments: 34 pages, 11 figures, 4 tables. v3: published version. See related talk at https://absuploads.aps.org/presentation.cfm?pid=13511

Journal ref: Phys. Rev. A 97, 032346 (2018)

Quantum phase transitions of the Majorana toric code in the presence of finite Cooper-pair tunneling

Authors: Ananda Roy, Barbara M. Terhal, Fabian Hassler

Abstract: The toric code based on Majorana fermions on mesoscopic superconducting islands is a promising candidate for quantum information processing. In the limit of vanishing Cooper-pair tunneling, it has been argued that the phase transition separating the topologically ordered phase of the toric code from the trivial one is in the universality class of (2+1)D-XY. On the other hand, in the limit of infin… ▽ More The toric code based on Majorana fermions on mesoscopic superconducting islands is a promising candidate for quantum information processing. In the limit of vanishing Cooper-pair tunneling, it has been argued that the phase transition separating the topologically ordered phase of the toric code from the trivial one is in the universality class of (2+1)D-XY. On the other hand, in the limit of infinitely large Cooper-pair tunneling, the phase transition is in the universality class of (2+1)D-Ising. In this work, we treat the case of finite Cooper-pair tunneling and address the question of how the continuous XY symmetry breaking phase transition turns into a discrete $\mathbb{Z}_2$ symmetry breaking one when the Cooper-pair tunneling rate is increased. We show that this happens through a couple of tricritical points and first order phase transitions. Using a Jordan-Wigner transformation, we map the problem to that of spins coupled to quantum rotors and subsequently, propose a Landau field theory for this model that matches the known results in the respective limits. We calculate the effective field theories and provide the relevant critical exponents for the different phase transitions. Our results are relevant for predicting the stability of the topological phase in realistic experimental implementations. △ Less

Submitted 8 May, 2017; originally announced May 2017.

Comments: 5 pages, 2 figures

Journal ref: Phys. Rev. Lett. 119, 180508 (2017)

Hyperbolic and Semi-Hyperbolic Surface Codes for Quantum Storage

Authors: Nikolas P. Breuckmann, Christophe Vuillot, Earl Campbell, Anirudh Krishna, Barbara M. Terhal

Abstract: We show how a hyperbolic surface code could be used for overhead-efficient quantum storage. We give numerical evidence for a noise threshold of 1.3% for the {4,5}-hyperbolic surface code in a phenomenological noise model (as compared to 2.9% for the toric code). In this code family parity checks are of weight 4 and 5 while each qubit participates in 4 different parity checks. We introduce a family… ▽ More We show how a hyperbolic surface code could be used for overhead-efficient quantum storage. We give numerical evidence for a noise threshold of 1.3% for the {4,5}-hyperbolic surface code in a phenomenological noise model (as compared to 2.9% for the toric code). In this code family parity checks are of weight 4 and 5 while each qubit participates in 4 different parity checks. We introduce a family of semi-hyperbolic codes which interpolate between the toric code and the {4,5}-hyperbolic surface code in terms of encoding rate and threshold. We show how these hyperbolic codes outperform the toric code in terms of qubit overhead for a target logical error probability. We show how Dehn twists and lattice code surgery can be used to read and write individual qubits to this quantum storage medium. △ Less

Submitted 8 August, 2017; v1 submitted 1 March, 2017; originally announced March 2017.

Comments: 28 pages, 21 figures

Journal ref: Quantum Science and Technology, Volume 2, Number 3, 2017

Roads towards fault-tolerant universal quantum computation

Authors: Earl T. Campbell, Barbara M. Terhal, Christophe Vuillot

Abstract: Current experiments are taking the first steps toward noise-resilient logical qubits. Crucially, a quantum computer must not merely store information, but also process it. A fault-tolerant computational procedure ensures that errors do not multiply and spread. This review compares the leading proposals for promoting a quantum memory to a quantum processor. We compare magic state distillation, colo… ▽ More Current experiments are taking the first steps toward noise-resilient logical qubits. Crucially, a quantum computer must not merely store information, but also process it. A fault-tolerant computational procedure ensures that errors do not multiply and spread. This review compares the leading proposals for promoting a quantum memory to a quantum processor. We compare magic state distillation, color code techniques and other alternative ideas, paying attention to relative resource demands. We discuss the several no-go results which hold for low-dimensional topological codes and outline the potential rewards of using high-dimensional quantum (LDPC) codes in modular architectures. △ Less

Submitted 12 November, 2018; v1 submitted 21 December, 2016; originally announced December 2016.

Comments: A concise review paper. 9 pages + references. V2 includes a correction to Fig1b which had gates Z^b and X^{a+c} interchanged. This version is the one before review and editing by Nature

Journal ref: Nature volume 549, pages 172-179 (14 September 2017)

Local Decoders for the 2D and 4D Toric Code

Authors: Nikolas P. Breuckmann, Kasper Duivenvoorden, Dominik Michels, Barbara M. Terhal

Abstract: We analyze the performance of decoders for the 2D and 4D toric code which are local by construction. The 2D decoder is a cellular automaton decoder formulated by Harrington which explicitly has a finite speed of communication and computation. For a model of independent $X$ and $Z$ errors and faulty syndrome measurements with identical probability we report a threshold of $0.133\%$ for this Harring… ▽ More We analyze the performance of decoders for the 2D and 4D toric code which are local by construction. The 2D decoder is a cellular automaton decoder formulated by Harrington which explicitly has a finite speed of communication and computation. For a model of independent $X$ and $Z$ errors and faulty syndrome measurements with identical probability we report a threshold of $0.133\%$ for this Harrington decoder. We implement a decoder for the 4D toric code which is based on a decoder by Hastings arXiv:1312.2546 . Incorporating a method for handling faulty syndromes we estimate a threshold of $1.59\%$ for the same noise model as in the 2D case. We compare the performance of this decoder with a decoder based on a 4D version of Toom's cellular automaton rule as well as the decoding method suggested by Dennis et al. arXiv:quant-ph/0110143 . △ Less

Submitted 19 September, 2016; v1 submitted 2 September, 2016; originally announced September 2016.

Comments: 22 pages, 21 figures; fixed typos, updated Figures 6,7,8,9

Journal ref: Quantum Information and Computation Vol. 17 No. 3-4 (2017) 0181

Single-Mode Displacement Sensor

Authors: Kasper Duivenvoorden, Barbara M. Terhal, Daniel Weigand

Abstract: We show that one can determine both parameters of a displacement acting on an oscillator with an accuracy which scales inversely with the square root of the number of photons in the oscillator. Our results are obtained by using a grid state as a sensor state for detecting small translations in phase space (displacements). Grid states were first proposed in (see https://doi.org/10.1103/PhysRevA.64.… ▽ More We show that one can determine both parameters of a displacement acting on an oscillator with an accuracy which scales inversely with the square root of the number of photons in the oscillator. Our results are obtained by using a grid state as a sensor state for detecting small translations in phase space (displacements). Grid states were first proposed in (see https://doi.org/10.1103/PhysRevA.64.012310 ) for encoding a qubit into an oscillator: an efficient preparation protocol of such states, using a coupling to a qubit, was developed in (see https://doi.org/10.1103/PhysRevA.93.012315 ). We compare the performance of the grid state with the quantum compass or cat code state and place our results in the context of the two-parameter quantum Cramér-Rao lower bound on the variances of the displacement parameters. We show that the accessible information about the displacement for a grid state increases with the number of photons in the state when we measure and prepare the state using a phase estimation protocol. This is in contrast with the accessible information in the quantum compass state which we show is always upper bounded by a constant, independent of the number of photons. We present numerical simulations of a phase estimation based preparation protocol of a grid state in the presence of photon loss, nonlinearities and qubit measurement, using no post-selection, showing how the two effective squeezing parameters which characterize the grid state change during the preparation. The idea behind the phase estimation protocol is a simple maximal-information gain strategy. △ Less

Submitted 25 October, 2016; v1 submitted 7 March, 2016; originally announced March 2016.

Comments: 17 pages, 11 figures. Version 4: Extensive numerical section added

Journal ref: Phys. Rev. A 95, 012305 (2017)

Encoding a Qubit into a Cavity Mode in Circuit-QED using Phase Estimation

Authors: B. M. Terhal, D. Weigand

Abstract: Gottesman, Kitaev and Preskill have formulated a way of encoding a qubit into an oscillator such that the qubit is protected against small shifts (translations) in phase space. The idea underlying this encoding is that error processes of low rate can be expanded into small shift errors. The qubit space is defined as an eigenspace of two mutually commuting displacement operators $S_p$ and $S_q$ whi… ▽ More Gottesman, Kitaev and Preskill have formulated a way of encoding a qubit into an oscillator such that the qubit is protected against small shifts (translations) in phase space. The idea underlying this encoding is that error processes of low rate can be expanded into small shift errors. The qubit space is defined as an eigenspace of two mutually commuting displacement operators $S_p$ and $S_q$ which act as large shifts/translations in phase space. We propose and analyze the approximate creation of these qubit states by coupling the oscillator to a sequence of ancilla qubits. This preparation of the states uses the idea of phase estimation where the phase of the displacement operator, say $S_p$, is approximately determined. We consider several possible forms of phase estimation. We analyze the performance of repeated and adapative phase estimation as the simplest and experimentally most viable schemes given a realistic upper-limit on the number of photons in the oscillator. We propose a detailed physical implementation of this protocol using the dispersive coupling between a transmon ancilla qubit and a cavity mode in circuit-QED. We provide an estimate that in a current experimental set-up one can prepare a good code state from a squeezed vacuum state using $8$ rounds of adapative phase estimation, lasting in total about $4 μ$ sec., with $94\%$ (heralded) chance of success. △ Less

Submitted 27 November, 2015; v1 submitted 16 June, 2015; originally announced June 2015.

Comments: 24 pages, 15 figures. Some minor improvements to text and figures. Some of the numerical data has been replaced by more accurate simulations. The improved simulation shows that the code performs better than originally anticipated

Journal ref: Phys. Rev. A 93, 012315 (2016)

Constructions and Noise Threshold of Hyperbolic Surface Codes

Authors: Nikolas P. Breuckmann, Barbara M. Terhal

Abstract: We show how to obtain concrete constructions of homological quantum codes based on tilings of 2D surfaces with constant negative curvature (hyperbolic surfaces). This construction results in two-dimensional quantum codes whose tradeoff of encoding rate versus protection is more favorable than for the surface code. These surface codes would require variable length connections between qubits, as det… ▽ More We show how to obtain concrete constructions of homological quantum codes based on tilings of 2D surfaces with constant negative curvature (hyperbolic surfaces). This construction results in two-dimensional quantum codes whose tradeoff of encoding rate versus protection is more favorable than for the surface code. These surface codes would require variable length connections between qubits, as determined by the hyperbolic geometry. We provide numerical estimates of the value of the noise threshold and logical error probability of these codes against independent X or Z noise, assuming noise-free error correction. △ Less

Submitted 24 August, 2016; v1 submitted 12 June, 2015; originally announced June 2015.

Universal adiabatic quantum computation via the space-time circuit-to-Hamiltonian construction

Authors: David Gosset, Barbara M. Terhal, Anna Vershynina

Abstract: We show how to perform universal adiabatic quantum computation using a Hamiltonian which describes a set of particles with local interactions on a two-dimensional grid. A single parameter in the Hamiltonian is adiabatically changed as a function of time to simulate the quantum circuit. We bound the eigenvalue gap above the unique groundstate by map** our model onto the ferromagnetic XXZ chain wi… ▽ More We show how to perform universal adiabatic quantum computation using a Hamiltonian which describes a set of particles with local interactions on a two-dimensional grid. A single parameter in the Hamiltonian is adiabatically changed as a function of time to simulate the quantum circuit. We bound the eigenvalue gap above the unique groundstate by map** our model onto the ferromagnetic XXZ chain with kink boundary conditions; the gap of this spin chain was computed exactly by Koma and Nachtergaele using its $q$-deformed version of SU(2) symmetry. We also discuss a related time-independent Hamiltonian which was shown by Janzing to be capable of universal computation. We observe that in the limit of large system size, the time evolution is equivalent to the exactly solvable quantum walk on Young's lattice. △ Less

Submitted 26 September, 2014; originally announced September 2014.

Journal ref: Phys. Rev. Lett. 114, 140501 (2015)

Dispersive Qubit Measurement by Interferometry with Parametric Amplifiers

Authors: Sh. Barzanjeh, D. P. DiVincenzo, B. M. Terhal

Abstract: We perform a detailed analysis of how an amplified interferometer can be used to enhance the quality of a dispersive qubit measurement, such as one performed on a superconducting transmon qubit, using homodyne detection on an amplified microwave signal. Our modeling makes a realistic assessment of what is possible in current circuit-QED experiments; in particular, we take into account the frequenc… ▽ More We perform a detailed analysis of how an amplified interferometer can be used to enhance the quality of a dispersive qubit measurement, such as one performed on a superconducting transmon qubit, using homodyne detection on an amplified microwave signal. Our modeling makes a realistic assessment of what is possible in current circuit-QED experiments; in particular, we take into account the frequency-dependence of the qubit-induced phase shift for short microwaves pulses. We compare the possible signal-to-noise ratios obtainable with (single-mode) SU(1,1) interferometers with the current coherent measurement and find a considerable reduction in measurement error probability in an experimentally-accessible range of parameters. △ Less

Submitted 2 October, 2014; v1 submitted 11 July, 2014; originally announced July 2014.

Journal ref: Phys. Rev. B 90, 134515(2014)

Space-Time Circuit-to-Hamiltonian Construction and Its Applications

Authors: Nikolas P. Breuckmann, Barbara M. Terhal

Abstract: The circuit-to-Hamiltonian construction translates dynamics (a quantum circuit and its output) into statics (the groundstate of a circuit Hamiltonian) by explicitly defining a quantum register for a clock. The standard Feynman-Kitaev construction uses one global clock for all qubits while we consider a different construction in which a clock is assigned to each interacting qubit. This makes it pos… ▽ More The circuit-to-Hamiltonian construction translates dynamics (a quantum circuit and its output) into statics (the groundstate of a circuit Hamiltonian) by explicitly defining a quantum register for a clock. The standard Feynman-Kitaev construction uses one global clock for all qubits while we consider a different construction in which a clock is assigned to each interacting qubit. This makes it possible to capture the spatio-temporal structure of the original quantum circuit into features of the circuit Hamiltonian. The construction is inspired by the original two-dimensional interacting fermionic model (see http://link.aps.org/doi/10.1103/PhysRevA.63.040302) We prove that for one-dimensional quantum circuits the gap of the circuit Hamiltonian is appropriately lower-bounded, partially using results on mixing times of Markov chains, so that the applications of this construction for QMA (and partially for quantum adiabatic computation) go through. For one-dimensional quantum circuits, the dynamics generated by the circuit Hamiltonian corresponds to diffusion of a string around the torus. △ Less

Submitted 4 April, 2014; v1 submitted 24 November, 2013; originally announced November 2013.

Comments: 27 pages, 5 figures

The Fragility of Quantum Information?

Authors: Barbara M. Terhal

Abstract: We address the question whether there is a fundamental reason why quantum information is more fragile than classical information. We show that some answers can be found by considering the existence of quantum memories and their dimensional dependence. We address the question whether there is a fundamental reason why quantum information is more fragile than classical information. We show that some answers can be found by considering the existence of quantum memories and their dimensional dependence. △ Less

Submitted 20 May, 2013; v1 submitted 17 May, 2013; originally announced May 2013.

Comments: Essay on quantum information: no new results. Ten pages, published in Lec. Notes in Comp. Science, Vol. 7505, pp. 47-56 (2012. One reference added

Quantum Error Correction for Quantum Memories

Authors: Barbara M. Terhal

Abstract: Active quantum error correction using qubit stabilizer codes has emerged as a promising, but experimentally challenging, engineering program for building a universal quantum computer. In this review we consider the formalism of qubit stabilizer and subsystem stabilizer codes and their possible use in protecting quantum information in a quantum memory. We review the theory of fault-tolerance and qu… ▽ More Active quantum error correction using qubit stabilizer codes has emerged as a promising, but experimentally challenging, engineering program for building a universal quantum computer. In this review we consider the formalism of qubit stabilizer and subsystem stabilizer codes and their possible use in protecting quantum information in a quantum memory. We review the theory of fault-tolerance and quantum error-correction, discuss examples of various codes and code constructions, the general quantum error correction conditions, the noise threshold, the special role played by Clifford gates and the route towards fault-tolerant universal quantum computation. The second part of the review is focused on providing an overview of quantum error correction using two-dimensional (topological) codes, in particular the surface code architecture. We discuss the complexity of decoding and the notion of passive or self-correcting quantum memories. The review does not focus on a particular technology but discusses topics that will be relevant for various quantum technologies. △ Less

Submitted 10 April, 2015; v1 submitted 14 February, 2013; originally announced February 2013.

Comments: Final version: 47 pages, 17 Figs, 311 references

Journal ref: Rev. Mod. Phys. 87, 307 (2015)

The Power of Noisy Fermionic Quantum Computation

Authors: Fernando de Melo, Piotr Ćwikliński, Barbara M. Terhal

Abstract: We consider the realization of universal quantum computation through braiding of Majorana fermions supplemented by unprotected preparation of noisy ancillae. It has been shown by Bravyi [Phys. Rev. A 73, 042313 (2006)] that under the assumption of perfect braiding operations, universal quantum computation is possible if the noise rate on a particular 4-fermion ancilla is below 40%. We show that be… ▽ More We consider the realization of universal quantum computation through braiding of Majorana fermions supplemented by unprotected preparation of noisy ancillae. It has been shown by Bravyi [Phys. Rev. A 73, 042313 (2006)] that under the assumption of perfect braiding operations, universal quantum computation is possible if the noise rate on a particular 4-fermion ancilla is below 40%. We show that beyond a noise rate of 89% on this ancilla the quantum computation can be efficiently simulated classically: we explicitly show that the noisy ancilla is a convex mixture of Gaussian fermionic states in this region, while for noise rates below 53% we prove that the state is not a mixture of Gaussian states. These results were obtained by generalizing concepts in entanglement theory to the setting of Gaussian states and their convex mixtures. In particular we develop a complete set of criteria, namely the existence of a Gaussian-symmetric extension, which determine whether a state is a convex mixture of Gaussian states. △ Less

Submitted 15 April, 2013; v1 submitted 27 August, 2012; originally announced August 2012.

Comments: 21 pages, 1 figure

Journal ref: New J. Phys. 15 013015 (2013)

From Majorana Fermions to Topological Order

Authors: Barbara M. Terhal, Fabian Hassler, David P. DiVincenzo

Abstract: We consider a system consisting of a 2D network of links between Majorana fermions on superconducting islands. We show that the fermionic Hamiltonian modeling this system is topologically-ordered in a region of parameter space. In particular we show that Kitaev's toric code emerges in fourth-order perturbation theory. By using a Jordan-Wigner transformation we can map the model onto a family of si… ▽ More We consider a system consisting of a 2D network of links between Majorana fermions on superconducting islands. We show that the fermionic Hamiltonian modeling this system is topologically-ordered in a region of parameter space. In particular we show that Kitaev's toric code emerges in fourth-order perturbation theory. By using a Jordan-Wigner transformation we can map the model onto a family of signed 2D Ising models in a transverse field where the signs (FM or AFM) are determined by additional gauge bits. Our map** allows an understanding of the non-perturbative regime and the phase transition to a non-topological phase. We discuss the physics behind a possible implementation of this model and argue how it can be used for topological quantum computation by adiabatic changes in the Hamiltonian. △ Less

Submitted 22 June, 2012; v1 submitted 18 January, 2012; originally announced January 2012.

Comments: 4+4 pages, 5 figures. v2 has a new reference and a few new comments. In v3: yet another new reference and Supplementary Material is renamed Appendix. In v4: several typos are corrected, to appear in Phys. Rev. Lett

Journal ref: Phys. Rev. Lett. 108, 260504 (2012)

Constructions and Noise Threshold of Topological Subsystem Codes

Authors: Martin Suchara, Sergey Bravyi, Barbara M. Terhal

Abstract: Topological subsystem codes proposed recently by Bombin are quantum error correcting codes defined on a two-dimensional grid of qubits that permit reliable quantum information storage with a constant error threshold. These codes require only the measurement of two-qubit nearest-neighbor operators for error correction. In this paper we demonstrate that topological subsystem codes (TSCs) can be view… ▽ More Topological subsystem codes proposed recently by Bombin are quantum error correcting codes defined on a two-dimensional grid of qubits that permit reliable quantum information storage with a constant error threshold. These codes require only the measurement of two-qubit nearest-neighbor operators for error correction. In this paper we demonstrate that topological subsystem codes (TSCs) can be viewed as generalizations of Kitaev's honeycomb model to trivalent hypergraphs. This new connection provides a systematic way of constructing TSCs and analyzing their properties. We also derive a necessary and sufficient condition under which a syndrome measurement in a subsystem code can be reduced to measurements of the gauge group generators. Furthermore, we propose and implement some candidate decoding algorithms for one particular TSC assuming perfect error correction. Our Monte Carlo simulations indicate that this code, which we call the five-squares code, has a threshold against depolarizing noise of at least 2%. △ Less

Submitted 30 December, 2010; v1 submitted 2 December, 2010; originally announced December 2010.

Comments: 30 pages, 16 figures, submitted to Jour. Phys. A

Journal ref: J. Phys. A: Math. Theor. Vol. 44, page 155301 (2011)

Topological order in an exactly solvable 3D spin model

Authors: Sergey Bravyi, Bernhard Leemhuis, Barbara M. Terhal

Abstract: We study a 3D generalization of the toric code model introduced recently by Chamon. This is an exactly solvable spin model with six-qubit nearest neighbor interactions on an FCC lattice whose ground space exhibits topological quantum order. The elementary excitations of this model which we call monopoles can be geometrically described as the corners of rectangular-shaped membranes. We prove that t… ▽ More We study a 3D generalization of the toric code model introduced recently by Chamon. This is an exactly solvable spin model with six-qubit nearest neighbor interactions on an FCC lattice whose ground space exhibits topological quantum order. The elementary excitations of this model which we call monopoles can be geometrically described as the corners of rectangular-shaped membranes. We prove that the creation of an isolated monopole separated from other monopoles by a distance R requires an operator acting on at least R^2 qubits. Composite particles that consist of two monopoles (dipoles) and four monopoles (quadrupoles) can be described as end-points of strings. The peculiar feature of the model is that dipole-type strings are rigid, that is, such strings must be aligned with face-diagonals of the lattice. For periodic boundary conditions the ground space can encode 4g qubits where g is the greatest common divisor of the lattice dimensions. We describe a complete set of logical operators acting on the encoded qubits in terms of closed strings and closed membranes. △ Less

Submitted 24 June, 2010; originally announced June 2010.

Comments: 39 pages, 15 figures

Journal ref: Ann. Phys., Vol. 326:4, page 839 (2011)

Majorana Fermion Codes

Authors: Sergey Bravyi, Bernhard Leemhuis, Barbara M. Terhal

Abstract: We initiate the study of Majorana fermion codes. These codes can be viewed as extensions of Kitaev's 1D model of unpaired Majorana fermions in quantum wires to higher spatial dimensions and interacting fermions. The purpose of Majorana fermion codes (MFCs) is to protect quantum information against low-weight fermionic errors, that is, operators acting on sufficiently small subsets of fermionic mod… ▽ More We initiate the study of Majorana fermion codes. These codes can be viewed as extensions of Kitaev's 1D model of unpaired Majorana fermions in quantum wires to higher spatial dimensions and interacting fermions. The purpose of Majorana fermion codes (MFCs) is to protect quantum information against low-weight fermionic errors, that is, operators acting on sufficiently small subsets of fermionic modes. We examine to what extent MFCs can surpass qubit stabilizer codes in terms of their stability properties. A general construction of 2D MFCs is proposed which combines topological protection based on a macroscopic code distance with protection based on fermionic parity conservation. Finally, we use MFCs to show how to transform any qubit stabilizer code to a weakly self-dual CSS code. △ Less

Submitted 27 April, 2010; v1 submitted 21 April, 2010; originally announced April 2010.

Comments: 22 pages, 1 figure. References added + extended discussion

Journal ref: New J.Phys.12:083039,2010

Qubit State Discrimination

Authors: M. E. Deconinck, B. M. Terhal

Abstract: We show how one can solve the problem of discriminating between qubit states. We use the quantum state discrimination duality theorem and the Bloch sphere representation of qubits which allows for an easy geometric and analytical representation of the optimal guessing strategies. We show how one can solve the problem of discriminating between qubit states. We use the quantum state discrimination duality theorem and the Bloch sphere representation of qubits which allows for an easy geometric and analytical representation of the optimal guessing strategies. △ Less

Submitted 1 March, 2010; v1 submitted 23 February, 2010; originally announced February 2010.

Comments: 6 pages, 4 figures. v2 has small corrections and changes in references

Journal ref: Phys. Rev. A 81, 062304 (2010)

Thermodynamic stability criteria for a quantum memory based on stabilizer and subsystem codes

Authors: Stefano Chesi, Daniel Loss, Sergey Bravyi, Barbara M. Terhal

Abstract: We discuss and review several thermodynamic criteria that have been introduced to characterize the thermal stability of a self-correcting quantum memory. We first examine the use of symmetry-breaking fields in analyzing the properties of self-correcting quantum memories in the thermodynamic limit: we show that the thermal expectation values of all logical operators vanish for any stabilizer and… ▽ More We discuss and review several thermodynamic criteria that have been introduced to characterize the thermal stability of a self-correcting quantum memory. We first examine the use of symmetry-breaking fields in analyzing the properties of self-correcting quantum memories in the thermodynamic limit: we show that the thermal expectation values of all logical operators vanish for any stabilizer and any subsystem code in any spatial dimension. On the positive side, we generalize the results in [R. Alicki et al., arXiv:0811.0033] to obtain a general upper bound on the relaxation rate of a quantum memory at nonzero temperature, assuming that the quantum memory interacts via a Markovian master equation with a thermal bath. This upper bound is applicable to quantum memories based on either stabilizer or subsystem codes. △ Less

Submitted 30 September, 2009; v1 submitted 16 July, 2009; originally announced July 2009.

Comments: 23 pages. v2: revised introduction, various additional comments, and a new section on gapped hamiltonians

Journal ref: New J. Phys. 12, 025013 (2010)

Fault-Tolerant Computing With Biased-Noise Superconducting Qubits

Authors: Panos Aliferis, Frederico Brito, David P. DiVincenzo, John Preskill, Matthias Steffen, Barbara M. Terhal

Abstract: We present a universal scheme of pulsed operations for the IBM oscillator-stabilized flux qubit comprising the CPHASE gate, single-qubit preparations and measurements. Based on numerical simulations, we argue that the error rates for these operations can be as low as about .5% and that noise is highly biased, with phase errors being stronger than all other types of errors by a factor of nearly 1… ▽ More We present a universal scheme of pulsed operations for the IBM oscillator-stabilized flux qubit comprising the CPHASE gate, single-qubit preparations and measurements. Based on numerical simulations, we argue that the error rates for these operations can be as low as about .5% and that noise is highly biased, with phase errors being stronger than all other types of errors by a factor of nearly 10^3. In contrast, the design of a CNOT gate for this system with an error rate of less than about 1.2% seems extremely challenging. We propose a special encoding which exploits the noise bias allowing us to implement a logical CNOT gate where phase errors and all other types of errors have nearly balanced rates of about .4%. Our results illustrate how the design of an encoding scheme can be adjusted and optimized according to the available physical operations and the particular noise characteristics of experimental devices. △ Less

Submitted 30 January, 2009; v1 submitted 2 June, 2008; originally announced June 2008.

Comments: 15 pages, 7 figures

Journal ref: New J. Phys. 11 (2009) 013061

Simulation of Many-Body Hamiltonians using Perturbation Theory with Bounded-Strength Interactions

Authors: Sergey Bravyi, David P. DiVincenzo, Daniel Loss, Barbara M. Terhal

Abstract: We show how to map a given n-qubit target Hamiltonian with bounded-strength k-body interactions onto a simulator Hamiltonian with two-body interactions, such that the ground-state energy of the target and the simulator Hamiltonians are the same up to an extensive error O(epsilon n) for arbitrary small epsilon. The strength of interactions in the simulator Hamiltonian depends on epsilon and k but… ▽ More We show how to map a given n-qubit target Hamiltonian with bounded-strength k-body interactions onto a simulator Hamiltonian with two-body interactions, such that the ground-state energy of the target and the simulator Hamiltonians are the same up to an extensive error O(epsilon n) for arbitrary small epsilon. The strength of interactions in the simulator Hamiltonian depends on epsilon and k but does not depend on n. We accomplish this reduction using a new way of deriving an effective low-energy Hamiltonian which relies on the Schrieffer-Wolff transformation of many-body physics. △ Less

Submitted 18 March, 2008; originally announced March 2008.

Comments: v1: 8 pages Latex, 1 figure

Journal ref: Phys.Rev.Lett.101:070503,2008