[論文レビュー] NISQ circuit compilers: search space structure and heuristics

Alexandru Paler, Alwin Zulehner+1 more|arXiv (Cornell University)|Jun 19, 2018

Quantum Computing Algorithms and Architecture被引用数 13

ひとこと要約

この論文は、NISQ回路コンパイルの探索空間構造を分析し、ヒューリスティック開発を支援するための3つの組合せ的サブ問題に問題を分解する。ゲートシーケンスとキュービットマッピングの相互作用が探索空間をどのように形作るかを特定し、回路の深さとゲート数の最適化を可能にすることで、ノイズの多い量子ハードウェアにおける誤り蓄積を低減する。

ABSTRACT

Noisy, intermediate-scale quantum (NISQ) computers are expected to execute quantum circuits of up to a few hundred qubits. The circuits have to satisfy certain constraints concerning the placement and interactions of the involved qubits. Hence, a compiler takes an input circuit not conforming to a NISQ architecture and transforms it to a conforming output circuit. NISQ hardware is faulty and insufficient to implement computational fault-tolerance, such that computation results will be faulty, too. Accordingly, compilers need to optimise the depth and the gate count of the compiled circuits, because these influence the aggregated computation result error. This work discusses the complexity of compilation with a particular focus on the search space structure. The presented analysis decomposes the compilation problem into three combinatorial subproblems for which heuristics can be determined. The search space structure is the result of analysing jointly the gate sequence of the input circuit and its influence on how qubits have to be mapped to a NISQ architecture. These findings support the development of future NISQ compilers.

研究の動機と目的

• キュービット配置と接続性に関する制約を課すNISQアーキテクチャ向けに量子回路をコンパイルする課題に対処すること。
• 回路の深さとゲート数を最適化することで、誤り蓄積を低減し、フェイルセーフなパフォーマンスに寄与すること。
• ゲートシーケンスとキュービットマッピングの相互作用から生じるコンパイル探索空間の構造的複雑性を理解すること。
• コンパイルパイプライン内のサブ問題に対して標的を絞ったヒューリスティックを開発し、コンパイラの効率性と出力品質を向上させること。
• コンパイル問題の組合せ的構造を分析することで、将来のNISQコンパイラ設計の基盤を提供すること。

提案手法

• NISQ回路コンパイル問題を、ゲートスケジューリング、キュービットマッピング、ゲート変換の3つの明確な組合せ的サブ問題に分解する。
• 入力回路のゲートシーケンスとハードウェア制約が探索空間の構造に及ぼす共同的影響を分析する。
• 量子ゲートの依存関係と物理的キュービット接続性の相互作用から生じる探索空間内の構造的パターンを同定する。
• 同定されたサブ問題構造に基づいてヒューリスティックを導出することで、コンパイル空間内の探索をガイドする。
• 組合せ的分析を用いて、ゲート順序やキュービット配置の変更が回路の深さとゲート数にどのように影響するかをモデル化する。
• 回路コンパイルの主要メトリクスに与える影響に基づいて、ヒューリスティックの評価と改善のフレームワークを提案する。

実験結果

リサーチクエスチョン

• RQ1 ゲートシーケンスとキュービットマッピング制約の相互作用が、NISQ回路コンパイルの探索空間構造にどのように影響を与えるか？
• RQ2 NISQ回路コンパイルの複雑性を規定する支配的となる組合せ的サブ問題は何か？
• RQ3 探索空間の構造的分析から、どのようにして体系的にヒューリスティックを導出できるか？
• RQ4 回路の深さとゲート数は、NISQデバイスにおける誤り蓄積を決定づける役割を果たすが、構造的インサイトを活用してどのように最適化できるか？
• RQ5 コンパイル問題の分解は、将来のNISQコンパイラ設計にどのようなインサイトを提供できるか？

主な発見

• コンパイル探索空間は、ゲートシーケンスの依存関係と物理的キュービット接続性の共同制約によって複雑な構造を示す。
• 探索空間のトポロジーを支配する3つのコアな組合せ的サブ問題に、問題を効果的に分解できる。
• 構造的分析により、ゲートシーケンスとキュービットマッピングの間の反復的パターンが明らかになり、標的を絞ったヒューリスティック開発が可能になる。
• 回路の深さとゲート数を最適化することで、NISQ計算における期待される誤り蓄積が顕著に低減される。
• 同定されたサブ問題構造は、より効率的かつ効果的なNISQ回路コンパイラ設計の原則的基盤を提供する。
• 構造的分解に基づいて導出されたヒューリスティックは、探索空間の高影響度領域に集中することで、コンパイル結果の改善をもたらす。