-
Fault tolerance of stabilizer channels
Authors:
Michael E. Beverland,
Shilin Huang,
Vadym Kliuchnikov
Abstract:
Stabilizer channels are stabilizer circuits that implement logical operations while map** from an input stabilizer code to an output stabilizer code. They are widely used to implement fault tolerant error correction and logical operations in stabilizer codes such as surface codes and LDPC codes, and more broadly in subsystem, Floquet and space-time codes. We introduce a rigorous and general form…
▽ More
Stabilizer channels are stabilizer circuits that implement logical operations while map** from an input stabilizer code to an output stabilizer code. They are widely used to implement fault tolerant error correction and logical operations in stabilizer codes such as surface codes and LDPC codes, and more broadly in subsystem, Floquet and space-time codes. We introduce a rigorous and general formalism to analyze the fault tolerance properties of any stabilizer channel under a broad class of noise models. This includes rigorous but easy-to-work-with definitions and algorithms for the fault distance and hook faults for stabilizer channels. The generalized notion of hook faults which we introduce, defined with respect to an arbitrary subset of a circuit's faults rather than a fixed phenomenological noise model, can be leveraged for fault-tolerant circuit design. Additionally, we establish necessary conditions such that channel composition preserves the fault distance. We apply our framework to design and analyze fault tolerant stabilizer channels for surface codes, revealing novel aspects of fault tolerant circuits.
△ Less
Submitted 24 February, 2024; v1 submitted 22 January, 2024;
originally announced January 2024.
-
Addressing Stop** Failures for Small Set Flip Decoding of Hypergraph Product Codes
Authors:
Lev Stambler,
Anirudh Krishna,
Michael E. Beverland
Abstract:
For a quantum error correcting code to be used in practice, it needs to be equipped with an efficient decoding algorithm, which identifies corrections given the observed syndrome of errors.Hypergraph product codes are a promising family of constant-rate quantum LDPC codes that have a linear-time decoding algorithm called Small-Set-Flip ($\texttt{SSF}$) (Leverrier, Tillich, Zémor FOCS 2015). The al…
▽ More
For a quantum error correcting code to be used in practice, it needs to be equipped with an efficient decoding algorithm, which identifies corrections given the observed syndrome of errors.Hypergraph product codes are a promising family of constant-rate quantum LDPC codes that have a linear-time decoding algorithm called Small-Set-Flip ($\texttt{SSF}$) (Leverrier, Tillich, Zémor FOCS 2015). The algorithm proceeds by iteratively applying small corrections which reduce the syndrome weight. Together, these small corrections can provably correct large errors for sufficiently large codes with sufficiently large (but constant) stabilizer weight. However, this guarantee does not hold for small codes with low stabilizer weight. In this case, $\texttt{SSF}$ can terminate with stop** failures, meaning it encounters an error for which it is unable to identify a small correction. We find that the structure of errors that cause stop** failures have a simple form for sufficiently small qubit failure rates. We propose a new decoding algorithm called the Projection-Along-a-Line ($\texttt{PAL}$) decoder to supplement $\texttt{SSF}$ after stop** failures. Using $\texttt{SSF}+\texttt{PAL}$ as a combined decoder, we find an order-of-magnitude improvement in the logical error rate.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
Stabilizer circuit verification
Authors:
Vadym Kliuchnikov,
Michael Beverland,
Adam Paetznick
Abstract:
The ubiquity of stabilizer circuits in the design and operation of quantum computers makes techniques to verify their correctness essential. The simulation of stabilizer circuits, which aims to replicate their behavior using a classical computer, is known to be efficient and provides a means of testing correctness. However, simulation is limited in its ability to examine the exponentially large sp…
▽ More
The ubiquity of stabilizer circuits in the design and operation of quantum computers makes techniques to verify their correctness essential. The simulation of stabilizer circuits, which aims to replicate their behavior using a classical computer, is known to be efficient and provides a means of testing correctness. However, simulation is limited in its ability to examine the exponentially large space of possible measurement outcomes. We propose a comprehensive set of efficient classical algorithms to fully characterize and exhaustively verify stabilizer circuits with Pauli unitaries conditioned on parities of measurements. We introduce, as a practical characterization, a general form for such circuits and provide an algorithm to find a general form of any stabilizer circuit. We then provide an algorithm for checking the equivalence of stabilizer circuits. When circuits are not equivalent our algorithm suggests modifications for reconciliation. Next, we provide an algorithm that characterizes the logical action of a (physical) stabilizer circuit on an encoded input. All of our algorithms provide relations of measurement outcomes among corresponding circuit representations. Finally, we provide an analytic description of the logical action induced by measuring a stabilizer group, with application in correctness proofs of code-deformation protocols including lattice surgery and code switching.
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
Assessing requirements to scale to practical quantum advantage
Authors:
Michael E. Beverland,
Prakash Murali,
Matthias Troyer,
Krysta M. Svore,
Torsten Hoefler,
Vadym Kliuchnikov,
Guang Hao Low,
Mathias Soeken,
Aarthi Sundaram,
Alexander Vaschillo
Abstract:
While quantum computers promise to solve some scientifically and commercially valuable problems thought intractable for classical machines, delivering on this promise will require a large-scale quantum machine. Understanding the impact of architecture design choices for a scaled quantum stack for specific applications, prior to full realization of the quantum system, is an important open challenge…
▽ More
While quantum computers promise to solve some scientifically and commercially valuable problems thought intractable for classical machines, delivering on this promise will require a large-scale quantum machine. Understanding the impact of architecture design choices for a scaled quantum stack for specific applications, prior to full realization of the quantum system, is an important open challenge. To this end, we develop a framework for quantum resource estimation, abstracting the layers of the stack, to estimate resources required across these layers for large-scale quantum applications. Using a tool that implements this framework, we assess three scaled quantum applications and find that hundreds of thousands to millions of physical qubits are needed to achieve practical quantum advantage. We identify three qubit parameters, namely size, speed, and controllability, that are critical at scale to rendering these applications practical. A goal of our work is to accelerate progress towards practical quantum advantage by enabling the broader community to explore design choices across the stack, from algorithms to qubits.
△ Less
Submitted 14 November, 2022;
originally announced November 2022.
-
Surface code compilation via edge-disjoint paths
Authors:
Michael Beverland,
Vadym Kliuchnikov,
Eddie Schoute
Abstract:
We provide an efficient algorithm to compile quantum circuits for fault-tolerant execution. We target surface codes, which form a 2D grid of logical qubits with nearest-neighbor logical operations. Embedding an input circuit's qubits in surface codes can result in long-range two-qubit operations across the grid. We show how to prepare many long-range Bell pairs on qubits connected by edge-disjoint…
▽ More
We provide an efficient algorithm to compile quantum circuits for fault-tolerant execution. We target surface codes, which form a 2D grid of logical qubits with nearest-neighbor logical operations. Embedding an input circuit's qubits in surface codes can result in long-range two-qubit operations across the grid. We show how to prepare many long-range Bell pairs on qubits connected by edge-disjoint paths of ancillas in constant depth that can be used to perform these long-range operations. This forms one core part of our Edge-Disjoint Paths Compilation (EDPC) algorithm, by easily performing many parallel long-range Clifford operations in constant depth. It also allows us to establish a connection between surface code compilation and several well-studied edge-disjoint paths problems. Similar techniques allow us to perform non-Clifford single-qubit rotations far from magic state distillation factories. In this case, we can easily find the maximum set of paths by a max-flow reduction, which forms the other major part of EDPC. EDPC has the best asymptotic worst-case performance guarantees on the circuit depth for compiling parallel operations when compared to related compilation methods based on swaps and network coding. EDPC also shows a quadratic depth improvement over sequential Pauli-based compilation for parallel rotations requiring magic resources. We implement EDPC and find significantly improved performance for circuits built from parallel cnots, and for circuits which implement the multi-controlled $X$ gate.
△ Less
Submitted 1 July, 2022; v1 submitted 21 October, 2021;
originally announced October 2021.
-
Constant-overhead quantum error correction with thin planar connectivity
Authors:
Maxime A. Tremblay,
Nicolas Delfosse,
Michael E. Beverland
Abstract:
Quantum LDPC codes may provide a path to build low-overhead fault-tolerant quantum computers. However, as general LDPC codes lack geometric constraints, naïve layouts couple many distant qubits with crossing connections which could be hard to build in hardware and could result in performance-degrading crosstalk. We propose a 2D layout for quantum LDPC codes by decomposing their Tanner graphs into…
▽ More
Quantum LDPC codes may provide a path to build low-overhead fault-tolerant quantum computers. However, as general LDPC codes lack geometric constraints, naïve layouts couple many distant qubits with crossing connections which could be hard to build in hardware and could result in performance-degrading crosstalk. We propose a 2D layout for quantum LDPC codes by decomposing their Tanner graphs into a small number of planar layers. Each layer contains long-range connections which do not cross. For any CSS code with a degree-$δ$ Tanner graph, we design stabilizer measurement circuits with depth at most $(2δ+2)$ using at most $\lceil δ/2 \rceil$ layers. We observe a circuit-noise threshold of 0.28\% for a positive-rate code family using 49 physical qubits per logical qubit. For a physical error rate of $10^{-4}$, this family reaches a logical error rate of $10^{-15}$ using fourteen times fewer physical qubits than the surface code.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
Bounds on stabilizer measurement circuits and obstructions to local implementations of quantum LDPC codes
Authors:
Nicolas Delfosse,
Michael E. Beverland,
Maxime A. Tremblay
Abstract:
In this work we establish lower bounds on the size of Clifford circuits that measure a family of commuting Pauli operators. Our bounds depend on the interplay between a pair of graphs: the Tanner graph of the set of measured Pauli operators, and the connectivity graph which represents the qubit connections required to implement the circuit. For local-expander quantum codes, which are promising for…
▽ More
In this work we establish lower bounds on the size of Clifford circuits that measure a family of commuting Pauli operators. Our bounds depend on the interplay between a pair of graphs: the Tanner graph of the set of measured Pauli operators, and the connectivity graph which represents the qubit connections required to implement the circuit. For local-expander quantum codes, which are promising for low-overhead quantum error correction, we prove that any syndrome extraction circuit implemented with local Clifford gates in a 2D square patch of $N$ qubits has depth at least $Ω(n/\sqrt{N})$ where $n$ is the code length. Then, we propose two families of quantum circuits saturating this bound. First, we construct 2D local syndrome extraction circuits for quantum LDPC codes with bounded depth using only $O(n^2)$ ancilla qubits. Second, we design a family of 2D local syndrome extraction circuits for hypergraph product codes using $O(n)$ ancilla qubits with depth $O(\sqrt{n})$. Finally, we use circuit noise simulations to compare the performance of a family of hypergraph product codes using this last family of 2D syndrome extraction circuits with a syndrome extraction circuit implemented with fully connected qubits. While there is a threshold of about $10^{-3}$ for a fully connected implementation, we observe no threshold for the 2D local implementation despite simulating error rates of as low as $10^{-6}$. This suggests that quantum LDPC codes are impractical with 2D local quantum hardware. We believe that our proof technique is of independent interest and could find other applications. Our bounds on circuit sizes are derived from a lower bound on the amount of correlations between two subsets of qubits of the circuit and an upper bound on the amount of correlations introduced by each circuit gate, which together provide a lower bound on the circuit size.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
Improved quantum error correction using soft information
Authors:
Christopher A. Pattison,
Michael E. Beverland,
Marcus P. da Silva,
Nicolas Delfosse
Abstract:
The typical model for measurement noise in quantum error correction is to randomly flip the binary measurement outcome. In experiments, measurements yield much richer information - e.g., continuous current values, discrete photon counts - which is then mapped into binary outcomes by discarding some of this information. In this work, we consider methods to incorporate all of this richer information…
▽ More
The typical model for measurement noise in quantum error correction is to randomly flip the binary measurement outcome. In experiments, measurements yield much richer information - e.g., continuous current values, discrete photon counts - which is then mapped into binary outcomes by discarding some of this information. In this work, we consider methods to incorporate all of this richer information, typically called soft information, into the decoding of quantum error correction codes, and in particular the surface code. We describe how to modify both the Minimum Weight Perfect Matching and Union-Find decoders to leverage soft information, and demonstrate these soft decoders outperform the standard (hard) decoders that can only access the binary measurement outcomes. Moreover, we observe that the soft decoder achieves a threshold 25\% higher than any hard decoder for phenomenological noise with Gaussian soft measurement outcomes. We also introduce a soft measurement error model with amplitude dam**, in which measurement time leads to a trade-off between measurement resolution and additional disturbance of the qubits. Under this model we observe that the performance of the surface code is very sensitive to the choice of the measurement time - for a distance-19 surface code, a five-fold increase in measurement time can lead to a thousand-fold increase in logical error rate. Moreover, the measurement time that minimizes the physical error rate is distinct from the one that minimizes the logical performance, pointing to the benefits of jointly optimizing the physical and quantum error correction layers.
△ Less
Submitted 28 July, 2021;
originally announced July 2021.
-
Automated Design of Pulse Sequences for Magnetic Resonance Fingerprinting using Physics-Inspired Optimization
Authors:
Stephen P. Jordan,
Siyuan Hu,
Ignacio Rozada,
Debra F. McGivney,
Rasim Boyacioglu,
Darryl C. Jacob,
Sherry Huang,
Michael Beverland,
Helmut G. Katzgraber,
Matthias Troyer,
Mark A. Griswold,
Dan Ma
Abstract:
Magnetic Resonance Fingerprinting (MRF) is a method to extract quantitative tissue properties such as T1 and T2 relaxation rates from arbitrary pulse sequences using conventional magnetic resonance imaging hardware. MRF pulse sequences have thousands of tunable parameters which can be chosen to maximize precision and minimize scan time. Here we perform de novo automated design of MRF pulse sequenc…
▽ More
Magnetic Resonance Fingerprinting (MRF) is a method to extract quantitative tissue properties such as T1 and T2 relaxation rates from arbitrary pulse sequences using conventional magnetic resonance imaging hardware. MRF pulse sequences have thousands of tunable parameters which can be chosen to maximize precision and minimize scan time. Here we perform de novo automated design of MRF pulse sequences by applying physics-inspired optimization heuristics. Our experimental data suggests systematic errors dominate over random errors in MRF scans under clinically-relevant conditions of high undersampling. Thus, in contrast to prior optimization efforts, which focused on statistical error models, we use a cost function based on explicit first-principles simulation of systematic errors arising from Fourier undersampling and phase variation. The resulting pulse sequences display features qualitatively different from previously used MRF pulse sequences and achieve fourfold shorter scan time than prior human-designed sequences of equivalent precision in T1 and T2. Furthermore, the optimization algorithm has discovered the existence of MRF pulse sequences with intrinsic robustness against shading artifacts due to phase variation.
△ Less
Submitted 10 January, 2022; v1 submitted 8 June, 2021;
originally announced June 2021.
-
Toward a Union-Find decoder for quantum LDPC codes
Authors:
Nicolas Delfosse,
Vivien Londe,
Michael Beverland
Abstract:
Quantum LDPC codes are a promising direction for low overhead quantum computing. In this paper, we propose a generalization of the Union-Find decoder as adecoder for quantum LDPC codes. We prove that this decoder corrects all errors with weight up to An^α for some A, α > 0 for different classes of quantum LDPC codes such as toric codes and hyperbolic codes in any dimension D \geq 3 and quantum exp…
▽ More
Quantum LDPC codes are a promising direction for low overhead quantum computing. In this paper, we propose a generalization of the Union-Find decoder as adecoder for quantum LDPC codes. We prove that this decoder corrects all errors with weight up to An^α for some A, α > 0 for different classes of quantum LDPC codes such as toric codes and hyperbolic codes in any dimension D \geq 3 and quantum expander codes. To prove this result, we introduce a notion of covering radius which measures the spread of an error from its syndrome. We believe this notion could find application beyond the decoding problem. We also perform numerical simulations, which show that our Union-Find decoder outperforms the belief propagation decoder in the low error rate regime in the case of a quantum LDPC code with length 3600.
△ Less
Submitted 14 March, 2021;
originally announced March 2021.
-
The cost of universality: A comparative study of the overhead of state distillation and code switching with color codes
Authors:
Michael E. Beverland,
Aleksander Kubica,
Krysta M. Svore
Abstract:
Estimating and reducing the overhead of fault tolerance (FT) schemes is a crucial step toward realizing scalable quantum computers. Of particular interest are schemes based on two-dimensional (2D) topological codes such as the surface and color codes which have high thresholds but lack a natural implementation of a non-Clifford gate. In this work, we directly compare two leading FT implementations…
▽ More
Estimating and reducing the overhead of fault tolerance (FT) schemes is a crucial step toward realizing scalable quantum computers. Of particular interest are schemes based on two-dimensional (2D) topological codes such as the surface and color codes which have high thresholds but lack a natural implementation of a non-Clifford gate. In this work, we directly compare two leading FT implementations of the T gate in 2D color codes under circuit noise across a wide range of parameters in regimes of practical interest. We report that implementing the T gate via code switching to a 3D color code does not offer substantial savings over state distillation in terms of either space or space-time overhead. We find a circuit noise threshold of 0.07(1)% for the T gate via code switching, almost an order of magnitude below that achievable by state distillation in the same setting. To arrive at these results, we provide and simulate an optimized code switching procedure, and bound the effect of various conceivable improvements. Many intermediate results in our analysis may be of independent interest. For example, we optimize the 2D color code for circuit noise yielding its largest threshold to date 0.37(1)%, and adapt and optimize the restriction decoder finding a threshold of 0.80(5)% for the 3D color code with perfect measurements under Z noise. Our work provides a much-needed direct comparison of the overhead of state distillation and code switching, and sheds light on the choice of future FT schemes and hardware designs.
△ Less
Submitted 6 January, 2021;
originally announced January 2021.
-
Optimization of the surface code design for Majorana-based qubits
Authors:
Rui Chao,
Michael E. Beverland,
Nicolas Delfosse,
Jeongwan Haah
Abstract:
The surface code is a prominent topological error-correcting code exhibiting high fault-tolerance accuracy thresholds. Conventional schemes for error correction with the surface code place qubits on a planar grid and assume native CNOT gates between the data qubits with nearest-neighbor ancilla qubits.
Here, we present surface code error-correction schemes using $\textit{only}$ Pauli measurement…
▽ More
The surface code is a prominent topological error-correcting code exhibiting high fault-tolerance accuracy thresholds. Conventional schemes for error correction with the surface code place qubits on a planar grid and assume native CNOT gates between the data qubits with nearest-neighbor ancilla qubits.
Here, we present surface code error-correction schemes using $\textit{only}$ Pauli measurements on single qubits and on pairs of nearest-neighbor qubits. In particular, we provide several qubit layouts that offer favorable trade-offs between qubit overhead, circuit depth and connectivity degree. We also develop minimized measurement sequences for syndrome extraction, enabling reduced logical error rates and improved fault-tolerance thresholds.
Our work applies to topologically protected qubits realized with Majorana zero modes and to similar systems in which multi-qubit Pauli measurements rather than CNOT gates are the native operations.
△ Less
Submitted 26 October, 2020; v1 submitted 1 July, 2020;
originally announced July 2020.
-
Noncommuting conserved quantities in quantum many-body thermalization
Authors:
Nicole Yunger Halpern,
Michael E. Beverland,
Amir Kalev
Abstract:
In statistical mechanics, a small system exchanges conserved quantities---heat, particles, electric charge, etc.---with a bath. The small system thermalizes to the canonical ensemble, or the grand canonical ensemble, etc., depending on the conserved quantities. The conserved quantities are represented by operators usually assumed to commute with each other. This assumption was removed within quant…
▽ More
In statistical mechanics, a small system exchanges conserved quantities---heat, particles, electric charge, etc.---with a bath. The small system thermalizes to the canonical ensemble, or the grand canonical ensemble, etc., depending on the conserved quantities. The conserved quantities are represented by operators usually assumed to commute with each other. This assumption was removed within quantum-information-theoretic (QI-theoretic) thermodynamics recently. The small system's long-time state was dubbed ``the non-Abelian thermal state (NATS).'' We propose an experimental protocol for observing a system thermalize to the NATS. We illustrate with a chain of spins, a subset of which form the system of interest. The conserved quantities manifest as spin components. Heisenberg interactions push the conserved quantities between the system and the effective bath, the rest of the chain. We predict long-time expectation values, extending the NATS theory from abstract idealization to finite systems that thermalize with finite couplings for finite times. Numerical simulations support the analytics: The system thermalizes to the NATS, rather than to the canonical prediction. Our proposal can be implemented with ultracold atoms, nitrogen-vacancy centers, trapped ions, quantum dots, and perhaps nuclear magnetic resonance. This work introduces noncommuting conserved quantities from QI-theoretic thermodynamics into quantum many-body physics: atomic, molecular, and optical physics and condensed matter.
△ Less
Submitted 20 April, 2020; v1 submitted 21 June, 2019;
originally announced June 2019.
-
Lower bounds on the non-Clifford resources for quantum computations
Authors:
Michael Beverland,
Earl Campbell,
Mark Howard,
Vadym Kliuchnikov
Abstract:
We establish lower-bounds on the number of resource states, also known as magic states, needed to perform various quantum computing tasks, treating stabilizer operations as free. Our bounds apply to adaptive computations using measurements and an arbitrary number of stabilizer ancillas. We consider (1) resource state conversion, (2) single-qubit unitary synthesis, and (3) computational tasks.
To…
▽ More
We establish lower-bounds on the number of resource states, also known as magic states, needed to perform various quantum computing tasks, treating stabilizer operations as free. Our bounds apply to adaptive computations using measurements and an arbitrary number of stabilizer ancillas. We consider (1) resource state conversion, (2) single-qubit unitary synthesis, and (3) computational tasks.
To prove our resource conversion bounds we introduce two new monotones, the stabilizer nullity and the dyadic monotone, and make use of the already-known stabilizer extent. We consider conversions that borrow resource states, known as catalyst states, and return them at the end of the algorithm. We show that catalysis is necessary for many conversions and introduce new catalytic conversions, some of which are close to optimal.
By finding a canonical form for post-selected stabilizer computations, we show that approximating a single-qubit unitary to within diamond-norm precision $\varepsilon$ requires at least $1/7\cdot\log_2(1/\varepsilon) - 4/3$ $T$-states on average. This is the first lower bound that applies to synthesis protocols using fall-back, mixing techniques, and where the number of ancillas used can depend on $\varepsilon$.
Up to multiplicative factors, we optimally lower bound the number of $T$ or $CCZ$ states needed to implement the ubiquitous modular adder and multiply-controlled-$Z$ operations. When the probability of Pauli measurement outcomes is 1/2, some of our bounds become tight to within a small additive constant.
△ Less
Submitted 22 November, 2019; v1 submitted 1 April, 2019;
originally announced April 2019.
-
The role of entropy in topological quantum error correction
Authors:
Michael E. Beverland,
Benjamin J. Brown,
Michael J. Kastoryano,
Quentin Marolleau
Abstract:
The performance of a quantum error-correction process is determined by the likelihood that a random configuration of errors introduced to the system will lead to the corruption of encoded logical information. In this work we compare two different variants of the surface code with a comparable number of qubits: the surface code defined on a square lattice and the same model on a lattice that is rot…
▽ More
The performance of a quantum error-correction process is determined by the likelihood that a random configuration of errors introduced to the system will lead to the corruption of encoded logical information. In this work we compare two different variants of the surface code with a comparable number of qubits: the surface code defined on a square lattice and the same model on a lattice that is rotated by $π/ 4$. This seemingly innocuous change increases the distance of the code by a factor of $\sqrt{2}$.However, as we show, this gain can come at the expense of significantly increasing the number of different failure mechanisms that are likely to occur. We use a number of different methods to explore this tradeoff over a large range of parameter space under an independent and identically distributed noise model. We rigorously analyze the leading order performance for low error rates, where the larger distance code performs best for all system sizes. Using an analytical model and Monte Carlo sampling, we find that this improvement persists for fixed sub-threshold error rates for large system size, but that the improvement vanishes close to threshold. Remarkably, intensive numerics uncover a region of system sizes and sub-threshold error rates where the square lattice surface code marginally outperforms the rotated model.
△ Less
Submitted 12 December, 2018;
originally announced December 2018.
-
Modeling noise and error correction for Majorana-based quantum computing
Authors:
Christina Knapp,
Michael Beverland,
Dmitry I. Pikulin,
Torsten Karzig
Abstract:
Majorana-based quantum computing seeks to use the non-local nature of Majorana zero modes to store and manipulate quantum information in a topologically protected way. While noise is anticipated to be significantly suppressed in such systems, finite temperature and system size result in residual errors. In this work, we connect the underlying physical error processes in Majorana-based systems to t…
▽ More
Majorana-based quantum computing seeks to use the non-local nature of Majorana zero modes to store and manipulate quantum information in a topologically protected way. While noise is anticipated to be significantly suppressed in such systems, finite temperature and system size result in residual errors. In this work, we connect the underlying physical error processes in Majorana-based systems to the noise models used in a fault tolerance analysis. Standard qubit-based noise models built from Pauli operators do not capture leading order noise processes arising from quasiparticle poisoning events, thus it is not obvious {\it a priori} that such noise models can be usefully applied to a Majorana-based system. We develop stochastic Majorana noise models that are generalizations of the standard qubit-based models and connect the error probabilities defining these models to parameters of the physical system. Using these models, we compute pseudo-thresholds for the $d=5$ Bacon-Shor subsystem code. Our results emphasize the importance of correlated errors induced in multi-qubit measurements. Moreover, we find that for sufficiently fast quasiparticle relaxation the errors are well described by Pauli operators. This work bridges the divide between physical errors in Majorana-based quantum computing architectures and the significance of these errors in a quantum error correcting code.
△ Less
Submitted 24 August, 2018; v1 submitted 4 June, 2018;
originally announced June 2018.
-
Three-dimensional color code thresholds via statistical-mechanical map**
Authors:
Aleksander Kubica,
Michael E. Beverland,
Fernando Brandao,
John Preskill,
Krysta M. Svore
Abstract:
Three-dimensional (3D) color codes have advantages for fault-tolerant quantum computing, such as protected quantum gates with relatively low overhead and robustness against imperfect measurement of error syndromes. Here we investigate the storage threshold error rates for bit-flip and phase-flip noise in the 3D color code on the body-centererd cubic lattice, assuming perfect syndrome measurements.…
▽ More
Three-dimensional (3D) color codes have advantages for fault-tolerant quantum computing, such as protected quantum gates with relatively low overhead and robustness against imperfect measurement of error syndromes. Here we investigate the storage threshold error rates for bit-flip and phase-flip noise in the 3D color code on the body-centererd cubic lattice, assuming perfect syndrome measurements. In particular, by exploiting a connection between error correction and statistical mechanics, we estimate the threshold for 1D string-like and 2D sheet-like logical operators to be $p^{(1)}_\mathrm{3DCC} \simeq 1.9\%$ and $p^{(2)}_\mathrm{3DCC} \simeq 27.6\%$. We obtain these results by using parallel tempering Monte Carlo simulations to study the disorder-temperature phase diagrams of two new 3D statistical-mechanical models: the 4- and 6-body random coupling Ising models.
△ Less
Submitted 23 August, 2017;
originally announced August 2017.
-
Flag fault-tolerant error correction with arbitrary distance codes
Authors:
Christopher Chamberland,
Michael E. Beverland
Abstract:
In this paper we introduce a general fault-tolerant quantum error correction protocol using flag circuits for measuring stabilizers of arbitrary distance codes. In addition to extending flag error correction beyond distance-three codes for the first time, our protocol also applies to a broader class of distance-three codes than was previously known. Flag circuits use extra ancilla qubits to signal…
▽ More
In this paper we introduce a general fault-tolerant quantum error correction protocol using flag circuits for measuring stabilizers of arbitrary distance codes. In addition to extending flag error correction beyond distance-three codes for the first time, our protocol also applies to a broader class of distance-three codes than was previously known. Flag circuits use extra ancilla qubits to signal when errors resulting from $v$ faults in the circuit have weight greater than $v$. The flag error correction protocol is applicable to stabilizer codes of arbitrary distance which satisfy a set of conditions and uses fewer qubits than other schemes such as Shor, Steane and Knill error correction. We give examples of infinite code families which satisfy these conditions and analyze the behaviour of distance-three and -five examples numerically. Requiring fewer resources than Shor error correction, flag error correction could potentially be used in low-overhead fault-tolerant error correction protocols using low density parity check quantum codes of large code length.
△ Less
Submitted 31 January, 2018; v1 submitted 7 August, 2017;
originally announced August 2017.
-
Spectrum estimation of density operators with alkaline-earth atoms
Authors:
Michael E. Beverland,
Jeongwan Haah,
Gorjan Alagic,
Gretchen K. Campbell,
Ana Maria Rey,
Alexey V. Gorshkov
Abstract:
We show that Ramsey spectroscopy of fermionic alkaline-earth atoms in a square-well trap provides an efficient and accurate estimate for the eigenspectrum of a density matrix whose $n$ copies are stored in the nuclear spins of $n$ such atoms. This spectrum estimation is enabled by the high symmetry of the interaction Hamiltonian, dictated, in turn, by the decoupling of the nuclear spin from the el…
▽ More
We show that Ramsey spectroscopy of fermionic alkaline-earth atoms in a square-well trap provides an efficient and accurate estimate for the eigenspectrum of a density matrix whose $n$ copies are stored in the nuclear spins of $n$ such atoms. This spectrum estimation is enabled by the high symmetry of the interaction Hamiltonian, dictated, in turn, by the decoupling of the nuclear spin from the electrons and by the shape of the square-well trap. Practical performance of this procedure and its potential applications to quantum computing, quantum simulation, and time-kee** with alkaline-earth atoms are discussed.
△ Less
Submitted 6 June, 2018; v1 submitted 5 August, 2016;
originally announced August 2016.
-
Universal transversal gates with color codes - a simplified approach
Authors:
Aleksander Kubica,
Michael E. Beverland
Abstract:
We provide a simplified, yet rigorous presentation of the ideas from Bombín's paper "Gauge Color Codes" [arXiv:1311.0879v3]. Our presentation is self-contained, and assumes only basic concepts from quantum error correction. We provide an explicit construction of a family of color codes in arbitrary dimensions and describe some of their crucial properties. Within this framework, we explicitly show…
▽ More
We provide a simplified, yet rigorous presentation of the ideas from Bombín's paper "Gauge Color Codes" [arXiv:1311.0879v3]. Our presentation is self-contained, and assumes only basic concepts from quantum error correction. We provide an explicit construction of a family of color codes in arbitrary dimensions and describe some of their crucial properties. Within this framework, we explicitly show how to transversally implement the generalized phase gate $R_n=\text{diag}(1,e^{2πi/2^n})$, which deviates from the method in "Gauge Color Codes", allowing an arguably simpler proof. We describe how to implement the Hadamard gate $H$ fault-tolerantly using code switching. In three dimensions, this yields, together with the transversal $CNOT$, a fault-tolerant universal gate set $\{H,CNOT,R_3\}$ without state-distillation.
△ Less
Submitted 30 September, 2014;
originally announced October 2014.
-
Protected gates for topological quantum field theories
Authors:
Michael E. Beverland,
Oliver Buerschaper,
Robert Koenig,
Fernando Pastawski,
John Preskill,
Sumit Sijher
Abstract:
We study restrictions on locality-preserving unitary logical gates for topological quantum codes in two spatial dimensions. A locality-preserving operation is one which maps local operators to local operators --- for example, a constant-depth quantum circuit of geometrically local gates, or evolution for a constant time governed by a geometrically-local bounded-strength Hamiltonian. Locality-prese…
▽ More
We study restrictions on locality-preserving unitary logical gates for topological quantum codes in two spatial dimensions. A locality-preserving operation is one which maps local operators to local operators --- for example, a constant-depth quantum circuit of geometrically local gates, or evolution for a constant time governed by a geometrically-local bounded-strength Hamiltonian. Locality-preserving logical gates of topological codes are intrinsically fault tolerant because spatially localized errors remain localized, and hence sufficiently dilute errors remain correctable. By invoking general properties of two-dimensional topological field theories, we find that the locality-preserving logical gates are severely limited for codes which admit non-abelian anyons; in particular, there are no locality-preserving logical gates on the torus or the sphere with M punctures if the braiding of anyons is computationally universal. Furthermore, for Ising anyons on the M-punctured sphere, locality-preserving gates must be elements of the logical Pauli group. We derive these results by relating logical gates of a topological code to automorphisms of the Verlinde algebra of the corresponding anyon model, and by requiring the logical gates to be compatible with basis changes in the logical Hilbert space arising from local F-moves and the map** class group.
△ Less
Submitted 25 January, 2016; v1 submitted 12 September, 2014;
originally announced September 2014.
-
Realizing Exactly Solvable SU(N) Magnets with Thermal Atoms
Authors:
Michael E. Beverland,
Gorjan Alagic,
Michael J. Martin,
Andrew P. Koller,
Ana M. Rey,
Alexey V. Gorshkov
Abstract:
We show that $n$ thermal fermionic alkaline-earth atoms in a flat-bottom trap allow one to robustly implement a spin model displaying two symmetries: the $S_n$ symmetry that permutes atoms occupying different vibrational levels of the trap and the SU($N$) symmetry associated with $N$ nuclear spin states. The high symmetry makes the model exactly solvable, which, in turn, enables the analytic study…
▽ More
We show that $n$ thermal fermionic alkaline-earth atoms in a flat-bottom trap allow one to robustly implement a spin model displaying two symmetries: the $S_n$ symmetry that permutes atoms occupying different vibrational levels of the trap and the SU($N$) symmetry associated with $N$ nuclear spin states. The high symmetry makes the model exactly solvable, which, in turn, enables the analytic study of dynamical processes such as spin diffusion in this SU($N$) system. We also show how to use this system to generate entangled states that allow for Heisenberg-limited metrology. This highly symmetric spin model should be experimentally realizable even when the vibrational levels are occupied according to a high-temperature thermal or an arbitrary non-thermal distribution.
△ Less
Submitted 5 August, 2016; v1 submitted 10 September, 2014;
originally announced September 2014.
-
Beyond the Spin Model Approximation for Ramsey Spectroscopy
Authors:
A. P. Koller,
M. Beverland,
A. V. Gorshkov,
A. M. Rey
Abstract:
Ramsey spectroscopy has become a powerful technique for probing non-equilibrium dynamics of internal (pseudospin) degrees of freedom of interacting systems. In many theoretical treatments, the key to understanding the dynamics has been to assume the external (motional) degrees of freedom are decoupled from the pseudospin degrees of freedom. Determining the validity of this approximation -- known a…
▽ More
Ramsey spectroscopy has become a powerful technique for probing non-equilibrium dynamics of internal (pseudospin) degrees of freedom of interacting systems. In many theoretical treatments, the key to understanding the dynamics has been to assume the external (motional) degrees of freedom are decoupled from the pseudospin degrees of freedom. Determining the validity of this approximation -- known as the spin model approximation -- is complicated, and has not been addressed in detail. Here we shed light in this direction by calculating Ramsey dynamics exactly for two interacting spin-1/2 particles in a harmonic trap. We focus on $s$-wave-interacting fermions in quasi-one and two-dimensional geometries. We find that in 1D the spin model assumption works well over a wide range of experimentally-relevant conditions, but can fail at time scales longer than those set by the mean interaction energy. Surprisingly, in 2D a modified version of the spin model is exact to first order in the interaction strength. This analysis is important for a correct interpretation of Ramsey spectroscopy and has broad applications ranging from precision measurements to quantum information and to fundamental probes of many-body systems.
△ Less
Submitted 17 April, 2014; v1 submitted 3 December, 2013;
originally announced December 2013.
-
Air fluidized balls in a background of smaller beads
Authors:
M. E. Beverland,
L. J. Daniels,
D. J. Durian
Abstract:
We report on quasi-two-dimensional granular systems in which either one or two large balls is fluidized by an upflow of air in the presence of a background of several hundred smaller beads. A single large ball is observed to propel ballistically in nearly circular orbits, in direct contrast to the Brownian behavior of a large ball fluidized in the absence of this background. Further, the large bal…
▽ More
We report on quasi-two-dimensional granular systems in which either one or two large balls is fluidized by an upflow of air in the presence of a background of several hundred smaller beads. A single large ball is observed to propel ballistically in nearly circular orbits, in direct contrast to the Brownian behavior of a large ball fluidized in the absence of this background. Further, the large ball motion satisfies a Langevin equation with an additional speed-dependent force acting in the direction of motion. This results in a non-zero average speed of the large ball that is an order of magnitude faster than the root mean square speed of the background balls. Two large balls fluidized in the absence of the small-bead background experience a repulsive force depending only on the separation of the two balls. With the background beads present, by contrast, the ball-ball interaction becomes velocity-dependent and attractive. The attraction is long-ranged and inconsistent with a depletion model; instead, it is mediated by local fluctuations in the density of the background beads which depends on the large balls' motion.
△ Less
Submitted 2 December, 2010;
originally announced December 2010.
-
High Spectral Resolution Observation of Decimetric Radio Spikes Emitted by Solar Flares - First Results of the Phoenix-3 Spectrometer
Authors:
Arnold O. Benz,
Christian Monstein,
Michael Beverland,
Hansueli Meyer,
Bruno Stuber
Abstract:
A new multichannel spectrometer, Phoenix-3, is in operation having capabilities to observe solar flare radio emissions in the 0.1 - 5 GHz range at an unprecedented spectral resolution of 61.0 kHz with high sensitivity. The present setup for routine observations allows measuring circular polarization, but requires a data compression to 4096 frequency channels in the 1 - 5 GHz range and to a tempo…
▽ More
A new multichannel spectrometer, Phoenix-3, is in operation having capabilities to observe solar flare radio emissions in the 0.1 - 5 GHz range at an unprecedented spectral resolution of 61.0 kHz with high sensitivity. The present setup for routine observations allows measuring circular polarization, but requires a data compression to 4096 frequency channels in the 1 - 5 GHz range and to a temporal resolution of 200 ms. First results are presented by means of a well observed event that included narrowband spikes at 350 - 850 MHz. Spike bandwidths are found to have a power-law distribution, drop** off below a value of 2 MHz for full width at half maximum (FWHM). The narrowest spikes have a FWHM bandwidth less than 0.3 MHz or 0.04% of the central frequency. The smallest half-power increase occurs within 0.104 MHz at 443.5 MHz, which is close to the predicted natural width of maser emission. The spectrum of spikes is found to be asymmetric, having an enhanced low-frequency tail. The distribution of the total spike flux is approximately an exponential.
△ Less
Submitted 23 September, 2009;
originally announced September 2009.