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

スピノルⅡ(形式重視)

形式重視とは言いながら、
この回でイメージを完成させる。
作成:2005/12/28
更新:2024/1/15

回転の別形式を探る

前回のスピノルの説明では具体的イメージを重視して,波動関数を経由する方法を取った.しかし数学寄りの別の説明もできることを示しておこう.具体的なイメージも大事だが,理論の拡張に備えて簡潔な形式で表し直しておくことも大事である.

まず,パウリ行列を使った次のような量を定義する. 数式 このwは行列であり,場所の関数になっている.この量が何を意味するのかは問題にはしない.これはただの足掛かりだ.x系とは別の座標系x'にいる人が同じ手続きでこの量を計算すれば,次のようなものになるだろう. 数式 このwの成分を具体的に書いてやると, 数式 となっており,エルミート行列になっていることが分かる.まぁわざわざ計算するまでもなく,エルミート行列の和はエルミートなので当然ではある.この行列wには他にも面白い性質があって,行列式を計算してやると, 数式 となっている.またもう一つあって,wを 2 乗してやると 数式 となっている.

さて,これからやろうとしていることを予め明かしておくと……,回転行列Rを使わない方法で空間の回転を表現するような何か抜け道的な方法がないかと探ろうとしているのである.

空間を回転させるときには回転半径rの値が変化しないのだった.よってrが変化しないような変換を考えてやればいいだろう.先に挙げたwの性質を使うと,次のようなwの変換則を導入すれば,変換後もr^2の値が一定に保たれている事が分かる. 数式 ここでPは任意の 2 次の正則行列である.なぜこれでrの値が保たれるかと言うと, 数式 となるし, 数式 となるからだ.

さて,Pは任意の正則行列だと言ったが,wがエルミート行列である事を考慮するとPにはもう少し厳しい条件が付いてくるのである.というのは,(1) 式の両辺のエルミート共役を取ると, 数式 となる.これは結局 (1) 式と同じ変換を意味しているのであって,P^{†}=P^{-1}だということになる.つまりPはユニタリ行列だということだ.

ところがここまでの議論には「大きな嘘とゴマカシ」があるのである.いかにも (1) 式がrの値を保存する一般的な変換則であるかのように説明してきたが,実はそうではない.rの値が保存するような座標変換と言えば,回転の他に鏡像変換がある.しかし,(1) 式の形では鏡像変換を実現するようなPは存在し得ないのである.その証明は今の本質ではないから気になる人には後で自分で確認してもらうことにしよう.

こうなると (1) 式が本当に全ての回転変換を含んでいるのかどうかについても強い疑いが湧くことだろう.しかしその点は問題ない.それについては後でちゃんと確認することを約束しよう.今は「この計算の目的自体に嘘がある」ことを頭の片隅に置いたままでしばらく騙されたふりをして先へ進んでもらいたい.


回転行列との関係

ところで初めの方でx系とx'系でのwの定義を書いておいたが,それらを (1) 式に代入してみよう. 数式 こうしてwはどこかへ行ってしまった.前にも言ったように,wは論理の助けとして利用したに過ぎない.

さらにx系とx'系が回転変換によって結ばれているのだと強引に仮定しよう.つまりx'=Rxという関係が成り立っているということであり,ちゃんと成分で書けば, 数式 だということだ.これを (2) 式に代入してやろう. 数式 このままでは不恰好なので,なるべく簡単にならないかと考えて変形の努力をしてやる. 数式 これで座標値xも消えて随分簡単な形式になった.和の記号ばかりで式が複雑なので,最後の (3) 式への変形に疑いを持つ人がいるかも知れない.しかしこれは簡単な係数比較の論理を使っただけであり,例えば 数式 とやるのと同じことである.

さて,(3) 式はとてもシンプルで美しいが,xまで消去してしまったために,一体何を意味するのか,何に使えるのかよく分からない関係式になっている.しかしこれはとても重要な関係式なのである.

ここまでは前回の話とはまるで無関係であるかのように話を進めてきた.しかし実は今回のPと前回出てきたUとは同一のものであるという話へ持って行きたいのである.本当にそうなのか,確認してみよう.


同等性の確認

(3) 式の左辺を変形してやる.ただし前回と同じ事情があるので,回転行列R_{ij}として無限小の回転の場合のものを採用することにする.つまり, 数式 である.しかし,この行列表記は式変形をするには非常に扱いにくい.よって次のような表記を使う事にしよう. 数式 δ_{ij}は 2 つの添え字ijが同じ値の時は 1 で,それ以外は 0 になるというおなじみの「クロネッカーのデルタ」と呼ばれるものだ.行列Rの対角成分が 1 であることを表すのに使われている.

またε_{ijk}は「レビ・チビタの記号」であり,その意味と次の式変形に使う公式は別記事にまとめておいた.

これらの準備によって,(3) 式の左辺の変形はスムーズに進む. 数式 最後の行への式変形はなかなかトリッキーだが,逆算してみれば意味が分かるだろう.その際に,dθの 2 次の項は無視して捨ててしまう事と,\hat{σ}_iどうしの積は順序を変えてはいけないことに注意する必要がある.

