The theory of reduced density matrices for polyelectronic systems is formulated in a manner such that the reduced density matrix of any order $p$ is characterized by a coefficient matrix. This matrix of coefficients, resulting from expressing the polyelectronic wave function in the appropriate bilinear form, is sufficient to allow one to find the eigenvalues and the transformation to natural form. This formalism is a generalization of the work of L\owdin and Shull on the natural orbitals of two-electron systems. The second-order reduced density matrix, the 2-matrix, is obtained exactly from the approximate solutions $\ensuremath{\Psi}$ of the Schr\odinger equation for the Be-atom functions of Weiss, Watson, and Boys, and the LiH function of Ebbing. The important eigenfunctions and complete eigenvalue spectra of the integral operator ${\ensuremath{\Gamma}}^{(2)}$, which has the 2-matrix as kernel, are reported here. The degeneracies of the eigenvalue spectra of ${\ensuremath{\Gamma}}^{(2)}$ and the properties of the natural geminals, the eigenfunctions of ${\ensuremath{\Gamma}}^{(2)}$, are discussed in detail. The multiplicities 1, 2, 3, 4, and 6 are the only nonaccidental degeneracies that can occur in the 4-electron problem when the one-electron basis of $\ensuremath{\Psi}$ is considered in symmetry-adapted spin-orbital form. The natural geminals can always be obtained in symmetry-adapted form and can be completely described by a set of numbers ($\ensuremath{\lambda},s,{m}_{s},{m}_{l},\dots{}$), eigenvalues for the operators ${\ensuremath{\Gamma}}^{(2)},{S}^{2},{S}_{z},{L}_{z},\dots{}$, respectively. The identity of the eigenvalue spectra and the equivalence of the two operators ${\ensuremath{\Gamma}}^{(p)}$ and ${\ensuremath{\Gamma}}^{(N\ensuremath{-}p)}$ are demonstrated in the case where the one-electron basis of $\ensuremath{\Psi}$ is finite. The natural expansion of $\ensuremath{\Psi}$ is defined as the expansion in eigenfunctions of ${\ensuremath{\Gamma}}^{(p)}$ and ${\ensuremath{\Gamma}}^{(N\ensuremath{-}p)}$. In the case $2p=N$, the phase of the two sets of eigenfunctions can be chosen as equal and the signs of the natural expansion coefficients are uniquely determined by the function $\ensuremath{\Psi}$.
Read full abstract