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

SU(2)

電子のスピンに関係している。
作成:2015/12/6

交換関係が出てくる

ユニタリ行列は群であって,その行列式を 1 に制限したものも群であるというのは 2 つ前の記事ですでに説明してある.今回はその中でも 2 行 2 列のユニタリ行列で行列式が 1 であるものの性質に絞って考えてみよう.群の分類では SU(2) と呼ばれるものだ.

ユニタリ行列はエルミート行列Hを使って次のように表せるという話を前回したのだった. 数式 Uの行列式が 1 だという制限を入れておくと,エルミート行列Hの対角和は 0 でないといけないという話もしておいた.Hの成分が次のような形であれば,その条件を満たすエルミート行列になる. 数式 確かに対角成分の和は 0 だし,複素共役を取って転置してやっても元と同じものになる.しかも前回の最後で話したように,確かに実数 3 つ分の自由度で表されている.これを分解して表すと次のようになる. 数式 ここに出て来た 3 つの行列をそれぞれ次のように表すことにしよう.今後の説明の都合のために順番を変えてあるので注意. 数式 この 3 つの行列は,どれもエルミート行列である.これらの行列のことを「生成子」または「ジェネレーター」と呼ぶ.なぜそう呼ぶのか気になるかもしれないが,それは後にしよう.

これらの行列の表記に合わせて,実数を表すa,b,cという記号も別のものに書き換えておこう.するとユニタリ行列は次のように表せることになる. 数式 この 3 つの生成子には次のような関係がある. 数式 これが成り立っていることについては実際にやってみて確かめて欲しい.もっと分かりやすく表記するために,交換子」と呼ばれる次のような記号を導入すると良い. 数式 これを使えば次のように書けるだろう. 数式 この 3 つの式ではそれぞれの生成子が互いに対等な関係にあることが分かるだろう.このような関係が成り立つのは偶然ではない.実は何次のユニタリ行列であってもこれに似た関係が導かれることが群の性質から証明できるのだが,今は 2 次のユニタリ行列の振る舞いだけに集中したいので,理論の一般化のような話はまた後にしておこう.

この 3 つの生成子は,この形の組み合わせに必然性があるわけではない.素直に考えたらこうなっただけである.もっとぐちゃぐちゃした形の 3 つの生成子を求めたければ,何か適当なユニタリ行列Vを使って次のような式で 3 つとも変換してやれば良い. 数式 このようにして別の生成子の組を作ってやっても,ここまでに話したような性質は全て満たすはずだ.このような変換でトレースが変化しないことは前回の話でも確認しただろう.



量子力学への応用

以上の話にどんな具体的な意味があるのかと言われても,難しい.しかし量子力学に当てはめると物理的な意味がある.(1) 式のように表された 3 つの生成子は物理で「パウリ行列」と呼ばれているものと同一である.これは電子のスピンのx成分,y成分,z成分を表すために用いられる.むしろ次のようにσ_x,σ_y,σ_zと書いた方が分かりやすいかもしれない. 数式 ここから量子力学のような話になってしまうが,読者がまだ量子力学を知らないかも知れないというのは想定して書いているので,「ふーん,量子力学ではそんなことをやるのか」と軽く受け容れて付いて来て欲しい.この辺りの話を数学の話としてやると,本当に,何を目的として何をしているのかさっぱり分からない抽象的な話になってしまいそうなのである.

これら 3 つの行列の固有値と固有ベクトルを求めてやると次のようになる.まずσ_xについてやってみると,固有値は 1 と -1 であり,それぞれの固有ベクトルは (1, 1) と ( -1, 1) である.次のような関係になっているということだ. 数式 σ_yについても固有値は 1 と -1 であり,それぞれの固有ベクトルは (-i, 1) と ( i, 1) である. 数式 σ_zも固有値は同じで 1 と -1 だが,それぞれの固有ベクトルは (1, 0) と (0, 1) である. 数式 このように,固有値はどれも 1 と -1 なので,この点ではどの行列も対等である.しかしσ_zだけが対角行列になっており,そのお陰で固有ベクトルも分かりやすい形になっているため,物理ではこれを基準にしてスピンの状態を考える習慣になっている.つまりz軸方向にスピンを測定した時に測定値がプラスになる状態が (1,0) であり,マイナスになる状態が (0,1) である.このように,スピンの状態を 2 次元の複素ベクトルで表すのである.

