[論文レビュー] The Power of Discrete Quantum Theories

Andrew J. Hanson, Gerardo Ortíz+2 more|arXiv (Cornell University)|Apr 8, 2011

Quantum Computing Algorithms and Architecture参考文献 2被引用数 3

ひとこと要約

本稿は有限体上の量子計算を調査し、$p^2$ を法とする体（$p = 4r+3$）上で定義される離散的量子理論が、ユニタリな進化やエンタングルメントといった量子的特徴を保存できることを示している。驚くべきことに、特定の体のサイズでは、巡回的算術のおかげで、従来の量子計算の漸近的限界を超える超高速なデータベース検索が可能になる。しかし、体のサイズが大きくなるにつれてその高速化は弱まる。

ABSTRACT

We explore the implications of restricting the framework of quantum theory and quantum computation to finite fields. The simplest proposed theory is defined over arbitrary finite fields and loses the notion of unitaries. This makes such theories unnaturally strong, permitting the search of unstructured databases faster than asymptotically possible in conventional quantum computing. The next most general approach chooses finite fields with no solution to x^2+1=0, and thus permits an elegant complex-like representation of the extended field by adjoining i=sqrt(-1). Quantum theories over these fields retain the notion of unitaries and --- for particular problem sizes --- allow the same algorithms as conventional quantum theory. These theories, however, still support unnaturally strong computations for certain problem sizes, but the possibility of such phenomena decreases as the size of the field increases.

研究の動機と目的

• 複素数の代わりに有限体を用いて量子計算を一貫して定式化できるかを調査すること。
• このような離散的量子理論が、重ね合わせ、ユニタリティ、エンタングルメントといった核心的量子的特徴を保存するかを特定すること。
• 特に特定の体の条件下で、非自然に強いアルゴリズムが出現する場合の、離散的量子理論の計算能力を分析すること。
• 計算可能性と離散的構造を考慮した場合、有限体上の量子理論が物理的現実のモデルとして物理的に妥当であるかを検討すること。
• これらの離散的理論の巨大体極限が、従来の量子力学の予測を回復するかを検討すること。

提案手法

• $\mathbb{F}_{p^2}$ 上で量子理論を形式化し、特に $p \equiv 3 \pmod{4}$ である素数 $p$ を取り扱い、$i = \sqrt{-1}$ を用いて複素数に類似した構造を可能にする。
• 量子状態を $\mathbb{F}_{p^2}$ 上の有限次元線形空間内のベクトルとして定義し、振幅に基づく単位分解による正規化を導入する。
• 内積を保存する可逆な線形写像としてユニタリ変換を実装し、従来の量子進化に類似した形で定式化する。
• ハダマードに類似したゲートや制御操作を有限体上で用いた量子回路（例：UNIQUE-SAT）を構築する。
• 特定の割り切れる条件を満たす場合に、有限体の巡回的算術を活用して振幅を打ち消すことで、従来の量子計算を上回る高速な探索が可能になることを分析する。
• 従来の量子計算やより小さな体（例：$\mathbb{F}_2$）におけるモーダル量子理論と比較し、許可される操作や計算能力における差を強調する。

実験結果

リサーチクエスチョン

• RQ1 有限体上で一貫した量子理論を構築できるか。特にユニタリティやエンタングルメントといった特徴が保存されるか。
• RQ2 どのような条件下で離散的量子理論が、従来の量子計算の限界を超える計算能力を示すか。
• RQ3 有限体のサイズが、非自然に強い計算現象の発生確率およびその大きさにどのように影響するか。
• RQ4 有限体の構造が、特に非構造的探索における量子計算の高速化の起源を説明できるか。
• RQ5 離散的量子理論の巨大体極限が、従来の量子力学の予測を回復するか。

主な発見

• $p \equiv 3 \pmod{4}$ である $\mathbb{F}_{p^2}$ 上の離散的量子理論は、$i = \sqrt{-1}$ を用いることで自然な複素数に類似した構造を有し、ユニタリな進化と標準的な量子的特徴を実現する。
• 体の特徴 $p$ が $2^N - 1$ を割り切るような特定の問題サイズでは、離散的量子アルゴリズムが、古典的および従来の量子的探索よりも少ないクエリ数で非構造的探索を解ける。
• これらの非自然に強い計算は、有限体における巡回的算術のおかげで、連続的理論よりも破壊的干渉をより効果的に設計可能であることに起因する。
• このような高速化の確率は体のサイズが大きくなるにつれて減少し、巨大な有限体が従来の量子力学を近似する傾向にあると考えられる。
• 理論は量子テレポーテーションやスーパードンス・コーディングといった量子プロトコルを支持しており、核心的な量子情報の概念が離散的設定でも成立することが示唆される。
• 結果から、従来の量子力学が根本的ではない可能性があり、物理的現実のより深いレベルで、離散的かつ計算可能な量子理論が支配しているのかもしれない。