さて,この結果と (3) 式の右辺を見比べると,ひょっとして 数式 であることが言えるのではないか,という事に気が付く.この形は前回の無限小回転のユニタリ変換 数式 に似ている.\hat{L}の代わりにスピン行列\hat{s}を入れれば, 数式 であり,まさにPUと同じものだ.つまり,(3) 式のPUに置き換えた式である 数式 が成り立っているのである.

さて,PUとは本当に同一のものだろうか……と前回求めたものを見直してみると,Uの行列式はθの値に関わらず常に 1 になっているのである.前回はz軸の周りの回転しか具体的に求めることをしなかったが,もし他の軸の周りの行列も求めてやれば,やはり行列式は 1 であることが分かるだろう.

ところが先ほどPについてはユニタリだと言っただけで行列式の値については制限をしなかった.つまりPUが同一であるというためには少し条件が足りなかったことになる.では行列式が 1 ではない場合のユニタリ変換Pが意味するものは何だろうかと気になることだろう.(1) 式は座標xからx'への変換を表していると考えたのだった.行列式の値が 1 の場合とそうでない場合にどんな違いがあるだろうか.

実はないのである.例えば行列式が 1 の,あるユニタリ行列にexp(iα)を掛けたものは,行列式がexp(2iα)のユニタリ行列になるが,これらは (1) 式の座標変換について言えば,同じ意味の変換を与えるのである.このような「余計な自由度」はスピンの変換を考える上では必要ないので,とりあえず行列式は 1 ですと言っておけば問題ない.

さて,この他にも気になることはある.スピンの変換行列は行列式が 1 のユニタリ行列で表されるが,逆はどうだろう.行列式が 1 となるような 2 行 2 列のユニタリ変換ならば,全て例外なく,スピンを回転させる意味を持っているとまで言えるのだろうかその通りである.それを証明するのは少々の根気が要るが,難しくはない.特別な定理も要らない.大学受験の難問奇問よりは遥かに簡単だろう.要するに,ユニタリ行列Uの成分として適当な複素数を指定してやった時に,いつでも 3 つの回転角が定まることが分かればいいのだから,それを求めるための関係式を導いてやればいいだけの話である.ここでやるのは面倒なので,読者にお任せする.

さあ,ここで「議論のゴマカシ」の正体を明かそう.回転行列の代わりとして別の表現も可能であることを示したい,という態度を取ってきた.しかし本当は,スピンの変換行列U,回転行列Rによる変換の間の関係式を求めたかっただけなのだ.つまり (4) 式が欲しかったのだ.まるで因幡の白兎のようなことをしてしまった.

教科書によっては「(4) 式を満たす,行列式が 1 のユニタリ行列 U によって変換される 2 成分の量をスピノルと呼ぶ」という定義を紹介しているものもあるが,まぁ,そう言えなくもない.実際は「行列式が 1 のユニタリ行列U」である時点でスピノルを変換する行列としての資格があるのだから,3 次元での回転との対応を「定義」している式だという意味に取るべきだろう.

ちなみに今回のような,2 次の特殊ユニタリ行列(つまり行列式が 1 であることを特殊と言っている)によって変換される回転の対称性を,群論では SU(2) と表記して分類している.Special Unitary (2 次)の略だ.豆知識として知っておくと色々と役に立つだろう.


1/2 階のテンソル

スピノルを別の形で定義することが出来たので,前回論じることのなかったスピノルの面白い性質が紹介できるようになった.

例えば,スピノルを 2 つ組み合わせてスカラー量を作ってみせよう.スカラーというのは,座標変換しても値が変わらないような量のことであった.,スピノル|a>}を座標変換してやったものを|a'>}と表そう. 数式 という計算が成り立っている.これのエルミート共役をとったものの座標変換は次のようになる. 数式 これと同じように,スピノルどうしの内積を座標変換してやることを考えると, 数式 となって,座標変換した後も変換前と同じ値となることが分かる.つまり,スピノルどうしの内積はスカラーとなるのである.

同じように,スピノルを組み合わせてベクトル量を作ることもできる.まず,スピノルとスピノルの間にパウリ行列を挟んでやることで3つの成分を作る. 数式 いかにもベクトルっぽい表現だが,これらの組がちゃんとベクトルとしての資格を持つかどうかが問題である.ベクトルv_iは座標変換によって 数式 のような変換をするのであり,同様な変換がちゃんと成り立っているかどうかを調べてやる. 数式 ここで先ほどの (4) 式の性質を使った.こうして,先ほど作った 3 成分の量はベクトルとして振舞う事が分かるのである.

