Abstract
An exact formula for the collective occupancy of natural orbitals with an angular momentum l is derived for the ground state of the two-electron harmonium atom. For confinement strengths \(\omega \) that correspond to polynomial correlation factors as well as at the weak (\(\omega \rightarrow \infty \)) and strong (\(\omega \rightarrow 0\)) correlations limits, it reduces to closed-form expressions. At the former limit, a similar result obtains for the partial-wave contributions to the ground-state energy. Slow convergence of the collective occupancies to their leading large-l asymptotics provided by Hill’s formula is uncovered. As the rate of convergence decreases strongly with \(\omega \), a complete breakdown of Hill’s formula ensues upon the confinement strength becoming infinitesimally small. The relevance of these findings to the performance of the extrapolation schemes for the estimation of the complete-basis-set limits of quantum-mechanical observables is discussed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The vast majority of modern quantum-chemical calculations rely on approximating electronic wavefunctions (or their equivalents) with linear combinations of basis functions. The choice of these functions is dictated by computational expedience and usually does not reflect singularities present in the potential energy. Thus, at the one-electron level, the commonly employed Gaussian-type basis functions do not possess cusps at nuclei, and at the many-electron level, the Slater determinants do not reproduce the electron–electron coalescence cusps.
The failure to properly reproduce the particle–particle coalescence asymptotics bears upon the rates of convergence of the computed energies and other observables to their complete-basis-set (CBS) limits [1]. Whereas in practice this convergence is sufficiently rapid for the solutions of the Hartree–Fock equations [2, 3], obtaining accurate approximations to correlated electronic wavefunctions is much more difficult [4, 5]. In order to alleviate this problem, two distinct strategies have been developed, namely inclusion of a correlation factor in the trial function [6–8] and extrapolation to the CBS limit [9, 10]. Successful implementations of the latter approach hinge upon understanding how the approximate wavefunction approaches its exact counterpart as the size of the basis set increases.
In a seminal paper [4], Hill carefully analyzed this asymptotic behavior for singlet ground states of two-electron systems. Results of that investigation, subsequently rederived [11] and generalized to excited states [5] and explicitly correlated basis functions [12], have opened an avenue to a plethora of extrapolation formulae that furnish approximate CBS limits for the total energy in terms of the energies computed with sequences of basis sets truncated at particular values of angular momenta [9, 10].
Among Hill’s results, the large-l asymptotics [4]
which relates the rate of decay of the collective occupancy (per spin) \(\nu _l\) of the natural orbitals (NOs) with the angular momentum l to the spatial part \(\Psi (\vec {r_1},\vec {r_2})\) of the underlying electronic wavefunction, is of particular interest. Unfortunately, rigorous analysis of deviations of the collective occupancies from their asymptotic estimates given by Eq. (1), which would certainly aid in the development in more accurate extrapolation formulae, has not been carried out thus far. As demonstrated in the present paper, such an analysis, which is quite difficult (if not outright impossible) for fully Coulombic systems (i.e., the helium-like species) due to the unavailability of an explicit expression for \(\nu _l\), becomes facile upon replacing the external Coulombic potential with the harmonic one.
2 Theory
The two-electron harmonium atom, described by the nonrelativistic Hamiltonian [13, 14]
is an archetype of quasi-solvable systems of relevance to electronic structure theory. As such, it has been repeatedly employed in calibration and benchmarking of approximate electron correlation methods, especially in the context of the density functional theory [15–20]. Its three- and four-electron counterparts have also been extensively studied [21–25].
The spatial part of the \(^1S_+\) ground-state wavefunction \(\Psi (\omega ;\vec {r_1},\vec {r_2})\) of the two-electron harmonium atom is given by the expression [13, 14]
where the correlation factor \(g(\omega ;r)\) (inclusive of the normalization constant) has the power series representation
It is worth noting that, since the ratio \(C_{1}(\omega )/C_{0}(\omega )\) is fixed at \(\frac{1}{2}\) by the electron–electron coalescence cusp condition, setting \(\vec {r_1} = \vec {r_2} = 0\) in Eq. (3) yields \(C_{0}(\omega ) = \Psi (\omega ;\vec {0},\vec {0})\) and \(C_{1}(\omega ) = \frac{1}{2} \, \Psi (\omega ;\vec {0},\vec {0})\). For certain values of \(\omega \in \{ \omega _K \}\), the series (4) terminates at the Kth power of r (\(K \ge 1\)). The first four elements of the set \(\{ \omega _K \}\) are \(\omega _1 = \frac{1}{2}\), \(\omega _2 = \frac{1}{10}\), \(\omega _3 = \frac{5-\sqrt{17}}{24}\), and \(\omega _4 = \frac{35-3\sqrt{57}}{712}\) [13, 14].
Because to its spherical symmetry, \(\Psi (\omega ;\vec {r_1},\vec {r_2})\) can be partitioned into contributions \(\Psi _l(\omega ;r_1,r_2)\) due to individual angular momenta l,
where \(P_l(t)\) is the lth Legendre polynomial and \(\theta _{12}\) is the angle between the vectors \(\vec {r_1}\) and \(\vec {r_2}\). The norm \((2l+1)^{-1} \, \left\langle \Psi _l(\omega ;r_1,r_2) \, | \, \Psi _l(\omega ;r_1,r_2) \right\rangle \) equals \(\nu _l(\omega )\) that according to Eq. (1) has the large-l asymptotics of
Computations of the partial-wave contributions commence with application of the identities [26]
and
where \(r_{<} = \min (r_1,r_2)\), \(r_{>} = \max (r_1,r_2)\),
and
Combining Eqs. (3), (4), and (5) with Eqs. (7)–(10) produces
where the contributions due to the terms with even and odd powers of r in the expansion (4) read
and
respectively.
When employed in conjunction with the identity
where \(\Gamma (t)\) and \(_2 F_1\left. \left( \begin{array}{c} a_{1}, a{2} \\ b_{1}\end{array} \right| t\right) \) are the pertinent gamma and hypergeometric functions, respectively, Eqs. (12) and (13) yield
where
and
Although it is unlikely that in general the sums that enter Eqs. (16)–(18) are reducible to simple analytical expressions, they permit rapid computations of the collective occupancies for arbitrary angular momenta.
2.1 The case of a polynomial correlation factor
When \(\omega =\omega _K\), the wavefunction (3) can be written in a closed form as the correlation factor \(g(\omega ;r)\) is a polynomial of degree K in the interelectron distance r. Accordingly, the even/even and odd/even terms in the rhs of Eq. (15) contribute only to the collective occupancies of NOs with \(l \le 2 \, \left[ \frac{K-1}{2}\right] \). In contrast, the odd/odd terms do not vanish for any value of the angular momentum, giving rise to the large-l asymptotics of \(\nu _l(\omega )\). For individual \((j,j')\) combinations, the summations in Eq. (18) can be carried out explicitly, producing expressions involving the digamma function \(\gamma (t)\), e.g.,
etc. These expressions have the large-l asymptotics of
where \({\mathcal D}_{11}^{--} = \frac{15}{4} \, \pi ^2\), \({\mathcal D}_{12}^{--} =-\frac{315}{4} \, \pi ^2\), \({\mathcal D}_{22}^{--} = \frac{8505}{4} \, \pi ^2\), etc. Consequently, the leading large-l asymptotics of \(\nu _l(\omega )\) reads [compare Eqs. (15) and (22)]
in agreement with the corollary (6) of Hill’s formula. Equation (19) reproduces the collective occupancies produced by the previously published expressions valid for \(K=1\) [27, 28] and \(K=2\) [28].
2.2 The weak-correlation limit
At the weak-correlation limit of \(\omega \rightarrow \infty \), closed-form expressions for the collective occupancies are readily obtainable. The wavefunctions \(\{\Phi _{nlm}(\omega ;\vec {r}) \}\) of a three-dimensional harmonic oscillator with the circular frequency \(\omega \),
provide a suitable basis set for such calculations thanks to the simple form of the respective two-electron integral
which facilitates explicit evaluation of the sums that enter the expressions
and
where \(E^{(2)}_l\) is the incremental contribution to the second-order energy \(E^{(2)}\) [and also to its correlation component \(E^{(2)}_{corr}\) for \(l \ne 0\)] arising from \(\Psi _l(\omega ;r_1,r_2)\). Application of well-known algebraic techniques [29] to these expressions, which follow for \(l \ne 0\) from straightforward arguments based upon perturbation theory [30], produces
and
In Eqs. (24), (28), and (29), \(L_{n}^{l+1/2} (t)\), \(Y_{l}^{m}(\theta ,\varphi )\), and \(_{3}F_2\left. \left( \begin{aligned} {\textstyle a_1, \, a_2, \, a_3} \\ {\textstyle b_1, \, b_2}\end{aligned}\, \right| t\right) \) are the pertinent generalized Laguerre polynomial, spherical harmonic, and generalized hypergeometric function, respectively. Equation (29) yields the leading asymptotics \(\{ \tilde{\nu }_l(\omega ) \}\) of the collective occupancies at the limit of \(\omega \rightarrow \infty \) that, in excellent agreement with the previously published results of numerical calculations [14], equal \(\frac{127 - 48 \pi + 36 \ln 2}{24 \pi } \; \omega ^{-1} \approx 1.534\,321\,462\cdot 10^{-2} \; \omega ^{-1}\) for \(l=1\) and \(\frac{-2053 +720 \pi -300 \ln 2}{360 \pi } \; \omega ^{-1} \approx 8.864\,544\,969\cdot 10^{-4} \; \omega ^{-1}\) for \(l=2\).
2.3 The strong-correlation limit
At the strong-correlation limit of \(\omega \rightarrow 0\), the wavefunction (3) is given by its asymptotic expression [13, 14]
where \(r_0=(\frac{2}{\omega ^2})^{1/3}\). The corresponding leading asymptotics \(\{ \tilde{\nu }_l(\omega ) \}\) of the collective occupancies is given by
The integrals that enter Eq. (31) can be evaluated (in the asymptotic sense) with Laplace’s method, yielding [22]
These collective occupancies properly sum to the number of electrons,
but obviously do not conform to Hill’s asymptotic formula
3 Discussion and conclusions
The collective occupancies of natural orbitals pertaining to ground states of two-electron harmonium atoms with the four largest confinement strengths that give rise to polynomial correlation factors are listed in Table 1. As expected, the values of \(\nu _0(\omega _K)\) gradually decrease with K as weakening of the confinement (note that \( \forall _K \; \omega _{K+1} < \omega _K\)) gives rise to stronger electron correlation. Interestingly, this depopulation of the s-type orbitals does not translate into uniform increases in the collective occupancies of NOs with nonzero angular momenta l. The key to understanding of this phenomenon lies in the behavior of the even/even, odd/even, and odd/odd terms in Eq. (15), namely the vanishing of the first two types of contributions for \(l > 2 \, \left[ \frac{K-1}{2}\right] \). Thus, at least for \(\omega \in \{ \omega _K \}\), decreasing \(\omega \) results in predominant enhancement of the collective occupancies of NOs with low values of l. The range of the angular momenta at which this mechanism is operative steadily increases with the extent of electron correlation.
In light of this observation, one anticipates large deviations of the collective occupancies from their asymptotic counterparts given by Hill’s formula. Indeed, inspection of Table 2, in which the ratios of the computed data from Table 1 to those obtained from Eq. (23) are compiled, reveals dramatic failures of the asymptotic predictions for small angular momenta, attainment of the asymptotic convergence requiring larger and larger values of l as the electrons become more correlated. Consequently, the complete breakdown of Hill’s asymptotics at the strong-correlation limit of \(\omega \rightarrow 0\) comes as no surprise.
It is instructive to compare the exact expressions (28) and (29) with the asymptotic ones, i.e.,
and
The convergence of the exact collective occupancies and energy increments to their asymptotic counterparts is found to be rather slow, the differences at \(l=5\) amounting to 9.3 and 3.6 %, respectively, and decreasing to 3.0 and 1.1 % at \(l=10\). Thus, even at the weak-correlation limit of \(\omega \rightarrow \infty \), significant deviations from the leading asymptotic terms of Hill’s formulae are observed.
The results of the present study have direct relevance to construction of approximate extrapolation schemes that aim at estimation of the CBS limits. Relying on the dominance of the leading large-l asymptotic terms in the partial-wave expansions, these schemes are commonly employed in electronic structure calculations on systems with small to moderate electron correlation. As clearly demonstrated by the aforediscussed data, such extrapolations are bound to fail for strongly correlated species, especially when the nondynamical correlation effects are significant.
In addition to providing benchmarks for extrapolation schemes, Eqs. (28) and (29) give rise to some new identities of mathematical interest. First, combining Eq. (28) with the known asymptotic expansions for the total energy and its \(l=0\) component at the limit of \(\omega \rightarrow \infty \) [31] yields the identity
In turn, employing this result in conjunction with Eqs. (29) and the known expression for \(\tilde{\nu }_0(\omega )\) [31], one arrives at
To author’s best knowledge, the identities (37) and (38), which can also be derived from the integral representation of the generalized hypergeometric function, have not been previously published.
References
Klahn B, Morgan JD III (1984) J Chem Phys 81:410
Kutzelnigg W (2013) Int J Quantum Chem 113:203
Kutzelnigg W (2012) AIP Conf Proc 1504:15
Hill RN (1985) J Chem Phys 83:1173
Kutzelnigg W, Morgan JD III (1992) J Chem Phys 96:4484
Hättig Ch, Klopper W, Köhn A, Tew DP (2012) Chem Rev 112:4 and the references cited therein
Mitroy J, Bubin S, Horiuchi W, Suzuki Y, Adamowicz L, Cencek W, Szalewicz K, Komasa J, Blume D, Varga K (2013) Rev Mod Phys 85:693 and the references cited therein
Ten-no S (2012) Theor Chem Acc 131:1070 and the references cited therein
Feller D, Peterson KA, Hill JG (2011) J Chem Phys 135:044102 and the references cited therein
Feller D (2013) J Chem Phys 138:074103 and the references cited therein
Goddard BD (2009) SIAM J Math Anal 41:77
Wang C (2013) Phys Rev A 88:032511
Taut M (1993) Phys Rev A 48:3561
Cioslowski J, Pernal K (2000) J Chem Phys 113:8434 and the references cited therein
Sahni V (2010) Quantal density functional theory II: approximation methods and applications. Springer, Berlin
Gori-Giorgi P, Savin A (2009) Int J Quantum Chem 109:2410
Zhu WM, Trickey SB (2006) J Chem Phys 125:094317
Elward JM, Hoffman J, Chakraborty A (2012) Chem Phys Lett 535:182
Elward JM, Thallinger B, Chakraborty A (2012) J Chem Phys 136:124105
Glover WJ, Larsen RE, Schwartz BJ (2010) J Chem Phys 132:144101
Cioslowski J (2015) J Chem Phys 142:114105
Cioslowski J (2015) J Chem Phys 142:114104
Cioslowski J (2013) J Chem Phys 139:224108
Cioslowski J, Strasburger K, Matito E (2014) J Chem Phys 141:044128
Cioslowski J, Strasburger K, Matito E (2012) J Chem Phys 136:194112
The first of these identities follows from the binomial theorem and elementary properties of the Legendre polynomials. In turn, when combined with the generating function of the Legendre polynomials, it yields the second identity upon application of the pertinent product formula
King HF (1996) Theor Chim Acta 94:345
Cioslowski J, Buchowiecki M (2005) J Chem Phys 122:084102
Petkovsek M, Wilf HS, Zeilberger D (1996) A=B. AK Peters, Wellesley
Kutzelnigg W (1963) Theor Chim Acta 1:327
White RJ, Byers Brown W (1970) J Chem Phys 53:3869
Acknowledgments
The research described in this publication has been funded by NCN (Poland) under grant DEC-2012/07/B/ST4/00553.
Author information
Authors and Affiliations
Corresponding author
Additional information
Published as part of the special collection of articles “Festschrift in honour of P. R. Surjan.”
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Cioslowski, J. Partial-wave decomposition of the ground-state wavefunction of the two-electron harmonium atom. Theor Chem Acc 134, 113 (2015). https://doi.org/10.1007/s00214-015-1705-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00214-015-1705-8