[論文レビュー] All tight multipartite Bell correlation inequalities for three dichotomic observables per observer

Marek Żukowski|ArXiv.org|Nov 8, 2006

Quantum Mechanics and Applications被引用数 4

ひとこと要約

本稿は、各参加者に3つの二値測定が与えられるN粒子系における、完全なタイトなベル相関不等式の集合を導出する。これはCHSH型不等式を一般化したものであり、局所実在主義の多面体に基づく幾何的アプローチを用い、符号関数とフーリエ展開を用いて局所実在主義の必要十分条件を同定する。3×3×...×3設定におけるすべてのタイトな不等式を包括的な公式として得る。2粒子および3粒子系の明示的構成が行われ、より高い粒子数へと拡張可能である。

ABSTRACT

A derivation of the full set of Bell inequalities involving correlation functions, for two parties, with binary observables, and three possible local settings. The procedure can be extended straightforwardly to multiparty correlations.

研究の動機と目的

• N粒子系に3つの二値測定が与えられる状況における、タイトなベル相関不等式の完全なセットを導出すること。
• 2設定の場合を越えて、各参加者に3設定を持つN粒子系へのCHSH型不等式の一般化を図ること。
• 局所実在主義の多面体の幾何学を用いた、すべてのタイトな不等式を体系的に生成する方法を提供すること。
• 低次の相関関数や完全な実験データセットを含めることが可能な形式的枠組みを確立すること。
• 2粒子（3×3）系における詳細な導出と、3粒子以上への容易な拡張を通じて、この手法の妥当性と一般性を示すこと。

提案手法

• 各参加者の局所的設定のテンソル積として表される決定論的順序を特徴付けるために、局所実在主義の多面体の幾何的構造を用いる。
• 3設定ごとのすべての決定的結果の確率分布を定義し、すべてのN粒子相関関数を適切に再現する。
• 同じ参加者からのインデックスの積を含まない符号関数Sのフーリエ展開を適用し、不等式がタイトであり多面体の面に対応することを保証する。
• 相関テンソルEと基底ベクトルV^{[N]}_{abcdef,S^{[N]}}とのドット積から得られる係数q^{[N]}(a,b,...,S^{[N]})を用いて、合成的な不等式形式を構築する。
• 物理的に意味のない確率分布に対する正値性制約を課すことにより、局所実在主義の必要十分条件を導出する。
• 多面体の頂点を再解釈することで低次の相関関数を含める形式的枠組みを拡張し、CH型不等式を回復する。

実験結果

リサーチクエスチョン

• RQ1 3つの二値測定が各参加者に与えられるN粒子系における、タイトなベル相関不等式の完全なセットは何か？
• RQ2 局所実在主義の多面体の幾何学を用いることで、3×3×...×3設定における局所実在主義の必要十分条件をどのように導出できるか？
• RQ3 2粒子系に用いられた手法を、3設定ずつ持つ3粒子以上への体系的な一般化は可能か？
• RQ4 導出された不等式は、CHSHやCHといった既知のベル不等式の族とどのように関係しているか？
• RQ5 符号関数とそのフーリエ展開は、相関多面体の面を特徴付ける上で果たす役割は何か？

主な発見

• 本稿は、符号関数とフーリエ展開に基づく幾何的・代数的アプローチを用いて、2粒子系（3×3）におけるタイトなベル不等式の完全なセットを導出する。
• 2粒子系において、局所実在主義の必要十分条件は、特定の物理的に意味のない確率分布の正値性として与えられ、符号関数構造の詳細な導出を通じて証明されている。
• この手法はN粒子系へ容易に一般化可能であり、合成的な不等式形式 -1 ≤ ∑ q^{[N]}(a,b,...,S^{[N]}) ≤ 1 が得られる。ここで係数は相関テンソルEと基底ベクトルとのドット積によって定義される。
• 導出された不等式は、3×3×...×3状況におけるタイトなベル不等式の完全なセットに等しいことが示され、3粒子系の明示的構成も提供されている。
• 多面体の頂点を再解釈することで、低次の相関関数を含める形式的枠組みを拡張でき、これによりCH型不等式が回復される。
• 本手法は、より多くの設定数へも一般化可能であり、多粒子・3設定系におけるすべてのタイトな不等式を生成する体系的なフレームワークを提供する。