プロパゲーター

量子力学と場の量子論では、プロパゲーターは、時間を指定されたときのある位置から別の位置へ移動する粒子の、あるいは移動するエネルギーと運動量の確率振幅を与える。場の量子論での衝突の確率を計算するファインマン・ダイアグラムでは、仮想粒子のプロパゲーターは、ダイアグラムにより記述される散乱事象の確率へ寄与する。プロパゲーターは、また、粒子に適切な波動作用素の逆とみなすこともできるので、しばしば、グリーン函数とも呼ばれる。

1. 非相対論的プロパゲーター
---------------

非相対論的な量子力学では、プロパゲーターはある時刻での空間位置から後の時刻での位置への移動する基本粒子の確率振幅を与える。プロパゲーターはシュレーディンガー方程式のグリーン函数である。このことは、系がハミルトニアン H}} を持っている場合は、適切なプロパゲーターが函数 //K//}} であり、次の方程式を満たす。

ここに //Hx//}} は、x}} 座標の項で記述されたハミルトニアンであり、 //δ//}} はディラックのデルタ函数である。

これは次のようにも表すことができる。

ここに //Û//}} は時刻 t}} での状態を時刻 t}}' の状態とする系のユニタリな時間発展作用素である。

非相対論的な量子力学では、プロパゲーターは与えられた初期状態と時間の区間の系の終了状態を求める。新しい状態は次の方程式で与えられる。

が差異 にのみ依存しているならば、この式は初期状態とプロパゲーターの畳み込みになる。

量子力学のプロパゲーターはまた、経路積分の定式化を使うことにより見つけ出すこともできる。

ここに経路積分の境界条件は、 //q//=}}//x//}}, //q//=}}//x' //}} を意味している。さらに L}} は系のラグランジアン  を表している。この足し上げられた経路は時間によってのみ進む。

非相対論的量子力学では、プロパゲーターは初期状態と時間区間を与えられた系の状態を示している。新しい状態は、

で表される。

//K//}} が距離の差異 //x−x' //}} のみに依存するとすれば、この初期状態とプロパゲーターの畳み込みを表している。

1.1. 基本的な例：自由粒子と調和振動子のプロパゲーター
-----------------------------

時間遷移不変な系に対し、プロパゲーターは時間の差異 }} のみに依存するので、式は次のように書き換えることができる。

1次元の自由粒子のプロパゲーターは、鞍点近似を通じて、右を無限遠点として表現 は、次のようになる。

1次元調和振動子のプロパゲーターは、メーラー核 である。N}}-次元の場合は、プロパゲーターは、積

により容易に得ることができる。

2. 相対論的プロパゲーター
--------------

相対論的量子力学や場の量子論では、プロパゲーターはローレンツ不変である。プロパゲーターは 2つの時空の点の間を移動する粒子の振幅を与える。

2.1. スカラープロパゲーター
----------------

場の量子論では、自由なスカラー場の理論は、より複雑な理論に必要な概念の説明に助けとなる使いよい単純な例である。スカラー場のプロパゲーターはスピンがゼロの粒子である。自由スカラー場の理論には、多数の可能なプロパゲーターが存在する。ここでは全体共通するプロパゲーターを記述する。

2.2. 位置空間
---------

位置空間のプロパゲーターは、クライン-ゴルドン方程式のグリーン函数である。このことは、位置空間のプロパゲーターが次の式を満たす函数 //G//}} であることを意味する。

ここに、

は、ミンコフスキー時空の 2つの点
は 座標上に作用する ダランベール演算子 
はディラックのデルタ函数とする。

空間を4次元のミンコフスキー時空へ制限すると、プロパゲーターの式のフーリエ変換が可能となり、次の式を得る。

この式は、方程式 //xf//=}}1}} は、ε}} がゼロとなる極限で、解

となることに注意すると、シュワルツ超函数の意味で式を置き換えることが可能である。以下の議論では、因果律から要求される符号を正しく選択する。解は、

であり、ここに は4元ベクトルの内積である。

上記の表現で積分路の方法の変形がどのようにするかにより異なる選択が可能であるが、この選択によりプロパゲーターの形も異なることとなる。積分路の選択は普通、 の積分の項の中に記述される。

従って、非積分函数は で 2つの極を持ち、どのようにして異なるプロパゲーターとなることを避けるのかの選択が難しい。

2.2.1. 因果プロパゲーター
----------------

遅延プロパゲーター ：

