論文の概要: Formalization of Quantum Intermediate Representations for Code Safety
- arxiv url: http://arxiv.org/abs/2303.14500v1
- Date: Sat, 25 Mar 2023 15:40:18 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-28 19:26:06.303495
- Title: Formalization of Quantum Intermediate Representations for Code Safety
- Title（参考訳）: コード安全性のための量子中間表現の形式化
- Authors: Junjie Luo, Jianjun Zhao
- Abstract要約: 量子中間表現(Quantum Intermediate Representation、QIR)は、Microsoftが開発したLLVMベースの量子プログラムコンパイラの中間表現である。
我々は、QIRのデータ型と命令セットを形式的に定義し、正確性とセキュリティ保証を提供することを目的としている。
- 参考スコア（独自算出の注目度）: 3.5116128875896067
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Quantum Intermediate Representation (QIR) is a Microsoft-developed,
LLVM-based intermediate representation for quantum program compilers. QIR aims
to provide a general solution for quantum program compilers independent of
front-end languages and back-end hardware, thus avoiding duplicate development
of intermediate representations and compilers. Since it is still under
development, QIR is described in natural language and lacks a formal
definition, leading to ambiguity in its interpretation and a lack of rigor in
implementing quantum functions. In this paper, we provide formal definitions
for the data types and instruction sets of QIR, aiming to provide correctness
and security guarantees for operations and intermediate code conversions in
QIR. To validate our design, we show some samples of unsafe QIR code where
errors can be detected by our formal approach.
- Abstract（参考訳）: quantum intermediate representation (qir) はマイクロソフトが開発した量子プログラムコンパイラ向けのllvmベースの中間表現である。
qirは、フロントエンド言語やバックエンドハードウェアに依存しない量子プログラムコンパイラのための一般的なソリューションを提供することを目的としている。
開発中であるため、QIRは自然言語で記述されており、形式的な定義がないため、その解釈の曖昧さと量子関数の実装における厳密さの欠如につながる。
本稿では,QIRのデータ型と命令セットを形式的に定義し,QIRにおける操作と中間コード変換の正当性とセキュリティを保証することを目的とする。
我々の設計を検証するために、我々は安全でないQIRコードのサンプルを示し、そこでエラーをフォーマルなアプローチで検出する。
関連論文リスト
- NetQIR: An Extension of QIR for Distributed Quantum Computing [2.924756839755417]
NetQIRは、MicrosoftのQuantum Intermediate Representation (QIR)の拡張である。
ネットワーク層とハードウェア層における抽象化の欠如に対応して開発された。
高レベルの量子アルゴリズム設計と低レベルのハードウェア実行のギャップを埋めることを目的としている。
論文 参考訳（メタデータ） (2024-08-07T12:01:47Z) - A Cross-Platform Execution Engine for the Quantum Intermediate Representation [1.4078224649226623]
我々は、複数のハードウェアプラットフォームでQIRを解析、解釈、実行するためのQIR実行エンジン(QIR-EE)を記述し、実演する。
我々は、XACC量子ハードウェア加速器ライブラリを用いて、異なる商用量子プラットフォームと数値シミュレータ上で量子プログラムをディスパッチする実装を実証する。
論文 参考訳（メタデータ） (2024-04-22T15:59:41Z) - Modular decoding: parallelizable real-time decoding for quantum
computers [55.41644538483948]
リアルタイム量子計算は、ノイズの多い量子ハードウェアによって生成されたデータのストリームから論理的な結果を取り出すことができる復号アルゴリズムを必要とする。
本稿では,デコーディングの精度を犠牲にすることなく,最小限の追加通信でこの問題に対処できるモジュールデコーディングを提案する。
本稿では,格子探索型耐故障ブロックのモジュールデコーディングの具体例であるエッジ頂点分解について紹介する。
論文 参考訳（メタデータ） (2023-03-08T19:26:10Z) - InQuIR: Intermediate Representation for Interconnected Quantum Computers [0.0]
InQuIRは、分散量子システム上での通信と計算を表現できる表現である。
デッドロックなどの分散プログラムで発生する問題を説明するために,InQuIRで記述した例を挙げる。
また、InQuIR用のソフトウェアツールを提供し、量子回路の計算コストを評価する。
論文 参考訳（メタデータ） (2023-02-01T06:19:23Z) - Deep Quantum Error Correction [73.54643419792453]
量子誤り訂正符号(QECC)は、量子コンピューティングのポテンシャルを実現するための鍵となる要素である。
本研究では,新しいエンペンド・ツー・エンドの量子誤りデコーダを効率的に訓練する。
提案手法は,最先端の精度を実現することにより,QECCのニューラルデコーダのパワーを実証する。
論文 参考訳（メタデータ） (2023-01-27T08:16:26Z) - QParallel: Explicit Parallelism for Programming Quantum Computers [62.10004571940546]
並列量子プログラミングのための言語拡張を提案する。
QParallelは、現在の量子プログラミング言語における並列性に関する曖昧さを取り除く。
並列化によって最も利益を上げるサブルーチンを識別し,並列領域の配置にプログラマを誘導するツールを提案する。
論文 参考訳（メタデータ） (2022-10-07T16:35:16Z) - Enabling Retargetable Optimizing Compilers for Quantum Accelerators via
a Multi-Level Intermediate Representation [78.8942067357231]
我々は、最適化され、再ターゲット可能で、事前コンパイルが可能なマルチレベル量子古典中間表現(IR)を提案する。
ゲートベースのOpenQASM 3言語全体をサポートし、共通量子プログラミングパターンのカスタム拡張と構文の改善を提供します。
私たちの研究は、通常のPythonのアプローチよりも1000倍高速で、スタンドアロンの量子言語コンパイラよりも5～10倍高速なコンパイル時間を実現しています。
論文 参考訳（メタデータ） (2021-09-01T17:29:47Z) - A MLIR Dialect for Quantum Assembly Languages [78.8942067357231]
量子コンピューティングにおけるMLIR(Multi-Level Intermediate Representation)の有用性を実証する。
我々は、共通量子集合言語の表現とコンパイルを可能にする新しい量子方言でMLIRを拡張した。
我々はQIR量子ランタイムAPIのqcor対応実装を活用して、再ターゲット可能な(量子ハードウェアに依存しない)コンパイラワークフローを実現する。
論文 参考訳（メタデータ） (2021-01-27T13:00:39Z) - Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
qcorはC++とコンパイラの実装の言語拡張で、異種量子古典プログラミング、コンパイル、単一ソースコンテキストでの実行を可能にする。
我々の研究は、量子言語で高レベルな量子カーネル(関数)を表現できる、第一種C++コンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-08T12:49:07Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。