[論文レビュー] A Binary Integer Programming-based Method for Qubit Mapping in Sparse Architectures

Hui Jiang|arXiv (Cornell University)|Oct 15, 2023

Quantum Computing Algorithms and Architecture被引用数 1

ひとこと要約

本稿では、量子回路を表すための記号列を用い、非連続な同値パターンを効率的に特定できるパターンマッチングベースのフレームワークであるQRewritingを提案する。パターンマッチングを独立した部分列問題として定式化し、動的計画法を用いることで、PaFと比較して回路の深さを29%削減し、ゲート数を14%削減する。

ABSTRACT

Qubit Mapping Based on MIP

研究の動機と目的

• 異なる量子プロセッサアーキテクチャにおける異なるゲートセットと接続性制約に対応した量子回路の書き換えの課題に対処する。
• 複雑で非連続なゲートパターンを識別し、同等で最適化された断片に置き換えることで、量子回路の効率的かつ効果的な書き換えを可能にする。
• 回路内で同じパターンに複数のルールがマッチする場合に生じる置換の競合を克服し、最適または近似的に最適な書き換え意思決定を保証する。
• NISQ時代のプロセッサ（限られた接続性とゲート忠実度を有する）を想定し、多様な量子ベンチマークにおいてスケーラブルかつ効率的な最適化を可能にするフレームワークの開発。

提案手法

• 量子回路を従来の有向非巡回グラフ（DAG）ではなく、記号列として表現することで、非連続的だが意味的に短縮可能なパターンの検出が容易になるようにする。
• パターンマッチング問題を、記号列内の異なる部分列を探索する問題として定式化し、ゲートが連続でなくても効率的なパターン発見が可能になるようにする。
• 部分列マッチングと置換問題を解く多項式時間の動的計画法アルゴリズムを設計し、ブルートフォース法と比較して著しく効率性を向上させる。
• 置換の競合を解消するための3つの置換スケジューリングポリシー（正確、グリーディ、確率的）を導入し、大規模回路における最適化品質と実行時間のバランスを図る。
• GIBMからGSurへのゲートセット変換を目的とした基本的最適化のルールライブラリを構築する。これには一般的な恒等式やゲート分解が含まれる。
• ゲートセット変換を実行しながら回路の深さとゲート数を最小限に抑える、完全な書き換えパイプラインにフレームワークを統合する。

実験結果

リサーチクエスチョン

• RQ1 回路内で非連続に配置されていても意味的に短縮可能な量子回路パターンを、どのように効率的に検出・マッチさせるか？
• RQ2 量子回路を記号列として表現することで、従来のDAGベースの表現と比較して、よりスケーラブルかつ正確なパターンマッチングが可能になるか？
• RQ3 異なる置換スケジューリングポリシー（正確、グリーディ、確率的）が、回路書き換えの品質とパフォーマンスに与える影響は何か？
• RQ4 異なるゲートセット間（例：GIBMからGSur）への変換において、パターンマッチングと置換によって回路の深さとゲート数をどの程度削減できるか？
• RQ5 標準的な量子回路ベンチマークにおいて、既存のツール（例：PaF）と比較して、提案されたQRewritingフレームワークのパフォーマンスと最適化品質はどの程度か？

主な発見

• GIBMゲートセットからGSurゲートセットにArithmeticおよびToffoliベンチマークを書き換える際、QRewritingはPaFと比較して平均して回路の深さを29%削減した。
• フレームワークはPaFと比較してゲート数を14%削減し、最適化効率の向上を示した。
• 記号列表現は、DAGベースの表現では困難な非連続な短縮可能なパターンの検出に成功した。
• 動的計画法に基づくパターンマッチングアルゴリズムは多項式時間で実行可能であり、大規模回路に対してもスケーラブルである。
• 確率的およびグリーディな置換ポリシーは、正確なポリシーと比較して著しく短い実行時間で、ほぼ最適な結果を達成した。特に大規模ベンチマークにおいて顕著であった。
• 489キュービットを有するGF(2^163)-Multベンチマークでは、QRewritingはベースラインと比較して深さを39.22%、ゲート数を43.53%削減した。これは、強力なスケーラビリティと最適化能力を示している。