CUDA-Q Logical: Retargetable Compilation for Fault-Tolerant Quantum Computing

• URL: http://arxiv.org/abs/2609.13388v1
• Date: Fri, 11 Sep 2026 18:00:16 GMT
• Title: CUDA-Q Logical: Retargetable Compilation for Fault-Tolerant Quantum Computing
• Abstract summary: 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.
• Score: 30.490749390369032
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Realizing fault-tolerant quantum computing requires mapping logical programs to heterogeneous quantum error correction (QEC) codes and diverse fault-tolerant execution models, scheduling physical resources, and coupling to real-time classical control and feedback. Specialized tools exist for each step but rely on manual composition and translation that discard assumptions and provenance, separating resource estimates from the compiler artifacts they describe, and making it difficult to validate correctness, compare architectures, or attribute costs to specific design choices. We present CUDA-Q Logical, an extensible compiler infrastructure for retargetable fault-tolerant compilation, analysis, and execution. Interoperable with CUDA-Q and other mainstream front-ends, CUDA-Q Logical progressively lowers target-independent logical programs through a constrained logical virtual machine, QEC microcode, physical gate schedules, and real-time control plans, with each layer preserving semantics and provenance, while verifying composition and resource constraints. By deriving every resource estimate directly from compiler artifacts, the framework unifies compilation and resource analysis, enabling successively refined estimates and principled cross-architecture comparison while permitting QEC codes, execution models, decoders, and hardware architectures to be introduced as modular extensions. Across workloads ranging from application-architecture studies to qLDPC surgery and detector-error-model composition, we show that schedule-derived estimates reconcile with established independent models. Crucially, this compiler-visible structure exposes cost drivers hidden by aggregate analytical formulas, carries QEC artifacts intact into simulation, and demonstrates a complete compilation pipeline for fault-tolerant quantum computing.

Related papers

• Quantum Compiler Design for Fault-Tolerant Quantum Computing [14.739903011159207]
  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.
  arXiv  Detail & Related papers  (2026-09-15T17:05:49Z)
• A Modular, Topology-Aware Software Stack for Entanglement-Based Distributed Quantum Computing [0.7344283583396618]
  We present an open-source framework for the compilation and scheduling of distributed quantum programs.<n>We show that the best-performing compilation strategy varies across the tested circuits and network configurations.
  arXiv  Detail & Related papers  (2026-09-14T15:24:47Z)
• A Platform-aware Compilation Framework for Fault-tolerant Quantum Computation [0.0]
  We present a platform-aware compilation framework that re-compiles a quantum circuit into a hardware-compatible instruction set.<n>We benchmark the framework for Hamiltonian simulation of the 2D Fermi Hubbard model and for eigenenergy estimation of a small molecule.<n>For the latter, we show that end-to-end quantum simulations can be achieved with $sim104$ physical qubits and algorithms ranging from $102$ ms (photonics, superconducting) to $105$ ms (neutral atoms)
  arXiv  Detail & Related papers  (2026-09-08T15:41:54Z)
• Architecture-Aware Reinforcement Learning for Communication-Efficient Distributed Quantum Circuit Compilation [16.380589534840862]
  Distributed quantum computing provides a scalable route for executing quantum circuits beyond the capacity limits of a single quantum processing unit.<n>This paper presents an architecture-aware reinforcement-learning framework that formulates distributed quantum compilation as a constrained Markov Decision Process.
  arXiv  Detail & Related papers  (2026-08-07T07:25:18Z)
• ThinkBooster: A Unified Framework for Seamless Test-Time Scaling of LLM Reasoning [110.46431027868954]
  ThinkBooster is a framework for seamless test-time compute scaling of large language model (LLM) reasoning.<n>It consists of a modular Python library implementing state-of-the-art TTC scaling strategy and scorer families.<n>A deployable OpenAI-compatible proxy service enables drop-in integration of adaptive reasoning into real-world applications.
  arXiv  Detail & Related papers  (2026-06-05T05:28:46Z)
• Understanding by Reconstruction: Reversing the Software Development Process for LLM Pretraining [66.89012795621349]
  Large Language Models (LLMs) often struggle with the deep, long-horizon reasoning required for complex software engineering.<n>We propose a novel paradigm: understanding via reconstruction.<n>We introduce a framework that synthesizes latent agentic trajectories using a multi-agent simulation.
  arXiv  Detail & Related papers  (2026-03-11T09:23:20Z)
• FTCircuitBench: A Benchmark Suite for Fault-Tolerant Quantum Compilation and Architecture [9.755713238528779]
  FTCircuitBench serves as a benchmark suite of impactful quantum algorithms.<n>A modular end-to-end pipeline allows users to compile and decompose algorithms for various fault-tolerant architectures.<n>A toolkit provides detailed numerical analysis at each stage.
  arXiv  Detail & Related papers  (2026-01-06T17:08:46Z)
• 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)
• Mechanistic Design and Scaling of Hybrid Architectures [114.3129802943915]
  We identify and test new hybrid architectures constructed from a variety of computational primitives. We experimentally validate the resulting architectures via an extensive compute-optimal and a new state-optimal scaling law analysis. We find MAD synthetics to correlate with compute-optimal perplexity, enabling accurate evaluation of new architectures.
  arXiv  Detail & Related papers  (2024-03-26T16:33:12Z)
• 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)
• Logical blocks for fault-tolerant topological quantum computation [55.41644538483948]
  We present a framework for universal fault-tolerant logic motivated by the need for platform-independent logical gate definitions. We explore novel schemes for universal logic that improve resource overheads. Motivated by the favorable logical error rates for boundaryless computation, we introduce a novel computational scheme.
  arXiv  Detail & Related papers  (2021-12-22T19:00:03Z)
• 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.