場の量子論に於ける -行列の議論の例として, F.Mandl, G.Shaw 著「Quantum Field Theory」の § 6.2 を翻訳したものを示す.
◎ このブログ記事をPDF化したものは次のリンクをクリックすることで見ることが出来る.またダウンロードボタンをクリックすることでダウンロードも可能である:
S-行列展開(The S-Matrix Expansion)
これまでは主に自由な場すなわち相互作用していない場を考察して来たが, そこでは状態ベクトルが時間的に一定で演算子が時間依存性を持つハイゼンベルグ描像(H.P.)を用いていた. 今度は, 相互作用する場の研究に目を向ける.例えば, 量子電気力学(QED)では, 相互作用する電子と陽電子そして電磁場は次のラグランジアン密度で記述される:
ただし自由場のラグランジアン密度 は,
そして相互作用のラグランジアン密度 は保存するカレント を電磁場に結合させる働きをする:
ただし「電荷-電流密度(電磁カレント)」 は次である:
式(6.9), 式(6.10) では自由場と相互作用のラグランジアン密度を「正規積」 (全ての消滅演算子を生成演算子の右側へ配置し直した積の形) として書いている.これにより, 先に述べた自由場の場合と同様に, エネルギーや電荷などの全ての観測値の真空期待値が消失することが保証される.式 (6.8) のラグランジアン密度の分割に対応して, 系の完全なハミルトニアン は, 自由場のハミルトニアン と相互作用ハミルトニアン とに分割される:
本章の冒頭で述べたように, 我々は 2 つの本質的な単純化をもたらす相互作用描像(I.P.)を採用することにする.
まず最初に,「相互作用描像」では, 演算子 はハイゼンベルグ的な次の運動方程式
を満たすが, このとき関係するのは完全なハミルトニアン ではなく, 自由ハミルトニアン のみである.
次に, 相互作用ラグランジアン密度 が微分を含まない場合(第19章まではこの場合に限定する), 相互作用のある場の正準共役は自由場の正準共役と同じである.(例えば QED では など).相互作用描像とハイゼンベルグ描像はユニタリー変換によって関係づけられる.そのため相互作用描像では, 相互作用する場は自由場と同じ交換関係を満たすことになる.
このように相互作用表示では, 相互作用場は自由場の演算子と同じ運動方程式と同じ交換関係を満たしているのである.従って, 第3章から第5章までの自由場の結果は相互作用表示の相互作用場にも当てはまるものとして引き継ぐことが出来る.特に, 我々が得た平面波状態の完全系は運動方程式の解である.その結果, 以前と同じ平面波展開, 同じ数表示, 同じ明示的な式即ちファインマン伝搬関数となる.
相互作用表示に於いて, 系は時間依存する状態ベクトル で記述される.第1章の付録の式 (1.88) と式 (1.89):
と一致して, 状態 は次の運動方程式を満足する:
ただし は,「シュレディンガー表示」の相互作用ハミルトニアンを , 自由場のハミルトニアンを とした場合の,「相互作用表示」に於ける相互作用ハミルトニアンである:
は, 中で, シュレディンガー表示の場の演算子を時間依存する自由場の演算子に置き換えることで得ることが出来る.式 (6.12) と式 (6.13) では, 式 (1.88) と式 (1.89) で相互作用表示を識別するために用いた上付き添字 を省略した.なぜなら, 以降では相互作用表示のみで作業するためである.
式 (6.12) は時間依存するハミルトニアン を持ち, シュレディンガー方程式に類似した式である.相互作用を`スイッチオフ’する (即ち と置く) 場合, 状態ベクトルは時間的に一定である.相互作用は状態を時間変化する状態 にする.系が初期時刻 に状態 で与えられる, 即ち
ならば, この初期条件を持った式 (6.12) の解は他の任意時刻 に於ける状態 を与える.演算子 のエルミート性から, 式 (6.12) による状態 の時間発展がユニタリー変換であることが分かる.従って, 状態の正規化
さらに, 一般的にはスカラー積を保存することになる.
ここで展開する理論形式は, 明らかに束縛状態の記述には適さないが, 散乱過程には特に適している.衝突過程では, 状態ベクトル は散乱が起こるずっと前 () の初期状態を定義するが, それは相互作用しないように互いに離れた場所にあって明確な性質を持った粒子の明確な粒子数を指定することで定義される.(例えばQEDでは, 状態ベクトル は与えられたモーメント, スピン, 偏光を持った電子, 陽電子, 光子の明確な数を指定することになる).散乱過程では, 粒子は接近し衝突(すなわち相互作用)し, 再び飛び離れる.式 (6.12) が決定するのは散乱が終わって全ての粒子が再び離れた後の時刻 に於いて, 初期状態 が時間発展した状態 である.-行列は と を関係付けるもので, 次式によって定義される:
衝突は様々な最終状態 を引き起こし, これらの可能性はすべて に含まれる.(例えば電子と陽電子の衝突は, 弾性散乱, 制動放射(すなわち光子の放出), 対消滅などをもたらすであろう).これらの最終状態 の各々は に類似した方法で指定される.
衝突の後 (即ちで), 系が状態 に存在するという「遷移確率」は, 次式で与えられる:
(ただし, 状態ベクトル と は に規格化されているものとする).
これに相当する確率振幅(すなわち遷移振幅)は次である: もし状態 を, 状態の完全直交集合 で展開すると,
であるから, -行列のユニタリー性は次のように書くことが出来る:
式 (6.20) は確率の保存を表現している.今や粒子は生成または消滅することが可能であるから, この式 (6.20) は, それに相当する非相対論的量子力学の粒子保存よりもずっと一般的な式である. -行列を計算するためには, 初期条件の式 (6.14a) が成り立つ場合の式 (6.12) を解く必要がある.これらの方程式は, 次の積分方程式にまとめることが出来る:
この方程式は反復的にしか解くことが出来ない.その結果得られる の累乗としての摂動解は, 相互作用エネルギー が小さい場合にのみ有効である.QEDの場合がそれであり, 光子と電子の相互作用を特徴づける無次元結合定数は「微細構造定数(fine structure constant)」 である.
反復法によって式 (6.21) を解くと, 等々となるので, 極限 で -行列は以下のようになる:
ここで 個の因子の時間順序積 は因子が2個の場合の定義式 (3.52) と式 (4.59) の自然な一般化である.すなわち因子は後の時間が前の時間の左側に立つように順序付けられ, 全てのボソン場(フェルミオン場)は「それらの交換項(反交換項)はゼロになる」として取り扱われる.2つの形式 (6.22a) と (6.22b) が等価となるのは が偶数のフェルミオン因子を含み(QEDのように), 並び替えの過程で余計な因子 が発生しない場合にのみ成立する.この2つの形式の等価性は, 級数の各項について別々に成立している.その検証は読者への課題として残しておく.最後に, 式 (6.22b) を相互作用ハミルトニアン密度 で書き直すと, 共変性が明示的な形の式が得られる:
ただし積分は全時空に及ぶ.この式は -行列の「
Dyson展開」という.これは本書で用いる摂動論研究法の出発点となる式である.
特定の遷移 の振幅は で与えられることを見て来た.この行列要素に寄与する部分を展開式 (6.23) から選び出すのは複雑な問題で次の節で再び扱うことにするが, まずは初期状態 と最終状態 の指定について議論しなければならない.
上記の摂動公式では, 状態 と は, いつもの通りに, 摂動されていない自由場ハミルトニアン の固有状態, つまり相互作用がオフになった状態 である.私たちが扱っている粒子は, たとえ遠く離れていても実際の物理的な粒子であるため, この説明は間違っているように見える.電子は他の電子から遠く離れていても光子雲に囲まれている.それは本物の電子であり, 自分自身が作る電磁場を持たない裸の電子ではない.従って, 裸の粒子状態である と を使うには正当化が必要である.一つの方法として を に置き換えた「断熱仮説」(adiabatic hypothesis) に訴えることが考えられる.関数 は, 十分に長い区間 では であり, そして につれて単調に となるように選ぶ.[例えばQEDでは, 素電荷 を時間依存する結合定数 で置き換えることができる].このようにして, 初期状態と最終状態は「裸の粒子」によって記述される.区間 の間は を に置き換えた運動方程式 (6.12) が裸粒子から実際の物理的粒子を生成し, 区間 の間では物理的粒子と完全な相互作用 を扱っている事になる.特に, 完全な相互作用は区間 の間で有効である.その間, 粒子は相互作用するために十分に接近している(すなわち としなければならない).断熱仮説の本質は「間隔 の間に起こる散乱に於いては, 系の散乱前の長い時間 または散乱後の長い時間 での記述を信頼する(当てにする) ことは出来ない」ということである.極限 をとるのは計算の最後でだけである.もちろん, 最低次の摂動論で計算する(つまり式 (6.23) でゼロでない結果を与える最低次 の項だけを使う)場合, 相互作用は遷移を起こすためだけに使われ, 裸の粒子を実際の粒子に変えるために使われるわけではない.この場合には, 計算の最初から極限 をとり, 完全な相互作用 を扱うことが出来る.