S行列

S行列（Sぎょうれつ）または散乱行列（さんらんぎょうれつ、）とは、散乱過程の始状態と終状態に関係する行列である。量子力学、散乱理論、場の量子論、マイクロ波工学などで用いられる。

量子論における散乱演算子は、ヒルベルト空間上の粒子の漸近的な状態をつなぐユニタリ演算子として定義される。
 
つまり、始状態  の後に散乱過程が起こり、終状態  に到達したときの、時間発展演算子 が散乱演算子である。この散乱演算子を行列表示したものがS行列である。

設定・定義
散乱過程を始状態から終状態への転移としてとらえる散乱理論では、その転移確率を時間依存シュレディンガー方程式を用いて求める（時間発展についてはシュレディンガー描像から相互作用描像に書き換えてから計算することもある）。この方法は量子力学の考え方に沿った方法であり、非弾性散乱なども扱えるため一般性がある。

系の時間発展は相互作用描像であるとする。つまり状態の時間発展は「朝永-シュウィンガーの式」で表される。

衝突前の始状態の時刻としては、事実上無限の過去の時刻をとることができる。
には、2個の入射粒子は十分遠くに離れていて、その間に相互作用はないと考えられる。
ただし粒子間の相互作用は、粒子間距離の逆数よりもはやく消えるものとする(したがって粒子間にクーロン力が作用する場合には、以下の理論はそのままでは適用できない)。この条件をみたす限り、における状態として、自由ハミルトニアンの固有状態を選ぶことができる。すなわちにおいて系の状態ベクトルを以下のように設定しておく。

このとき状態の時間変化は時間発展演算子を用いて以下のように表せる。

この表式は、はじめ時刻において状態にあった系が、時刻においては相互作用の影響によって状態に変わっていることを表すものである。

2粒子の衝突が終わり、それらの粒子がたがいに遠くに離れた時刻をとすると、その状態は

で与えられる。この式によって形成された状態ベクトルを、の固有ベクトルの完全系で展開し、その展開係数をと書くと、

である。すなわち

は、時刻にの固有状態にあった系が、相互作用によって、時刻時刻においての固有状態に転移する確率振幅を与える。このをS行列と呼び、をS演算子と呼ぶ。

散乱現象に関するすべての知識はS行列によって記述される。つまり、S行列が求められれば散乱問題は解けたことになる。S行列が求まれば、その絶対値の2乗をとることにより、始状態から終状態への転移確率が求まる。

これより散乱断面積が計算できる。したがって、散乱現象を状態の転移として考える立場において、S行列はその中心的な役割をになう重要な物理量となる。

T行列・リアクタンス行列
散乱問題を解くときにS行列の代わりに

で定義されるT行列を使うこともある。T行列は散乱振幅に直結していて便利である。

さらにケイリー変換

によってエルミート演算子を導入することがあるが、これをR行列またはリアクタンス行列という。

参考文献 
 
 『物理学辞典』 培風館、1984年

関連項目 

 散乱理論
 遷移行列
 Sパラメータ
 S行列の理論
 S行列の解析性

量子力学
散乱理論
場の量子論
行列