何だか形式的に進み過ぎてイメージがわかないという人のために,現実のスピンの測定に関係する具体的を一つ挙げておこう.上の計算では|a>}|b>}という別のスピノルを使っていたが,これらが同じものだったとしたら次のような形になる. 数式 この意味は何だろうか.パウリ行列\hat{σ}_iはスピン行列\hat{s}_iを定数倍したものであり,それをスピンベクトル|a>}……いやスピノルと呼ぶべきか……で挟み込んだものはスピンの期待値(をℏ/2で割ったもの)を表していると言える.3 つの量が作れるから,スピンの期待値はあるベクトルで表されることになる.粒子がどんなスピンを持つかについては確率でしか論じる事ができず,それを決定するためには測定によらなければならなかった.しかも決定できるのはある一つの成分だけだという制限がある.しかし期待値についてはそうではないというのである.期待値は測定しなくてもはっきりと一つの方向を向いていて,それは視点の変化に応じて,まるで普通のベクトルのように振舞うということが分かる.

スピノルとスピノルを組み合わせることで,0 階のテンソル(スカラー)や 1 階のテンソル(ベクトル)を作ることができる事が分かった.これは,ベクトルとベクトルを組み合わせる事で 0 階のテンソルや 2 階のテンソルを作ることができたのと似ているというので,時々「スピノルは 1/2 階のテンソルである」と言われることがある.

この 1/2 階というのが数学的に意味を持つことなのか,それとも単なる標語的なものに過ぎないのかはよく分からない.確かにスピノルはあらゆるテンソルを作ることのできる基本要素だと考えることができる.しかしそれをもってスピノルをテンソルの一種であると分類することにどれほどの意味があるかは今のところ私には分からない.

さて,まさかベクトルよりも基本的な量がこの世にあるなんて,我々は長い間気付かずにいたわけだが,スピンの議論から期せずしてその存在が明らかになった.するとすぐに,スピノルよりもさらに基本的な量はないものか,と気をつけるようになるわけだが,それは有り得ないように思われる.スピンを考えた時,l=0l=1/2の間に何かが入ると考えられる理由はなかった.

このことは理論家にとって大変興味深い.この世にスカラーやベクトルやテンソルとして現れているものは,実は全てスピノルの組み合わせから出来ていて,何もかもが同じ形式で表せるのではないかと期待できるからである.これを「スピノル一元論」と呼ぶ.

クォークやらニュートリノやら,現在素粒子と考えられている粒子の多くがスピノルとして表せていることからもこの考えには真実味がありそうに思えるが,現在の理論にはそうではない粒子も多数含まれており,なかなか簡単にはあてはまらないようだ.


波動関数との融合

波動関数による表現と行列による表現とは対等であるとのことだった.しかしシュレーディンガー方程式を解くだけではスピンのイメージは出てこないのである.困った事に,スピンというのは行列以外では表しようがなく,波動関数表示では対応させるものがないような存在なのだ.

どうしても波動関数とスピン状態を同時に表したければ,波動関数とスピン行列を掛け合わせて使うしかない.つまり,波動関数をベクトルのように二つ並べて書くことになる.これを波動関数の「スピノル表現」と呼ぶ. 数式 このような 2 段の波動関数からスピンについての情報を引き出したければ,これに対して 2 行 2 列の行列を作用させることになる.

2 成分の波動関数の上側が,スピンz軸上向きの粒子が位置xに見出される確率を表し,下側がスピン下向きの粒子が位置xに見出される確率を表すことになる.これこそが波動関数の真の形ということになるのだろうか.だんだんややこしい事になってきた.しかし世界の本当の姿に一歩近付いたのを感じる.

つまり,スピンというのは何かが回っているのではなく,スピノルの変換規則に従う 2 成分の量がただ存在しているだけ」だとは考えられないだろうか.波動関数は実は 2 枚重ねで,互いに影響し合いながら存在している.人間がそこから意味を取り出そうとすれば,あたかもそれが回転であるかのように見えるというわけだ.


スピノル表示の内積計算

我々はこれまで,粒子の存在確率を求めたい時には, 数式 という計算をしてきた.しかしスピノル表現を採用するとなるとこれだけではいけない.あたかもベクトル形式であるかのような扱いも必要だ.一方を横行列,もう一方を縦行列として内積を行うべきである.そのような記号がすでにあったのを思い出してもらいたい.「ダガー」は「行列を転置して複素共役を取る」記号であるから,「*印」の代わりに使ってやればいいわけだ. 数式 どうだろう,このダガーの付いた波動関数の高級そうな雰囲気.これは「相対論的量子力学」の教科書を開くとよく見かけるものだ.これまで専門的に見えて近寄り難かった教科書の数式に対してもだんだんと違和感がなくなって来たのではないだろうか.

もちろんベクトル表現をした場合には,スピンが含まれようとなかろうと,今まで通りブラとケットの組み合わせで同じ事を表現していることになる.こうしてみるとブラケット表示は優秀だなぁと思う.しかし具体的な計算をしようと思ったらスピノル表示に頼ることになる.


修正履歴

(2024/01/15)
 ・冗長な数式表現の整理.(座標変換の前後を矢印で表していたが見苦しくなるだけだったので廃止した)
 ・読みやすくするためのわずかな表現の修正.



趣味の物理学書店の案内バナー

EMAN物理note出張所の案内バナー