[論文レビュー] QParallel: Explicit Parallelism for Programming Quantum Computers

Thomas Häner, Vadym Kliuchnikov+3 more|arXiv (Cornell University)|Oct 7, 2022

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

QParallel は、暗黙的並列性に起因する曖昧さを解消し、細粒度な空間時間トレードオフをサポートするために、量子プログラミングにおける明示的並列性を可能にする Q# ベースの言語拡張である。プログラマーが並列領域を明示的にマークできるようにすることで、回路の深さを最大 q 倍まで短縮し、クリティカルパスからの直列依存性を排除することでパフォーマンスを向上させる。これは、マルチコントロールド NOT ゲート や量子アダーなどのベンチマークで実証されている。

ABSTRACT

We present a language extension for parallel quantum programming to (1) remove ambiguities concerning parallelism in current quantum programming languages and (2) facilitate space-time tradeoff investigations in quantum computing. While the focus of similar libraries in the domain of classical computing (OpenMP, OpenACC, etc.) is to divide a computation into multiple threads, the main goal of QParallel is to keep the compiler and the runtime system from introducing parallelism-inhibiting dependencies, e.g., through reuse of qubits in automatic qubit management. We describe the syntax and semantics of the proposed language extension, implement a prototype based on Q#, and present several examples and use cases to illustrate its performance benefits. Moreover, we introduce a tool that guides programmers in the placement of parallel regions by identifying the subroutines that profit most from parallelization, which is especially useful if the programmer's knowledge of the source code is limited. Support for QParallel can be added to any multithreading library and language extension, including OpenMP and OpenACC.

研究の動機と目的

• 現在の量子プログラミング言語における暗黙的並列性の曖昧さと制御不能さを解消すること。
• プログラマーが並列実行を明示的に管理できるようにし、量子回路コンパイルにおける空間時間トレードオフに影響を与えること。
• キュービットの再利用が意図しない直列依存性を生じさせないよう、回路の深さを短縮し、パフォーマンスを向上させること。
• 明示的でコンパイラーフレンドリーな並列性により、数千キュービットおよび数百万ゲートを含む大規模量子プログラムをサポートすること。
• プロファイリングおよび可視化ツールを用いて、プログラマーがパフォーマンスが重要なサブルーチンを特定できるようにすること。

提案手法

• OpenMP をインspired にした新しい構文を用いて、並列領域を明示的に宣言できる Q# ベースの言語拡張を設計する。
• Q# の既存のリソース推定およびトレースインfrastrucure と統合し、パフォーマンス分析を可能にする。
• スピードスコープ互換のフレームグラフ可視化を用いて、量子プログラムにおけるクリティカルパスおよびパフォーマンスボトルネックを特定する。
• Q# トレーサーを変更し、実行タイムラインの可視化に使用可能なフォーマットでパフォーマンスデータを出力する。
• 実世界の量子アルゴリズム（例：マルチコントロールド NOT、量子アダー）に言語拡張を適用し、深さの短縮とパフォーマンス向上を測定する。
• リソース使用状況を分析し、クリティカルパス上にあるサブルーチンを強調表示するツールを導入し、明示的並列化を適用すべき領域をガイドする。

実験結果

リサーチクエスチョン

• RQ1 量子プログラミングにおける明示的並列性は、暗黙的並列性と比較して、回路深さを短縮しパフォーマンスを向上させるか。
• RQ2 明示的並列性は、キュービットの再利用が原因で生じる意図しない直列依存性を回避するのにどのように寄与するか。
• RQ3 プログラマーがコードベースを十分に把握していない状況下でも、可視化ベースのツールがパフォーマンスが重要なサブルーチンを特定するのにどれほど有効か。
• RQ4 大規模量子プログラムにおいて、プログラマーが制御可能な並列領域を用いることで、空間時間トレードオフをどの程度最適化できるか。
• RQ5 明示的並列性は、ゲート数およびキュービット要件が非常に高い量子回路のリソース推定およびコンパイルにどのような影響を与えるか。

主な発見

• QParallel における明示的並列性により、マルチコントロールド NOT ゲートの T 深さが、クリティカルパスからの直列依存性を排除することで 43 サイクルから 7 サイクルに短縮された。
• N 個のアダーを q 個の完全に並列化されたアダーのチャンクに処理することで、QParallel は回路の T 深さを q 倍短縮し、顕著な深さ短縮効果を示した。
• QParallel をスピードスコープに統合することで、クリティカルパスの可視化が可能になり、暗黙的並列性がキュービット再利用のため、低深さの操作がしばしば直列実行されることを明らかにした。
• クリティカルサブルーチンを特定するためのツールは、コードベースに対する知識が限定的な状況下でも、プログラマーが高影響度の領域を的確に特定するのを支援した。
• QParallel は、プログラマーがどのセクションが並列に実行されるかを明示的に制御できるため、より予測可能で制御可能な空間時間トレードオフを実現する。
• このアプローチは一般化可能であり、OpenQASM 3 や QCOR などの、キュービット管理が設定可能である他の量子プログラミング言語にも拡張可能である。