Screened Waves
a jigsaw puzzle-like basis set for 1-particle wavefunctions
Dimitar Pashov, KCL
IIIDQS, 16 May 2019, STFC Daresbury
Idea
Construct a set of functions which almost solve the 1-particle Schrödinger/Dirac equation for real potentials
without spending effort equivalent to or grater than actually solving it.
- Without global matrix operations: multiplication, inversion, diagonalisation, decompositions, etc...
- Without global energy scan and functions reconstructions
The function set shall
- preserve the rigour and accuracy of augmented methods
- be mimimal, reasonably complete and not overcomplete
- be reasonably short ranged (system dependent), allowing scalable integration
- take advantage of low expansion cutoffs of the PAW scheme (described in Mark's intro to LMTO talk).
s-type function (interactve isosurface model)
QSGW Si bandstructure
Short deviation to explain yesterday's unfortunate confusion on the LiF example
blm --gw --nkgw=5 --nk=8 --nit=20 --gmax=9.8 --ctrl=ctrl init.lif
interpolating 8×8×8 mesh from 5×5×5 sigma file on a tiny system, potentially dangerous (as we saw yesterday with Brian), terribly false gap of 2.44 eV, parallels with 2×2×2 Si bands picture (unscreened case):
vs
blm --gw --nkgw=5 --nk=5 --nit=20 --gmax=9.8 --ctrl=ctrl init.lif
interpolating 5×5×5 mesh from 5×5×5 sigma more reliable because points match (bar the Γ point, which always gets a special treatment): bandgap: 16.65 eV
Truncated QSGW NiO band gap
Strontium Ruthenate Fermi surface (8×8×8 mesh)
experiment, screened (overlay) and unscreened basis
Strontium Ruthenate 6×6×6 screened basis
Screened LMTO in a coconutshell
$H$: $h.Y$; $J$: $j.Y$; $Y$: spherical harmonics; $I$: identity (sometimes product of Kronecker deltas)
$H_{RLR'L'}$ : The $L'$ component of a function $H_L$ centered on site $R$ evaluated at site $R'$.
\[
H_{RLR'L'} = H_{L} I_{RLR'L'} + S_{RLR'L'} J_{L'} . (1-I_{RR'})
\]
(in smooth H case there is additional short ranged $P_{kL}$ expansion of $H^{sm}-H$ which is ignored here for clarity)
Here $S_{RLR'L'}$ is an expansion coefficient such that $H_{RL(r)} = \sum_{L'} S_{RLR'L'} J_{L'R}$
Let's concretise for sphere surfaces only and rescale by $1/H_{L'}$ rather than $1/H_{L}$ to preserve the original symmetry of $J$ $\left(\right.$now $\left. J/H\right)$, $H_{L} I_{RLR'L'} / H_{L'} == H_{L} I_{RLR'L'} / H_{L} == I_{RLR'L'}$ for spheres of the same size anyway.
\[
H_{RLR'L'}/H_{L'} = I_{RLR'L'} + S_{RLR'L'} J_{L'}/H_{L'} . (1-I_{RR'})
\]
Let's shorten $J_{L}/H_{L}$ to just $\alpha_{L}$, it is a diagonal in matrix form. With $\mathrm{H} \equiv H_{RLR'L'}/H_{L'}$ and other appropriate aliasing:
\[
\mathrm{H} = \mathrm{I} + \mathrm{S} \alpha
\]
Now request functions $E_{RL}$ made of combinations of H functions such that they evaluate to unit on their own $R$ centered spheres but vanish at all other spheres (i.e. I_{RLR'L'}). The combination coefficients $B$ are to be found.
\[
E_{RLR'L'} = H_{L} δ_{RR'} δ_{LL'} = \sum_{R''L''} B_{RLR''L''} H_{R''L''R'L'}
\]
to avoid messy indices let's alias $\mathrm{E} \equiv E_{RLR'L'}/H_{L'} \equiv \mathrm{I}$, then:
\[
\mathrm{E} = \mathrm{B} \mathrm{H}; \quad \mathrm{B} = \mathrm{E} \mathrm{H^{-1}} = (\mathrm{I} + \mathrm{S} \alpha)^{-1} = a^{-1} (a^{-1} + \mathrm{S})^{-1}
\]
We do have kinks on the sphere boundaries due to the augmentation functions mathing the value (and curvature) only.
\begin{align}
& K_{1,RLR'L'} = & dE_{1,RLR'L'} - & d\phi_{1,RLR'L'} \\
& K_{2,RLR'L'} = & dE_{2,RLR'L'} - & d\phi_{2,RLR'L'} \\
& : : & & : \\
& K_{n,RLR'L'} = & dE_{n,RLR'L'} - & d\phi_{n,RLR'L'}
\end{align}
these can be straightened out by interpolating to 0 kink matrix using functions at 2 or more energies. Example with Lagrange weights:
\[
F = \sum_{e=1}^n \left( \prod_{k=1;k/=e}^n K_k . (K_k - K_e)^{-1} \right) E_e
\]
The same can also be derived (with more difficulty) from the Vandermonde matrix:
\begin{align}
F = (I\, 0\, 0) & (K_1^0 K_1^1 ... K_1^n)^{-1} & E_1 \\
& (K_2^0 K_2^1 ... K_2^n) & E_2 \\
& : : ::: : & : \\
& (K_n^0 K_n^1 ... K_n^n) & E_n \\
\end{align}
For the simple case of 2 energies:
\[
F = K_2 (K_2 - K_1)^{-1} E_1 - K_1 (K_2 - K_1)^{-1} E_2
\]
adding more linearisation energies sharpens the window of accuracy, (improves significntly between the energies and worsens as much outside of it).
Step by step construction with a toy model
fairly realistic (not a muffin tin) yet simple analytic solution available for reference
Bare (un smoothened) Hankel basis vs analytic solution
Screening
note behaviour on sphere boundaries
Augmentation (kinked waves)
Bare (un smoothened) Hankel basis vs analytic solution
bare H need 0 interstitial volume (not the case here) to be effective on real (not flat) potentials.
Smooth Hankel basis vs analytic solution
Screening
same behaviour on sphere boundaries
Augmentation (kinked waves)
Smooth Hankel basis vs analytic solution
smoothing helps on real potetials (compared with bare H which are only exact for flat potential)
Smooth Hankel basis (k.e. match) vs analytic solution
Screening
note continuity of curvature across sphere boundaries
Augmentation (kinked waves)
Smooth Hankel basis (k.e. match) vs analytic solution
functional solution close to perfect