[論文レビュー] Quipper: Concrete Resource Estimation in Quantum Algorithms

Jonathan M. Smith, Neil J. Ross+2 more|arXiv (Cornell University)|Dec 1, 2014

Quantum Computing Algorithms and Architecture参考文献 14被引用数 9

ひとこと要約

この論文では、Haskellに埋め込まれた関数型量子プログラミング言語Quipperを提示する。Quipperは、量子アルゴリズムにおける具体的なリソース推定を目的として設計されており、高レベルの量子プログラムを論理回路にコンパイルすることにより、正確なゲート数とキュービット数を提供する。7つの非自明なアルゴリズムを対象に検証され、三角形探索問題に対しては1兆ゲートに達する推定値を示した。これにより、量子コンピューティングの実用的スケーラビリティに関する重要な洞察が得られた。

ABSTRACT

Despite the rich literature on quantum algorithms, there is a surprisingly small amount of coverage of their concrete logical design and implementation. Most resource estimation is done at the level of complexity analysis, but actual concrete numbers (of quantum gates, qubits, etc.) can differ by orders of magnitude. The line of work we present here is a formal framework to write, and reason about, quantum algorithms. Specifically, we designed a language, Quipper, with scalability in mind, and we are able to report actual resource counts for seven non-trivial algorithms found in the quantum computer science literature.

研究の動機と目的

• 量子アルゴリズム設計における具体的なリソース推定の欠如に応えること。これは、通常は漸近的複雑度に依存するが、実際のゲート数とキュービット数には依存しない。
• 形式的かつスケーラブルなフレームワークを提供し、実用的なリソース追跡を伴う量子アルゴリズムの実装と推論を可能にすること。
• 論理的量子アルゴリズムとその物理的実装の間のギャップを埋めることで、詳細な回路レベルのリソース推定を生成すること。
• 自動ゲートカウントと回路解析を通じて、量子回路コンパイルにおける最適化の機会を同定すること。
• 高レベル記述から低レベルゲートシーケンスへのエンドツーエンドコンパイルを可能にすることで、実用的量子ソフトウェアの開発を支援すること。

提案手法

• Haskellの型システムとモナディック意味論を活用し、回路記述に適したドメイン特化言語としてQuipperを設計すること。
• 命令的スタイルのゲート単位の構築と、コンビネータを用いた宣言的スタイルの回路操作をサポートするモナディック回路記述言語を実装すること。
• 2段階実行モデルを導入：コンパイル時における回路生成と実行時における回路実行を明確に分離し、パラメータと入力を区別すること。
• Template Haskellを用いて、古典的Haskell関数から自動的に可逆量子オракルを生成することにより、複雑な量子サブルーチンの効率的実装を可能にすること。
• アシスタントキュービットの管理を可能にするために、キュービットの初期化と終了を追跡し、サブルーチン抽象化による階層的回路をサポートすること。
• 特定の入力サイズでのプログラム実行を通じて、自動ゲートカウントを可能にし、合計ゲート数やキュービット要件といった出力を得ること。

実験結果

リサーチクエスチョン

• RQ1 高レベルの量子アルゴリズムは、正確なリソース会計を伴う具体的な量子回路にどのようにコンパイル可能か？
• RQ2 古典的に関連のある問題サイズにおける非自明な量子アルゴリズムに、実際に必要なゲート数とキュービット数は何か？
• RQ3 関数型量子プログラミング言語であるQuipperは、スケーラブルで、合成可能で、最適化可能な量子アルゴリズム実装をサポートできるか？
• RQ4 量子アルゴリズムにおける具体的なリソース推定から、どのようなハードウェア要件と最適化のターゲットに関する洞察が得られるか？
• RQ5 自動ゲートカウントは、実用的量子ソフトウェア開発を支援する高レベル量子プログラミングフレームワークにどのように統合可能か？

主な発見

• Quipperは、7つの非自明な量子アルゴリズムを論理回路に成功してコンパイルし、詳細なリソース推定を可能にした。
• パラメータ n=15, l=31, r=6 の三角形探索アルゴリズムに対して、30,189,977,982,990（30兆を超える）のゲート数と4676キュービットを生成した。
• 三角形探索アルゴリズムのゲートカウント処理は、標準のラップトップ上で2分未満で完了し、自動推定の実用的妥当性を示した。
• リソース推定の結果、ゲート数が極めて大きく、実用的量子優位性の実現には顕著な最適化が不可欠であることが明らかになった。
• フレームワークは、複雑なオラクルにおけるゲート数削減やアシスタントキュービット管理の改善といった、明確な最適化ターゲットを同定した。
• 入力サイズにパrameter化された回路群を生成できるQuipperの能力により、量子アルゴリズムのリソース要件のスケーラブルな分析が可能になった。