量子と古典の混合計算を結ぶ八層の中間表現
QaiJi IR: An Eight-Layer Intermediate Representation Family for Hybrid Quantum-Classical Compilation
この論文をやさしく読む
ひとことで言うと
量子・古典混合プログラムを回路から装置向けの動作まで変換する際、意味を保つ八層の共通表現を作ります。
何に役立つ？
量子コンパイラの複数の変換段階で、何を保つべきかを明示し、変換結果を検証するための基盤として考えられます。
この研究の面白いところ
測定結果0と1を外から与えた仮想装置の実行で、条件付きの駆動をスキップ・実行する二通りの分岐を確認しています。
どこまで分かった？
検証したのは表現と仮想装置上の分岐です。途中測定後の状態収縮と継続計算ができないため、物理的なフィードバックループの実現は示していません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
量子・古典混合のコンパイラは、回路、制御フロー、パルス、装置、物理的な表現の間でプログラムを受け渡す。既存の形式は抽象化の選び方が異なり、低水準の表現へ変換するときに保つべき性質は、共通の中間表現ではなく、ツール固有のコードで強制されることが多い。著者らは、データ、意味、低水準化、実行時、検証という五つの軸の意味的な取り決めで構成した八層の中間表現群、QaiJi IRを提示する。その第4層のSemanticIRは、操作の種類、宣言された同等性の水準、最適化での役割、古典的なフィードバックのモデルを属性として記録し、操作の種類を特定の命令セットに依存しないハードウェア動作へ対応付ける。 試作版は、型の付いた量子・古典回路ノード、OpenQASM 2互換の入力、標準化されたOpenQASM 3の出力、未対応の構文の明示的な拒否、実行可能なゲート規約の検査を備える。測定結果に応じて動く代表的なプログラムは、標準化されたQASMの固定点に到達し、測定から条件への辺を持ち、全体の厳密な整合性検査を通過し、記号的なパルスのひな型を生成した。1ビットの能動リセットの例では、装置向けの低水準化によってALUとFPROCの記録および条件分岐が具体化された。外部から与えた測定結果0と1で仮想パルス処理装置（VPPU）のプログラムを実行すると、条件付き駆動はそれぞれスキップ、実行された。これらの検査は、表現されたコンパイラ経路と二通りの分岐動作を検証する。ただし、シミュレーターはまだ回路途中の測定による状態収縮を適用し、同じ力学的な経路の計算を続けられないため、物理的なフィードバックループが実現したことは示していない。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-24（UTC）
- 最新改訂
- 2026-09-24 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-24 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Hybrid quantum-classical compilers exchange programs among circuit, control-flow, pulse, device, and physical representations. Existing formats make different abstraction choices, so the properties that must survive a lowering step are often enforced by tool-specific code rather than stated in a common intermediate representation (IR). We present QaiJi IR, an eight-layer family organized by a \emph{five-axis semantic contract} for data, semantics, lowering, runtime, and verification. Its L4 SemanticIR records the operation class, declared equivalence level, optimization role, and classical-feedback model as attributes, and maps operation classes to ISA-neutral hardware actions. The prototype provides typed quantum and classical circuit nodes, OpenQASM~2 compatibility input, canonical OpenQASM~3 output, explicit rejection of unsupported constructs, and executable gate-convention checks. A representative measurement-conditioned program reaches a canonical QASM fixed point, acquires a measurement-to-condition edge, passes an exact aggregate consistency check, and produces a symbolic pulse template. For a one-bit active-reset case, device lowering materializes ALU/FPROC records and a conditional branch. Running the resulting virtual pulse processing unit (VPPU) program with externally supplied outcomes 0 and 1 respectively skips and executes the conditional drive. These tests validate the represented compiler path and binary branch behavior. They do not establish a physical feedback loop, because the simulator cannot yet apply mid-circuit measurement collapse and continue the same dynamical trajectory.
著者のコメント
Submitted manuscript, comments and suggestions are welcome
arXiv ID: 2609.29305 ／ 要約の誤りについて