0
大学数学基礎解説
文献あり

Bellの不等式(1/2): "同担拒否モデル"によるBellの不等式の導出

328
0

はじめに: "同担拒否型"Bellの不等式および量子計算機による検証

「Bellの不等式」は今年度ノーベル物理学賞の対象となった研究であり(Ref.[1])、量子力学と古典力学の本質的な差異を浮き彫りにする不等式です。「ゆる学徒ハウス別館」というYouTubeチャンネル(Ref.[2])においてこの不等式を説明する際、エンタングルした全スピン0の電子のペア(後述します)を「同担拒否」に例えていました。同担拒否とは、自分が好きなキャラクター・アイドル・VTuber等に関し、同じ対象を好きな者を拒絶する態度を指します。以下「好きな対象」を「推し」と称します。例えば好きなアイドルグループのコンサートを2人で見にいくとき、同担拒否の2人の推しはかぶりません。

本記事では「同担拒否」の2人に関する推しの統計分布によりBellの不等式を構成します。

Bellの不等式にはいくつか違うバージョンがあるのですが、ここで扱うのはJJ.Sakurai「現代の量子力学(上)」(Ref.[3])に記載されている不等式です。不等式の構成法は(同担拒否という概念を用いていること以外)この教科書と同じです。

次の記事では、実際にIBMの量子計算機において計算を実行し(Refs.[4][5])、本記事の形のBellの不等式の破れを実機で確認します。 ちょっと前までは信じられないことだったのですが、いまや量子コンピュータは簡単に使えます。Bellの不等式の破れの確認実験に関する、量子計算の古典計算機におけるシミュレーション、および実際の量子計算機による検証結果を示します。

