[論文レビュー] Conventions for Quantum Pseudocode

E. Knill|arXiv (Cornell University)|Nov 4, 2022

Quantum Computing Algorithms and Architecture被引用数 8

ひとこと要約

本稿では、量子擬似コードを標準化するための規約を提案し、量子アルゴリズムの記述を統一することで、より明確で形式的かつ逆転可能な表現を可能にする。量子レジスタと古典的レジスタを区別する表記法、初期化および測定の方法、条件付き適用や逆転性といったメタ演算子を導入し、一貫性のあるアルゴリズム仕様および形式的解析が可能な量子ランダムアクセスマシン（QRAM）モデルに裏打ちされている。

ABSTRACT

A few conventions for thinking about and writing quantum pseudocode are proposed. The conventions can be used for presenting any quantum algorithm down to the lowest level and are consistent with a quantum random access machine (QRAM) model for quantum computing. In principle a formal version of quantum pseudocode could be used in a future extension of a conventional language.

研究の動機と目的

• 擬似コードを用いた量子アルゴリズム記述のための一貫性があり、人間が読みやすいフレームワークを確立すること。
• 量子回路、古典的アルゴリズム、および量子アルゴリズム記述における数学的記述の間のギャップを埋めること。
• 構造的な表記法と意味論を用いて、量子アルゴリズムの形式的解析と検証を支援すること。
• 古典的関数を体系的に可逆な量子実装に変換できること。
• 条件付き適用や可逆サブルーチン呼び出しといったメタ演算子を定義し、量子擬似コードで使用可能にする。

提案手法

• 量子レジスタ（例：下線）と古典的レジスタを明確に区別する表記法を導入し、意味の明確化を図る。
• 量子レジスタの初期化を定義し、ユニタリ操作やサブルーチンの戻り値による暗黙の初期化も含む。
• ユニタリ操作の逆転や、キュービット状態に基づく量子操作の条件付き適用（例：制御ノットゲート）といったメタ演算子を提案する。
• 量子レジスタを「散逸化（dissipating）」することで、古典的状態にリセットし、計算における可逆性を保持する概念を導入する。
• アンシラキュービットが初期状態に戻るように保証するため、$\text{Function}^\textrm{R}$ で表されるメタ演算子を用いて、古典的関数を可逆化する方法を提示する。
• 条件付き構文（例：\texttt{if $\underline{b}$ then ...}）を用いて、量子状態に適用可能な制御量子操作を実装し、古典的if文に類似した動作を実現する。

実験結果

リサーチクエスチョン

• RQ1 どのようにすれば、形式的推論を可能にする統一的かつ人間が読みやすい擬似コード形式で量子アルゴリズムを記述できるか？
• RQ2 量子レジスタと古典的レジスタ、およびそれらの操作を明確に区別するための表記法と構造的規約は何か？
• RQ3 非可逆な古典的関数を、擬似コード内での可逆な量子実装に体系的に変換するにはどうすればよいか？
• RQ4 キュービット状態に基づく量子操作の条件付き適用を、可逆性を損なわずに実現するメカニズムは何か？
• RQ5 計算の形式的逆転が可能であることを保ちながら、量子レジスタの再利用を安全に管理するにはどうすればよいか？

主な発見

• 提案された規約により、量子擬似コードはQRAMモデルに準拠した状態で、任意の量子アルゴリズムを最低レベルまで記述可能である。
• 量子レジスタの明示的アノテーション（例：下線）により、重ね合わせ状態やもつれ状態の追跡が可能になり、明確性と形式的解析の質が向上する。
• 関数$\text{Function}^\textrm{R}$を用いた古典的関数の可逆化手法により、アンシラキュービットが初期状態に戻り、ユニタリ性が保たれる。
• 条件付き量子操作は、古典的if文に類似した構文を用いて実装可能であり、擬似コード内での制御ノットゲートやトフォリゲートの実装が可能になる。
• 量子レジスタの散逸化（例：$\underline{b}$ を散逸化した後、$b \leftarrow 0$ とする）により、レジスタが古典的状態にあることが保証される場合に安全に再利用可能であるが、ユニタリな逆転性は失われる。
• 測定や散逸化が発生しない場合に限り、サブルーチンの形式的逆転が可能であり、状態管理に注意を払う必要があることが示された。