[論文レビュー] Quantum computation, discreteness, and contextuality

Robert Raussendorf|arXiv (Cornell University)|Jul 31, 2009

Quantum Mechanics and Applications参考文献 34被引用数 2

ひとこと要約

この論文は、非線形関数を評価する決定的測定ベース量子計算が、非文脈的隠れ変数モデルでは記述できないことを確立し、量子文脈性を量子優位性と直接的に結びつける。量子コードの透過性とLU-LC予想の反例を用いて、このような計算において文脈性が本質的であることを示し、量子文脈性と計算能力の根本的な関係を証明する。

ABSTRACT

We establish a link between contextuality of quantum mechanics and quantum-mechanical computation. Specifically, we show that no deterministic measurement-based quantum compu-tation evaluating a non-linear function can be described by a non-contextual hidden-variable model. We give examples for such computations derived from quantum codes with suitable transversality properties, and from a counterexample to the LU-LC conjecture. 1

研究の動機と目的

• 量子計算における文脈性の基礎的役割を調査すること。
• 決定的測定ベース量子計算による非線形関数の計算が、非文脈的隠れ変数モデルで記述可能かどうかを特定すること。
• 文脈性と透過性を有する量子コードとの関係を調査すること。
• LU-LC予想の反例が量子計算および文脈性に与える影響を分析すること。

提案手法

• 本論文は、測定ベース量子計算（MBQC）の枠組みを用いて、非線形関数の決定的計算を分析する。
• 非文脈的隠れ変数モデルの概念を適用し、このような計算が古典的シミュレーションで記述可能かどうかを評価する。
• 透過性を有する量子コードを活用して、文脈性を要する非線形関数の明示的例を構築する。
• LU-LC予想の反例を組み込むことで、量子計算における文脈性の必要性をさらに明確にする。
• 理論的分析は、Kochen-Specker文脈性フレームワークに依拠し、非文脈的モデルにおける不可能性を証明する。

実験結果

リサーチクエスチョン

• RQ1 決定的測定ベース量子計算による非線形関数の評価は、非文脈的隠れ変数モデルで記述可能か？
• RQ2 非線形関数評価における量子優位性を可能にする文脈性の役割は何か？
• RQ3 透過性を有する量子コードにおける文脈性は、計算においてどのように関連するか？
• RQ4 LU-LC予想の反例が、量子計算における文脈性に与える影響は何か？

主な発見

• 非線形関数を評価する決定的測定ベース量子計算は、すべて非文脈的隠れ変数モデルでは記述できない。
• 透過性を有する量子コードは、文脈性を要する非線形関数の具体的な例を提供する。
• LU-LC予想の反例は、このような計算における文脈性の必要性をさらに支持する。
• 本研究の結果は、量子文脈性と量子力学の計算能力の根本的関係を確立する。