[論文レビュー] Quantum Recursion and Second Quantisation: Basic Ideas and Examples.

Mingsheng Ying|arXiv (Cornell University)|May 17, 2014

Quantum Computing Algorithms and Architecture被引用数 1

ひとこと要約

本稿では、制御フローが古典論理ではなく量子重ね合わせによって支配される量子再帰を導入する。第二量子化を用いて操作的意味論と意味的意味論を定義し、それらの同等性を証明する。主な例として、再帰的量子ウォークを提示する。

ABSTRACT

This paper introduces a new notion of quantum recursion of which the control flow of the computation is quantum rather than classical as in the notions of recursion considered in the previous studies of quantum programming. A typical example is recursive quantum walks, which are obtained by slightly modifying the construction of the ordinary quantum walks. The operational and denotational semantics of quantum recursions are defined by employing the second quantisation method, and they are proved to be equivalent.

研究の動機と目的

• 制御フローが本質的に量子的である新しい量子再帰の形式的枠組みを構築すること。
• 第二量子化を用いて、量子再帰の操作的意味論と意味的意味論を定義すること。
• 量子再帰フレームワークにおける操作的意味論と意味的意味論の同等性を確立すること。
• 再帰的量子ウォークのような具体的な例を通じて、理論を実際の応用に応用すること。

提案手法

• 再帰の制御フロー自体が量子的であるという、従来の量子プログラミングモデルとは異なる、量子再帰の新しい概念を提案する。
• 第二量子化法を用いて、量子再帰の操作的意味論と意味的意味論を形式的に定義する。
• 第二量子化を用いて、量子再帰的プロセスをフォック空間に写像し、厳密な意味論的解析を可能にする。
• 再帰的量子ウォークを、提案された量子再帰フレームワークの自然な例として定義する。
• 第二量子化された設定における構造的および圏論的推論を通じて、操作的意味論と意味的意味論の同等性を確立する。
• フレームワークを適用して、再帰的量子ウォークが動的および意味的両アプローチを用いて一貫して記述・分析可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 量子計算における再帰を、制御フロー自体が古典的ではなく量子的であるように再定義する方法は何か？
• RQ2 第二量子化は、量子再帰の整合的な意味論を定義する上で果たす役割は何か？
• RQ3 量子再帰の操作的意味論と意味的意味論を、形式的に同等であると証明できるか？
• RQ4 再帰的量子ウォークは、提案された量子再帰フレームワークをどのように具体例として示すか？
• RQ5 第二量子化を用いて量子再帰を形式化した際に、どのような構造的性質が生じるか？

主な発見

• 制御フローが量子重ね合わせによって支配される量子再帰が、形式的に定義され、従来の量子プログラミングにおける古典的再帰とは明確に区別される。
• 第二量子化は、量子再帰の操作的意味論と意味的意味論を統合的に定義するためのフレームワークを提供する。
• 第二量子化形式的枠組み内において、量子再帰の操作的意味論と意味的意味論が同等であることが証明された。
• 再帰的量子ウォークは、提案された量子再帰モデルの自然かつ一貫した例として特定された。
• 第二量子化の使用により、古典的再帰モデルをはるかに超えた厳密で数学的に整合性のある量子再帰の取り扱いが可能になった。
• フレームワークは、明確な意味論的基盤を通じて、複雑な量子再帰的プロセスの構築と分析を支援する。