量子力学では測定値が固有値として表れるという解釈をしている.上の計算では固有値として出てくるのは 1 と -1 であったが,実際の測定で得られる値はℏ/2-ℏ/2であるので,少し変更が必要である.3 つのパウリ行列にそれぞれℏ/2を掛けたものをスピン行列として使えば望む結果が得られるだろう. 数式 例えばs_zの場合だけを書くと,固有値と固有ベクトルは次のようになり,確かに固有値が±ℏ/2となっていることが分かるだろう. 数式 s_z以外でも同じことである.

スピン行列の方を使えば,(2) 式は次のように表せることになる. 数式 こちらの方が物理らしい雰囲気が出ていてかっこいい感じもするのだが,どちらにも慣れておくべきだろう.

このようなちょっとした小細工をすることで,この数学の体系を物理に応用しているのである.しかし計算の途中でいちいちℏ/2が出てくるのは面倒だというので,物理でも係数の違いに目をつぶってパウリ行列の方を使うことは多い.

少し群論の本質とは離れるが,これだけでは中途半端なので量子力学の話をもう少しだけ続けよう.

上では固有ベクトルとして (1, 1) や ( -i, 1) といったものが出て来た.これらのベクトルのノルム(要するにベクトルの長さ)は√2である.量子力学では状態を表すベクトルどうしの内積を計算することで,ある状態に別の状態が何割ほど含まれているのかということを考えるので,それぞれのベクトルのノルムは 1 に調整しておくのが都合が良い.このように状態ベクトルのノルムをあらかじめ 1 に調整しておくことを「規格化」と呼ぶ.

例えば (i, 1) は規格化すると(√2 )/2 (i,1)である.この複素ベクトルはy軸方向にスピンの測定をして-ℏ/2という結果が得られた直後の状態を表している.この複素ベクトルは次のように分解して表すことができる. 数式 この右辺の (1,0) というベクトルはz軸方向にスピンを測定した時に+ℏ/2という値が得られた状態であり,(0,1) というベクトルはz軸方向にスピンを測定した時に-ℏ/2という値が得られた状態を意味しているのだった.つまり,y軸方向にスピンの測定をして-ℏ/2という結果が得られた直後の状態」というのは,z軸方向にスピンを測定した時に+ℏ/2という値が得られる状態」が√2 i/2と「z軸方向にスピンを測定した時に-ℏ/2という値が得られる状態」が√2 /2だけ混じって出来ている.この混じり具合によって,次の測定をしたときの状態が確率で決まる,というのが量子力学の考え方なのだが,不思議なことに,実際に現実はそうなっているのである.

これらの「混じり具合を表している係数」の「絶対値の 2 乗」が,確率を表している.√2 i/2√2 /2の絶対値の 2 乗を計算してやると,どちらも 1/2 である.つまり,y軸方向にスピンの測定をして-ℏ/2という結果が得られた直後に,今度はz軸方向にスピンの測定をしてやると,+ℏ/2が得られる確率は 1/2 であるし,-ℏ/2が得られる確率も 1/2 であるということである.

ほんの一例であるが,量子力学でのベクトルはこのような具合に扱われ,解釈されるということだ.


ユニタリ行列の意味

量子力学について熱心に話したわけだが,それは (2) 式で表される生成子の性質が,たまたま物理のスピン行列と同じ性質を持っているから言えるだけの話ではないのだろうか今回の主要なテーマは 2 次のユニタリ行列が持つ対称性であり,それとの関連がまだ全然見えてきていない.そこを説明しないといけないだろう.

ユニタリ行列を使って (3) 式のような変換をしても,やはり生成子どうしの (2) 式のような関係は変わりないということについてはすでに説明した.つまり,量子力学のスピンに関する体系はユニタリ変換では崩れないのであり,スピンの理論はユニタリ変換に対して対称性があるということは言えるだろう.しかしユニタリ変換が物理的に何を意味しているかが説明されていないし,何のためにユニタリ変換を使う必要があるのかというのも分からないままなので納得し切れない.

ユニタリ変換というのが「それぞれのベクトルの角度,つまり内積を維持したまま全体を動かす」イメージのものだから,先ほどの量子力学のイメージで言うと,x軸についてスピンを測った後の状態だ,と理解していたベクトルをy軸についてスピンを測った後の状態として表されていたベクトルへと変化させることも可能である.x,y,z軸の役割をぐるっと交代させるような変換である.その途中の中途半端な場所への変換も可能だろうから,それぞれの軸の向きの関係を保ったまま,好きな方向へと回転させることもできるはずである.それがだいたい,量子力学でスピンを扱うときのユニタリ変換の意味だ.



趣味の物理学書店

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