Finally, the two particle matrix elements between two ionic channel functions look as:
1
NhIα|ATˆA|Jβi
= 1
2hi1i2|t|j1j2iρIJi1i2j1j2hα|βi+hiα|t|jβiρIJij − hiα|t|βjiρIJij
− hi1|βihαi2|t|j1j2iρIJi1i2j1j2 − hi1i2|t|βj2ihα|j1iρIJi1i2j1j2
− 1
2hi1|βihi2i3|t|j2j3ihα|j1iρIJi1i2i3j1j2j3.
(5.18)
Note: The current treatment needs upto three particle reduced density matrices. The non-orthogonality of the single electron basis, α, with respect to the Hartree-Fock (HF) basis, φk, leads to a significant complexity in the matrix elements. Explicit orthogonalization of the single electron basis with respect to HF orbitals is not a solution because: the ionic and neutral states are treated on the configuration interaction level and each ionic state is composed of several Slater determinants.
be expressed on a quadrature grid as:
α(~r) = X
q
αqYlαmα. (5.21)
The largest angular momenta in this one-electron expansion is denoted using symbolslmax and mmax.
There are four types of two-electron integrals that appear in the haCC scheme: hαφi|V{2}|βφjiρIJij , hαφi|V{2}|φjβiρIJij , hαφm|V{2}|φlφniρIJklmn and hαφl|V{2}|φmφkiηklmIN (See section (5.1.3)).
Outline of the steps following to compute them in the current implementation is presented in the following subsections. There exists a trade-off between the storage requirements and the operations count while designing a suitable algorithm.
5.2.1 Hartree term
The Hartree term: hαφi|V{2}|βφjiρIJij , is the easiest of the all the four varieties as the integral over the molecular orbitals yields an effective potential for the second electron coordinate. Denoting the matrix element as MαβIJ:
MαβIJ =X
ij
hαφi|V{2}|βφjiρIJij
=X
ij
ρIJij X
qq0
X
LM
4π
2L+ 1α∗qβqVqqL0
X
limi
ci∗q0limi
X
ljmj
cjq0ljmjhYlαmαYLM|YlβmβihYlimi|YLMYljmji (5.22) the integral evaluation is performed using the following steps:
1. First, an effective potential object RLM qIJ is defined as follows:
RIJLM q = 4π 2L+ 1
X
ij
ρIJij X
q0
VqqL0
X
limi
ci∗q0limi
X
hjmj
cjq0ljmjhYlimi|YLMYljmji (5.23)
which is computed at the start and stored. The next steps are done on the fly.
2. For each I, J, α, β the vector Tq is computed as:
Tq =X
LM
RIJLM qhYlαmαYLM|Ylβmβi (5.24)
3. This yields the required integral
MαβIJ =X
q
α∗qTqβq (5.25)
The limits of LM expansion define the required storage and this can be obtained by examining equations 5.23 and 5.24. The needed LM are:
Lmin = 0
Lmax = 2 min(lmax, lmaxg )
Mmin(L) = max(max(−2mgmax,−2mmax),−L) Mmax(L) = min(min(2mgmax,2mmax), L)
5.2.2 Standard exchange term
The standard exchange term which is the most expensive of all can be expressed as:
MαβIJ =X
ij
hαφi|V{2}|φjβiρIJij
=X
ij
ρIJij X
qq0
X
LM
4π
2L+ 1α∗qβq0VqqL0
X
limi
ci∗q0limihYlimiYLM|YlβmβiX
ljmj
cjqljmjhYlαmα|YLMYljmji (5.26) which can be recast as:
MαβIJ =X
qq0
α∗qβq
X
LM
4π 2L+ 1VqqL0
X
ij
RLMαjqρIJij R†LMβiq0 (5.27) where
RαjqLM =X
ljmj
cjqljmjhYlαmα|YLMYljmji (5.28) The expression within the ij summation can be simplified by performing a singular value decomposition or in other words by transforming from the molecular orbital basis to natural orbital basis. In the natural orbital basis ρIJij is a diagonal matrix. Using the singular value decompositionρIJji =UjxIJVxiIJ†,
X
ij
RLMαjqρIJij R†LMβiq0 =X
ij
RLMαjqUjxIJVxiIJ†R†LMβiq0 =X
x
TαxqIJLMTβxq†IJLM0 (5.29) This reduces the number of required floating point operations when the number of natural orbitals is smaller than the number of Hartree-Fock orbitals. The reduction in the double summation ij to single summation is compensated by the fact that T is also a function of IJ unlike R.
The original expression for the exchange integral can be re-written as:
MαβIJ =X
qq0
αq∗βqX
LM
4π 2L+ 1VqqL0
X
x
TαxqIJLMTβxq†IJLM0 (5.30) The integrals are computed using the following steps:
1. The objects T are computed and stored. This is possible for atomic case. In the molecular case due to the large angular momentum requirements, storing these may not be possible.
2. The next steps are done on the fly. An object SqqIJ0αβ is evaluated as:
SqqIJ0αβ =X
LM
4π 2L+ 1VqqL0
X
x
TαxqIJLMTβxq†IJLM0 (5.31)
3. This leads to the required integral:
MαβIJ =X
qq0
α∗qSqqIJ0αββq (5.32) The multipole expansion truncations can be obtained by examining the integrals between the spherical harmonics. In the current case the LM truncation limits are:
Lmin = max(0, la−lgmax) Lmax = la+lgmax
Mmin = min(max(−L, ma−mgmax), L) Mmax = max(min(L, ma+mgmax),−L)
5.2.3 Non-standard two-electron integral: h αφ
b| V
{2}| φ
cφ
di ρ
IJabcdThere are other non-standard exchange terms that appear in the two-particle operator due to non-orthogonality of the molecular orbitals from quantum chemistry with respect to the single electron finite element basis. The integral
MαaIJ =X
bcd
hαφb|V{2}|φcφdiρIJabcd
=X
bdc
ρIJabcdX
qq0
X
LM
4π
2L+ 1α∗qVqqL0
X
lbmb
cb∗q0lbmb
X
lcmc
ccqlcmcX
ldmd
cdq0ldmdhYlbmb|YLMYldmdihYlαmαYLM|Ylcmci (5.33)
is evaluated using the following steps:
1. A direct potential like object PLM qbd is first constructed:
PLM qbd = 4π 2L+ 1
X
q0
VqqL0
X
lbmb
cbq∗0lbmb
X
ldmd
cdq0ldmdhYlbmb|YLMYldmdi (5.34) 2. For each lα, mα an intermediate objectQcqbd
Qcqbd =X
lcmc
ccqlcmcX
LM
hYlαmαYLM|YlcmciPLM qbd (5.35)
3. Using the object Q, an object TqaIJ is constructed as:
TqaIJ =X
bcd
QcqbdρIJabcd (5.36)
which is computed and stored.
4. This leads to the required result:
MαaIJ =X
q
TqaIJαq∗ (5.37)
The multipole expansions are truncated as:
Lmin = 0
Lmax = min(2lmaxg , lmax+lmaxg )
Mmin = max(−L,−2mgmax,−mmax−mgmax) Mmax = min(L,2mgmax, mmax+mgmax)
5.2.4 Non-standard two-electron integral: h φ
aφ
b| V
{2}| φ
dβ i η
NabdJThe steps followed for this integral is very similar to the previous one. The integral can be expanded using the multi-pole expansion as:
MβNJ =X
abd
hφaφb|V{2}|φdβiηabdNJ
=X
abd
ηabdNJX
qq0
X
LM
4π
2L+ 1βq0VqqL0
X
lama
ca∗qlamaX
lbmb
cb∗q0lbmb
X
ldmd
cdqldmdhYlama|YLMYldmdihYlbmbYLM|Ylβmβi (5.38)
which is evaluated using the following steps.
1. Construct the potential PLM qad 0
PLM qad 0 = 4π 2L+ 1
X
q
VqqL0
X
lama
caql∗ama X
ldmd
cdqldmdhYlama|YLMYldmdi (5.39)
2. For each lβ and mβ construct an intermediate object Qbqab0as:
Qbqab0 =X
lbmb
cbq∗0lbmb
X
LM
hYlbmbYLM|YlβmβiPlmqad 0 (5.40)
3. Construct object Tq0 as:
TqN0 J =X
abd
Qbqad0ηabdNJ (5.41) This object is computed initially for each lβ and mβ and stored.
4. Finally, the required matrix element is computed on the fly using the stored object T as:
MβNJ =X
q0
TqN0Jβq0 (5.42)
The multi-pole expansions are truncated as:
Lmin = 0
Lmax = min(2lmaxg , lmax+lmaxg )
Mmin = max(−L,−2mgmax,−mmax−mgmax) Mmax = min(L,2mgmax, mmax+mgmax)
Note: As finite elements are used, the angular momentum limits can also be made a function of the finite element number.