Quantum Compiler Design for Fault-Tolerant Quantum Computing

• URL: http://arxiv.org/abs/2609.17465v1
• Date: Tue, 15 Sep 2026 17:05:49 GMT
• Title: Quantum Compiler Design for Fault-Tolerant Quantum Computing
• Abstract summary: This survey presents a full-stack view of compiler design for QEC-protected quantum computation.<n>We organize existing work into three interacting layers: logical-level QEC compilation, physical-level QEC realization, and runtime integration.
• Score: 14.739903011159207
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Scalable quantum computation is expected to rely on fault-tolerant quantum computation (FTQC), in which quantum error correction (QEC) suppresses physical errors sufficiently to support reliable logical operations. This requires quantum compilation to move beyond general-purpose circuit optimization toward encoding-aware and protocol-structured compilation across the full stack of fault-tolerant quantum computers. Beyond circuit synthesis and hardware mapping, an FTQC compiler must lower algorithm-level operations into the logical gate set supported by the chosen code, coordinate encoded data and ancilla resources, realize logical operations together with repeated syndrome extraction under hardware constraints, and provide the resulting measurement stream to real-time decoding. This survey presents a full-stack view of compiler design for QEC-protected quantum computation. We organize existing work into three interacting layers: logical-level QEC compilation, physical-level QEC realization, and decoder runtime integration. At the logical level, we review surface-code lattice-surgery compilers, beyond-surface-code code-surgery frameworks including emerging qLDPC approaches, and compilation support for non-Clifford operations such as magic-state distillation and code switching. At the physical level, we survey hardware-aware QEC realization on superconducting, trapped-ion, and neutral-atom platforms. We further examine decoder models, real-time decoding systems, and frame-management mechanisms that close the feedback loop during fault-tolerant execution. Finally, we identify open challenges in cross-layer optimization, qLDPC compilation, compiler-decoder co-design, runtime adaptivity, and the development of integrated and benchmarkable FTQC compilation stacks. An actively maintained paper list is available at: github.com/chenghongz/QEC-compiler-design.

Related papers

• CUDA-Q Logical: Retargetable Compilation for Fault-Tolerant Quantum Computing [30.490749390369032]
  We present Q-Q Logical, a compiler infrastructure for fault-tolerant compilation, analysis, and execution.<n>By deriving every resource estimate directly from compiler artifacts, the framework unifies compilation and resource analysis.<n>We show that schedule estimates reconcile with established independent models.
  arXiv  Detail & Related papers  (2026-09-11T18:00:16Z)
• OmniQEC: discovering practical quantum error-correcting codes by an AI scientist [20.09408539282161]
  We introduce OmniQEC, an efficient AI scientist for discovering Quantum error correction codes.<n>At its core, OmniQEC combines a self-evolving reasoning mechanism with a slow--fast synergistic workflow.<n>The discovered codes show steadily improving logical-error suppression with increasing physical-qubit budgets.
  arXiv  Detail & Related papers  (2026-07-28T15:31:26Z)
• Optimal Compilation of Syndrome Extraction Circuits for General Quantum LDPC Codes [24.459036277770007]
  We propose Auto-Stabilizer-Check (ASC), a universal compilation framework that generates depth-optimal syndrome extraction circuits for arbitrary qLDPC codes.<n> ASC reduces circuit depth by approximately 50% and achieves an average 7x-8x suppression of the logical error rate for general qLDPC codes.
  arXiv  Detail & Related papers  (2026-03-23T02:43:38Z)
• QuantEM: The quantum error management compiler [6.576503649817851]
  Quantum error detection (QED) enables improved reliability with significantly lower overhead.<n>Applying QED to arbitrary quantum circuits remains challenging because of the need for manual insertion of detection subcircuits, ancilla allocation, and hardware-specific mapping and scheduling.<n>We present QuantEM, a modular and scalable compiler designed to automate the integration of QED codes into arbitrary quantum programs.
  arXiv  Detail & Related papers  (2025-09-19T01:04:15Z)
• Extractors: QLDPC Architectures for Efficient Pauli-Based Computation [39.98920557126034]
  We propose a new primitive that can augment any QLDPC memory into a computational block well-suited for Pauli-based computation.<n>In particular, any logical Pauli operator supported on the memory can be fault-tolerantly measured in one logical cycle.<n>Our architecture can implement universal quantum circuits via parallel logical measurements.
  arXiv  Detail & Related papers  (2025-03-13T14:07:40Z)
• Architecting a reliable quantum operating system: microkernel, message passing and supercomputing [55.616364225463066]
  A quantum operating system (QCOS) is a classic software running on classic hardware. We discuss why a QCOS should be architected according to the following principles.
  arXiv  Detail & Related papers  (2024-10-17T12:24:55Z)
• Quantum Compiling with Reinforcement Learning on a Superconducting Processor [55.135709564322624]
  We develop a reinforcement learning-based quantum compiler for a superconducting processor. We demonstrate its capability of discovering novel and hardware-amenable circuits with short lengths. Our study exemplifies the codesign of the software with hardware for efficient quantum compilation.
  arXiv  Detail & Related papers  (2024-06-18T01:49:48Z)
• Modular decoding: parallelizable real-time decoding for quantum computers [55.41644538483948]
  Real-time quantum computation will require decoding algorithms capable of extracting logical outcomes from a stream of data generated by noisy quantum hardware. We propose modular decoding, an approach capable of addressing this challenge with minimal additional communication and without sacrificing decoding accuracy. We introduce the edge-vertex decomposition, a concrete instance of modular decoding for lattice-surgery style fault-tolerant blocks.
  arXiv  Detail & Related papers  (2023-03-08T19:26:10Z)
• Deep Quantum Error Correction [73.54643419792453]
  Quantum error correction codes (QECC) are a key component for realizing the potential of quantum computing. In this work, we efficiently train novel emphend-to-end deep quantum error decoders. The proposed method demonstrates the power of neural decoders for QECC by achieving state-of-the-art accuracy.
  arXiv  Detail & Related papers  (2023-01-27T08:16:26Z)
• The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus [55.58528469973086]
  Quantum computers promise to efficiently solve important problems classical computers never will. A fully automated quantum software stack needs to be developed. This work provides a look "under the hood" of today's tools and showcases how these means are utilized in them, e.g., for simulation, compilation, and verification of quantum circuits.
  arXiv  Detail & Related papers  (2023-01-10T19:00:00Z)
• Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
  qcor is a language extension to C++ and compiler implementation that enables heterogeneous quantum-classical programming, compilation, and execution in a single-source context. Our work provides a first-of-its-kind C++ compiler enabling high-level quantum kernel (function) expression in a quantum-language manner.
  arXiv  Detail & Related papers  (2020-10-08T12:49:07Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.