スレイター行列式のソースを表示

{{出典の明記|date=2012年12月6日 (木) 05:27 (UTC)}}
'''スレイター行列式'''（スレイターぎょうれつしき、{{lang-en-short|Slater determinant}}）とは、[[フェルミ粒子]]からなる多粒子系の状態を記述する[[波動関数]]を表すときに使われる[[行列式]]である。この行列式は2つの電子（または他のフェルミ粒子）の交換に関して[[プラス記号とマイナス記号|符号]]を変化させることによって[[交代行列|反対称性]]の必要条件と、その結果として[[パウリの排他原理]]を満たす<ref name="Atkins">Molecular Quantum Mechanics Parts I and II: An Introduction to QUANTUM CHEMISTRY (Volume 1), P.W. Atkins, Oxford University Press, 1977, {{ISBN2|0-19-855129-0}}</ref>。名称は1929年に波動関数の反対称性を保証する手段としてこの行列式を導入した<ref>{{cite journal| last1=Slater| first1=J.| last2=Verma| first2=HC| title=The Theory of Complex Spectra| journal=Physical Review| volume=34| issue=2| pages=1293–1322| year=1929| pmid=9939750| doi=10.1103/PhysRev.34.1293|bibcode = 1929PhRv...34.1293S }}</ref>[[ジョン・クラーク・スレイター]]に因むが、この行列式の形式での波動関数はそれより3年前に[[ハイゼンベルク]]<ref>{{cite journal |last1 = Heisenberg | first1 = W. | title = Mehrkörperproblem und Resonanz in der Quantenmechanik | journal = Zeitschrift für Physik | year = 1926 | volume = 38 | pages = 411–426| doi= 10.1007/BF01397160|bibcode = 1926ZPhy...38..411H }}</ref>と[[ディラック]]<ref>{{cite journal |last1 = Dirac | first1 = P. A. M. | title = On the Theory of Quantum Mechanics | journal = Proceedings of the Royal Society A | year = 1926 | volume = 112 | pages = 661–677| doi= 10.1098/rspa.1926.0133 |bibcode = 1926RSPSA.112..661D }}</ref>の論文において最初に独立に登場していた。