(次の記事: Bellの不等式(2/2): 量子計算機によるBellの不等式の破れの検証

Bellの不等式の同担拒否モデル

ある3人組のアイドルグループがあります。この3人をa,b,cと呼ぶことにします。このグループのコンサートに来ている2人組に、誰が推しかアンケートをとります。ただし2人組は、みな「同担拒否」とします。これは、2人組のうち1人がi (=a or b or c)を推すなら、もうひとりはiを推さないという反相関が成立しているということです。

同担拒否の2人の図。下の表のP3のパターンに対応する。 同担拒否の2人の図。下の表のP3のパターンに対応する。

このような条件のもとでは、可能な推しの組み合わせは下の表のようになります。ここで、メンバーi (i=a,b,c)を推している場合i+、推していない場合iと表すことにします。また2人組のひとりをA、もうひとりをBと呼ぶことにします。

パターンAの推しBの推し組の数
P1(a+,b+,c+)(a,b,c)N1
P2(a+,b+,c)(a,b,c+)N2
P3(a+,b,c+)(a,b+,c)N3
P4(a+,b,c)(a,b+,c+)N4
P5(a,b+,c+)(a+,b,c)N5
P6(a,b+,c)(a+,b,c+)N6
P7(a,b,c+)(a+,b+,c)N7
P8(a,b,c)(a+,b+,c+)N8

表の一番右の列は、それぞれのパターンに当てはまる組の数です。

ここで、以下の数を定義します:
N(iAfA;iBfB)
これは、AがメンバーiA(=a or b or c)に関し態度(=推しか否か)がfA(=+ or )であり、かつBがメンバーiBに関し態度がfBであるような組の数とします。すると
N(a+;b+)N(a+;c+)+N(c+;b+)
が成立します。なぜなら、N(afAa,bfAb,cfAc;afBa,bfBb,cfBc)を「i(=A or B)がメンバーj(=a or b or c)に関して態度fij(=+ or )であるような組の数」とすると、態度が指定されていないメンバーに関する場合分けにより
N(a+;b+)=N(a+,b,c+;a,b+,c)(α)+N(a+,b,c;a,b+,c+)(β)(N(a+,b+,c;a,b,c+)+N(a+,b,c;a,b+,c+)(β)) +(N(a+,b,c+;a,b+,c)(α)+N(a,b,c+;a+,b+,c))=N(a+;c+)+N(c+;b+)
が成立するからです。ここで場合分けに使用したメンバーを赤文字で強調しました。表にある「組の数」を用いるとこの不等式はもっと簡単に導けます。不等式に現れる数を「組の数」で表すと
N(a+;b+)=N3+N4,N(a+;c+)=N2+N4,N(c+;b+)=N3+N7
なので、N(a+;b+)N(a+;c+)+N(c+;b+)が成立します。

この不等式をすべての組の数でnormalizeし、対応する確率をPで表すと、Bellの不等式

Bellの不等式

 P(a+;b+)P(a+;c+)+P(c+;b+)

を得ます。

量子力学におけるBellの不等式の破れ

以下、「同担拒否モデル」と似た状況を量子力学において設定し、対応する確率の計算を行います。

Bornの規則

まず、Bornの規則と呼ばれる、量子力学の観測に関わる原理を記しておきます:

Bornの規則

量子状態はヒルベルト空間の元である。これを|wとする。
|wに対し物理量Sを観測することを考える。量子力学では物理量はエルミート演算子であり、演算子は|wに作用する。このとき測定される可能な物理量の値はSの固有値である。Sはエルミート演算子なので、固有値は実数であり、また固有ベクトルは互いに直交する(ここでは固有値の縮退はないものとする)。Sの固有値の集合を{α}, 固有ベクトルの集合を{|v}とすると(離散スペクトルを仮定)、固有値αiを観測する確率は、量子状態|w
|w=i|vivi|w
と展開した際の係数|vi|w|2に比例する。|w,|viがどちらも規格化されているならば、この確率は
P(αi)=|vi|w|2/j|vj|w|2=|vi|w|2
である。

次のようにも言える。P^i=|viviとすると、測定値αiが得られる確率P(αi)
P(αi)=w|P^i|w=w|vivi|w=|vi|w|2
である。

Bornの規則を具体的な例で説明します。ここではスピンを観測することを考えます。スピンとは、粒子の自転、また磁石性に対応する自由度です。電子の場合スピンは2つの状態しかとりません。これは矢印のようなもので、ある方向に対し上か下かの2つを取るものだと思えばいいです。数学的には、次に導入する、2行2列の複素行列で表現されるスピン演算子(観測する方向によって異なる)の固有状態です。

以下、z方向のスピンの固有状態を(1,0)T,(0,1)Tとする基底で考えます。このとき、x,y,z方向のスピン演算子およびそれらの固有値・固有ベクトルは以下のように表せます:

公式名(任意)

★ スピン演算子Sx,Sy,Szの具体的な表示:
σx=(0110),σy=(0ii0),σz=(1001)
として
Sx=2σx=2(0110), Sy=2σy=2(0ii0), Sz=2σz=2(1001)

Sx,Sy,Szの固有値αと固有ベクトルv:
Sx: α±x=±2, v+x=12(11),vx=12(11),Sy: α±x=±2, v+y=12(ii),vy=12(ii),Sz: α±z=±2, v+z=(10),vz=(01)

以下では±/2の固有値をそれぞれ「+,-」や「プラス、マイナス」と呼ぶことがあります。

また、i(=x,y,z)軸まわりにスピンを回転させる演算子は以下のように表せます:

i軸まわりのスピンの回転演算子

i軸まわりの角度θの回転行列:
Di(θ)=exp(iθSi)

これで準備は完了です。

電子のスピンを例にとります。z方向のスピンを測定することにしましょう。
たとえばスピン量子状態が
w=12(1i)
とします(|w|2=1となるように規格化しています)。これをSzの固有ベクトルで展開すると
w=12(v+z+ivz)
のように一意的に表せます。w,vどちらも規格化されているので、Bornの規則より、wに関してz方向のスピンを観測すると
   |1/2|2=1/2の確率で固有値/2|i/2|2=1/2の確率で固有値/2
を得ます。

そして、物理量Sを観測して固有値αiを得ると、量子状態w
wvi
に変化します。これが波束の収縮と呼ばれる現象です。

まとめると、量子状態|wが与えられたとき、物理量S|wに作用するエルミート演算子)を測る際に得られる物理量の値とその確率は以下のように与えられます:

  • Sの固有値と固有ベクトルを求める。これらの集合を{α},{|v}とする
  • 得られる物理量の値はSの固有値のどれかである。Sの固有値αiを得る確率は(w,vが規格化されているならば)|vi|w|2である
  • ある固有値αiが得られたら、状態は|wから|viに変化する

