InQuIR: Intermediate Representation for Interconnected Quantum Computers
- URL: http://arxiv.org/abs/2302.00267v1
- Date: Wed, 1 Feb 2023 06:19:23 GMT
- Title: InQuIR: Intermediate Representation for Interconnected Quantum Computers
- Authors: Shin Nishio and Ryo Wakizaka
- Abstract summary: 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.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Various physical constraints limit the number of qubits that can be
implemented in a single quantum processor, and thus it is necessary to connect
multiple quantum processors via quantum interconnects. While several compiler
implementations for interconnected quantum computers have been proposed, there
is no suitable representation as their compilation target. The lack of such
representation impairs the reusability of compiled programs and makes it
difficult to reason formally about the complicated behavior of distributed
quantum programs. We propose InQuIR, an intermediate representation that can
express communication and computation on distributed quantum systems. InQuIR
has formal semantics that allows us to describe precisely the behaviors of
distributed quantum programs. We give examples written in InQuIR to illustrate
the problems arising in distributed programs, such as deadlock. We present a
roadmap for static verification using type systems to deal with such a problem.
We also provide software tools for InQuIR and evaluate the computational costs
of quantum circuits under various conditions. Our tools are available at
https://github.com/team-InQuIR/InQuIR.
Related papers
- Towards Supporting QIR: Thoughts on Adopting the Quantum Intermediate Representation [4.704614749567071]
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.
arXiv Detail & Related papers (2024-11-27T19:00:01Z) - DisQ: A Model of Distributed Quantum Processors [0.0]
We present Disq, as the first formal model of distributed quantum processors.
Disq is a distributed quantum programming language.
We develop a simulation relation to check the equivalence of a quantum algorithm and its distributed versions.
arXiv Detail & Related papers (2024-07-12T22:26:22Z) - 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) - Quantum Circuit Learning on NISQ Hardware [0.0]
Current quantum computers are small and error-prone systems.
Fault-tolerant quantum computers are not expected to be available in the near future.
We show that exemplary QCL circuits with up to three qubits are executable on the IBM quantum computer.
arXiv Detail & Related papers (2024-05-03T13:00:32Z) - Applying an Evolutionary Algorithm to Minimize Teleportation Costs in Distributed Quantum Computing [3.0846297887400977]
A quantum communication network can be formed by connecting multiple quantum computers (QCs) through classical and quantum channels.
In distributed quantum computing, QCs collectively perform a quantum computation.
In this paper, we propose an evolutionary algorithm for this problem.
arXiv Detail & Related papers (2023-11-30T13:10:28Z) - Delegated variational quantum algorithms based on quantum homomorphic
encryption [69.50567607858659]
Variational quantum algorithms (VQAs) are one of the most promising candidates for achieving quantum advantages on quantum devices.
The private data of clients may be leaked to quantum servers in such a quantum cloud model.
A novel quantum homomorphic encryption (QHE) scheme is constructed for quantum servers to calculate encrypted data.
arXiv Detail & Related papers (2023-01-25T07:00:13Z) - 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) - Tensor Network Quantum Virtual Machine for Simulating Quantum Circuits
at Exascale [57.84751206630535]
We present a modernized version of the Quantum Virtual Machine (TNQVM) which serves as a quantum circuit simulation backend in the e-scale ACCelerator (XACC) framework.
The new version is based on the general purpose, scalable network processing library, ExaTN, and provides multiple quantum circuit simulators.
By combining the portable XACC quantum processors and the scalable ExaTN backend we introduce an end-to-end virtual development environment which can scale from laptops to future exascale platforms.
arXiv Detail & Related papers (2021-04-21T13:26:42Z) - 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)
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.