[[量子論]]では複数の[[同種粒子]]は原理的に区別できない（[[エンタングル]]している）。よって複数の同種粒子を含む系の[[状態ベクトル]]は一定の対称性を持つものに限られる。その対称性は、任意の2個の粒子を入れ替えることに対して、[[ボーズ粒子]]では[[対称性#対称式|対称性]]をもつ[[波動関数]]、[[フェルミ粒子]]では[[反対称性]]をもつ[[波動関数]]という、少し不自然にも見える形で現れる。この不自然さは、個々の粒子に別々の「位置」を割り当てるのは粒子が区別できることが大前提であるのに、区別ができない粒子にそれをやってしまったことによる。

スレイター行列式は、複数のフェルミ粒子系の波動関数が持っている反対称性と同じ性質を持っている。またスレイター行列式の線形結合も反対称性を満たす。よって多電子系などを表すときに、スレイター行列式は便利なのでよく用いられる。

==フェルミ粒子の性質とスレイター行列式==
同種の複数の[[フェルミ粒子]]からなる系の[[波動関数]]が満たすべき性質は次の3つである。

#任意の2つの粒子の位置のラベルを交換すると符号が逆になる。
#任意の2つの粒子が同じ座標を持つと0になる。([[パウリの排他原理]])
#全ての粒子は区別できない。

これは[[行列式]]の以下の性質と良く似ている。

#任意の2つの行、または列を交換すると符号が逆になる。
#任意の2つの行、または列が同じ時は0になる。
#全ての置換パターンが考慮される。

よって複数の[[フェルミ粒子]]から成る系の波動関数を表すときに、行列式を用いると便利であることが分かる。
実際、上記のスレイター行列式を見ると分かるように、[[フェルミ粒子]]の[[波動関数]]の性質を全て満たしていることが分かる。

== 定義 ==
=== 2粒子の事例 ===
多粒子系の波動関数を近似するための最も単純な方法は、適切に選ばれた個々の粒子の直交波動関数の積を取ることである。空間座標<math>\boldsymbol{x}_1</math>および<math>\boldsymbol{x}_2</math>の2粒子の事例では以下のようになる。
:<math>
\Psi(\boldsymbol{x}_1,\boldsymbol{x}_2) = \chi_1(\boldsymbol{x}_1)\chi_2(\boldsymbol{x}_2)
</math>

この表現は多粒子波動関数に対する[[アンザッツ]]として[[ハートリー近似]]で用いられており、{{仮リンク|ハートリー積|en|Hartree product}}として知られている。しかしながら、上記の波動関数が[[フェルミ粒子]]のもののように反対称ではないため、これはフェルミ粒子に対しては満足のいくものではない。というのも、 そもそも反対称な波動関数は以下の式を満たすはずである:
:<math>
\Psi(\boldsymbol{x}_1,\boldsymbol{x}_2) = -\Psi(\boldsymbol{x}_2,\boldsymbol{x}_1)
</math>
ハートリー積はこれを満たさない。この困難は、 ハートリー積の[[線形結合]]を取ることで克服することができる:

:<math>\begin{align}
\Psi(\boldsymbol{x}_1,\boldsymbol{x}_2) &= \frac{1}{\sqrt{2}}\{\chi_1(\boldsymbol{x}_1)\chi_2(\boldsymbol{x}_2) - \chi_1(\boldsymbol{x}_2)\chi_2(\boldsymbol{x}_1)\} \\
&= \frac{1}{\sqrt2}\begin{vmatrix} \chi_1(\boldsymbol{x}_1) & \chi_2(\boldsymbol{x}_1) \\ \chi_1(\boldsymbol{x}_2) & \chi_2(\boldsymbol{x}_2) \end{vmatrix}
\end{align}</math>

係数は規格化因子(波動関数のノルムを1にするための係数)である。この波動関数は反対称であり、もはやフェルミ粒子同士を区別しない。つまり、特定の粒子に序数を示すことはできず、与えられた添え字は交換可能である。さらに、もし2つのフェルミ粒子のどの2つの波動関数が同じとすると、この式はゼロとなる。これは[[パウリの排他原理]]を満たすことと等価である。

=== 一般化 ===
N個のフェルミ粒子の1粒子波動関数を<math>\{ \chi_i(x) \}(i=1,2,\dotsc, N)</math> としたとき、スレイター行列式は以下のように表される。

:<math> \begin{Vmatrix} \chi_1 \cdots \chi_N \end{Vmatrix} = \frac{1}{\sqrt{N!}}\begin{vmatrix} \chi_1(x_1) & \cdots & \chi_1(x_N) \\ \vdots & \ddots & \vdots \\ \chi_N(x_1) & \cdots & \chi_N(x_N) \end{vmatrix}</math>

スレイター行列式は[[規格化]]されており、その[[ノルム]]は1である。

==ハートリー積とスレイター行列式==
スレイター行列式の他に、'''[[ダグラス・ハートリー|ハートリー]]（Hartree）積'''というものもある。これは区別できる（[[エンタングル]]していない）[[フェルミオン]]の[[波動関数]]を表現するものとして利用される。ハートリー積は反対称性は満たしていない。[[量子化学]]の分野では主に[[原子核]]の[[波動関数]]を表すときに用いられる。
:<math>\chi_1(x_1) \dotsb \chi_N(x_N)</math>
これは[[置換]]形式のスレイター行列式に出てくる。各[[フェルミオン]]は特定の[[分子軌道|軌道]]にのみ局在している。

本来、[[フェルミオン]]を交換すると符号は反転すべきであるが、粒子が明確に区別される状況であれば交換の起こる可能性自体を考慮から外すことができるわけである。また、その場合空間的にも離れて存在しているため、2つの粒子が同地点にくると、ほぼゼロになる。

一方、スレイター行列式は、ハートリー積の[[線形結合]]で表されるが、その際、添え字のすべての[[置換]]パターンが考慮される。これは、すべての[[フェルミオン]]がどの[[分子軌道]]にも入り得ることを表し、言い換えれば、すべての粒子が区別できないということを表している。

==複数スレイター行列式==
スレイター行列式は、[[パウリの排他原理]]を全て満たしているが、その逆は成り立たない。すなわちパウリの排他原理を満たす関数は、スレイター行列式のみではないのである。

とはいっても、それらの関数は、スレイター行列式と大きくは違わない。単に複数のスレイター行列式の[[線形結合]]を取ったものなだけである。[[分子軌道]]を N 個から増やし、次のように表される。

:<math>\Phi(x_1, \dotsb, x_N) = \sum_\boldsymbol{i} c_\boldsymbol{i} \Vert \chi_{i_1} \dotsb \chi_{i_N} \Vert</math>

これを'''複数スレイター行列式'''と呼び、[[パウリの排他原理]]はすべて、この形式を用いて展開できる。ただし任意の波動関数を表すためには、これらは[[完全系]]を成す必要がある。

量子化学における[[ハートリー-フォック法]]は、分子軌道を1つのスレイター行列式で表す。しかし[[電子相関]]を正確に取り込む場合は、複数スレイター行列式を用いなければならず、そのような方法を'''[[配置間相互作用]]''' ({{en|configuration interaction}}、 '''CI''') 法という。しかし、厳密な波動関数を求めるには、無限個の分子軌道と無限個のスレイター行列式が必要になる。

また線形結合だけでなく非線形な結合も含めると、CI法と同じ数のスレイター行列式で打ち切っても、よりも多くの電子相関を取り込むことができる。このような方法を'''[[連結クラスター|結合クラスター]]'''（{{en|coupled cluster}}、 '''CC'''）法と呼ぶ。

１つのスレイター行列式よりも当然、複数スレイター行列式の方が表現力が大きく、計算精度は高くなる。
しかし、その代償として、考慮しなければならないスレイター行列式の数は、精度を上げるにつれ極端に大きくなるため、計算コストの面から、あまり多く<!--の Slater 行列式を考慮-->するわけにはいかないのが現状である。

==スレイター行列式と第二量子化==

[[第二量子化]]では、多粒子系の状態を、１粒子状態<math>\phi_1,\dotsc, \phi_N \ </math>を占めている粒子数の組<math>n_1,\dotsc, n_N \ </math>で表現する。これを座標表示したものがスレイター行列式である。
:<math>\Vert \chi_1 \cdots \chi_N \Vert \sim |n_1, n_2, \dotsc \rangle</math>

フェルミ粒子の場合、<math>n_1,\dotsc, n_N \ </math>は0か1のどちらかである。ボーズ粒子の場合、<math>n_1,\dotsc, n_N \ </math>は0から''N''までの値をとり得る。

これは[[生成演算子]] <math>\hat{a}_1^\dagger,\dotsc, \hat{a}_N^\dagger </math> を使って以下のように表される。

:<math>\Vert \chi_1 \cdots \chi_N \Vert \sim \hat{a}_N^\dagger \dotsb \hat{a}_1^\dagger | \; \rangle</math>

この形式の利点は、通常の[[行列式]]のように煩雑でないため、操作が簡単であるということと、粒子数を簡単に変えられることである。[[第二量子化]]された[[演算子 (物理学)|演算子]]の[[期待値]]は、[[ウィックの定理|ウィック (Wick) の定理]]によって比較的簡単に求めることが出来る。

複数スレイター行列式は、単一スレイター行列式に励起演算子<math>\hat{\mathcal{O}}</math>を作用させることで得られる。

:<math>\hat{\mathcal{O}} = \sum_{n=0}^{N} \sum_\boldsymbol{i}^\mathrm{occ} \sum_\boldsymbol{j}^\mathrm{vir} c_{n\boldsymbol{ij}} \hat{a}_{j_1}^\dagger \dotsb \hat{a}_{j_n}^\dagger \hat{a}_{i_n} \dotsb \hat{a}_{i_1}</math>

==出典==
{{reflist}}

== 参考文献 ==
{{参照方法|section=1|date=2018年5月}}
* {{Cite book|和書|author=Attila Szabo; Neil S. Ostlund|title=新しい量子化学―電子構造の理論入門|year=1987|publisher=東京大学出版会|ISBN=978-4130621113|translator=大野公男; 望月祐志; 阪井健男}}

{{DEFAULTSORT:すれいたあきようれつしき}}
[[Category:量子力学]]
[[Category:計算物理学]]
[[Category:理論化学]]
[[Category:行列式]]
[[Category:物理学のエポニム]]