[論文レビュー] Computation from Correlation

Janet Anders, Dan E. Browne|arXiv (Cornell University)|May 7, 2008

Quantum Mechanics and Applications被引用数 1

ひとこと要約

本論文は、測定に基づく量子計算における相関の計算パワーを定量化する形式的枠組みを確立し、ベル型相関——特にGHZ状態およびCHSH状態からの相関——が古典的計算の最適リソース状態であることを明らかにした。量子非局所性と計算的有用性の驚くべき関連性が示され、このモデルにおいてベル不等式の最大違反が、最大の古典的計算パワーに対応することが示された。

ABSTRACT

We study the intrinsic computational power of correlations exploited in measurement-based quantum computation. By defining a general framework the meaning of the computational power of correlations is made precise. This leads to a notion of resource states for measurement-based extit{classical} computation. Surprisingly, the Greenberger-Horne-Zeilinger and Clauser-Horne-Shimony-Holt problems emerge as optimal examples. Our work exposes an intriguing relationship between the violation of local realistic models and the computational power of entangled resource states.

研究の動機と目的

• 測定に基づく量子計算における相関の計算パワーを形式化すること。
• どのエンタングルドリソース状態が古典的計算パワーを最大にするかを特定すること。
• 量子非局所性（ベル不等式の違反）と計算的有用性の関係を調査すること。
• ベル型相関が非局所性の基盤であるばかりでなく、このモデルにおける古典的計算の最適リソースであることを示すこと。

提案手法

• 測定に基づく計算における相関の計算パワーを定義・定量化する一般枠組みが開発された。
• この枠組みを用いて、単一キュービット測定を介した古典的計算の実行能力に基づき、リソース状態を分類した。
• 分析は、GHZ状態やCHSH状態などのエンタングルド状態に焦点を当て、その相関構造と計算容量を評価した。
• 局所的実在論モデルの違反（例：ベル不等式）を相関強度の代理として用い、それを計算パワーと結びつけた。
• 測定に基づくモデル内での古典的計算に特化した「リソース状態」の概念を導入した。
• 理論的分析により、ベル不等式の違反度がリソース状態の計算表現力と直接関連していることが示された。

実験結果

リサーチクエスチョン

• RQ1 測定に基づく古典的計算において、どのようなタイプの量子相関が最大の計算パワーを提供するか？
• RQ2 GHZ状態およびCHSH状態におけるようなベル型相関は、古典的計算の最適リソース状態になり得るか？
• RQ3 局所的実在論の違反とエンタングルドリソース状態の計算的有用性の関係は何か？
• RQ4 異なるエンタングルド状態間で、相関の計算パワーを形式的に定量化・比較するにはどうすればよいか？

主な発見

• GHZ状態およびCHSH状態は、最大の相関強度のおかげで、測定に基づく古典的計算における最適リソース状態であると特定された。
• ベル不等式の違反度は、このモデルにおけるリソース状態の計算パワーと直接相関している。
• 局所的実在論を最も強く違反するエンタングルド状態は、測定に基づくフレームワーク内での最も強力な古典的計算を可能にするものである。
• この枠組みにより、非局所相関が単に量子論の基盤であるだけでなく、自らが計算リソースとしての価値を持つことが明らかになった。