[論文レビュー] Introduction to Coding Quantum Algorithms: A Tutorial Series Using Pyquil

Daniel Koch, Laura Wessing+1 more|arXiv (Cornell University)|Mar 7, 2019

Quantum Computing Algorithms and Architecture参考文献 5被引用数 11

ひとこと要約

このチュートリアルシリーズは、量子物理学やプログラミング経験がほとんどない初心者を対象に、Pyquil（量子コンputingのためのPythonライブラリ）を用いた量子アルゴリズム開発の入門を紹介する。系統立てて量子回路の構築、ゲート操作、およびコアなアルゴリズム（ドイチェ＝ジョーズァ、グローバーの探索、量子フーリエ変換を含む）を学習する。コードを用いた実装の仕方を示し、主な貢献は、シミュレータをバックエンドに持つコード第一主義のアプローチで、基礎的な量子アルゴリズムを習得する実践的で体系的な道筋を提供することにある。

ABSTRACT

As the field of Quantum Computing continues to grow, so too has the general public's interest in testing some of the publicly available quantum computers. However, many might find learning all of the supplementary information that goes into quantum algorithms to be a daunting task, and become discouraged. This tutorial is a series of lessons, aimed to teach the basics of quantum algorithms to those who may have little to no background in quantum physics and/or minimal knowledge of coding in python. Each lesson covers select physics/coding topics needed for writing quantum algorithms, eventually building up a toolset for tackling more and more challenging quantum algorithms. This tutorial series is designed to provide readers from any background with two services: 1) A concise and thorough understanding of some of the most popular/academically important quantum algorithms. 2) A fluent understanding of how to write code for quantum algorithms, using Rigetti's publicly available Pyquil.

研究の動機と目的

• 量子物理学やプログラミングの経験がほとんどない読者に対して、初心者向けでコード第一主義の量子アルゴリズムの導入を提供すること。
• Pyquilを用いた実践的プログラミングを通じて、段階的に量子コンピューティングの概念を学べる体系的なチュートリアルシリーズを構築すること。
• ドイチェ＝ジョーズァ、グローバーの探索、量子フーリエ変換といった主要な量子アルゴリズムを、実行可能なコードで実装・理解できるようにすること。
• 理論的な量子アルゴリズムと、量子シミュレータ（QVM）とPyquilフレームワークを用いた具体的な実装の間のギャップを埋めること。

提案手法

• PyquilのProgramクラスを用いて量子回路を定義し、QVMConnectionを用いて量子状態をシミュレートおよび測定する。
• 段階的なコード例を通じて、量子ゲート操作（アダマール、CNOT、Rϕ）と測定の教育を行う。
• 量子フーリエ変換（QFT）のような複雑な操作を抽象化するためのカスタム関数と回路テンプレートの導入。
• モジュラーなコードでコアな量子アルゴリズム（例：ドイチェ、ベルンシュタイン＝ヴァジラニ、シモンのアルゴリズム、グローバーのアルゴリズム）を実装し、波動関数の可視化出力を得る。
• QFTがグローバーのアルゴリズムにおける反射の役割を果たす仕組みを示し、アダマール変換の代わりにQFTに基づく反射を用いることの有効性を説明する。
• wavefunction()を用いて量子状態の進化を確認・検証し、回路構築の各段階で正しさを保証する。

実験結果

リサーチクエスチョン

• RQ1 量子物理学やプログラミングの経験がまったくない初心者に対して、どのようにして量子アルゴリズムを効果的に教えることができるか？
• RQ2 Pyquilは、量子アルゴリズム実装の学習に向け、どれほどアクセス可能でインタラクティブなプラットフォームとして機能するか？
• RQ3 量子アルゴリズムに適用した場合、量子フーリエ変換（QFT）とアダマール変換の構造的・機能的側面をどのように比較できるか？
• RQ4 QFTは、グローバーの探索アルゴリズムにおいてアダマールゲートの代替として実用的であると見なせるか？また、それは状態の進化にどのような影響を与えるか？
• RQ5 コードベースのチュートリアルにおいて、量子ゲート、回路、アルゴリズムを導入するにあたり、最も効果的な教育的順序は何か？

主な発見

• チュートリアルは、初心者がPyquilを用いてドイチェ＝ジョーズァ、ベルンシュタイン＝ヴァジラニ、シモンのアルゴリズム、グローバーの探索といったコアな量子アルゴリズムを実装・理解することに成功した。
• 量子フーリエ変換（QFT）は、等しい重ね合わせ状態を生成する点でアダマール変換と機能的に同等であることが示されたが、追加の位相操作により、より強力なアルゴリズム的性能が得られる。
• グローバーのアルゴリズムにおいてアダマールゲートをQFTと逆QFTに置き換えることで、アルゴリズムのコアな反射メカニズムを維持する代替実装が成功裏に実現された。
• QFTを分解すると、アダマールゲートと制御された位相回転（Rϕ）の段階的なシーケンスが明らかになり、最後のキュービットには単一のアダマールゲートが適用されることがわかった。
• チュートリアルは、QFTが|0⟩状態をすべての基底状態の等しい重ね合わせに写像することを確認したが、これはアダマールゲートと同様の性質を持つ一方で、複雑な振幅増幅を可能にする異なる位相関係を有している。
• 量子仮想マシン（QVM）の使用により、正確でリアルタイムの波動関数の可視化が可能となり、学習者が回路の挙動を各段階でデバッグおよび検証できるようになった。