[論文レビュー] Quantum Computing over Finite Fields

Roshan P. James, Gerardo Ortíz+1 more|arXiv (Cornell University)|Jan 19, 2011

Computability, Logic, AI Algorithms参考文献 16被引用数 6

ひとこと要約

本稿は、有限体 𝔽₂ 上での離散的量子計算のための可逆的関係的プログラミングモデルを導入し、関係論理における標準的集合和を排他的和に置き換えることで、量子に類似した振る舞い（干渉や重ね合わせ）が生じることを示している。主な貢献は、偶数回出現する結果が相殺される破壊的干渉が、この簡略化されたモデルにおける量子現象の核心を捉えていることである。

ABSTRACT

In recent work, Benjamin Schumacher and Michael~D. Westmoreland investigate a version of quantum mechanics which they call "modal quantum theory" but which we prefer to call "discrete quantum theory". This theory is obtained by instantiating the mathematical framework of Hilbert spaces with a finite field instead of the field of complex numbers. This instantiation collapses much the structure of actual quantum mechanics but retains several of its distinguishing characteristics including the notions of superposition, interference, and entanglement. Furthermore, discrete quantum theory excludes local hidden variable models, has a no-cloning theorem, and can express natural counterparts of quantum information protocols such as superdense coding and teleportation. Our first result is to distill a model of discrete quantum computing from this quantum theory. The model is expressed using a monadic metalanguage built on top of a universal reversible language for finite computations, and hence is directly implementable in a language like Haskell. In addition to superpositions and invertible linear maps, the model includes conventional programming constructs including pairs, sums, higher-order functions, and recursion. Our second result is to relate this programming model to relational programming, e.g., a pure version of Prolog over finite relations. Surprisingly discrete quantum computing is identical to conventional logic programming except for a small twist that is responsible for all the ``quantum-ness.'' The twist occurs when merging sets of answers computed by several alternatives: the answers are combined using an "exclusive" version of logical disjunction. In other words, the two branches of a choice junction exhibit an "interference" effect: an answer is produced from the junction if it occurs in one or the other branch but not both.

研究の動機と目的

• シューマッハーやウェストモアランドのモーダル量子理論にインspiredされ、有限体 𝔽₂ 上での離散的量子理論の計算モデルを形式化すること。
• 普遍的な可逆言語上にモノイド的メタ言語を導入することで、可逆計算と関係的プログラミングを接続すること。
• 古典的関係的プログラミング（例：Prolog）と離散的量子計算との唯一の差異が、標準的和の代わりに排他的和が使われることであることを示すこと。
• 偶数回出現する結果が相殺される破壊的干渉が、この有限モデルにおける重ね合わせやもつれといった量子現象を説明できることを示すこと。
• ドaggerコンパクト閉じた圏を用いてモデルの形式的意味論を定義し、排他的和を用いた関係的モデルと 𝔽₂ 上のベクトル空間との間の同型性を示すこと。

提案手法

• 普遍的な可逆言語上に構築されたモノイド的メタ言語 𝒫Π を構築し、Haskell などの関数型言語での直接実装を可能にする。
• 標準的和 (∪) の代わりに排他的和 (⊕) を用いた集合と関係の圏 Rel⊕ を定義し、これは FDVec₂ と同型であるドaggerコンパクト閉じた圏を形成する。
• 重ね合わせやユニタリ変換などの量子操作を、𝔽₂ 上の有限次元ベクトル空間上の線形写像としてモデル化する。
• 関係的計算における排他的論理和を用いて干渉をシミュレートする：選択の両方の分岐に共通して現れる結果は相殺される。
• 圏論を用いて言語の意味論を形式化し、Rel⊕ が FDVec₂（𝔽₂ 上の有限次元ベクトル空間の圏）と同型であることを示す。
• 超密符号化や量子テレポーテーションといった量子プロトコルを、排他的和を用いた関係的モデルで実装・検証し、量子予測と整合することを示す。

実験結果

リサーチクエスチョン

• RQ1 有限体上での離散的量子計算を、可逆的かつ関係的プログラミング言語としてどのようにモデル化できるか？
• RQ2 有限体量子モデルにおいて、干渉や重ね合わせといった量子に類似した振る舞いを引き起こす正確な数学的メカニズムは何か？
• RQ3 関係論理における標準的和を排他的和に置き換えることで、量子計算の完全な構造を離散的設定で回復できるか？
• RQ4 干渉と量子並列性を保っているにもかかわらず、なぜデュイッチのアルゴリズムはこの離散的量子モデルで効率的に実装できないのか？
• RQ5 排他的和演算は、有限モデルにおける量子力学の計算的パワーのどの程度を説明できるか？

主な発見

• 𝔽₂ 上での離散的量子計算のモデルである DQC₂ は、排他的和（⊕）を用いた集合と関係の圏 Rel⊕ と同型であり、さらにそれは 𝔽₂ 上の有限次元ベクトル空間の圏 FDVec₂ と同型である。
• 関係的モデルにおいて、排他的和の性質により、排他的論理和の分岐に偶数回出現する結果が相殺され、破壊的量子干渉を模倣する。
• 超密符号化プロトコルは、排他的和を用いた関係的モデルで忠実に実装可能であり、標準的 Prolog 実行から偶数回出現する結果を除去することで、正しい量子結果が得られる。
• このモデルにおける古典的関係的プログラミングと量子計算との唯一の差異は、排他的和の使用にある：標準的 Prolog では和が使われ、DQC₂ では ⊕ が使われる。
• 重ね合わせ、干渉、もつれをすべて保持しているにもかかわらず、このモデルはデュイッチのアルゴリズムを効率的に実装できない。これは、干渉そのものが量子計算の優位性を完全に捉えていないことを示唆している。
• 言語 𝒫Π の形式的意味論は、排他的和を用いた関係的モデルおよび 𝔽₂ 上のベクトル空間モデルの両方と整合しており、その妥当性と表現力が確認された。