Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures
- URL: http://arxiv.org/abs/2409.07870v1
- Date: Thu, 12 Sep 2024 09:28:30 GMT
- Title: Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures
- Authors: Oğuzcan Kırmemiş, Francisco Romão, Emmanouil Giortamis, Pramod Bhatotia,
- Abstract summary: New quantum hardware technologies are emerging, such as Trapped Ions, Neutral Atoms (or FPQAs), Silicon Spin Qubits, etc.
There is a growing need for a retargetable compiler that can efficiently adapt existing code to these emerging hardware platforms.
We present $Weaver$, the first, performant, and verifiable retargetable quantum compiler framework.
- Score: 0.5571222258950509
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: While the prominent quantum computing architectures are based on superconducting technology, new quantum hardware technologies are emerging, such as Trapped Ions, Neutral Atoms (or FPQAs), Silicon Spin Qubits, etc. This diverse set of technologies presents fundamental trade-offs in terms of scalability, performance, manufacturing, and operating expenses. To manage these diverse quantum technologies, there is a growing need for a retargetable compiler that can efficiently adapt existing code to these emerging hardware platforms. Such a retargetable compiler must be extensible to support new and rapidly evolving technologies, performant with fast compilation times and high-fidelity execution, and verifiable through rigorous equivalence checking to ensure the functional equivalence of the retargeted code. To this end, we present $Weaver$, the first extensible, performant, and verifiable retargetable quantum compiler framework with a focus on FPQAs due to their unique, promising features. $Weaver$ introduces WQASM, the first formal extension of the standard OpenQASM quantum assembly with FPQA-specific instructions to support their distinct capabilities. Next, $Weaver$ implements the WOptimizer, an extensible set of FPQA-specific optimization passes to improve execution quality. Last, the WChecker automatically checks for equivalence between the original and the retargeted code. Our evaluation shows that $Weaver$ improves compilation times by $10^3\times$, execution times by $4.4\times$, and execution fidelity by $10\%$, on average, compared to superconducting and state-of-the-art (non-retargetable) FPQA compilers.
Related papers
- 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) - Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts [3.4115342075432435]
Neutral Atom Quantum Computing (NAQC) emerges as a promising hardware platform.
This work investigates the broad spectrum of capabilities intrinsic to the NAQC platform and its implications on the compilation process.
arXiv Detail & Related papers (2023-09-15T18:00:00Z) - Integration of Quantum Accelerators with High Performance Computing -- A
Review of Quantum Programming Tools [0.8477185635891722]
This study aims to characterize existing quantum programming tools (QPTs) from an HPC perspective.
It investigates if existing QPTs have the potential to be efficiently integrated with classical computing models.
This work structures a set of criteria into an analysis blueprint that enables HPC scientists to assess whether a QPT is suitable for the quantum-accelerated classical application.
arXiv Detail & Related papers (2023-09-12T12:24:12Z) - Compiler Optimization for Quantum Computing Using Reinforcement Learning [3.610459670994051]
We propose a reinforcement learning framework for developing optimized quantum circuit compilation flows.
The proposed framework is set up with a selection of compilation passes from IBM's Qiskit and Quantinuum's TKET.
It significantly outperforms both individual compilers in 73% of cases regarding the expected fidelity.
arXiv Detail & Related papers (2022-12-08T19:00:01Z) - Enabling Retargetable Optimizing Compilers for Quantum Accelerators via
a Multi-Level Intermediate Representation [78.8942067357231]
We present a multi-level quantum-classical intermediate representation (IR) that enables an optimizing, retargetable, ahead-of-time compiler.
We support the entire gate-based OpenQASM 3 language and provide custom extensions for common quantum programming patterns and improved syntax.
Our work results in compile times that are 1000x faster than standard Pythonic approaches, and 5-10x faster than comparative standalone quantum language compilers.
arXiv Detail & Related papers (2021-09-01T17:29:47Z) - Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
We introduce a high-fidelity gate set inspired by a proposal for near-term quantum advantage in optimization problems.
By orchestrating coherent, multi-level control over three transmon qutrits, we synthesize a family of deterministic, continuous-angle quantum phase gates acting in the natural three-qubit computational basis.
arXiv Detail & Related papers (2021-08-03T17:49:09Z) - A MLIR Dialect for Quantum Assembly Languages [78.8942067357231]
We demonstrate the utility of the Multi-Level Intermediate Representation (MLIR) for quantum computing.
We extend MLIR with a new quantum dialect that enables the expression and compilation of common quantum assembly languages.
We leverage a qcor-enabled implementation of the QIR quantum runtime API to enable a retargetable (quantum hardware agnostic) compiler workflow.
arXiv Detail & Related papers (2021-01-27T13:00:39Z) - 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) - t$|$ket$\rangle$ : A Retargetable Compiler for NISQ Devices [55.41644538483948]
t$|$ket$rangle$ is a language-agnostic optimising compiler designed to generate code for a variety of NISQ devices.
The compiler has been extensively benchmarked and outperforms most competitors in terms of circuit optimisation and qubit routing.
arXiv Detail & Related papers (2020-03-24T01:49:08Z)
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.