プロパゲーター

量子力学と場の量子論では、プロパゲーター（；伝播函数ともいう）は、時間を指定されたときのある位置から別の位置へ移動する粒子の、あるいは移動するエネルギーと運動量の確率振幅（probability amplitude）を与える。場の量子論での衝突の確率を計算するファインマン・ダイアグラムでは、仮想粒子のプロパゲーターは、ダイアグラムにより記述される散乱事象の確率へ寄与する。プロパゲーターは、また、粒子に適切な波動作用素の逆とみなすこともできるので、しばしば、グリーン函数とも呼ばれる。
非相対論的プロパゲーター.
非相対論的な量子力学では、プロパゲーターはある時刻での空間位置から後の時刻での位置への移動する基本粒子の確率振幅を与える。プロパゲーターはシュレーディンガー方程式のグリーン函数（基本解）である。このことは、系がハミルトニアン を持っている場合は、適切なプロパゲーターが函数 であり、次の方程式を満たす。
ここに は、 座標の項で記述されたハミルトニアンであり、 はディラックのデルタ函数である。
これは次のようにも表すことができる。
ここに は時刻 での状態を時刻 ' の状態とする系のユニタリな時間発展作用素である。
非相対論的な量子力学では、プロパゲーターは与えられた初期状態と時間の区間の系の終了状態を求める。新しい状態は次の方程式で与えられる。
formula_4 が差異 formula_5 にのみ依存しているならば、この式は初期状態とプロパゲーターの畳み込みになる。
量子力学のプロパゲーターはまた、経路積分の定式化を使うことにより見つけ出すこともできる。
ここに経路積分の境界条件は、 , を意味している。さらに は系のラグランジアン () を表している。この足し上げられた経路は時間によってのみ進む。
非相対論的量子力学では、プロパゲーターは初期状態と時間区間を与えられた系の状態を示している。新しい状態は、
で表される。
 が距離の差異 のみに依存するとすれば、この初期状態とプロパゲーターの畳み込みを表している。
