Hybrid functionals: formalism: Difference between revisions
No edit summary |
|||
(32 intermediate revisions by one other user not shown) | |||
Line 51: | Line 51: | ||
:<math> | :<math> | ||
V_{\mathrm{x}}\left(\mathbf{r},\mathbf{r}'\right)= | V_{\mathrm{x}}^{\mathrm{HF}}\left(\mathbf{r},\mathbf{r}'\right)= | ||
-\frac{e^2}{2}\sum_{m\mathbf{q}}f_{m\mathbf{q}} | -\frac{e^2}{2}\sum_{m\mathbf{q}}f_{m\mathbf{q}} | ||
\frac{\psi_{m\mathbf{q}}^{*}(\mathbf{r}')\psi_{m\mathbf{q}}(\mathbf{r})} | \frac{\psi_{m\mathbf{q}}^{*}(\mathbf{r}')\psi_{m\mathbf{q}}(\mathbf{r})} | ||
Line 76: | Line 76: | ||
:<math> | :<math> | ||
V_{\mathrm{x}}\left(\mathbf{r},\mathbf{r}'\right)= | V_{\mathrm{x}}^{\mathrm{HF}}\left(\mathbf{r},\mathbf{r}'\right)= | ||
\sum_{\mathbf{k}}\sum_{\mathbf{G}\mathbf{G}'} | \sum_{\mathbf{k}}\sum_{\mathbf{G}\mathbf{G}'} | ||
e^{i(\mathbf{k}+\mathbf{G})\cdot\mathbf{r}} | e^{i(\mathbf{k}+\mathbf{G})\cdot\mathbf{r}} | ||
V_{\mathbf{k}}\left( \mathbf{G},\mathbf{G}'\right) | V_{\mathbf{k}}^{\mathrm{HF}}\left( \mathbf{G},\mathbf{G}'\right) | ||
e^{-i(\mathbf{k}+\mathbf{G}')\cdot\mathbf{r}'} | e^{-i(\mathbf{k}+\mathbf{G}')\cdot\mathbf{r}'} | ||
</math> | </math> | ||
Line 85: | Line 85: | ||
<span id="VxFockRecip"> | <span id="VxFockRecip"> | ||
:<math> | :<math> | ||
V_\mathbf{k}\left( \mathbf{G},\mathbf{G}'\right)= | V_\mathbf{k}^{\mathrm{HF}}\left( \mathbf{G},\mathbf{G}'\right)= | ||
\langle \mathbf{k}+\mathbf{G} | V_{\mathrm{x}} | \mathbf{k}+\mathbf{G}'\rangle = | \langle \mathbf{k}+\mathbf{G} | V_{\mathrm{x}}^{\mathrm{HF}} | \mathbf{k}+\mathbf{G}'\rangle = | ||
-\frac{4\pi e^2}{\Omega} \sum_{m\mathbf{q}}f_{m\mathbf{q}}\sum_{\mathbf{G}''} | -\frac{4\pi e^2}{\Omega} \sum_{m\mathbf{q}}f_{m\mathbf{q}}\sum_{\mathbf{G}''} | ||
\frac{C^*_{m\mathbf{q}}(\mathbf{G}'-\mathbf{G}'') C_{m\mathbf{q}}(\mathbf{G}-\mathbf{G}'')} | \frac{C^*_{m\mathbf{q}}(\mathbf{G}'-\mathbf{G}'') C_{m\mathbf{q}}(\mathbf{G}-\mathbf{G}'')} | ||
Line 97: | Line 97: | ||
=== Range-separated hybrid functionals === | === Range-separated hybrid functionals === | ||
==== Error function screening ==== | ==== Error function screening with short-range Hartree-Fock exchange ==== | ||
More popular in solid-state physics, are the screened hybrid functionals, where only the short-range (SR) exchange is mixed, while the long-range (LR) exchange is still fully [[:Category:GGA|GGA]]: | More popular in solid-state physics, are the screened hybrid functionals, where only the short-range (SR) exchange is mixed, while the long-range (LR) exchange is still fully [[:Category:GGA|GGA]]: | ||
Line 104: | Line 104: | ||
*HSE: | *HSE: | ||
:In the range-separated [[List_of_hybrid_functionals#HSE03|HSE03]]{{cite|heyd:jcp:03}}{{cite|heyd:jcp:04}}{{cite|heyd:jcp:06}} and [[List_of_hybrid_functionals#HSE06|HSE06]]{{cite|krukau:jcp:06}} hybrid functionals the slowly decaying long-range part of the Hartree-Fock exchange interaction is replaced by the corresponding part of the PBE density functional counterpart. The resulting expression for the exchange-correlation energy is given by: | :In the range-separated [[List_of_hybrid_functionals#HSE03|HSE03]]{{cite|heyd:jcp:03}}{{cite|heyd:jcp:04}}{{cite|heyd:jcp:06}} and [[List_of_hybrid_functionals#HSE06|HSE06]]{{cite|krukau:jcp:06}} hybrid functionals the slowly decaying long-range part of the Hartree-Fock exchange interaction (see the discussion on the [[Coulomb singularity]]) is replaced by the corresponding part of the PBE density functional counterpart. The resulting expression for the exchange-correlation energy is given by: | ||
:<math> | :<math> | ||
E_{\mathrm{xc}}^{\mathrm{HSE}}= \frac{1}{4}E_{\mathrm{x}}^{\mathrm{SR | E_{\mathrm{xc}}^{\mathrm{HSE}}= \frac{1}{4}E_{\mathrm{x}}^{\mathrm{HF,SR}}(\mu) | ||
+ \frac{3}{4} E_{\mathrm{x}}^{\mathrm{PBE,SR}}(\mu) | + \frac{3}{4} E_{\mathrm{x}}^{\mathrm{PBE,SR}}(\mu) | ||
+ E_{\mathrm{x}}^{\mathrm{PBE,LR}}(\mu) + E_{\mathrm{c}}^{\mathrm{PBE}}. | + E_{\mathrm{x}}^{\mathrm{PBE,LR}}(\mu) + E_{\mathrm{c}}^{\mathrm{PBE}}. | ||
Line 120: | Line 120: | ||
</span> | </span> | ||
where <math>r =|{\bf r}-{\bf r}'|</math>, and <math>\mu</math> ( | where <math>r =|{\bf r}-{\bf r}'|</math>, and <math>\mu</math> (set by {{TAG|HFSCREEN}}) is the parameter that defines the range separation, and is related to a characteristic distance, <math>2/\mu</math>, at which the short-range interactions become negligible. | ||
Note: It has been shown that the optimum <math>\mu</math>, controlling the range separation is approximately 0.2-0.3 Å<sup>-1</sup>.{{cite|heyd:jcp:03}}{{cite|heyd:jcp:04}}{{cite|heyd:jcp:06}}{{cite|krukau:jcp:06}} | Note: It has been shown that the optimum <math>\mu</math>, controlling the range separation is approximately 0.2-0.3 Å<sup>-1</sup>.{{cite|heyd:jcp:03}}{{cite|heyd:jcp:04}}{{cite|heyd:jcp:06}}{{cite|krukau:jcp:06}} | ||
Line 129: | Line 129: | ||
<span id="ExFockSR"> | <span id="ExFockSR"> | ||
:<math> | :<math> | ||
E^{\rm SR | E^{\rm HF,SR}_{\mathrm{x}}(\mu)= | ||
-\frac{e^2}{2}\sum_{n\mathbf{k},m\mathbf{q}} | -\frac{e^2}{2}\sum_{n\mathbf{k},m\mathbf{q}} | ||
f_{n\mathbf{k}} f_{m\mathbf{q}} | f_{n\mathbf{k}} f_{m\mathbf{q}} | ||
Line 144: | Line 144: | ||
:<math> | :<math> | ||
\begin{align} | \begin{align} | ||
V^{\mathrm{SR}}_\mathbf{k}\left( \mathbf{G},\mathbf{G}'\right)&= | V^{\mathrm{HF,SR}}_\mathbf{k}\left( \mathbf{G},\mathbf{G}'\right)&= | ||
\langle \mathbf{k}+\mathbf{G} | V^{\rm SR}_x [\mu] | \mathbf{k}+\mathbf{G}'\rangle \\ | \langle \mathbf{k}+\mathbf{G} | V^{\rm SR}_x [\mu] | \mathbf{k}+\mathbf{G}'\rangle \\ | ||
&=-\frac{4\pi e^2}{\Omega} \sum_{m\mathbf{q}}f_{m\mathbf{q}}\sum_{\mathbf{G}''} | &=-\frac{4\pi e^2}{\Omega} \sum_{m\mathbf{q}}f_{m\mathbf{q}}\sum_{\mathbf{G}''} | ||
Line 158: | Line 158: | ||
The short-range PBE exchange energy and potential, and their long-range counterparts, are arrived at using the same [[#SRLR|decomposition]], in accordance with Heyd ''et al''.{{cite|heyd:jcp:03}} It is easily seen that the long-range term in the [[#SRLR|decomposed Coulomb kernel]] becomes zero for <math>\mu=0</math>, and the short-range contribution then equals the full Coulomb operator, whereas for <math>\mu\rightarrow\infty</math> it is the other way around. Consequently, the two limiting cases of the HSE functional are a true [[List_of_hybrid_functionals#PBE0|PBE0]] functional for <math>\mu=0</math>, and a pure PBE calculation for <math>\mu\rightarrow\infty</math>. | The short-range PBE exchange energy and potential, and their long-range counterparts, are arrived at using the same [[#SRLR|decomposition]], in accordance with Heyd ''et al''.{{cite|heyd:jcp:03}} It is easily seen that the long-range term in the [[#SRLR|decomposed Coulomb kernel]] becomes zero for <math>\mu=0</math>, and the short-range contribution then equals the full Coulomb operator, whereas for <math>\mu\rightarrow\infty</math> it is the other way around. Consequently, the two limiting cases of the HSE functional are a true [[List_of_hybrid_functionals#PBE0|PBE0]] functional for <math>\mu=0</math>, and a pure PBE calculation for <math>\mu\rightarrow\infty</math>. | ||
<span id=" | <span id="RSHX"></span> | ||
==== Thomas-Fermi screening ==== | ==== Error function screening with long-range Hartree-Fock exchange ==== | ||
In the case of | |||
Screened hybrid functionals with Hartree-Fock exchange at long range are more popular in molecular chemistry, where a proper decay of the exchange-correlation potential at long range far from the nuclei may be important. These functionals are less useful for solid-state physics, in particular for bulk solids. Examples belonging to this class of functionals are (available in VASP): | |||
*[[List_of_hybrid_functionals#RSHXLDA|RSHXLDA]] and [[List_of_hybrid_functionals#RSHXPBE|RSHXPBE]]:{{cite|iikura:jcp:2001}}{{cite|gerber:cpl:2005}}{{cite|gerber:jcp:2007}} | |||
:In the RSHXLDA and RSHXPBE functionals the exchange operator is decomposed into short-range LDA/PBE and long-range Hartree-Fock: | |||
:<math> | |||
E_{\mathrm{xc}}^{\mathrm{RSHXLDA}}= E_{\mathrm{x}}^{\mathrm{LDA,SR}}(\mu) | |||
+ E_{\mathrm{x}}^{\mathrm{HF,LR}}(\mu) + E_{\mathrm{c}}^{\mathrm{LDA}}, | |||
</math> | |||
:<math> | |||
E_{\mathrm{xc}}^{\mathrm{RSHXPBE}}= E_{\mathrm{x}}^{\mathrm{PBE,SR}}(\mu) | |||
+ E_{\mathrm{x}}^{\mathrm{HF,LR}}(\mu) + E_{\mathrm{c}}^{\mathrm{PBE}}, | |||
</math> | |||
:where <math>\mu</math> (set by {{TAG|HFSCREEN}}) is the parameter that defines the range separation. The use of the long-range Hartree-Fock exchange is activated with the {{TAG|LRHFCALC}} tag. This functional can only be used when the short-range density functional part is LDA or PBE. When LDA is chosen, a value of <math>\mu=0.75</math> Å<sup>-1</sup> is recommended for solids.{{cite|gerber:jcp:2007}} | |||
==== Thomas-Fermi exponential screening with short-range Hartree-Fock exchange ==== | |||
In the case of Thomas-Fermi screening (activated with the {{TAG|LTHOMAS}} tag), the Coulomb kernel is again decomposed in a short-range and a long-range part with the exponential function.{{cite|bylander:prb:90}}{{cite|seidl:prb:96}}{{cite|picozzi:prb:00}} This decomposition can be conveniently written in reciprocal space: | |||
<span id="ThomasFermi"> | <span id="ThomasFermi"> | ||
Line 170: | Line 186: | ||
</span> | </span> | ||
where <math>k_{\rm TF}</math> ( | where <math>k_{\rm TF}</math> (set by {{TAG|HFSCREEN}}) is the Thomas-Fermi screening length. For typical semiconductors, a Thomas-Fermi screening length of about 1.8 Å<sup>-1</sup> yields reasonable band gaps. In principle, however, the Thomas-Fermi screening length depends on the valence-electron density; VASP determines this parameter from the number of valence electrons (read from the {{FILE|POTCAR}} file) and the volume and writes the corresponding value to the {{FILE|OUTCAR}} file: | ||
Thomas-Fermi vector in A = 2.00000 | Thomas-Fermi vector in A = 2.00000 | ||
Since VASP counts the semi-core states and ''d''-states as valence electrons, although these states do not contribute to the screening, the values reported by VASP are often incorrect. | Since VASP counts the semi-core states and ''d''-states as valence electrons, although these states do not contribute to the screening, the values reported by VASP are often incorrect. | ||
Line 185: | Line 201: | ||
{{TAG|AMGGAC}}, | {{TAG|AMGGAC}}, | ||
{{TAG|LHFCALC}}, | {{TAG|LHFCALC}}, | ||
{{TAG|LTHOMAS}}, | |||
{{TAG|LRHFCALC}}, | |||
{{TAG|HFSCREEN}}, | {{TAG|HFSCREEN}}, | ||
[[List of hybrid functionals]], | [[List of hybrid functionals]], | ||
[[Downsampling of the Hartree-Fock operator]], | |||
[[Coulomb singularity]] | [[Coulomb singularity]] | ||
Line 192: | Line 211: | ||
<references/> | <references/> | ||
[[Category:Exchange-correlation functionals]][[Category:Hybrid_functionals]][[Category:Theory]] | [[Category:Exchange-correlation functionals]][[Category:Hybrid_functionals]][[Category:Theory]] |
Latest revision as of 05:46, 20 June 2024
The hybrid functionals can be categorized into two types: unscreened and range-separated (i.e., screened), as described in more details below.
Note that the hybrid functionals are implemented within the generalized KS scheme[1]. Thus, the total energy is minimized with respect to the orbitals (instead of the electron density), which means that the HF exchange leads to a nonlocal operator as in the Hartree-Fock-Roothaan theory.
Unscreened hybrid functionals
In hybrid exchange-correlation functionals, the exchange component consists of a mixing of GGA (or meta-GGA) and Hartree-Fock exchange:
where is the mixing parameter (AEXX) that is typically in the range 0.1-0.5. Two examples of hybrid functionals, PBE0 and B3LYP, are given below.
- where and denote the exchange and correlation parts of the PBE density functional, respectively.
- where and are the B3LYP exchange and correlation energy contributions, respectively. consists of 80% of LDA exchange plus 20% of nonlocal Hartree-Fock exchange, and 72% of the gradient corrections of the Becke88 exchange functional. consists of 81% of LYP correlation energy, which contains a local and a semilocal (gradient dependent) part, and 19% of the (local) Vosko-Wilk-Nusair correlation functional III, which is fitted to the correlation energy in the random phase approximation RPA of the homogeneous electron gas.
The nonlocal Hartree-Fock exchange energy, , can be written as
with being the set of one-electron Bloch states of the system, and the corresponding set of (possibly fractional) occupational numbers. The sums over and run over all points chosen to sample the Brillouin zone (BZ), whereas the sums over and run over all bands at these points. The corresponding nonlocal Hartree-Fock potential is given by
where is the cell periodic part of the Bloch state, , at point, , with band index m. Using the decomposition of the Bloch states, , in plane waves,
the Hartree-Fock exchange potential may be written as
where
is the representation of the Hartree-Fock potential in reciprocal space. In VASP, these expressions are implemented within the PAW formalism.[4]
Range-separated hybrid functionals
Error function screening with short-range Hartree-Fock exchange
More popular in solid-state physics, are the screened hybrid functionals, where only the short-range (SR) exchange is mixed, while the long-range (LR) exchange is still fully GGA:
where is the screening parameter (HFSCREEN) that determines the range separation. The most popular range-separated functional, HSE, is given below.
- HSE:
- In the range-separated HSE03[5][6][7] and HSE06[8] hybrid functionals the slowly decaying long-range part of the Hartree-Fock exchange interaction (see the discussion on the Coulomb singularity) is replaced by the corresponding part of the PBE density functional counterpart. The resulting expression for the exchange-correlation energy is given by:
The decomposition of the Coulomb kernel is obtained using the following construction:
where , and (set by HFSCREEN) is the parameter that defines the range separation, and is related to a characteristic distance, , at which the short-range interactions become negligible.
Note: It has been shown that the optimum , controlling the range separation is approximately 0.2-0.3 Å-1.[5][6][7][8] To select the HSE06 functional you need to select (HFSCREEN=0.2).
Using the decomposed Coulomb kernel one may straightforwardly rewrite the nonlocal Hartree-Fock exhange energy:
The representation of the corresponding short-range Hartree-Fock potential in reciprocal space is given by
The only difference to the reciprocal space representation of the complete Hartree-Fock exchange potential is the second factor in the summand above, representing the complementary error function in reciprocal space.
The short-range PBE exchange energy and potential, and their long-range counterparts, are arrived at using the same decomposition, in accordance with Heyd et al.[5] It is easily seen that the long-range term in the decomposed Coulomb kernel becomes zero for , and the short-range contribution then equals the full Coulomb operator, whereas for it is the other way around. Consequently, the two limiting cases of the HSE functional are a true PBE0 functional for , and a pure PBE calculation for .
Error function screening with long-range Hartree-Fock exchange
Screened hybrid functionals with Hartree-Fock exchange at long range are more popular in molecular chemistry, where a proper decay of the exchange-correlation potential at long range far from the nuclei may be important. These functionals are less useful for solid-state physics, in particular for bulk solids. Examples belonging to this class of functionals are (available in VASP):
- In the RSHXLDA and RSHXPBE functionals the exchange operator is decomposed into short-range LDA/PBE and long-range Hartree-Fock:
- where (set by HFSCREEN) is the parameter that defines the range separation. The use of the long-range Hartree-Fock exchange is activated with the LRHFCALC tag. This functional can only be used when the short-range density functional part is LDA or PBE. When LDA is chosen, a value of Å-1 is recommended for solids.[11]
Thomas-Fermi exponential screening with short-range Hartree-Fock exchange
In the case of Thomas-Fermi screening (activated with the LTHOMAS tag), the Coulomb kernel is again decomposed in a short-range and a long-range part with the exponential function.[12][1][13] This decomposition can be conveniently written in reciprocal space:
where (set by HFSCREEN) is the Thomas-Fermi screening length. For typical semiconductors, a Thomas-Fermi screening length of about 1.8 Å-1 yields reasonable band gaps. In principle, however, the Thomas-Fermi screening length depends on the valence-electron density; VASP determines this parameter from the number of valence electrons (read from the POTCAR file) and the volume and writes the corresponding value to the OUTCAR file:
Thomas-Fermi vector in A = 2.00000
Since VASP counts the semi-core states and d-states as valence electrons, although these states do not contribute to the screening, the values reported by VASP are often incorrect.
Another important detail concerns the implementation of the density-functional part in the screened exchange case. Literature suggests that a global enhancement factor (see Eq. 3.15)[1] should be used, whereas VASP implements a local-density-dependent enhancement factor , where is the Fermi wave vector corresponding to the local density (and not the average density as suggested Seidl et al.[1]. The VASP implementation is in the spirit of the local density approximation.
Related tags and articles
AEXX, ALDAX, ALDAC, AGGAX, AGGAC, AMGGAX, AMGGAC, LHFCALC, LTHOMAS, LRHFCALC, HFSCREEN, List of hybrid functionals, Downsampling of the Hartree-Fock operator, Coulomb singularity
References
- ↑ a b c d A. Seidl, A. Görling, P. Vogl, J.A. Majewski, and M. Levy, Phys. Rev. B 53, 3764 (1996).
- ↑ J. P. Perdew, M. Ernzerhof, and K. Burke, J. Chem. Phys. 105, 9982 (1996).
- ↑ P. J. Stephens, F. J. Devlin, C. F. Chabalowski, and M. J. Frisch, J. Phys. Chem. 98, 11623 (1994).
- ↑ J. Paier, R. Hirschl, M. Marsman, and G. Kresse, J. Chem. Phys. 122, 234102 (2005).
- ↑ a b c J. Heyd, G. E. Scuseria, and M. Ernzerhof, J. Chem. Phys. 118, 8207 (2003).
- ↑ a b J. Heyd and G. E. Scuseria, J. Chem. Phys. 121, 1187 (2004).
- ↑ a b J. Heyd, G. E. Scuseria, and M. Ernzerhof, J. Chem. Phys. 124, 219906 (2006).
- ↑ a b A. V. Krukau , O. A. Vydrov, A. F. Izmaylov, and G. E. Scuseria, J. Chem. Phys. 125, 224106 (2006).
- ↑ H. Iikura, T. Tsuneda, T. Yanai, and K. Hirao, A long-range correction scheme for generalized-gradient-approximation exchange functionals, J. Chem. Phys. 115, 3540 (2001).
- ↑ I. C. Gerber and J. G. Ángyán, Hybrid functional with separated range, Chem. Phys. Lett. 415, 100 (2005).
- ↑ a b I. C. Gerber, J. G. Ángyán, M. Marsman, and G. Kresse, Range separated hybrid density functional with long-range Hartree-Fock exchange applied to solids, J. Chem. Phys. 127, 054101 (2007).
- ↑ D. M. Bylander and L. Kleinman, Phys. Rev. B 41, 7868 (1990).
- ↑ S. Picozzi, A. Continenza, R. Asahi, W. Mannstadt, A.J. Freeman, W. Wolf, E. Wimmer, and C.B. Geller, Phys. Rev. B 61, 4677 (2000).