物理を解説 ♪
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン

CHSH不等式

ふふ・・・、これで「EMANは本当のベルの不等式を知らない」とか言う陰口も消えるのではないか。(被害妄想)
作成:2014/10/13

準備

ベルの不等式というのは「量子力学が主張するような不思議な遠隔相互作用」を認めないような理論を作った場合に成り立っていなくてはいけない条件を示した式のことである.実験をしてみたらその式はやっぱり成り立ってなくて,量子力学の勝利ということになったのだった.

今回紹介するCHSH不等式というのはベルの不等式の数あるバージョンの中の一つである.4 人の科学者の頭文字を取ってこう呼ばれている.

それがどのような不等式であるかを見せるのは後にしておきたい.ややこしい本題に入る前に,とりあえず今回の話に関係してくる次の式を証明しておこう. 数式 ただし,a,b,c,dはどれも実数で,その絶対値は1以下であるとする.第 3 項だけにマイナスが付いていて対称ではない感じだが,これは誤植ではない.

なるほど,試しにa,b,c,dに色々と数値を入れてみてもこの範囲を越えられそうにないわけだが,ちゃんと理論的に示しておきたい. 数式 この最後の式の第 1 項は(a+b)-(a+b)であり,第 2 項は(a-b)-(a-b)である.どんな組み合わせで和をとろうとも±2a±2bになる.abも絶対値は 1 以下であるという仮定があるし,右辺は負にならないことははっきりしているから,最後の式の続きとしては 数式 だと考えていいということになる.結局,これで証明が終わったわけだ.絶対値を使わない方が分かりやすい気がするので結論を次のように書いておこう. 数式 この式は後で使うので,それまでしばらく忘れていてもらって構わない.


相関の度合いを数値化する

ペアで生まれた 2 つの粒子を互いに遠く離れた 2 つの測定器へと飛ばして,それぞれの場所で同時にスピンを測定することを考える.

ここで同時と言っているのは実は厳密に同時でなくても良くて,ただ,一方の測定の影響が光速で他方に伝わる前に測定を終わらせておきたいのである.光速以下の何らかの方法で互いに影響を与え合う可能性を排除しておきたいだけのことである.

さて,このような状況で,一方で行われた測定の結果と他方で行われた測定の結果には何か関係があるだろうか

ある.すごくある

例えば両者が同じ方向のスピンを測っている場合,一方が上向きという結果が出たならばもう一方では必ず下向きだという結果が出るに違いないからだ.しかしそれでは実験としては単純すぎて面白くないし,別にわざわざ量子力学を使わなくてもこのような現象を説明することはできてしまいそうだ.そこで,量子力学を使った場合と使わない場合とで結果の予測に違いが出そうな状況を考えてみることにしよう.

例えば,それぞれがスピンを測定する時の角度を,ランダムに変えてやったらどうだろう.その角度は測定の直前になって気まぐれに決めてやっても構わない.そうすれば相手がどんな角度で測定したかを知ることも出来ないし,相手がどんな結果を得たかを確実に言い当てることも出来なくなる.

それでも,後で双方の集めた結果を持ち寄って調べた時に,お互いの結果に何か関係がある証拠が見い出せるものだろうか.

お互いの測定結果の関係の深さを数字で評価できるように次のようなルールを導入してみよう.スピンの測定結果が測定方向に対して上向きだったなら +1,下向きだったなら -1 だと記録することにする.受け取る粒子の状態は毎回違っているから,測定方向を変えようが変えまいが,結果はいつも半々の確率で出てくる.だから多数の測定をした結果の平均を取ってみれば 0 になるに違いない.

そのような,全くデタラメに見える結果ではあるが,お互いの結果の積を取ったものの平均を考えてみてはどうだろう.お互いに同じ結果が出た時には積は +1 だし,違う結果が出たならば積は -1 である.多数の測定について平均を取ってやってプラスの値になっていれば,同じ結果が出やすい傾向があり,マイナスの値になっていれば反対の結果が出やすい傾向があることが読み取れる.0 だったなら,お互いに全く関係がなく,本当にデタラメだったということだ.このようにして計算される値のことを「相関」と呼ぶことにしよう.



状況を単純にして理論を作る

先ほどは測定の角度をランダムにしようと提案したわけだが,それではあまりに自由すぎて理論を作るのが難しい.そこで状況を単純化するために,両方の測定場所でそれぞれに自由に 2 つの測定角度を選んでやって,その 2 つの角度のうちのどちらで測定するかを毎回ランダムに変えるという形に制限してみよう.

一方の測定装置ではθ_aθ_b,そして他方の測定装置ではθ_cθ_dにする.そして多数回の測定を行った後で結果を持ち寄るわけだが,これは 4 種類のデータに分類される.つまり一方がθ_aで測定した時に他方がθ_cで測定していた場合,また,一方がθ_aで測定した時に他方がθ_dで測定していた場合といった具合だ.どの組み合わせの実験データも多数あるから,それぞれに平均を取って 4 通りの相関を計算してやることができる.

その計算は後でやってみることにしよう.量子力学を使えば何らかの相関があることが示せるのである.

