多体波動関数

量子力学における多体波動関数とは、多粒子系の状態を表す波動関数のこと。
同種な多粒子系の状態を占有数表示で表すことを第二量子化と呼ばれるのに対し、多体波動関数で状態を表すことを第一量子化と呼ばれることがある。
多体波動関数の意味.
１つの粒子からなる系の場合、その量子状態は波動関数で表される。粒子の位置をformula_1と名付けると、波動関数formula_2はformula_1についての関数で複素数値をとる。その物理的な意味は、この粒子の位置を測定したときの測定値のバラつきを表す確率振幅である（ボルンの規則）。
2つの粒子からなる系の場合は、それぞれの粒子の位置をformula_1、formula_5と名付けると、この2粒子系の波動関数はformula_6となり、複素数値をとる関数。ただし1粒子の場合とは違い、formula_6は、2つの位置座標formula_1、formula_5を指定してはじめて1つの複素数が返ってくるような関数である。この返ってきた複素数値を、3次元空間のどこかに「住んでいる」という1粒子の波動関数やあるいは場のような考え方をすることはできない。このことは、3つ以上の粒子の場合でも同様である。そういう意味で、多粒子系を考えることで、量子力学の波動関数を「空間に実在する波」とはみなせないことが明確になる。
対称性と反対称性.
多数の同種粒子からなる系を考えるときに重要となる概念が不可弁別性である。たとえば2つの同種粒子からなる系の場合、2つの粒子の名前の入れ替えformula_10をしても、入れ替える前と同じ状態のままである。
この事実を反映して、2つの粒子の名前の入れ替えをしても、多体波動関数で変わるのはせいぜい位相因子までであることがわかる。
2粒子間で名前の入れ替えを2回続けて行うと元の波動関数に戻るはずなので、粒子の名前の入れ替えによって多体波動関数にかかる位相因子は+1または-1のどちらかであることがわかる。
粒子の名前の入れ替えによって+1の因子がつく場合の多体波動関数は対称性を持つと言い、この場合の同種粒子をボース粒子と言う。
一方で-1の因子がつく場合の多体波動関数は反対称性を持つと言い、この場合の同種粒子をフェルミ粒子と言う。
この対称性・反対称性は同種多粒子系を表す波動関数が満たさなければならない性質である。
置換.
波動関数の対称性を簡単に表すために、数学における置換を導入する。1から"N"の数字を並べたものformula_13を並べ替える操作formula_14を、"N"次の置換と呼ぶ。
置換は一対一写像であり、全部で"N"!通りある。これらの集まりは群をなし、"N"体の置換群（または対称群）formula_16と呼ぶ。
置換の中でも、単に2つの数字を入れ替えるだけの操作を互換という。
ある置換formula_14がformula_18個の互換の組み合わせで書けるとき、置換formula_14の符号（またはパリティ）formula_20を次のように定義する。
置換formula_14を決めても、互換の個数formula_18は一通りには決まらない。それでもformula_24は一通りに決まる。パリティがformula_25となるような置換のことを偶置換、formula_26となる置換のことを奇置換という。
これらを用いると、N粒子波動関数の対称性・反対称性は次のように表せる。
1粒子波動関数からの構成.
相互作用のない同種の"N"粒子系を考える。"i" 番目の粒子のシュレーディンガー方程式は次のように書ける。
ここでそれぞれの固有状態・固有エネルギーをformula_30でラベル付けした。1粒子波動関数formula_31の完全系から、上述のように対称化・反対称化されたN粒子波動関数を構成することを考える。例えば、次のようなものを考えてみる。
この波動関数formula_33は確かに"N"粒子系の全ハミルトニアンformula_34の固有関数になってはいるが、対称化・反対称化されていないために上述の同種なN粒子波動関数としての資格を有していない。よってこの波動関数に対称性・反対称性を持たせる必要がある。
ボース粒子.
ボース粒子の場合、次のような対称化演算子formula_35によって多体波動関数は対称化される。
ここでformula_37は規格化定数であり、和formula_38はN!個の置換formula_14全てについての和を表す。これはformula_40を"i" 行"j" 列行列要素にもつ"N"×"N"行列formula_41のパーマネント (数学)formula_42である。
フェルミ粒子.
フェルミ粒子の場合、次のような反対称化演算子formula_43によって多体波動関数が反対称化される。
これはformula_40を"i" 行"j" 列行列要素にもつ"N"×"N"行列formula_41の行列式formula_47であり、スレーター行列式と呼ばれる。