スレイター行列式
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/10/31 02:44 UTC 版)
![]() | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。2012年12月) ( |
スレイター行列式(スレイターぎょうれつしき、英: Slater determinant)とは、フェルミ粒子からなる多粒子系の状態を記述する波動関数を表すときに使われる行列式である。この行列式は2つの電子(または他のフェルミ粒子)の交換に関して符号を変化させることによって反対称性の必要条件と、その結果としてパウリの排他原理を満たす[1]。名称は1929年に波動関数の反対称性を保証する手段としてこの行列式を導入した[2]ジョン・クラーク・スレイターに因むが、この行列式の形式での波動関数はそれより3年前にハイゼンベルク[3]とディラック[4]の論文において最初に独立に登場していた。
量子論では複数の同種粒子は原理的に区別できない(エンタングルしている)。よって複数の同種粒子を含む系の状態ベクトルは一定の対称性を持つものに限られる。その対称性は、任意の2個の粒子を入れ替えることに対して、ボーズ粒子では対称性をもつ波動関数、フェルミ粒子では反対称性をもつ波動関数という、少し不自然にも見える形で現れる。この不自然さは、個々の粒子に別々の「位置」を割り当てるのは粒子が区別できることが大前提であるのに、区別ができない粒子にそれをやってしまったことによる。
スレイター行列式は、複数のフェルミ粒子系の波動関数が持っている反対称性と同じ性質を持っている。またスレイター行列式の線形結合も反対称性を満たす。よって多電子系などを表すときに、スレイター行列式は便利なのでよく用いられる。
フェルミ粒子の性質とスレイター行列式
同種の複数のフェルミ粒子からなる系の波動関数が満たすべき性質は次の3つである。
- 任意の2つの粒子の位置のラベルを交換すると符号が逆になる。
- 任意の2つの粒子が同じ座標を持つと0になる。(パウリの排他原理)
- 全ての粒子は区別できない。
これは行列式の以下の性質と良く似ている。
- 任意の2つの行、または列を交換すると符号が逆になる。
- 任意の2つの行、または列が同じ時は0になる。
- 全ての置換パターンが考慮される。
よって複数のフェルミ粒子から成る系の波動関数を表すときに、行列式を用いると便利であることが分かる。 実際、上記のスレイター行列式を見ると分かるように、フェルミ粒子の波動関数の性質を全て満たしていることが分かる。
定義
2粒子の事例
多粒子系の波動関数を近似するための最も単純な方法は、適切に選ばれた個々の粒子の直交波動関数の積を取ることである。空間座標
- Attila Szabo; Neil S. Ostlund 著、大野公男; 望月祐志; 阪井健男 訳 『新しい量子化学―電子構造の理論入門』東京大学出版会、1987年。ISBN 978-4130621113。
- スレイター行列式のページへのリンク