Slater determinant: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Paul Wormer
mNo edit summary
 
(14 intermediate revisions by 5 users not shown)
Line 1: Line 1:
In [[quantum mechanics]], a '''Slater determinant'''  is a simple approximate expression for a  wave function  of a multi-[[fermion]] system. The Slater determinant is constructed from a [[spin-orbital]] product.  It is the simplest possible way to construct from the spin-orbital product (also known as an ''independent particle wave function'') a wave function that  satisfies the [[Pauli principle]]. That is, a Slater determinant changes sign upon transposition of the space  and spin coordinates of any of its two fermions. It is common to refer also to a Slater determinant as an independent particle wave function, although the Slater determinant has built in some correlation between the motions of the particles. It is named for its inventor, [[John C. Slater]], who published the construction as a simple answer to the complicated group theoretical constructions  for antisymmetric wave functions of [[Hermann Weyl]] and [[Eugene Wigner]] that had been introduced in the 1920s.<ref>Slater, John. C. (1929). ''Theory of Complex Spectra''  Physical Review, vol. '''34''', p. 1293. </ref>
{{subpages}}


In [[quantum mechanics]], a '''Slater determinant'''  is a simple approximate expression for a [[wave function]] of a multi-[[fermion]] system&mdash;usually a multi-[[electron]] system.
The Slater determinant is constructed from a single [[Electron_orbital#Spinorbitals|spin-orbital]] product (an independent particle wave function).  It is the simplest possible construction of a wave function that  satisfies the [[Pauli principle]]&mdash;an antisymmetric wave function. A Slater determinant changes sign upon simultaneous transposition of space  and spin coordinates of any pair its fermions (electrons).
It is common to refer to a Slater determinant as an independent particle wave function, just like the product from which it is constructed,  although the Slater determinant has built in some correlation between the spins.
The Slater determinant is named for its inventor, [[John C. Slater]], who published the construction as a simple answer to the complicated group theoretical constructions  for antisymmetric wave functions that had been introduced by [[Hermann Weyl]] and [[Eugene Wigner]]  in the 1920s.<ref>Slater, John. C. (1929). ''Theory of Complex Spectra''  Physical Review, vol. '''34''', p. 1293. </ref>


== Two-particle case ==
== Two-particle case ==
The simplest way to approximate the wavefunction of a many-particle system is to consider the product of properly chosen ''one-fermion wavefunctions'' (spin-orbitals) of the individual particles. For the two-particle case, we have
The simplest way to approximate the wavefunction of a many-particle system is to consider the product of ''one-fermion wavefunctions'' ([[Electron orbital#Spinorbitals|spin-orbitals]]) of the individual particles. For the two-particle case, we have


:<math>
:<math>
Line 14: Line 21:
\Psi(\mathbf{x}_1,\mathbf{x}_2) = \frac{1}{\sqrt{2}}\{\chi_1(\mathbf{x}_1)\chi_2(\mathbf{x}_2) - \chi_1(\mathbf{x}_2)\chi_2(\mathbf{x}_1)\}
\Psi(\mathbf{x}_1,\mathbf{x}_2) = \frac{1}{\sqrt{2}}\{\chi_1(\mathbf{x}_1)\chi_2(\mathbf{x}_2) - \chi_1(\mathbf{x}_2)\chi_2(\mathbf{x}_1)\}
</math>
</math>
where the coefficient normalizes the left hand side (provided the spin-orbitals are orthonormal). This wavefunction is antisymmetric and no longer distinguishes between electrons. Moreover, it vanishes if any two wave functions or two fermions are the same.  This is equivalent to satisfying the  [[Pauli exclusion principle]].
where the coefficient normalizes the left hand side (provided the spin-orbitals are orthonormal). This wavefunction is antisymmetric and no longer distinguishes between electrons. Moreover, it vanishes if the two spin-orbitals are proportional or if '''x'''<sub>1</sub> = '''x'''<sub>2</sub>.  This is equivalent to satisfying the  [[Pauli exclusion principle]].


The antisymmetric function can be written as a 2 x 2 [[determinant]] (dropping the normalization factor)
The antisymmetric function can be written as a 2 x 2 [[determinant]] (dropping the normalization factor)
Line 23: Line 30:
== Generalization to ''N'' particles ==
== Generalization to ''N'' particles ==


The expression can be generalised to any number of fermions by writing it as a [[determinant]]. For an N-electron system, the Slater determinant is defined as
The expression can be generalized to any number of fermions by writing it as a [[determinant]]. For an N-electron system, the Slater determinant is defined as


:<math>
:<math>
Line 37: Line 44:
</math>
</math>


If this determinant is worked out, either by the [[Laplace expansion]], or by the [[Leibniz rule]],
If this determinant is worked out, either by the [[Laplace expansion (determinant)|Laplace expansion]], or by the [[Leibniz rule]],
it becomes a sum of ''N''! terms, which differ from each other by any of the ''N''! permutations  
it becomes a sum of ''N''! terms, which differ from each other by any of the ''N''! permutations  
of the particle coordinates. The sign of the term is the [[parity]] (or [[signature]]) of the permutation.
of the particle coordinates. The sign of the term is the [[parity]] (or [[signature]]) of the permutation.
Since the permutation of  two rows is equivalent to permutation of the two coordinates labeling the rows, and since a determinant changes sign upon permutation of two rows,
Since the permutation of  rows ''i'' and ''j'' is equivalent to permutation of the coordinates '''x'''<sub>''i''</sub> and '''x'''<sub>''j''</sub>, and since a determinant changes sign upon permutation of two rows,
it follows that a Slater determinants is antisymmetric. Moreover determinant theory shows that the Slater determinant vanishes if the set  {&chi;<sub>i</sub> } is [[linearly dependent]]. In particular this is the case when two (or more) spinorbitals are the same. In chemistry one expresses this fact by stating that no two electrons can occupy the same spinorbital (Pauli exclusion principle). Mathematicians may recognize a Slater determinant as an antisymmetric tensor, also known as a [[wedge product]].   
it follows that a Slater determinants is antisymmetric under transposition of these two coordinates. Moreover determinant theory shows that the Slater determinant vanishes if the set  {&chi;<sub>i</sub> } is [[linearly dependent]]. In particular this is the case when two (or more) spinorbitals are the same. In chemistry one expresses this fact by stating that no two electrons can occupy the same spinorbital (Pauli exclusion principle). Mathematicians may recognize a Slater determinant as an antisymmetric tensor, also known as a [[wedge product]].   


A single Slater determinant is used as an approximation to the electronic wavefunction in [[Hartree-Fock|Hartree-Fock theory]]. In more accurate theories (such as [[configuration interaction]] and [[MCSCF]]), a linear combination of Slater determinants is needed.
A single Slater determinant is used as an approximation to the electronic wavefunction in [[Hartree-Fock|Hartree-Fock theory]]. In more accurate theories (such as [[configuration interaction]] and [[MCSCF]]), a linear combination of Slater determinants is needed.


==Closed shells==
A Slater determinant, describing a closed shell, is invariant (up to a factor) under linear transformation of the spatial orbitals constituting the closed shell.
The term [[electron shell|closed shell]] originates in [[atomic spectroscopy]] where it stand for a set of doubly occupied [[atomic orbital]]s of the same [[principal quantum number]] ''n''. A closed subshell is a set of doubly occupied spatial orbitals with same ''n'' and same [[angular momentum (quantum)| angular momentum]] quantum number ''l''.  In molecules a closed shell is a set (usually the lowest in energy) of doubly occupied [[molecular orbital]]s.
In order to first clarify the transformation properties of an arbitrary Slater determinant we change to a notation that is more common in matrix theory:
:<math>
\chi_i(\mathbf{x}_j) \equiv g_{ji}, \qquad i,j=1,2,\ldots, N.
</math>
Then the Slater determinant given above is the determinant of the matrix
:<math>
\mathbb{G} =
\begin{pmatrix}
g_{11} & g_{12} & g_{13} & \dots\dots  & g_{1N} \\
g_{21} & g_{22} & \dots  & \dots \dots & g_{2N} \\
\vdots &\vdots  &        &            & \vdots \\
g_{N1} & g_{N2} & \dots  & \dots\dots  &g_{NN}  \\
\end{pmatrix}.
</math>
That is to say,
:<math>
\det(\mathbb{G}) \equiv
\begin{vmatrix}
\chi_{1}(\mathbf{x}_1)  & \chi_{2}(\mathbf{x}_1) & \chi_{3}(\mathbf{x}_1) & \dots    & \chi_{N}(\mathbf{x}_1) \\
\chi_{1}(\mathbf{x}_2) & \chi_{2}(\mathbf{x}_2) & \dots    & \dots  & \chi_{N}(\mathbf{x}_2) \\
\vdots    &\vdots    &          &            & \vdots \\
\chi_{1}(\mathbf{x}_N) & \chi_{2}(\mathbf{x}_N) & \dots    & \dots  &\chi_{N}(\mathbf{x}_N)  \\
\end{vmatrix},
</math>
which is indeed the Slater determinant given above.
Transformation of the spinorbitals by a matrix gives in the two notations,
:<math>
\chi_i'(\mathbf{x}_j) = \sum_{k=1}^N \chi_k(\mathbf{x}_j) A_{ki}
\quad \Longleftrightarrow \quad
g_{ji}' = \sum_{k=1}^N g_{jk} A_{ki}.
</math>
In matrix language this reads
:<math>
\mathbb{G}' = \mathbb{G}\mathbb{A} \quad \Longrightarrow \det(\mathbb{G}') = \det(\mathbb{G})\det(\mathbb{A}),
</math>
where we used the well-known multiplication rule for determinants of product matrices.
In other words, if the spinorbitals appearing in a Slater determinant are transformed among each other by a matrix <math>\scriptstyle \mathbb{A}</math> then the only effect on the Slater determinant is that is  multiplied by the constant <math>\scriptstyle \det(\mathbb{A})</math>.
This general result is not very useful for arbitrary Slater determinants, because the matrix <math>\scriptstyle \mathbb{A}</math> mixes spin &alpha;-orbitals with  spin &beta;-orbitals, which usually is not desirable. For closed shells, however, where all spatial orbitals occur twice, once with an &alpha;-spin and once with a &beta;-spin, it leads to a useful result.  We first notice that a spinorbital &chi; is a product of a spatial orbital &phi; and a spinfunction &alpha; (spin up) or &beta; (spin down). The spatial and spin coordinate are both simply indicated by the fermion label.
In the closed-shell case we may write the spin orbitals in the  following order
:<math>
\phi_1\alpha(1),\, \phi_2\alpha(2),\, \cdots,\, \phi_{\tfrac{N}{2}}\alpha(N/2),\,\,
\phi_1\beta(N/2 + 1),\, \phi_2\beta(N/2 + 2),\,\cdots,\,\phi_{\tfrac{N}{2}}\beta(N),
</math>
where
:<math>
\phi_i, \quad i=1,2, \ldots, N/2
</math>
are the occupied spatial orbitals appearing in the closed-shell Slater determinant. If we transform these spatial orbitals with an ''N''/2 &times; ''N''/2 dimensional matrix <math>\scriptstyle \mathbb{A}</math>  and do the same for the &alpha;- as for the &beta;-orbitals, then the Slater determinant is transformed by the block matrix
:<math>
\begin{pmatrix}
\mathbb{A} & \mathbb{O} \\
\mathbb{O} & \mathbb{A} \\
\end{pmatrix}.
</math>
The determinant of the latter matrix is equal to <math>\scriptstyle |A|^2\equiv \det(\mathbb{A})^2</math>. Hence we find the important result that a ''closed Slater determinant is invariant (up to the factor |''A''|<sup>2</sup>) under any linear transformation  of the occupied spatial orbitals by a matrix <math>\scriptstyle \mathbb{A}</math>.''
===Atomic closed shells===
From the previous result follows that the Slater determinant describing a closed atomic subshell has orbital and spin angular momentum quantum number ''L'' = ''S'' = 0.
To show this we recall that the orbitals of an  atomic subshell (characterized by a quantum number ''l'' ) span a (2''l''+1)-dimensional linear space that is invariant under all possible rotations of the atom,
:<math>
\mathcal{R} |lm\rangle = \sum_{m'=-l}^l  |lm'\rangle R_{m'm}, 
</math>
where the elements <math>\scriptstyle R_{m'm}</math>  constitute a [[Wigner D-matrix]]. This matrix has a unit determinant. From the result just proved it follows that a Slater determinant describing the closed-subshell ( containing 2(2''l''+1) electrons) is invariant under all possible rotations, that is, it spans the totally symmetric representation of the full [[rotation group]] SO(3). From the fact that rotations are generated by angular momenta [they span the [[Lie algebra]] of SO(3)] follows that the closed-shell Slater determinant is an eigenfunction of all three angular momentum components with eigenvalue zero, i.e., the total angular momentum quantum number of the Slater determinant  ''L'' = 0.
It is not difficult to prove a similar result for SU(2) and spin angular momentum. The elements of SU(2) "rotate" &alpha; and &beta; among themselves. A closed-shell Slater determinant  is invariant under SU(2) and hence its total spin quantum number ''S'' = 0.


==See also ==
==See also ==
Line 50: Line 131:


==References==
==References==
<references />
<references />[[Category:Suggestion Bot Tag]]

Latest revision as of 06:00, 19 October 2024

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In quantum mechanics, a Slater determinant is a simple approximate expression for a wave function of a multi-fermion system—usually a multi-electron system.

The Slater determinant is constructed from a single spin-orbital product (an independent particle wave function). It is the simplest possible construction of a wave function that satisfies the Pauli principle—an antisymmetric wave function. A Slater determinant changes sign upon simultaneous transposition of space and spin coordinates of any pair its fermions (electrons).

It is common to refer to a Slater determinant as an independent particle wave function, just like the product from which it is constructed, although the Slater determinant has built in some correlation between the spins.

The Slater determinant is named for its inventor, John C. Slater, who published the construction as a simple answer to the complicated group theoretical constructions for antisymmetric wave functions that had been introduced by Hermann Weyl and Eugene Wigner in the 1920s.[1]

Two-particle case

The simplest way to approximate the wavefunction of a many-particle system is to consider the product of one-fermion wavefunctions (spin-orbitals) of the individual particles. For the two-particle case, we have

where xi indicates a space and spin coordinate of particle i. This spin-orbital product can be used as an Ansatz for the molecular wavefunction and is known as an independent particle function. However, it is not satisfactory for fermions, such as electrons, because the wavefunction is not antisymmetric as it should according to the Pauli principle. This problem can be overcome by taking a linear combination of two orbital products

where the coefficient normalizes the left hand side (provided the spin-orbitals are orthonormal). This wavefunction is antisymmetric and no longer distinguishes between electrons. Moreover, it vanishes if the two spin-orbitals are proportional or if x1 = x2. This is equivalent to satisfying the Pauli exclusion principle.

The antisymmetric function can be written as a 2 x 2 determinant (dropping the normalization factor)

Generalization to N particles

The expression can be generalized to any number of fermions by writing it as a determinant. For an N-electron system, the Slater determinant is defined as

If this determinant is worked out, either by the Laplace expansion, or by the Leibniz rule, it becomes a sum of N! terms, which differ from each other by any of the N! permutations of the particle coordinates. The sign of the term is the parity (or signature) of the permutation. Since the permutation of rows i and j is equivalent to permutation of the coordinates xi and xj, and since a determinant changes sign upon permutation of two rows, it follows that a Slater determinants is antisymmetric under transposition of these two coordinates. Moreover determinant theory shows that the Slater determinant vanishes if the set {χi } is linearly dependent. In particular this is the case when two (or more) spinorbitals are the same. In chemistry one expresses this fact by stating that no two electrons can occupy the same spinorbital (Pauli exclusion principle). Mathematicians may recognize a Slater determinant as an antisymmetric tensor, also known as a wedge product.

A single Slater determinant is used as an approximation to the electronic wavefunction in Hartree-Fock theory. In more accurate theories (such as configuration interaction and MCSCF), a linear combination of Slater determinants is needed.

Closed shells

A Slater determinant, describing a closed shell, is invariant (up to a factor) under linear transformation of the spatial orbitals constituting the closed shell.

The term closed shell originates in atomic spectroscopy where it stand for a set of doubly occupied atomic orbitals of the same principal quantum number n. A closed subshell is a set of doubly occupied spatial orbitals with same n and same angular momentum quantum number l. In molecules a closed shell is a set (usually the lowest in energy) of doubly occupied molecular orbitals.

In order to first clarify the transformation properties of an arbitrary Slater determinant we change to a notation that is more common in matrix theory:

Then the Slater determinant given above is the determinant of the matrix

That is to say,

which is indeed the Slater determinant given above.

Transformation of the spinorbitals by a matrix gives in the two notations,

In matrix language this reads

where we used the well-known multiplication rule for determinants of product matrices. In other words, if the spinorbitals appearing in a Slater determinant are transformed among each other by a matrix then the only effect on the Slater determinant is that is multiplied by the constant .

This general result is not very useful for arbitrary Slater determinants, because the matrix mixes spin α-orbitals with spin β-orbitals, which usually is not desirable. For closed shells, however, where all spatial orbitals occur twice, once with an α-spin and once with a β-spin, it leads to a useful result. We first notice that a spinorbital χ is a product of a spatial orbital φ and a spinfunction α (spin up) or β (spin down). The spatial and spin coordinate are both simply indicated by the fermion label.

In the closed-shell case we may write the spin orbitals in the following order

where

are the occupied spatial orbitals appearing in the closed-shell Slater determinant. If we transform these spatial orbitals with an N/2 × N/2 dimensional matrix and do the same for the α- as for the β-orbitals, then the Slater determinant is transformed by the block matrix

The determinant of the latter matrix is equal to . Hence we find the important result that a closed Slater determinant is invariant (up to the factor |A|2) under any linear transformation of the occupied spatial orbitals by a matrix .

Atomic closed shells

From the previous result follows that the Slater determinant describing a closed atomic subshell has orbital and spin angular momentum quantum number L = S = 0.

To show this we recall that the orbitals of an atomic subshell (characterized by a quantum number l ) span a (2l+1)-dimensional linear space that is invariant under all possible rotations of the atom,

where the elements constitute a Wigner D-matrix. This matrix has a unit determinant. From the result just proved it follows that a Slater determinant describing the closed-subshell ( containing 2(2l+1) electrons) is invariant under all possible rotations, that is, it spans the totally symmetric representation of the full rotation group SO(3). From the fact that rotations are generated by angular momenta [they span the Lie algebra of SO(3)] follows that the closed-shell Slater determinant is an eigenfunction of all three angular momentum components with eigenvalue zero, i.e., the total angular momentum quantum number of the Slater determinant L = 0.

It is not difficult to prove a similar result for SU(2) and spin angular momentum. The elements of SU(2) "rotate" α and β among themselves. A closed-shell Slater determinant is invariant under SU(2) and hence its total spin quantum number S = 0.

See also

References

  1. Slater, John. C. (1929). Theory of Complex Spectra Physical Review, vol. 34, p. 1293.