2粒子状態とエンタングルメント

2粒子の状態は、それぞれの粒子が属するヒルベルト空間における状態を指定することで記述されます。|0,|1をそれぞれz方向のスピンの固有値が+,の状態とします。このとき、粒子Aが|0、粒子Bが|1で記述される状態は
|w2 particles=|0|1
のように表わされます。の左側に記述した状態が粒子Aの状態、右側に記述した状態が粒子Bの状態とします。この状態はそれぞれの粒子の状態の直積で書かれます。以下では上式の"2 particles"及びは書かないことにします。

ところが、このような直積の形では書けないことがあります。例えば
|w=12(|0|1|1|0)
がその例です。このような状態を「エンタングルした状態」と呼びます。上記の状態は、粒子Aがz方向のスピン+なら粒子Bはz方向のスピン-であり、粒子Aがスピン-ならBはスピン+である反相関が成立しています:
  w|0|00|0|w=0, w|0|11|0|w=1/2, w|1|00|1|w=1/2, w|1|11|1|w=0
この状態は全スピンが0の状態です(= SU(2)群において、2つのスピン1/2表現の直積を既約分解したもののうち反対称な表現)。この状態は回転に対して共変的であり、任意の方向に対するスピンの測定において反相関性が保たれます。これは以下のようにしてわかります。y軸回りに|0,|1θだけ回転した状態を|0~,|1~と書くことにします。このとき
|0~=Dy(θ)|0=(cssc)(10)=(cs)    (c:=cos(θ/2),s:=sin(θ/2)),|1~=Dy(θ)|1=(cssc)(01)=(sc)
です。これを用いて上記|w|0~,|1~で書き直すと
|w=12(|0|1|1|0)=12(|0~|1~|1~|0~)
となります。よって、どんな角度θでスピンを観測しても、回転したスピン演算子の固有状態|0~,|1~に対し反相関が成立します。また、回転したz方向のスピン演算子Dy(θ)SzDy(θ)の固有値は、回転しないときと変わらず常に±/2であることも簡単にわかります。

以下ではこのエンタングルした状態が重要です。

「同担拒否モデル」に対応する量子力学的セットアップ

以上の準備をもとに、量子論においてP(a+;b+),P(a+;c+),P(c+;b+)を計算します。

前章で議論したBellの不等式に対応する量子論的な式を、スピンの測定において構成します。
そのために以下のセットアップを用意します:

  • 同担拒否の2人組の推しを、2粒子のスピン状態に対応させます。
  • 観測対象は全スピンが0の状態とします:
    |w=12(|0|1|1|0)
    先述した通り、この状態に対しどの方向のスピンを観測しても、1/2の確率でプラス、1/2の確率でマイナスの固有値を得ます。
  • a,b,cをそれぞれx-z2次元平面上のa^,b^,c^方向のスピンの値とします(図2参照)。ここでa^方向はz軸に、b^方向はz軸から2θだけ回転した方向に、c^方向はその真ん中、すなわちx軸からθだけ回転した方向とします

!FORMULA[142][-148884171][0]の方向 a^,b^,c^の方向

  • P(iAfA;iBfB)  (i=a,b,c,  f=±)は、粒子AのiA方向のスピンの固有値としてfAを観測し、かつ粒子BのiB方向のスピンの固有値としてfBを観測する確率を表すことにします。例えばP(a+;b+)は、Aに対しa^方向のスピンを観測したときプラスかつBに対しb^方向のスピンを観測したときプラスである確率とします。

確率の計算

P(a+;b+)の計算

