多体波動関数

量子力学における多体波動関数とは、多粒子系の状態を表す波動関数のこと。

同種な多粒子系の状態を占有数表示で表すことを第二量子化と呼ばれるのに対し、多体波動関数で状態を表すことを第一量子化と呼ばれることがある。

多体波動関数の意味 
１つの粒子からなる系の場合、その量子状態は波動関数で表される。粒子の位置をと名付けると、波動関数はについての関数で複素数値をとる。その物理的な意味は、この粒子の位置を測定したときの測定値のバラつきを表す確率振幅である（ボルンの規則）。

2つの粒子からなる系の場合は、それぞれの粒子の位置を、と名付けると、この2粒子系の波動関数はとなり、複素数値をとる関数。ただし1粒子の場合とは違い、は、2つの位置座標、を指定してはじめて1つの複素数が返ってくるような関数である。この返ってきた複素数値を、3次元空間のどこかに「住んでいる」という1粒子の波動関数やあるいは場のような考え方をすることはできない。このことは、3つ以上の粒子の場合でも同様である。そういう意味で、多粒子系を考えることで、量子力学の波動関数を「空間に実在する波」とはみなせないことが明確になる。

対称性と反対称性 
多数の同種粒子からなる系を考えるときに重要となる概念が不可弁別性である。たとえば2つの同種粒子からなる系の場合、2つの粒子の名前の入れ替えをしても、入れ替える前と同じ状態のままである。

この事実を反映して、2つの粒子の名前の入れ替えをしても、多体波動関数で変わるのはせいぜい位相因子までであることがわかる。
2粒子間で名前の入れ替えを2回続けて行うと元の波動関数に戻るはずなので、粒子の名前の入れ替えによって多体波動関数にかかる位相因子は+1または-1のどちらかであることがわかる。

粒子の名前の入れ替えによって+1の因子がつく場合の多体波動関数は対称性を持つと言い、この場合の同種粒子をボース粒子と言う。

一方で-1の因子がつく場合の多体波動関数は反対称性を持つと言い、この場合の同種粒子をフェルミ粒子と言う。

この対称性・反対称性は同種多粒子系を表す波動関数が満たさなければならない性質である。

置換 
波動関数の対称性を簡単に表すために、数学における置換を導入する。1からNの数字を並べたものを並べ替える操作を、N次の置換と呼ぶ。

置換は一対一写像であり、全部でN!通りある。これらの集まりは群をなし、N体の置換群（または対称群）と呼ぶ。
置換の中でも、単に2つの数字を入れ替えるだけの操作を互換という。

ある置換が個の互換の組み合わせで書けるとき、置換の符号（またはパリティ）を次のように定義する。

置換を決めても、互換の個数は一通りには決まらない。それでもは一通りに決まる。パリティがとなるような置換のことを偶置換、となる置換のことを奇置換という。

これらを用いると、N粒子波動関数の対称性・反対称性は次のように表せる。
（粒子がボース粒子の場合）
 （粒子がフェルミ粒子の場合）

1粒子波動関数からの構成 
相互作用のない同種のN粒子系を考える。i 番目の粒子のシュレーディンガー方程式は次のように書ける。

ここでそれぞれの固有状態・固有エネルギーをでラベル付けした。1粒子波動関数の完全系から、上述のように対称化・反対称化されたN粒子波動関数を構成することを考える。例えば、次のようなものを考えてみる。

この波動関数は確かにN粒子系の全ハミルトニアンの固有関数になってはいるが、対称化・反対称化されていないために上述の同種なN粒子波動関数としての資格を有していない。よってこの波動関数に対称性・反対称性を持たせる必要がある。

ボース粒子 
ボース粒子の場合、次のような対称化演算子によって多体波動関数は対称化される。

ここでは規格化定数であり、和はN!個の置換全てについての和を表す。これはをi 行j 列行列要素にもつN×N行列のパーマネント (数学)である。

フェルミ粒子 
フェルミ粒子の場合、次のような反対称化演算子によって多体波動関数が反対称化される。

これはをi 行j 列行列要素にもつN×N行列の行列式であり、スレーター行列式と呼ばれる。

参考文献

関連項目 
 第二量子化

量子力学
量子化学