基本的な例：自由粒子と調和振動子のプロパゲーター.
時間遷移不変な系に対し、プロパゲーターは時間の差異 のみに依存するので、式は次のように書き換えることができる。
は、を通じて、右を無限遠点として表現 は、次のようになる。
は、(Mehler kernel)
である。-次元の場合は、プロパゲーターは、積
により容易に得ることができる。
相対論的プロパゲーター.
相対論的量子力学や場の量子論では、プロパゲーターはローレンツ不変である。プロパゲーターは 2つの時空の点の間を移動する粒子の振幅を与える。
スカラープロパゲーター.
場の量子論では、自由な（相互作用のない）スカラー場の理論は、より複雑な理論に必要な概念の説明に助けとなる使いよい単純な例である。スカラー場のプロパゲーターはスピンがゼロの粒子である。自由スカラー場の理論には、多数の可能なプロパゲーターが存在する。ここでは全体共通するプロパゲーターを記述する。
位置空間.
位置空間のプロパゲーターは、クライン-ゴルドン方程式のグリーン函数である。このことは、位置空間のプロパゲーターが次の式を満たす函数 であることを意味する。
ここに、
とする。（相対論的な場の量子論の計算の典型として、光速 は 1 であるという単位系を使う。）
空間を4次元のミンコフスキー時空へ制限すると、プロパゲーターの式のフーリエ変換が可能となり、次の式を得る。
この式は、方程式 は、 がゼロとなる極限で、解
となることに注意すると、シュワルツ超函数の意味で式を置き換えることが可能である。以下の議論では、因果律から要求される符号を正しく選択する。解は、
であり、ここに formula_18 は4元ベクトルの内積である。
上記の表現での変形がどのようにするかにより異なる選択が可能であるが、この選択によりプロパゲーターの形も異なることとなる。積分路の選択は普通、formula_19 の積分の項の中に記述される。
従って、非積分函数は formula_20 で 2つの極を持ち、どのようにして異なるプロパゲーターとなることを避けるのかの選択が難しい。
因果プロパゲーター.
遅延プロパゲーター (Retarded propagator)：
双方の極を時計周りでの積分路は、因果律遅延プロパゲータ (causal retarded propagator) を与える。formula_13 と formula_22 が空間的 (spacelike)、もしくは formula_23 (すなわち、formula_22 が formula_13の未来の場合には、この値はゼロとなる。
積分路の選択は極限での値を計算することと等価である。
ここで、
は、formula_13 から formula_22 への固有時間であり、formula_30 は第一種ベッセル函数である。表現 formula_31 は formula_22 が因果律に従っていることを意味し、ミンコフスキー時空では、 
であることを意味する。この表現は、自由スカラー場の作用素の交換子の真空期待値 () の項でも、次のように表現することができる。
ここに formula_36
はヘヴィサイドの階段函数であり、
は交換子である。
前進プロパゲーター (Advanced propagator):
2つの極の周りを反時計まわりの積分路は、因果律前進プロパゲーターである。この値は、formula_13 と formula_22 が空間的 (spacelike) であったり、formula_40（すなわち、formula_22 が formula_13 の過去であった場合）にはゼロとなる。
この積分路の選択は、次の極限を計算することと同等である。
この表現もまた、自由スカラー場の交換子の真空期待値()の項で表現することができる。この場合は、次のようになる。
ファインマンプロパゲータ.
ファインマンプロパゲーター (Feynman propagator): 
左の極は下を右の極は上を通る積分路は、ファインマンプロパゲーターを与える。
この積分路の選択は、次の極限の計算と等価である（Huang p30を参照のこと）：
ここで
である。ここに、formula_13 と formula_22 はミンコフスキー時空の 2つの点であり、指数の中のドットは4元ベクトルの内積である。formula_49 はハンケル函数であり、formula_50 はベッセル函数#変形ベッセル函数である。
運動量空間プロパゲーター.
位置空間プロパゲーターのフーリエ変換は、運動量空間の中のプロパゲーターと考えることができる。（運動量空間の中で考えると）位置空間のプロパゲーターを考えるよりも、非常に単純にすることができる。
運動量空間のプロパゲーターは、（上でみたように）積分路が適切な時にのみうまく理解することができるにもかかわらず、明白な項 formula_51 をもって書かれる。この formula_51 項は、境界条件と因果律が協調していることを意味している。（以下にこのことを示す）
4元運動量 formula_53 に対し、運動量空間内の因果律とファインマンプロパゲーターは、次のようになる。
ファインマンダイアグラムの計算の目的には、普通は、これらに formula_57 のファクタをかけてこれらを表すと便利である（記法の変更）。
光速より速い？.
ファインマンプロパゲーターは最初は一見不可解に見える性質をいくつか持っている。特に、交換子とな異なり、プロパテーターは光円錐の外側でも、空間的 (spacelike) な区間に急速に落ち込むにもかかわらず、非ゼロである。粒子の運動の振幅として解釈すると、このことは光速より速く仮想粒子が移動していると解釈される。このことがどのように因果律と仲裁ができるのか、直ちには明らかにはならない。つまり光速より速い仮想粒子が光速より速くメッセージを運ぶことが可能なのであろうか？
答えはNOである。古典力学では粒子と因果関係にそって移動可能な区間は同じであることに対し、場の量子論ではこのことはもはや正しくなく、そこでは作用素が互いに影響を与えることを決定する交換子である。
それでは、何がプロパゲーターの空間的 (spacelike) な部分なのだろうか。場の量子論では、真空は積極的に寄与していて、や場の値は不確定性原理により関係付けられている。場の値はたとえ粒子数がゼロであっても不確定である。局所的に計測すると（もう少し詳しく言うと、もし小さな領域上の場（の値）を平均することで作用素を計測しようとすると）、場 formula_58 の真空の値での重要な揺らぎを示す非ゼロの確率振幅が存在する。さらに、場の力学は空間的に補正された揺らぎを大きくする傾向にある。空間的 (spacelike) に分地された場の非ゼロの時間順序積は、従って、EPR相関 (EPR correlation) と類似して、これらの真空の揺らぎの中の非局所的な補正にたいする振幅を計測していることになる。実際、自由場に対しては2-相関函数としばしば呼ばれる。
場の量子論の仮定により、すべての観測可能量の作用素は互いに空間的 (spacelike) な分離と可換であるので、メッセージはこれ以上送信することができない。
ファインマン図形のプロパゲーター.
プロパゲーターの最も共通な使い方は、ファインマン・ダイアグラムを使う粒子の相互作用の確率振幅の計算である。これらの計算は、普通は運動量空間の中で行われる。一般に振幅はすべての直線に対するプロパゲーターの要素となる。すなわち、初期状態の入ってくる粒子もしくは、終了状態の出ていく粒子を表さないすべての直線は、プロパゲーターである。直線が交叉するすべての内部の頂点に対する理論のラグランジアン () の中の相互作用項に比例し、同じ形をした要素をも得ます。これらの前提はファインマン規則 (Feynman rules) として知られている。
内部の直線は仮想粒子に対応する。プロパゲーターは、古典力学の運動方程式では禁止されているエネルギーと運動量の組み合わせでは消滅しないので、仮想粒子はオフシェル (off shell) であることが許されるという。実際、プロパゲーターは波動函数を逆とすることにより得られるので、一般にはオンシェル (on shell) では特異点を持っている。
プロパゲーターに仲の粒子によって運ばれるエネルギーは、負ということさえあり得る。このことは単純には、粒子がある方向へ動いている替わりに、反粒子が反対の方向へ動いていると解釈できて、従って正のエネルギーの版大のフローを運んでいると解釈できる。プロパゲーターは両方の可能性を持ち合わせている。このことは、フェルミオンの場合のマイナス符号について注意深く扱わねばならない。フェルミオンのプロパゲーターは、エネルギーと運動量の中では偶函数ではない。(以下を参照）
仮想粒子はエネルギーと運動量を保存する。しかし、それらはオフシェルであることも可能なので、図形が閉ループを含んでいたとしても、ループを形成する仮想粒子のエネルギーと運動量は、部分的には光速されていない。その理由は、ループ中の一つの粒子の量の変化は、他の（大きさが）等しい反対の変化によりバランスをとることができる。従って、ファインマン図形のすべてのループは、可能なエネルギーと運動量の連続性を渡る積分を要求する。一般にこれらのプロパゲーターの積の積分は発散するので、繰り込みの過程によって扱われなければならない状況になる。
ディラックの理論.
粒子がスピンを持っていると、そのプロパゲーターは一般的には、スピンや偏極のインデックスを持つように少し複雑となる。量子力学の中で電子を表すファインマン図形を使ったディラック場の運動量空間のプロパゲーターは、次の形となる。
ここに formula_60 はディラック方程式の共変正を表すガンマ行列である。しばしば、ガンマ行列はファインマンのスラッシュ記法を使い、次のように短く書かれる。
位置空間では、
ランダウ（ローレンツ）ゲージ：
関連する特異函数.
スカラープロパゲーターはクライン・ゴルドン方程式のグリーン函数である。場の量子論で重要な関連する特異函数が存在する。ビヨルケン (Bjorken) とドレル (Drell) の記法を使う。またボゴリューボフ (Bogolyubov) とシルコフ (Shirkov) の (Appendix A) も参照のこと。これらの函数は非常に単純に、場の作用素の積の真空期待値 () で定義される。
クライン–ゴルドン方程式のプロパゲーター.
パウリ–ジョルダン函数.
2つのスカラー場の作用素の交換子はパウリ・ジョルダン函数 formula_64 を次のように定義する。
で、ここに
である。
これは formula_67 満たし、formula_68 であればゼロである。
正と負の周波数部分（カットプロパゲーター）.
カットプロパゲーターとしばしば呼ばれる、formula_64 の正と負の周波数部分を相対論的不変な方法で定義することができる。
正の周波数部分は次のように定義することができる。
負の周波数部分は次のように定義することができる。
これらは次の2つの式を満たす。 
補助函数.
2つのスカラー場の作用素の反交換関係は、次式によって formula_74 函数を定義する。
ここに
である。この式は、formula_77を満たす。
クライン・ゴルドン方程式のグリーン函数.
上記に定義された遅延、前進、ファインマンプロパゲーターは、クライン・ゴルドン方程式のグリーン函数である。それらは、により特異函数へ関連づけられている。
ここに、formula_81 である。