Slater determinant
スレイター行列式は、多体系の状態を既知の 1 粒子波動関数の情報から構築する、最も単純な方法の 1 つであるが、そのようにして作られた多体波動関数が本当に、可能な多体系の状態全てを含んでいるかの保証は全くなく（それどころか疑わしい）、そのためにそのスレイター行列式と直交しない状態を求める必要がある。そのための1つの定理がデイヴィッド・J・サウレスによるサウレスの定理（Thouless Theorem）である。