Towards Supporting QIR: Thoughts on Adopting the Quantum Intermediate Representation

• URL: http://arxiv.org/abs/2411.18682v1
• Date: Wed, 27 Nov 2024 19:00:01 GMT
• Title: Towards Supporting QIR: Thoughts on Adopting the Quantum Intermediate Representation
• Authors: Yannick Stade, Lukas Burgholzer, Robert Wille,
• Abstract summary: Intermediate representations play a crucial role in the software stack for a quantum computer. Microsoft proposed the Quantum Intermediate Representation (QIR) to facilitate efficient optimizations. This article provides food for thought on how QIR can be adopted in different software tools.
• Score: 4.704614749567071
• License:
• Abstract: New records in the number of qubits and the fidelity of quantum computers continue to be set. Additionally, the quantum computing community is eager to leverage this immense computational power. However, to execute an application on hardware, it has to be translated into a sequence of hardware-specific instructions. To this end, intermediate representations play a crucial role in the software stack for a quantum computer to facilitate efficient optimizations. One of those intermediate representations is the Quantum Intermediate Representation (QIR), proposed by Microsoft. In this article, we provide food for thought on how QIR can be adopted in different software tools. We discuss the advantages and disadvantages of various approaches and outline related challenges. Finally, we conclude with an outlook on future directions using QIR.

Related papers

• SeQUeNCe GUI: An Extensible User Interface for Discrete Event Quantum Network Simulations [55.2480439325792]
  SeQUeNCe is an open source simulator of quantum network communication. We implement a graphical user interface which maintains the core principles of SeQUeNCe.
  arXiv  Detail & Related papers  (2025-01-15T19:36:09Z)
• NetQIR: An Extension of QIR for Distributed Quantum Computing [2.924756839755417]
  NetQIR is an extension of Microsoft's Quantum Intermediate Representation (QIR) It was developed in response to the lack of abstraction at the network and hardware layers. It aims to bridge the gap between high-level quantum algorithm design and low-level hardware execution.
  arXiv  Detail & Related papers  (2024-08-07T12:01:47Z)
• 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)
• A Cross-Platform Execution Engine for the Quantum Intermediate Representation [1.4078224649226623]
  We describe and demonstrate the QIR Execution Engine (QIR-EE) for parsing, interpreting, and executing QIR across multiple hardware platforms. We demonstrate an implementation that uses the XACC quantum hardware-accelerator library to dispatch quantum programs on different commercial quantum platforms and numerical simulators.
  arXiv  Detail & Related papers  (2024-04-22T15:59:41Z)
• InQuIR: Intermediate Representation for Interconnected Quantum Computers [0.0]
  InQuIR is a representation that can express communication and computation on distributed quantum systems. We give examples written in InQuIR to illustrate the problems arising in distributed programs, such as deadlock. We also provide software tools for InQuIR and evaluate the computational costs of quantum circuits.
  arXiv  Detail & Related papers  (2023-02-01T06:19:23Z)
• 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)
• Iterative Qubits Management for Quantum Index Searching in a Hybrid System [56.39703478198019]
  IQuCS aims at index searching and counting in a quantum-classical hybrid system. We implement IQuCS with Qiskit and conduct intensive experiments. Results demonstrate that it reduces qubits consumption by up to 66.2%.
  arXiv  Detail & Related papers  (2022-09-22T21:54:28Z)
• Optimal Stochastic Resource Allocation for Distributed Quantum Computing [50.809738453571015]
  We propose a resource allocation scheme for distributed quantum computing (DQC) based on programming to minimize the total deployment cost for quantum resources. The evaluation demonstrates the effectiveness and ability of the proposed scheme to balance the utilization of quantum computers and on-demand quantum computers.
  arXiv  Detail & Related papers  (2022-09-16T02:37:32Z)
• Full-stack quantum computing systems in the NISQ era: algorithm-driven and hardware-aware compilation techniques [1.3496450124792878]
  We will provide an overview on current full-stack quantum computing systems. We will emphasize the need for tight co-design among adjacent layers as well as vertical cross-layer design.
  arXiv  Detail & Related papers  (2022-04-13T13:26:56Z)
• 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)
• A Hardware-Aware Heuristic for the Qubit Mapping Problem in the NISQ Era [0.0]
  We propose a Hardware-Aware mapping transition algorithm (HA) that takes the calibration data into account. Results on IBM quantum hardware show that our HA approach can outperform the state of the art.
  arXiv  Detail & Related papers  (2020-10-06T07:03:35Z)

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.