時間順序積
物理学において、時間順序積(じかんじゅんじょせき、time ordered product)もしくはT積(T- product)とは、量子力学や場の量子論で、演算子の積を時間の順序関係に応じて、並べ替えた積のこと。また、通常の積を時間順序に並べ替える作用素を時間順序作用素と呼ぶ。時間順序積は時間発展作用素の逐次積分による表現等に応用される。時間順序積の記法は物理学者フリーマン・ダイソンによって、場の理論におけるS行列の計算の際に導入された。
量子力学において、物理量は非可換な演算子で表現されるため、物理量の積はその順番によって異なる結果を与える。特に時間に依存する演算子の積について、時間の順序関係に従って、前の時刻にある演算子ほど右側に位置するように並び変えたものを時間順序積と呼ぶ。また時間順序に従って並べ替える作用素を時間順序作用素といい、記号Tで表す。
2つの物理量A1(t1)、A2(t2)の積において、その時間順序積は
\begin{align}
T \{ A_1(t_1)A_2(t_2) \}
&=\left\{\begin{matrix}
A_1(t_1)A_2(t_2) &  \quad (t_1> t_2) \\
A_2(t_2)A_1(t_1) &  \quad (t_2> t_1)
\end{matrix}\right. \\
&=  \theta(t_1-t_2)A_1(t_1)A_2(t_2)+\theta(t_2-t_1)A_2(t_2)A_1(t_1)
\end{align}
で与えられる。ここで、θ(t)はヘヴィサイドの階段関数を表す。
より一般にn個の物理量A1(t1)、…、An(tn)の積において、時間順序積が
\begin{align}
T \{ A_1(t_1)A_2(t_2)\dotsb A_n(t_n) \}
&= A_{i_1}(t_{i_1})A_{i_2}(t_{i_2}) \dotsb A_{i_n}(t_{i_n}) \quad (t_{i_1} > t_{i_2} > \dots >t_{i_n} )\\
&= \sum_{p} \theta(t_{p_1}>t_{p_2}> \dots >t_{p_n})A_{p_1}(t_{p_1})A_{p_2}(t_{p_2}) \dotsb A_{p_n}(t_{p_n})
\end{align}
で定義される。ここで、添え字pについての和は、n 次の対称群における置換全てにわたる和を意味する。
こうした時間順序積は、シュレディンガー表示での時間に陽に依存するハミルトニアンや、相互作用表示での時間に依存する形式でのハミルトニアンにおいて、対応する時間発展作用素を逐次積分によって表現する際に応用される。
場の量子論においても、同様に場の演算子の積に対しての時間順序積が定義される。但し、場の演算子の場合は、ボソンの演算子とフェルミオンの演算子では、並べ替えにおける符号付加の有無が異なる。
2つの場の演算子A1(t1)、A2(t2)の積において、その時間順序積は
\begin{align}
T \{ A_1(t_1)A_2(t_2) \}
&=\left\{\begin{matrix}
A_1(t_1)A_2(t_2) &  \quad (t_1> t_2) \\
\pm A_2(t_2)A_1(t_1) &  \quad (t_2> t_1)
\end{matrix}\right. \\
&=  \theta(t_1-t_2)A_1(t_1)A_2(t_2) \pm \theta(t_2-t_1)A_2(t_2)A_1(t_1)
\end{align}
で与えられる。ここで、符号±は+がボソンの演算子、−がフェルミオンの演算子の場合に対応する。この符号の与え方により、反交換するフェルミオンの場合にもt1→t2としたときに、t1>t2の結果はt2>t1の結果に一致する。
より一般にn 個の場の演算子A1(t1)、...、An(tn)の積において、時間順序積が
T \{ A_1(t_1)A_2(t_2)\dotsb A_n(t_n) \}
= \sum_{p} \theta(t_{p_1} > t_{p_2} > \dots > t_{p2}) \epsilon(p)
A_{p_1}(t_{p_1})A_{p_2}(t_{p2}) \dotsb A_{p_n}(t_{p_n})
で定義される。ここで、添え字p についての和は、n 次の対称群における置換全てにわたる和を意味し、記号ε(p)はボソンの演算子の場合には1、フェルミオンの演算子には置換の符号を表すものとする。
シュレディンガー表示の量子力学において、ハミルトニアンHが時間に陽に依存する場合を考える。
このとき、時間順序積を用いると時間発展作用素を簡明に表現することができる。
系の時間発展作用素Uは状態|ψ(t)〉に対して、
|\psi(t) \rangle=\hat{U}(t,t_0)|\psi(t_0) \rangle
の関係を与えるものとして定義され、関係式
\begin{align}
\hat{U}(t_1,t_3) &= \hat{U}(t_1,t_2)U(t_2,t_3) & (t_1>t_2>t_3) \\
\hat{U}(t_0,t_0) &= I
\end{align}
を満たす。シュレディンガー方程式より
i \hbar \frac{\partial}{\partial t} | \psi(t) \rangle=
i \hbar \frac{\partial}{\partial t} \hat{U}(t,t_0)| \psi(t_0) \rangle
=\hat{H}(t)\hat{U}(t,t_0)|\psi(t_0)\rangle
であるから、U は積分方程式
\hat{U}(t,t_0) = I - \frac{i}{\hbar} \int_{t_0}^{t}ds \hat{H}(s)\hat{U}(s,t_0)
を満たす。この積分方程式の解は逐次積分によって求めることができ、ノイマン級数
\begin{align}
\hat{U}(t,t_0) = I -  \frac{i}{\hbar}  \int_{t_0}^{t}dt_1 \hat{H}(t_1)
& + \left( \frac{-i}{\hbar} \right)^2 \int_{t_0}^{t}dt_1 \int_{t_0}^{t_1}dt_2 \hat{H}(t_1) \hat{H}(t_2) \\
& + \left( \frac{-i}{\hbar} \right)^3 \int_{t_0}^{t}dt_1 \int_{t_0}^{t_1}dt_2 \int_{t_0}^{t_2}dt_3 \hat{H}(t_1) \hat{H}(t_2)\hat{H}(t_3) + \dotsb
\end{align}
で与えられる。ここで、異なる時間におけるハミルトニアンは必ずしも可換ではないため、積分の中の順序は前の時刻にある演算子ほど右側に位置するように保たれなくてはならない。ここで、時間順序積の表現を導入すれば、この級数は
\begin{align}
\hat{U}(t,t_0) & = \sum_{n=0}^{\infty} \frac{1}{n!} \left( \frac{-i}{\hbar} \right)^n
\int_{t_0}^{t}dt_1\int_{t_0}^{t}dt_2 \dotsb \int_{t_0}^{t}dt_n
T \{ \hat{H}(t_1)\hat{H}(t_2) \dotsb \hat{H}(t_n) \} \\
& = T \{ \exp\left(- \frac{i}{\hbar}\int_{t_0}^{t}ds \hat{H}(s)\right) \}
\end{align}
と簡明にまとめることができる。
相互作用表示の場合においても、その時間発展作用素UIは時間順序積の級数によって表現することができる。系のハミルトニアンが
\hat{H} = \hat{H}_0 + \hat{V}
と分解されるとすると、相互作用表示での時間発展作用素は時間順序積を用いて
\begin{align}
\hat{U}_{\mathrm I}(t,t_0) & = \sum_{n=0}^{\infty} \frac{1}{n!} \left( \frac{-i}{\hbar} \right)^n
\int_{t_0}^{t}dt_1\int_{t_0}^{t}dt_2 \dotsb \int_{t_0}^{t}dt_n
T \{ \hat{V}_{\mathrm I}(t_1) \hat{V}_{\mathrm I}(t_2) \dotsb \hat{V}_{\mathrm I}(t_n) \} \\
& = T \{ \exp\left(-\frac{i}{\hbar}\int_{t_0}^{t}ds \hat{V}_{\mathrm I}(s)\right) \}
\end{align}
と表現することができる。但し、VI(t )はV の相互作用表示である。
歴史的には物理学者フリーマン・ダイソンが、場の理論のS行列S=UI(+∞, − ∞)の計算において、この表式を最初に導いており、時間順序積によるこの級数表示をダイソン級数(Dyson's series)と呼ぶ。