双方の極を時計周りでの積分路は、因果律遅延プロパゲータ  を与える。 と が空間的 、もしくは (すなわち、 が の未来の場合には、この値はゼロとなる。

積分路の選択は極限での値を計算することと等価である。

ここで、

は、 から への固有時間であり、 は第一種ベッセル函数である。表現 は が因果律に従っていることを意味し、ミンコフスキー時空では、

and .であることを意味する。この表現は、自由スカラー場の作用素の交換子の真空期待値  の項でも、次のように表現することができる。

ここに

はヘヴィサイドの階段函数であり、

は交換子である。

前進プロパゲーター :

2つの極の周りを反時計まわりの積分路は、因果律前進プロパゲーターである。この値は、 と が空間的  であったり、にはゼロとなる。

この積分路の選択は、次の極限を計算することと同等である。

この表現もまた、自由スカラー場の交換子の真空期待値の項で表現することができる。この場合は、次のようになる。

2.2.2. ファインマンプロパゲータ
-------------------

ファインマンプロパゲーター :

左の極は下を右の極は上を通る積分路は、ファインマンプロパゲーターを与える。

この積分路の選択は、次の極限の計算と等価である：

ここで

である。ここに、 と はミンコフスキー時空の 2つの点であり、指数の中のドットは4元ベクトルの内積である。 はハンケル函数であり、 はベッセル函数#変形ベッセル函数である。

2.3. 運動量空間プロパゲーター
-----------------

位置空間プロパゲーターのフーリエ変換は、運動量空間の中のプロパゲーターと考えることができる。位置空間のプロパゲーターを考えるよりも、非常に単純にすることができる。

運動量空間のプロパゲーターは、積分路が適切な時にのみうまく理解することができるにもかかわらず、明白な項 をもって書かれる。この 項は、境界条件と因果律が協調していることを意味している。

4元運動量 に対し、運動量空間内の因果律とファインマンプロパゲーターは、次のようになる。

ファインマンダイアグラムの計算の目的には、普通は、これらに のファクタをかけてこれらを表すと便利である。

2.4. 光速より速い？
------------

ファインマンプロパゲーターは最初は一見不可解に見える性質をいくつか持っている。特に、交換子とな異なり、プロパテーターは光円錐の外側でも、空間的  な区間に急速に落ち込むにもかかわらず、非ゼロである。粒子の運動の振幅として解釈すると、このことは光速より速く仮想粒子が移動していると解釈される。このことがどのように因果律と仲裁ができるのか、直ちには明らかにはならない。つまり光速より速い仮想粒子が光速より速くメッセージを運ぶことが可能なのであろうか？

答えはNOである。古典力学では粒子と因果関係にそって移動可能な区間は同じであることに対し、場の量子論ではこのことはもはや正しくなく、そこでは作用素が互いに影響を与えることを決定する交換子である。

それでは、何がプロパゲーターの空間的  な部分なのだろうか。場の量子論では、真空は積極的に寄与していて、や場の値は不確定性原理により関係付けられている。場の値はたとえ粒子数がゼロであっても不確定である。局所的に計測すると、場 の真空の値での重要な揺らぎを示す非ゼロの確率振幅が存在する。さらに、場の力学は空間的に補正された揺らぎを大きくする傾向にある。空間的  に分地された場の非ゼロの時間順序積は、従って、EPR相関  と類似して、これらの真空の揺らぎの中の非局所的な補正にたいする振幅を計測していることになる。実際、自由場に対しては2-相関函数としばしば呼ばれる。

場の量子論の仮定により、すべての観測可能量の作用素は互いに空間的  な分離と可換であるので、メッセージはこれ以上送信することができない。

2.5. ファインマン図形のプロパゲーター
---------------------

プロパゲーターの最も共通な使い方は、ファインマン・ダイアグラムを使う粒子の相互作用の確率振幅の計算である。これらの計算は、普通は運動量空間の中で行われる。一般に振幅はすべての直線に対するプロパゲーターの要素となる。すなわち、初期状態の入ってくる粒子もしくは、終了状態の出ていく粒子を表さないすべての直線は、プロパゲーターである。直線が交叉するすべての内部の頂点に対する理論のラグランジアン  の中の相互作用項に比例し、同じ形をした要素をも得ます。これらの前提はファインマン規則  として知られている。

内部の直線は仮想粒子に対応する。プロパゲーターは、古典力学の運動方程式では禁止されているエネルギーと運動量の組み合わせでは消滅しないので、仮想粒子はオフシェル  であることが許されるという。実際、プロパゲーターは波動函数を逆とすることにより得られるので、一般にはオンシェル  では特異点を持っている。

プロパゲーターに仲の粒子によって運ばれるエネルギーは、負ということさえあり得る。このことは単純には、粒子がある方向へ動いている替わりに、反粒子が反対の方向へ動いていると解釈できて、従って正のエネルギーの版大のフローを運んでいると解釈できる。プロパゲーターは両方の可能性を持ち合わせている。このことは、フェルミオンの場合のマイナス符号について注意深く扱わねばならない。フェルミオンのプロパゲーターは、エネルギーと運動量の中では偶函数ではない。(以下を参照）