[論文レビュー] Generalizing Bell-type and Leggett-Garg-type Inequalities to Systems with Signaling

Ehtibar N. Dzhafarov, Janne V. Kujala|arXiv (Cornell University)|Jul 10, 2014

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

ひとこと要約

本稿は、信号伝送が存在する系に対しても、非信号条件が満たされない場合でも文脈性を定義・測定できる枠組みを導入することで、ベル型およびレゲット＝ガルグ型不等式を信号伝送を伴う系へ一般化する。Fourier-Motzkin削減を用いて文脈性測度のタイトな境界を導出し、信号伝送の有無にかかわらず任意の系における文脈性の検出を可能にし、従来の不等式が抱える根本的な制限を克服する。

ABSTRACT

Contextuality means non-existence of a joint distribution for random variables recorded under mutually incompatible conditions, subject to certain constraints imposed on how the identity of these variables may change across these conditions. In simple quantum systems contextuality is indicated by violations of Bell-type or Leggett-Garg-type inequalities. These inequalities, however, are predicated on the assumption of no-signaling, defined as invariance of the distributions of measurement results with respect to other (e.g., earlier in time) measurements' settings. Signaling makes the inequalities inapplicable: a non-signaling system with any degree of contextuality, however high, loses any relation to this concept as soon as it exhibits any degree of signaling, however small. This is unsatisfactory. We describe a principled way of defining and measuring contextuality in arbitrary systems with random outputs, whether signaling is absent or present.

研究の動機と目的

• 従来のベル型およびレゲット＝ガルグ型不等式が信号伝送の存在下で機能しないため、文脈性が顕著であっても検出不能となるという制限を解消すること。
• 信号伝送の有無に関わらず、任意の系における文脈性の定義と測定のための整合的枠組みを構築すること。
• 観測された周辺分布および同時分布のみを用いても有効であるような、文脈性測度のタイトで計算可能な境界を導出すること。
• 非信号仮定を標準的に一般化し、信号伝送を許容しつつも文脈性検出を可能にする、より広範な確率的枠組みに統合すること。
• EPR/ブーム（ベル）とレゲット＝ガルグ（時系列）の両パラダイムに適用可能な統一的アプローチを提供し、非信号領域を超えてその適用範囲を拡張すること。

提案手法

• 信号伝送が存在する場合でも、互いに不適合な条件下で記録された確率変数の間の同時分布の存在に基づく、一般化された文脈性枠組みを提唱する。
• 文脈性の度合いを定量化する文脈性測度Δ（LG系ではΔ′）を導入し、接続期待値の凸結合の最小値として定義する。
• Fourier-Motzkin削減（FME）アルゴリズムを用い、同時分布の制約から導かれる一次不等式系から、接続期待値変数を体系的に削除する。
• FME処理済みの不等式系を用いてΔおよびΔ′のタイトな解析的境界を導出し、観測された期待値（例：⟨Aij⟩, ⟨AijBij⟩）のみを含む不等式を得る。
• ベル系およびLG系の両方にこの手法を適用し、具体的な境界Δ ≤ 5 − ½s₁(⟨A₁₁B₁₁⟩, ⟨A₁₂B₁₂⟩, ⟨A₂₁B₂₁⟩, ⟨A₂₂B₂₂⟩)およびΔ′ ≤ 7/2 − ½s₁(⟨Q₁₂Q₂₁⟩, ⟨Q₁₃Q₃₁⟩, ⟨Q₂₃Q₃₂⟩)を導出する。
• 双対性を用いて境界の妥当性を検証：与えられたΔに対して導出した不等式が満たされていれば、そのΔを実現する接続分布が存在することが保証される。

実験結果

リサーチクエスチョン

• RQ1 信号伝送を示す系において、従来のベルおよびレゲット＝ガルグ不等式が機能しない状況でも、文脈性を意味的に定義・測定することは可能か？
• RQ2 観測された周辺分布および同時分布のみが与えられた場合、信号伝送が存在する中で文脈性測度のタイトな境界はどのように特定できるか？
• RQ3 Fourier-Motzkin削減法を用いることで、これらの境界を体系的かつロバストに導出できるか？
• RQ4 この枠組みは、空間的（ベル）および時系列的（レゲット＝ガルグ）な文脈性の両状況に一様に適用可能か？
• RQ5 量子系における文脈性と信号伝送の関係は何か？非信号仮定を置かずに、その関係をどのように定量的に表現できるか？

主な発見

• ベル系における文脈性測度Δのタイトな解析的境界、例えばΔ ≤ 5 − ½s₁(⟨A₁₁B₁₁⟩, ⟨A₁₂B₁₂⟩, ⟨A₂₁B₂₁⟩, ⟨A₂₂B₂₂⟩)を導出し、信号伝送が存在する場合でも有効であることを示した。
• レゲット＝ガルグ系では、Δ′ ≤ 7/2 − ½s₁(⟨Q₁₂Q₂₁⟩, ⟨Q₁₃Q₃₁⟩, ⟨Q₂₃Q₃₂⟩)という境界を導出し、信号伝送下でも文脈性の定量的測定を可能にした。
• 最小文脈性測度Δ_minが、絶対値をとった周辺期待値差とs₁関数を含む2つの式の最大値として与えられることを示し、正確な検出閾値の特定を可能にした。
• この枠組みにより、導出した不等式が与えられたΔに対して満たされていれば、観測されたペアと整合する接続分布が存在し、そのΔを実現することが保証される。
• 本手法により、非信号領域を超えて文脈性検出を一般化し、任意の信号伝送度を持つ系における文脈性検出が可能となった。
• Fourier-Motzkin削減の使用により、導出された境界が必要かつ十分であることが保証され、数学的完全性と計算可能性の両面で整合的であることが裏付けられた。