論文の概要: InQuIR: Intermediate Representation for Interconnected Quantum Computers

• arxiv url: http://arxiv.org/abs/2302.00267v1
• Date: Wed, 1 Feb 2023 06:19:23 GMT
• ステータス: 処理完了
• システム内更新日: 2023-02-02 17:51:44.812737
• Title: InQuIR: Intermediate Representation for Interconnected Quantum Computers
• Title（参考訳）: InQuIR:相互接続型量子コンピュータの中間表現
• Authors: Shin Nishio and Ryo Wakizaka
• Abstract要約: InQuIRは、分散量子システム上での通信と計算を表現できる表現である。 デッドロックなどの分散プログラムで発生する問題を説明するために,InQuIRで記述した例を挙げる。 また、InQuIR用のソフトウェアツールを提供し、量子回路の計算コストを評価する。
• 参考スコア（独自算出の注目度）: 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.
• Abstract（参考訳）: 様々な物理的制約は単一の量子プロセッサに実装できる量子ビットの数を制限するため、量子インターコネクトを介して複数の量子プロセッサを接続する必要がある。 相互接続型量子コンピュータのためのいくつかのコンパイラ実装が提案されているが、そのコンパイル対象として適切な表現は存在しない。 このような表現の欠如は、コンパイルされたプログラムの再利用性を損なうものであり、分散量子プログラムの複雑な振る舞いを正式に推論することは困難である。 分散量子システム上での通信と計算を表現できる中間表現であるInQuIRを提案する。 InQuIRには形式的な意味論があり、分散量子プログラムの挙動を正確に記述することができる。 デッドロックなどの分散プログラムで発生する問題を説明するために,InQuIRで記述した例を示す。 このような問題に対処するために,型システムを用いた静的検証のロードマップを示す。 また、様々な条件下で量子回路の計算コストを問い合わせ評価するためのソフトウェアツールを提供する。 私たちのツールはhttps://github.com/team-InQuIR/InQuIRで利用可能です。

関連論文リスト

• Towards Supporting QIR: Thoughts on Adopting the Quantum Intermediate Representation [4.704614749567071]
  中間表現は量子コンピュータのソフトウェアスタックにおいて重要な役割を果たす。 Microsoftは、効率的な最適化を容易にするためにQuantum Intermediate Representation (QIR)を提案した。 この記事では、異なるソフトウェアツールでQIRをどのように採用できるかを考えるための食べ物を提供します。
  論文  参考訳（メタデータ） (2024-11-27T19:00:01Z)
• DisQ: A Model of Distributed Quantum Processors [0.0]
  分散量子プロセッサの最初の形式モデルとしてDisqを提案する。 Disqは分散量子プログラミング言語である。 本研究では,量子アルゴリズムの等価性とその分散バージョンをチェックするためのシミュレーション関係を開発する。
  論文  参考訳（メタデータ） (2024-07-12T22:26:22Z)
• Quantum Compiling with Reinforcement Learning on a Superconducting Processor [55.135709564322624]
  超伝導プロセッサのための強化学習型量子コンパイラを開発した。 短絡の新規・ハードウェア対応回路の発見能力を示す。 本研究は,効率的な量子コンパイルのためのハードウェアによるソフトウェア設計を実証する。
  論文  参考訳（メタデータ） (2024-06-18T01:49:48Z)
• Quantum Circuit Learning on NISQ Hardware [0.0]
  現在の量子コンピュータは小さく、エラーを起こしやすいシステムである。 フォールトトレラントな量子コンピュータは近い将来は利用できない。 我々は,IBM量子コンピュータ上で最大3キュービットのQCL回路が実行可能であることを示す。
  論文  参考訳（メタデータ） (2024-05-03T13:00:32Z)
• Applying an Evolutionary Algorithm to Minimize Teleportation Costs in Distributed Quantum Computing [3.0846297887400977]
  量子通信ネットワークは、古典的および量子チャネルを介して複数の量子コンピュータ(QC)を接続することによって形成することができる。 分散量子コンピューティングでは、QCは集合的に量子計算を行う。 本稿では,この問題に対する進化的アルゴリズムを提案する。
  論文  参考訳（メタデータ） (2023-11-30T13:10:28Z)
• Delegated variational quantum algorithms based on quantum homomorphic encryption [69.50567607858659]
  変分量子アルゴリズム(VQA)は、量子デバイス上で量子アドバンテージを達成するための最も有望な候補の1つである。 クライアントのプライベートデータは、そのような量子クラウドモデルで量子サーバにリークされる可能性がある。 量子サーバが暗号化データを計算するための新しい量子ホモモルフィック暗号(QHE)スキームが構築されている。
  論文  参考訳（メタデータ） (2023-01-25T07:00:13Z)
• Iterative Qubits Management for Quantum Index Searching in a Hybrid System [56.39703478198019]
  IQuCSは、量子古典ハイブリッドシステムにおけるインデックス検索とカウントを目的としている。 我々はQiskitでIQuCSを実装し、集中的な実験を行う。 その結果、量子ビットの消費を最大66.2%削減できることが示されている。
  論文  参考訳（メタデータ） (2022-09-22T21:54:28Z)
• Optimal Stochastic Resource Allocation for Distributed Quantum Computing [50.809738453571015]
  本稿では,分散量子コンピューティング(DQC)のためのリソース割り当て方式を提案する。 本評価は,提案手法の有効性と,量子コンピュータとオンデマンド量子コンピュータの両立性を示すものである。
  論文  参考訳（メタデータ） (2022-09-16T02:37:32Z)
• Tensor Network Quantum Virtual Machine for Simulating Quantum Circuits at Exascale [57.84751206630535]
  本稿では,E-scale ACCelerator(XACC)フレームワークにおける量子回路シミュレーションバックエンドとして機能する量子仮想マシン(TNQVM)の近代化版を提案する。 新バージョンは汎用的でスケーラブルなネットワーク処理ライブラリであるExaTNをベースにしており、複数の量子回路シミュレータを提供している。 ポータブルなXACC量子プロセッサとスケーラブルなExaTNバックエンドを組み合わせることで、ラップトップから将来のエクサスケールプラットフォームにスケール可能なエンドツーエンドの仮想開発環境を導入します。
  論文  参考訳（メタデータ） (2021-04-21T13:26:42Z)
• A MLIR Dialect for Quantum Assembly Languages [78.8942067357231]
  量子コンピューティングにおけるMLIR(Multi-Level Intermediate Representation)の有用性を実証する。 我々は、共通量子集合言語の表現とコンパイルを可能にする新しい量子方言でMLIRを拡張した。 我々はQIR量子ランタイムAPIのqcor対応実装を活用して、再ターゲット可能な(量子ハードウェアに依存しない)コンパイラワークフローを実現する。
  論文  参考訳（メタデータ） (2021-01-27T13:00:39Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。