プロパゲーター

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

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

:\left( H_x - i\hbar \frac{\partial}{\partial t} \right) K(x,t;x',t') = -i\hbar \delta(x-x')\delta(t-t')

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

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

:K(x,t;x',t') = \langle x | \hat{U}(t,t') | x'\rangle 

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

量子力学のプロパゲーターはまた、経路積分の定式化を使うことにより見つけ出すこともできる。
:K(x,t;x',t') = \int \exp \left[\frac{i}{\hbar} \int_t^{t'} L(\dot{q},q,t) dt\right] D[q(t)]
ここに経路積分の境界条件は、 ,  を意味している。さらに  は系のラグランジアン (:en:Lagrangian) を表している。この足し上げられた経路は時間によってのみ進む。

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

:\psi(x,t) = \int_{-\infty}^\infty \psi(x',t') K(x,t; x', t') dx'.

K(x,t;x',t') が差異 x-x' にのみ依存しているならば、この式は初期状態とプロパゲーターの畳み込みになる。

### 基本的な例：自由粒子と調和振動子のプロパゲーター
時間遷移不変な系に対し、プロパゲーターは時間の差異  のみに依存するので、式は次のように書き換えることができる。
:K(x,t;x',t')=K(x,x';t-t') ~.

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

1次元調和振動子のプロパゲーターは、(Mehler kernel)

である。-次元の場合は、プロパゲーターは、積
:K(\vec{x},\vec{x}';t)=\prod_{q=1}^N K(x_q,x_q';t)~.
により容易に得ることができる。

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

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

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

:(\square_x + m^2)G(x,y)=-\delta(x-y)

ここに、
* x,y は、ミンコフスキー時空の 2つの点
*  \square_x = \frac{\partial^2}{\partial t^2} - \nabla^2  は x 座標上に作用する ダランベール演算子 (d'Alembertian operator)
* \delta(x-y) はディラックのデルタ函数

とする。（相対論的な場の量子論の計算の典型として、光速  は 1 であるという単位系を使う。）

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

:\,(-p^2 + m^2)G(p)=-1~.

この式は、方程式  は、 がゼロとなる極限で、解
:f(x)=1/(x\pm i\epsilon)=1/x\pm i\pi\delta(x) 
となることに注意すると、シュワルツ超函数の意味で式を置き換えることが可能である。以下の議論では、因果律から要求される符号を正しく選択する。解は、

:G(x,y) = \frac{1}{(2 \pi)^4} \int d^4p \, \frac{e^{-ip(x-y)}}{p^2 - m^2\pm i\epsilon}

であり、ここに p(x-y):= p_0(x^0-y^0) - \vec{p} \cdot (\vec{x}-\vec{y}) は4元ベクトルの内積である。

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

従って、非積分函数は p_0 = \pm \sqrt{\vec{p}^2 + m^2} で 2つの極を持ち、どのようにして異なるプロパゲーターとなることを避けるのかの選択が難しい。

#### 因果プロパゲーター

**遅延プロパゲーター** (Retarded propagator)：

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

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

:G_\mathrm{ret}(x,y) = \lim_{\epsilon \to 0} \frac{1}{(2 \pi)^4} \int d^4p \, \frac{e^{-ip(x-y)}}{(p_0+i\epsilon)^2 - \vec{p}^2 - m^2}
= \begin{cases}
\dfrac{1}{2\pi} \delta(\tau_{xy}^2) - \dfrac{m J_1(m \tau_{xy})}{4 \pi \tau_{xy}} & \text{ if } y \prec x \\
0 & \text{otherwise} 
\end{cases}

ここで、

:\tau_{xy}:= \sqrt{ (x^0 - y^0)^2 - (\vec{x} - \vec{y})^2}

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

:y^0  and \tau_{xy}^2 \geq 0.

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

:G_\mathrm{ret}(x,y) = i \langle 0| \left[ \Phi(x), \Phi(y) \right] |0\rangle \Theta(x^0 - y^0)

ここに \Theta (x) := \begin{cases}
1 & \mbox{for} & x \ge 0 \\
0 & \mbox{for} & x 

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

:\left[\Phi(x),\Phi(y) \right]:= \Phi(x) \Phi(y) - \Phi(y) \Phi(x)

は交換子である。

**前進プロパゲーター** (Advanced propagator):

2つの極の周りを反時計まわりの積分路は、**因果律前進プロパゲーター**である。この値は、x と y が空間的 (spacelike) であったり、x^0 > y^0（すなわち、y が x の過去であった場合）にはゼロとなる。

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

:G_\mathrm{adv}(x,y)
= \lim_{\epsilon \to 0} \frac{1}{(2 \pi)^4} \int d^4p \, \frac{e^{-ip(x-y)}}{(p_0 - i\epsilon)^2 - \vec{p}^2 - m^2}
= \begin{cases} 
-\frac{1}{2\pi} \delta(\tau_{xy}^2) + \frac{m J_1(m \tau_{xy})}{4 \pi \tau_{xy}} & \text{ if } x \prec y \\
0 & \text{otherwise}
\end{cases}.

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

:G_\mathrm{adv}(x,y) = -i \langle 0|\left[ \Phi(x), \Phi(y) \right]|0\rangle \Theta(y^0 - x^0).

#### ファインマンプロパゲータ
ファインマンプロパゲーター (Feynman propagator): 	

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

この積分路の選択は、次の極限の計算と等価である（Huang p30を参照のこと）：

: G_\mathrm{F}(x,y)
= \lim_{\epsilon \to 0} \frac{1}{(2 \pi)^4} \int d^4p \, \frac{e^{-ip(x-y)}}{p^2 -  m^2 + i\epsilon}
= \begin{cases}
- \dfrac{1}{4 \pi} \delta(s) + \dfrac{m}{8 \pi \sqrt{s}} H_1^{(1)}(m \sqrt{s}) & \text{ if } s \geq 0 \\
 - \dfrac{i m}{ 4 \pi^2 \sqrt{-s}} K_1(m \sqrt{-s}) & \text{if} s 

ここで

:s:= (x^0 - y^0)^2 - (\vec{x} - \vec{y})^2.

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

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

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

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

:\tilde{G}_\mathrm{ret}(p) = \frac{1}{(p_0+i\epsilon)^2 - \vec{p}^2 - m^2}

:\tilde{G}_\mathrm{adv}(p) = \frac{1}{(p_0-i\epsilon)^2 - \vec{p}^2 - m^2}

:\tilde{G}_F(p) = \frac{1}{p^2 -  m^2 + i\epsilon}. 

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

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

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

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

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

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

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

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

仮想粒子はエネルギーと運動量を保存する。しかし、それらはオフシェルであることも可能なので、図形が閉**ループ**を含んでいたとしても、ループを形成する仮想粒子のエネルギーと運動量は、部分的には光速されていない。その理由は、ループ中の一つの粒子の量の変化は、他の（大きさが）等しい反対の変化によりバランスをとることができる。従って、ファインマン図形のすべてのループは、可能なエネルギーと運動量の連続性を渡る積分を要求する。一般にこれらのプロパゲーターの積の積分は発散するので、繰り込みの過程によって扱われなければならない状況になる。

### ディラックの理論
粒子がスピンを持っていると、そのプロパゲーターは一般的には、スピンや偏極のインデックスを持つように少し複雑となる。量子力学の中で電子を表すファインマン図形を使ったディラック場の運動量空間のプロパゲーターは、次の形となる。

: \tilde{S}_F(p) = {(\gamma^\mu p_\mu + m) \over p^2 - m^2 + i \epsilon} 

ここに \gamma^\mu はディラック方程式の共変正を表すガンマ行列である。しばしば、ガンマ行列はファインマンのスラッシュ記法を使い、次のように短く書かれる。

:\tilde{S}_F(p) = {1 \over \gamma^\mu p_\mu - m + i\epsilon} = {1 \over p\!\!\!/ - m + i\epsilon}. 

位置空間では、

:S_F(x-y) = \int{k^2-m^2+i\epsilon}.

ランダウ（ローレンツ）ゲージ：
:\frac{g_{\mu\nu} - \frac{k_\mu k_\nu}{k^2}}{k^2-m^2+i\epsilon}.-->

## 関連する特異函数
スカラープロパゲーターはクライン・ゴルドン方程式のグリーン函数である。場の量子論で重要な関連する特異函数が存在する。ビヨルケン (Bjorken) とドレル (Drell) の記法を使う。またボゴリューボフ (Bogolyubov) とシルコフ (Shirkov) の (Appendix A) も参照のこと。これらの函数は非常に単純に、場の作用素の積の真空期待値 (:en:vacuum expectation value) で定義される。

### クライン&ndash;ゴルドン方程式のプロパゲーター

#### パウリ&ndash;ジョルダン函数
2つのスカラー場の作用素の交換子はパウリ・ジョルダン函数 \Delta(x-y) を次のように定義する。

:\langle 0 | \left[ \Phi(x),\Phi(y) \right] | 0 \rangle = i \Delta(x-y)
で、ここに
:\,\Delta(x-y) = G_\mathrm{adv} (x-y) - G_\mathrm{ret}(x-y)
である。

これは \,\Delta(x-y) = -\Delta(y-x) 満たし、(x-y)^2  であればゼロである。

#### 正と負の周波数部分（カットプロパゲーター）
カットプロパゲーターとしばしば呼ばれる、\Delta(x-y) の正と負の周波数部分を相対論的不変な方法で定義することができる。

正の周波数部分は次のように定義することができる。
:\Delta_+(x-y) = \langle 0 | \Phi(x) \Phi(y) |0 \rangle ,

負の周波数部分は次のように定義することができる。
:\Delta_-(x-y) = \langle 0 | \Phi(y) \Phi(x) |0 \rangle .

これらは次の2つの式を満たす。 
:\,i \Delta = \Delta_+ - \Delta_-
:(\Box_x + m^2) \Delta_{\pm}(x-y) = 0.

#### 補助函数
2つのスカラー場の作用素の反交換関係は、次式によって \Delta_1(x-y) 函数を定義する。
:\langle 0 | \left\{ \Phi(x),\Phi(y) \right\} | 0 \rangle = \Delta_1(x-y)
ここに
:\,\Delta_1(x-y) = \Delta_+ (x-y) + \Delta_-(x-y)
である。この式は、\,\Delta_1(x-y) = \Delta_1(y-x).を満たす。

### クライン・ゴルドン方程式のグリーン函数

上記に定義された遅延、前進、ファインマンプロパゲーターは、クライン・ゴルドン方程式のグリーン函数である。それらは、により特異函数へ関連づけられている。
*\, G_\mathrm{ret}(x-y) = -\Delta(x-y) \Theta(x_0-y_0) 
*\, G_\mathrm{adv}(x-y) = \Delta(x-y) \Theta(y_0-x_0) 
*\,2 G_F(x-y) = -i \Delta_1(x-y) + \epsilon(x_0 - y_0) \Delta(x-y) 
ここに、\,\epsilon(x_0-y_0) = 2 \Theta(x_0-y_0) - 1 である。

## 脚注・出典

## 参考文献
* Bjorken, J.D., Drell, S.D., *Relativistic Quantum Fields* (Appendix C.), New York: McGraw-Hill 1965, ISBN 0-07-005494-0.
* N. N. Bogoliubov, D. V. Shirkov, *Introduction to the theory of quantized fields*, Wiley-Interscience, ISBN 0-470-08613-0 (Especially pp.&nbsp;136–156 and Appendix A)
* Edited by DeWitt, Cécile and DeWitt, Bryce, *Relativity, Groups and Topology*, section Dynamical Theory of Groups & Fields, (Blackie and Son Ltd, Glasgow), Especially p615-624, ISBN 0-444-86858-5
* Griffiths, David J., *Introduction to Elementary Particles*, New York: John Wiley & Sons, 1987. ISBN 0-471-60386-4
* Griffiths, David J., *Introduction to Quantum Mechanics*, Upper Saddle River: Prentice Hall, 2004. ISBN 0-131-11892-7
* Halliwell, J.J., Orwitz, M. *Sum-over-histories origin of the composition laws of relativistic quantum mechanics and quantum cosmology*, 
* Huang, Kerson, *Quantum Field Theory: From Operators to Path Integrals* (New York: J. Wiley & Sons, 1998), ISBN 0-471-14120-8
* Itzykson, Claude, Zuber, Jean-Bernard *Quantum Field Theory*, New York: McGraw-Hill, 1980. ISBN 0-07-032071-3
* Pokorski, Stefan, *Gauge Field Theories*, Cambridge: Cambridge University Press, 1987. ISBN 0-521-36846-4  *(Has useful appendices of Feynman diagram rules, including propagators, in the back.)*
* Schulman, Larry S., *Techniques & Applications of Path Integration*, Jonh Wiley & Sons (New York-1981) ISBN 0-471-76450-7

## 外部リンク
* Three Methods for Computing the Feynman Propagator