セットアップで述べたように、初期状態は
|w=12(|0|1|1|0)
です。a^はz方向、b^a^と角度2θをなすので、Bornの規則よりP^(a+;b+)=|0Ry(2θ)|00|Ry(2θ)0|としてP(a+;b+)=w|P^(a+;b+)|wになります。計算すると
P(a+;b+)=12(1|0|0|1|)|0Ry(2θ)|00|Ry0|(2θ)(|0|1|1|0)=12|1|Ry(2θ)|0|2
ここで
Ry(2θ)=(cosθsinθsinθcosθ)
なので
P(a+;b+)=12|(01)(cosθsinθsinθcosθ)(10)|2=12sin2θ
となります。

P(a+;c+),P(c+;b+)は観測量であり回転不変な量であることから、2つのベクトルのなす角の関数なので、上式のθθ/2に変更して
P(a+;c+)=P(c+;b+)=sin2(θ2)
を得ます。きちんと計算してももちろん同じ答えを得ます。

以上から、本セットアップにおけるBellの不等式は

量子論におけるBellの不等式

(1)P(a+;b+)P(a+;c+)+P(c+;b+)  12sin2θsin2(θ2)

となります。しかしこれは0<θ<π/2で成立しません。

よって、本セットアップで実際に量子実験を行い、不等式が成立するか否かを検証すれば、量子力学が古典的統計系と本質的に違うか否かを検証することができます。そして次の記事で示すとおり、Bellの不等式は量子力学では破れます

ちなみにEq.(1)の右辺はθθ+2πに対して不変ではありません(a^,b^のなす角度を2θとしているので、左辺で対応する回転はθθ+π)。これはスピノル表現の性質であり、4π回転で不変になります。

まとめ

今回は、エンタングルした電子を同担拒否に例え、Ref.[3]に記載されている形のBellの不等式を構成しました。

最後に、Bellの不等式が量子力学で破れる理由とその意味を少し考察します。

同担拒否ペアにより構成したBellの不等式で本質的なのは、どの2人組も潜在的には各メンバーa,b,cに対して態度(推す or 推さない)が定まっていることです。インタビューするまでそれがわかっていないだけです。そして、abを推す2人組を、cに対する態度により場合分けすることで、Bellの不等式を構成しました。ところが、量子力学では、このような場合分けができません。つまり、潜在的にa^,b^,c^方向のスピンが確定していて、観測したときにそれがわかると考えてはいけないのです。観測される物理量の値は、それが観測される前から定まっているという性質を実在性と言いますが、量子論ではこの実在性が成立していません。

また、エンタングルしている2粒子は、それらがどんなに離れても相関を持ちます。しかしながら、この相関はそれらが相互作用している(=力を及ぼし合っている)ことでもたらされるわけではありません。相互作用による相関は、光の速度を超えて伝わることはありませんが、エンタングルしたペアは光速を超えて相関していることが実験的にわかっています(Ref.[6])。そして、この相関で遠方に情報を伝えることはできません。粒子のペアで情報を伝えるためには、何かがある粒子に影響を及ぼし、その影響が遠方の粒子に伝わり、それを観測できなければなりません。しかしスピンの観測はコントロールできるものではなく、ただ確率的に観測されるものです。よってこれにより情報を伝えることはできず、ゆえに相対論には矛盾しません。

情報や相関が光より早く伝わることはないという性質を局所性と言います。量子論は、相関が光速を超えて存在しているという意味で局所性を破ります。以上から、量子論は、局所性及び実在性を備える理論、つまり局所実在論では記述できないことになります。

次の記事において、実際の量子計算機によりBellの不等式の破れを確認します:
Bellの不等式(2/2): 量子計算機によるBellの不等式の破れの検証

参考文献

投稿日:20221130
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

bisaitama
bisaitama
143
66727

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに: "同担拒否型"Bellの不等式および量子計算機による検証
  2. Bellの不等式の同担拒否モデル
  3. 量子力学におけるBellの不等式の破れ
  4. Bornの規則
  5. 2粒子状態とエンタングルメント
  6. 「同担拒否モデル」に対応する量子力学的セットアップ
  7. 確率の計算
  8. まとめ
  9. 参考文献