[論文レビュー] Local hidden-variable models and negative-probability measures

José L. Cereceda|ArXiv.org|Oct 26, 2000

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

ひとこと要約

この論文は、局所的隠れ変数（LHV）モデルがベル-CHSH不等式に違反する場合、負の確率測度を必要とすることを証明しており、測定基底に依存しない証明を提供し、先行研究を一般化する。正規化および因果的通信制約の下で、一貫した任意の量子確率を再現するLHVによって誘導される確率測度の一般解を導出し、解に複数の自由度が存在することを明らかにした。また、負の測度が生じる条件を明示的な式で示している。

ABSTRACT

Elaborating on a previous work by Han et al., we give a general, basis-independent proof of the necessity of negative probability measures in order for a class of local hidden-variable (LHV) models to violate the Bell-CHSH inequality. Moreover, we obtain general solutions for LHV-induced probability measures that reproduce any consistent set of probabilities.

研究の動機と目的

• ベル-CHSH不等式に違反する局所的隠れ変数モデルにおいて、特定の測定基底や方向に依存せずに負の確率測度が必然的に必要となることを確立すること。
• Hanらの先行研究（特定の基底に依存）を一般化し、LHV確率測度における負の性質を基底に依存しない証明で示すこと。
• 正規化および因果的通信制約を満たす任意の一貫した同時確率集合を再現する、LHVによって誘導される確率測度の最も一般な解を導出すること。
• このようなLHV確率測度の解空間における自由度を定量化し、追加の制約がなければ一意に定まらないことを示すこと。
• 量子力学的スピン相関の予測が、負の確率を持つこれらの一般化されたLHVモデルによって再現可能であることを示すこと。

提案手法

• 2つの粒子と4つの測定（a₁, a₂, b₁, b₂）を持つEPR型実験を形式化し、各測定の結果は±1であり、同時確率p(aⱼ=m, bₖ=n)を定義する。
• 隠れ変数空間Λを16個の互いに素な部分集合Λᵢに分割し、それぞれが4つの測定に対する一意な決定的応答パターンに対応し、関連する確率測度mᵢを割り当てる。
• 表1に示す16の応答パターンの構造を用いて、同時確率p₁からp₁₆をmᵢの線形結合として導出する。
• 正規化条件（すべてのmᵢの和が1）と因果的通信制約（遠く離れた測定間で信号を送信できない）を課し、解空間を制限する。
• 方程式系を解いて、mᵢを観測確率p₁からp₁₆の関数として表現し、ベル-CHSH不等式に違反する場合には、あるmᵢが負である必要があることを明らかにする。
• LHVにおける不均衡度Δ_LHV > 2がp₈ + p₉ + p₁₅ > 1と同値であることを示し、m₄ + m₁₃ = 1 - p₈ - p₉ - p₁₅から、このような場合にm₄またはm₁₃の少なくとも一方が負であることが示されること。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、局所的隠れ変数モデルが量子相関を再現するために負の確率測度を必要とするのか？
• RQ2 測定基底や方向に依存せずに、LHVモデルにおける負の確率の必要性を証明できるか？
• RQ3 正規化およびノーサイニング制約を満たす一貫した任意の量子確率集合を再現するLHV確率測度の一般形は何か？
• RQ4 このようなLHV確率測度の解空間における自由度はいくつであり、どのような制約がその数を減らすのか？
• RQ5 量子力学的予測（ベル-CHSH相関）は、負の重みを持つ古典的確率モデルによってどの程度再現可能か？

主な発見

• この論文は、ベル-CHSH不等式に違反する任意の局所的隠れ変数モデルが、測定基底や方向に依存せずに負の確率測度を必要とすることを証明しており、これは普遍的である。
• 一般にはLHV確率測度mᵢの解が7つの自由度を持つが、完全相関が課された場合には1つに減少し、mᵢの8つが0に固定される。
• 観測確率p₁からp₁₆の関数として、すべてのmᵢの明示的解が導出され、一般にはm₁₆が自由パラメータとして残る。
• ベル-CHSH不等式の違反は、p₈ + p₉ + p₁₅ > 1のときに正確に発生し、この場合、m₄ + m₁₃ = 1 - p₈ - p₉ - p₁₅から、m₄またはm₁₃の少なくとも一方が負であることが示される。
• 導出された解はRothmanとSudarshan [15]の結果と一致しており、CHSH枠組みにおける負の確率の先行研究と整合性があることが確認された。
• この文脈において、古典理論と量子理論の唯一の根本的差異は、古典モデルが確率の非負性を要請するのに対し、量子力学が基礎となる確率表現において負の重みを許容することであると確認された。