Designing fault-tolerant circuits using detector error models

Quantum error-correcting codes, such as subspace, subsystem, and Floquet codes, are typically constructed within the stabilizer formalism, which does not fully capture the idea of fault-tolerance needed for practical quantum computing applications. In this work, we explore the remarkably powerful fo...

Full description

Saved in:
Bibliographic Details
Published inarXiv.org
Main Authors Derks, Peter-Jan H S, Townsend-Teague, Alex, Burchards, Ansgar G, Eisert, Jens
Format Paper
LanguageEnglish
Published Ithaca Cornell University Library, arXiv.org 18.07.2024
Subjects
Circuits
Error analysis
Error correcting codes
Error correction
Error detection
Fault tolerance
Formalism
Measurement methods
Quantum computing
Schedules
Subsystems
Online AccessGet full text

Cover

More Information
Summary:Quantum error-correcting codes, such as subspace, subsystem, and Floquet codes, are typically constructed within the stabilizer formalism, which does not fully capture the idea of fault-tolerance needed for practical quantum computing applications. In this work, we explore the remarkably powerful formalism of detector error models, which fully captures fault-tolerance at the circuit level. We introduce the detector error model formalism in a pedagogical manner and provide several examples. Additionally, we apply the formalism to three different levels of abstraction in the engineering cycle of fault-tolerant circuit designs: finding robust syndrome extraction circuits, identifying efficient measurement schedules, and constructing fault-tolerant procedures. We enhance the surface code's resistance to measurement errors, devise short measurement schedules for color codes, and implement a more efficient fault-tolerant method for measuring logical operators.
ISSN:2331-8422