ベルの不等式のソースを表示

'''ベルの不等式'''（ベルのふとうしき）とは、[[隠れた変数理論]]などの[[局所実在論]]が満たすべき相関の上限を与える式である。
1964年に[[ジョン・スチュワート・ベル]]によって導かれた。この不等式は実験に適していないので、後に多くの研究者がそれとは少し異なる形の不等式を導いた（ベル型の不等式と呼ばれる）。この不等式の実験的検証により、局所的隠れた変数理論は否定された。

== 定理 ==
2つの異なる場所A、Bで測定を行う。測定では+1か-1という2つの結果のみが得られる。
A,Bの測定装置の設定はそれぞれ2種類あり、1回の測定ごとに設定をランダムに切り替えて、その設定に対応する物理量を測る。Aの測定では物理量<math>A_0</math>か<math>A_1</math>、Bの測定では物理量<math>B_0</math>か<math>B_1</math>を測り、その測定値はいずれも+1か-1のどちらかである<ref group="注">これは2値測定ならどんな測定でもいい。例えば2つのサイコロ<math>A_0</math>、<math>A_1</math>のどちらかをランダムに選んで振り、偶数なら+1、奇数なら-1としてもいい。普通のサイコロを使って実験すればS＝0に収束する。A、Bとも必ず偶数が出るイカサマサイコロを使えば、測定値は必ず+1なのでS＝2になる。
他にも例えば<math>A_0</math>を気温、<math>A_1</math>を気圧として、ある閾値以上で+1、閾値未満なら-1というようにしてもいい。閾値は自由に設定できる。閾値を十分に下げておけば測定値は必ず+1となり、その場合S＝2となる。</ref>。

ベル型の不等式の1つである{{仮リンク|CHSH不等式|en|CHSH inequality}}は次のような形である。局所実在論の下では

<math display="block">|S| \leq 2 </math>
ただし
<math display="block">S = \langle A_0B_0 \rangle + \langle A_0B_1 \rangle + \langle A_1B_0 \rangle - \langle A_1B_1 \rangle</math>

ここで<math>\langle A_iB_i \rangle</math>は<math>A_iB_i</math>の平均値である。

[[量子力学]]ではこのSの上限を破ることができ、実験的に、量子論と局所的な隠れた変数理論を区別することができる。例えば2015年の実験ではS=2.42であり<ref name="2019_02">{{Cite journal |title= 特集：量子もつれ実証 |journal=日経サイエンス2019年2月号 }}</ref>、局所的隠れた変数理論は実験的に否定された。