しかしここでは一度量子力学のことは忘れて,このような相関があるような観測結果が得られるのは,もっと素朴で実在的な仕組みが背景にあるからに違いない,という考え方を試してみる.測定結果を決めるような隠れたパラメータが無数に存在しているかも知れないが,それさえ分かれば測定結果はいつでも特定できるだろうという思想だ.その無数のパラメータをλ_{1},λ_{2},…のように表そう.その幾つかは粒子がペアで生成された時に,すでにそれぞれの粒子の中に隠された変数かも知れないし,粒子が測定器まで移動している最中に偶然に影響を与える何かを意味しているかも知れない.粒子の中に隠された変数は,移動中に変化しているかも知れないが,そういうことが起きていても構わなくて,全てはこれらのパラメータで表せると考えるのである.

そのような隠れた変数の組み合わせは無数にあるかも知れないが,その中の一つが実現する確率をP(λ_{1},λ_{2},…)と表すことにする.おそらくは滅多に起きない組み合わせばかりになるだろうが,理論的なものだから問題ない.頻繁に起きることならそれだけ重要だし,起きなければそもそもあまり重要ではない要素だということだ.起こり得るすべての可能性を足し合わせれば,当然 1 である. 数式 この考えによれば,一方の測定器でθ_aの角度で測定した時に得られる値はその角度とパラメータによって決まってしまい,a(θ_a, λ_{1},λ_{2},…)と表せる.測定結果の平均を計算したければ次のように表せるだろう. 数式 さらに,別の側にある測定器でθ_cの角度で測定した時の値はc(θ_c, λ_{1},λ_{2},…)と表される.とにかく測定値は測定時の角度と隠れた変数によっていつでも確定するのであるという考えである.するとそれらの相関は次のように表されることになる. 数式 変数がやたらと多いけれど毎回書くほどの重要性は無いので,次のように略してみよう. 数式 これを使ってac+bc-ad+bdという計算をしてみれば,これは冒頭の計算によって, 数式 であることがすでにはっきりしている.この全体にP(λ_{1},λ_{2},…)を掛けて,λ_{1},λ_{2},…のあらゆる可能性で積分してやれば, 数式 という結果が得られる.要するに, 数式 という幾つかの相関を組み合わせて作った謎の量Sを定義してやれば,S 数式 という範囲に収まるだろう,と主張しているのが「CHSH不等式」である.この無数のλ_{1},λ_{2},…というパラメータはたとえ人間に把握し切れなくても,たとえ現実に観測可能な量でなくとも構わない.理論的に世界がそのように記述できる構造になっていさえすれば,この不等式を満たすはずである.



量子力学ではこの不等式が破れる

ではいよいよ,「量子力学を使ってこのSという量を計算してやると,この不等式の範囲を越える結果が出てしまう」ということを示そう.

一方の観測で上向きの結果が出て,他方の観測でそれとはθだけ角度をずらして測定した時にもやはり上向きという結果が出る確率はsin^2 (θ/2)なのだった.下向きが出る確率は1-sin^2 (θ/2)である.実際にはどちらが先に観測したかは問題にはならない.粒子がペアで発生してまだ観測されていない状態というのは毎回異なった状態であるので,上が出るか下が出るかは半々である.どちらが出ようとも,とにかく,両方の測定器で同じ結果が出る確率はsin^2 (θ/2)であり,異なる結果が出る確率は1-sin^2 (θ/2)である.同じ結果なら積は1であり,異なっていれば-1であるから,それぞれに確率を掛けて足し合わせれば平均したことになり,相関が得られる. 数式 例えば一方の測定器の角度がθ_aで他方の測定器の角度がθ_cだったなら,θ=θ_a -θ_cであるから, 数式 だということになる.cosθは偶関数だから,θ_a -θ_cだろうが,θ_c -θ_aだろうが結果は変わらず,気にしなくていい.というわけで,Sは次のように表されるだろう. 数式 変数が 4 つもあるのでこの関数の振る舞いをイメージするのは難しく,最大,最小がどこにあるのかを探すのが難しそうだが, 数式 のように変数変換をして新変数の関係を探ってやれば,C=A-B+Dという関係が成り立っていて,実は 3 変数の自由度しかないことが分かる. 数式 これで少しは調べやすくなる.第 3 項だけ符号がプラスになっていて,残りにはマイナスが付いているので,ひょっとしてA=B=D=0に選んだ時に最小値が実現するのではないかという期待を持ってCを消去してみたわけだが,そんなに甘くはなかった.他の 3 つ項の値を -1 から少し増やすことになってでも第 3 項のプラスの影響を減らす方が,さらに小さな値が得られるようだ.

ここは常套手段ということで,極値の条件を試してみよう.極値ではどの変数が変化しても変化率が 0 になるはずなので,次の式が成り立っている. 数式 ここからsinA=sinD=-sinBという関係が得られ,もっとも単純にA=D=-Bと考えてみても良いだろう,ということになる.するとsin(A-B+D)=sin3Aであるから,sinA=sin3Aという条件も得られる.これを満たすAと言えば, 数式 の 3 通り,それと,これらをπずつ増減させたものも当てはまる.この中でA=0というのはさっきも考えてみたわけだが,S=2にしかならず,どうやらただの停留点のようである.残りの 2 つを使った場合にはそれぞれ-2√22√2であり,これらが最小,最大を実現しているようだ. 数式 この不等式を「チレルソンの不等式」と呼び,±2√2のことを「チレルソン限界」と呼ぶらしい.



趣味の物理学書店

趣味で量子力学2の広告バナー