量子力学におけるSの理論的最大値は<math>2\sqrt{2}</math>であり、{{仮リンク|チレルソン限界|en|Tsirelson's bound}}と呼ばれる。

== 検証実験 ==
{{main|{{仮リンク|ベルの不等式の検証実験|en|Bell test}}}}
1972年に[[ジョン・クラウザー]]と[[スチュアート・フリードマン]]によって、[[光子]]の[[偏光]]を用いて初めてベルの不等式の実験的検証が行われ、ベルの不等式の破れが観測された。それ以後、多くのグループによって実験の改良が行われてきた。

検証実験にはいくつかの抜け穴がある。局所性の抜け穴とは、装置の距離が十分に離れていないため、光速より遅い速度でも、測定器の設定がもう一方の測定器や粒子発生器に伝わってしまう可能性である。そのため局所的な隠れた変数の可能性を排除しきれない。
検出の抜け穴は、測定器の検出効率が低いと、発生した粒子のうち一部しか測定されず、それが全体を代表していない可能性である。Pearleは検出の抜け穴を生じさせる局所的隠れた変数モデルを考案した<ref>{{cite journal|first=Philip M. |last=Pearle |year=1970 |title=Hidden-Variable Example Based upon Data Rejection |journal=[[Physical Review D]] |volume=2 |issue=8 |pages=1418–25 |doi=10.1103/PhysRevD.2.1418 |bibcode=1970PhRvD...2.1418P}}</ref>。

1982年に[[アラン・アスペ]]は局所性の抜け穴を（かなりの程度）ふさいだ実験を行い、多くの注目を浴びた。

その後も実験の改良は続き<ref>{{Cite journal|和書 |author=筒井泉 |url=https://doi.org/10.11316/butsuri.69.12_836 |title=ベル不等式 : その物理的意義と近年の展開(<小特集>量子もつれ) |journal=日本物理学会誌 |volume=69 |issue=12 |year=2014 |pages=836-844 |doi=10.11316/butsuri.69.12_836}}</ref>、2015年に4つのグループが独立に、局所性の抜け穴と検出の抜け穴の両方を潰した実験を行い、ベルの不等式の破れが確認された<ref name="2019_02"/>。

== 解釈 ==
[[コペンハーゲン解釈]]では、ベルの不等式の破れをある種の[[実在|実在性]]の否定ととらえ、測定前の物理量は実在しないと解釈する。ただし測定前の物理量が存在しないにもかかわらず、[[EPR相関]]のように、どこかで測定を行うと、そこから遠く離れた場所の物理量も確定するという[[非局所性]]が存在する（ただし{{仮リンク|量子ベイズ主義|en|Quantum Bayesianism}}のような主観的な解釈では、量子力学は観測者のもつ信念のみを記述し、観測者は光速を越えて移動しないので局所的だと解釈する<ref>{{Cite journal|author=Fuchs,Christopher A.  and Mermin,N. David  and Schack,Rüdiger |year=2014 |title=An introduction to QBism with an application to the locality of quantum mechanics |url=https://doi.org/10.1119/1.4874855 |journal=American Journal of Physics |volume=82 |issue=8 |pages=749-754 |doi=10.1119/1.4874855}}</ref><ref>アニル・アナンサスワーミー 『二重スリット実験 量子世界の実在に、どこまで迫れるか 』白揚社、2021年、p288</ref>）。

局所的隠れた変数理論は実験的に否定されたが、非局所的隠れた変数理論はいまだに生きている。代表的なものに[[ボーム解釈|ド・ブロイ＝ボーム理論]]がある。{{仮リンク|エドワード・ネルソン|en|Edward Nelson}}の[[確率過程量子化]]も非局所的な隠れた変数理論と解釈することができる。

ベルの不等式を導出する前提として、隠れた変数が測定設定と相関していないことが挙げられる。つまり何を測定するかを選択する「[[自由意志]]」を測定者が持っていることを前提としている。宇宙が完全に[[決定論]]的であり、何を測定するかは初めから決定されているとして、ベルの不等式を回避するのが[[超決定論]]である。超決定論では局所的隠れた変数理論を構築することもできると考えられている。 

またベルの不等式の前提として、測定者は1回の測定ごとに1つの測定結果を得るという前提がある。[[多世界解釈]]ではこの前提が成り立たない。多世界解釈では局所的な理論を構築可能である<ref>ショーン・キャロル『量子力学の奥深くに隠されているもの コペンハーゲン解釈から多世界理論へ』2020年、p130-131、p212-214、p287-288</ref>。

== 脚注 ==
=== 注釈 ===
{{Reflist|group="注"}}
=== 出典 ===
<references />

== 関連項目 ==
* [[グリーンバーガー＝ホーン＝ツァイリンガー状態]]
* [[アインシュタイン＝ポドルスキー＝ローゼンのパラドックス]]

== 参考文献 ==
* Aspect, A. ''et al.'' ''Phys. Rev. Lett.'' '''1981''', ''47'', 460; '''1982''', ''49'', 91; '''1982''', ''49'', 1804. 
* Bell, J. S. ''Physics'' '''1964''', ''1'', 195; reproduced as Bell, J. S. {{PDFlink|"[https://heyokatc.com/pdfs/MISC/Speakable_and_Unspeakable_in_Quantum_Mechanics-_John_S._Bell-firstEd.pdf Speakable and Unspeakable in Quantum Mechanics]",}} Cambridge University Press, 1987, Ch. 2.

== 外部リンク ==
{{SEP|bell-theorem|Bell's Theorem}}

{{physics-stub|へるのふとうしき}}
{{Normdaten}}
{{デフォルトソート:へるのふとうしき}}
[[Category:量子力学の定理]]
[[Category:観測問題]]