Similarly to other electron correlation methods, many-body perturbation theory methods, such as the so-called GW approximation, suffer from the usual slow convergence of energetic properties with respect to the size of the one-electron basis set due to the lack of explicit electron-electron terms modeling the infamous electron-electron cusp.
Here, we propose a density-based basis set correction based on short-range correlation density functionals which significantly speed up the convergence of energetics towards the complete basis set limit.
The purpose of many-body perturbation theory (MBPT) is to solve the formidable many-body problem by adding the electron-electron Coulomb interaction perturbatively starting from an independent-particle model. \cite{MarReiCep-BOOK-16}
In MBPT, the \textit{screening} of the Coulomb interaction is a central quantity, and is responsible for a rich variety of phenomena that would be otherwise absent (such as quasiparticle satellites and lifetimes). \cite{Aryasetiawan_1998, Onida_2002, Reining_2017}
The so-called {\GW} approximation is the workhorse of MBPT and has a long and successful history in the calculation of the electronic structure of solids \cite{Aryasetiawan_1998, Onida_2002, Reining_2017} and is getting increasingly popular in molecular systems \cite{Blase_2011, Faber_2011, Bruneval_2012, Bruneval_2013, Bruneval_2015, Bruneval_2016, Bruneval_2016a, Boulanger_2014, Blase_2016, Li_2017, Hung_2016, Hung_2017, vanSetten_2015, vanSetten_2018, Ou_2016, Ou_2018, Faber_2014} thanks to efficient implementation relying on local basis functions. \cite{Blase_2011, Blase_2018, Bruneval_2016, vanSetten_2013, Kaplan_2015, Kaplan_2016, Krause_2017, Caruso_2012, Caruso_2013, Caruso_2013a, Caruso_2013b}
The {\GW} approximation stems from the acclaimed Hedin's equations \cite{Hedin_1965}
which connects the Green's function $\G{}{}$, its non-interacting version $\G{0}{}$, the irreducible vertex function $\Gam{}{}$, the irreducible polarizability $\Po{}{}$, the dynamically-screened Coulomb interaction $\W{}{}$
and the self-energy $\Sig{}{}$, where $\vc{}{}$ is the bare Coulomb interaction, $\delta(12)$ is Dirac's delta function \cite{NISTbook} and $(1)$ is a composite coordinate gathering spin, space and time variables $(\sigma_1,\br{1},t_1)$.
Within the {\GW} approximation, one bypasses the calculation of the vertex corrections by setting
Although obviously starting-point dependent, it has been widely used in the literature to study solids, atoms and molecules. \cite{Bruneval_2012, Bruneval_2013, vanSetten_2015, vanSetten_2018}
For finite systems such as atoms and molecules, partially \cite{Hybertsen_1986, Shishkin_2007, Blase_2011, Faber_2011} or fully self-consistent \cite{Caruso_2012, Caruso_2013, Caruso_2013a, Caruso_2013b}{\GW} methods have shown great promise. \cite{Ke_2011, Blase_2011, Faber_2011, Koval_2014, Hung_2016, Blase_2018, Jacquemin_2017}
Similar to other electron correlation methods, MBPT methods suffer from the usual slow convergence of energetic properties with respect to the size of the one-electron basis set.
This can be tracked down to the lack of explicit electron-electron terms modeling the infamous electron-electron coalescence point (also known as Kato cusp \cite{Kat-CPAM-57}) and, more specifically, the Coulomb correlation hole around it.
Pioneered by Hylleraas \cite{Hyl-ZP-29} in the 1930's and popularized in the 1990's by Kutzelnigg and coworkers \cite{Kut-TCA-85, NogKut-JCP-94, KutKlo-JCP-91} (and subsequently others \cite{KonBisVal-CR-12, HatKloKohTew-CR-12, TenNog-WIREs-12, GruHirOhnTen-JCP-17}), the so-called F12 methods overcome this slow convergence by employing geminal basis functions that closely resemble the correlation holes in electronic wave functions.
F12 methods are now routinely employed in computational chemistry and provide robust tools for electronic structure calculations where small basis sets may be used to obtain near complete basis set (CBS) limit accuracy. \cite{TewKloNeiHat-PCCP-07}
The basis-set correction presented here follow a different avenue, and relies on the range-separated density-functional theory (RS-DFT) formalism to capture, thanks to a short-range correlation functional, the missing part of the short-range correlation effects. \cite{GinPraFerAssSavTou-JCP-18}
As shown in recent studies on both ground- and excited-state properties, \cite{LooPraSceTouGin-JPCL-19, GinSceTouLoo-JCP-19} similar to F12 methods, it significantly speeds up the convergence of energetics towards the CBS limit while avoiding the usage of large auxiliary basis sets that are used in F12 methods to avoid the numerous three- and four-electron integrals. \cite{KonBisVal-CR-12, HatKloKohTew-CR-12, TenNog-WIREs-12, GruHirOhnTen-JCP-17, Barca_2018}
Explicitly correlated F12 correction schemes have been derived for second-order Green's function methods (GF2) \cite{SzaboBook, Casida_1989, Casida_1991, Stefanucci_2013, Ortiz_2013, Phillips_2014, Phillips_2015, Rusakov_2014, Rusakov_2016, Hirata_2015, Hirata_2017, Loos_2018} by Ten-no and coworkers \cite{Ohnishi_2016, Johnson_2018} and Valeev and coworkers. \cite{Pavosevic_2017, Teke_2019}
In the present manuscript, we illustrate the performance of the density-based basis set correction developed in Refs.~\onlinecite{GinPraFerAssSavTou-JCP-18, LooPraSceTouGin-JPCL-19, GinSceTouLoo-JCP-19} on ionization potentials obtained within {\GOWO}.
Note that the the present basis set correction can be straightforwardly applied to other properties (\textit{e.g.}, electron affinities and fundamental gap), as well as other flavours of (self-consistent) {\GW} or Green's function-based methods, such as GF2 (and its higher-order variants).
Moreover, we are currently investigating the performances of the present approach for linear response theory, in order to speed up the convergence of excitation energies obtained within the random-phase approximation (RPA) \cite{Casida_1995, Dreuw_2005} and Bethe-Salpeter equation (BSE) formalism. \cite{Strinati_1988, Leng_2016, Blase_2018}
Following Ref.~\onlinecite{GinPraFerAssSavTou-JCP-18}, we start by defining, for a $\Ne$-electron system with nuclei-electron potential $\vne(\b{r})$, the approximate ground-state energy for one-electron densities $\n{}{}$ which are ``representable'' in a finite basis set $\Bas$
where $\cD^\Bas$ is the set of $\Ne$-representable densities which can be extracted from a wave function $\Psi^\Bas$ expandable in the Hilbert space generated by $\Bas$.
is the exact Levy-Lieb universal density functional, where the notation $\wf{}{}\rightsquigarrow\n{}{}$ in Eq.~\eqref{eq:E0B} states that $\wf{}{}$ yields the one-electron density $\n{}{}$.
$\hT$ and $\hWee{}$ are the kinetic and electron-electron interaction operators, which is then decomposed as
where $\F{}{\Bas}[\n{}{}]$ is the Levy-Lieb density functional \cite{Lev-PNAS-79, Lev-PRA-82, Lie-IJQC-83} with wave functions $\Psi^\Bas$ expandable in the Hilbert space generated by $\Bas$
and $\bE{}{\Bas}[\n{}{}]$ is the complementary basis-correction density functional. \cite{GinPraFerAssSavTou-JCP-18}
In the present work, instead of using wave-function methods for calculating $\F{}{\Bas}[\n{}{}]$, we re-express it with a constrained search over $\Ne$-representable one-electron Green's functions $\G{}{\Bas}(\br{},\br{}',\omega)$ representable in the basis set $\Bas$
where $\Omega^\Bas[G]$ is chosen to be a Klein-like energy functional of the Green's function (see, \textit{e.g.}, Refs.~\onlinecite{SteLee-BOOK-13,MarReiCep-BOOK-16,DahLee-JCP-05,DahLeeBar-IJQC-05,DahLeeBar-PRA-06})
In Eq.~\eqref{eq:OmegaB}, $\Phi_\Hxc^\Bas[\G{}{}]$ is a Hartree-exchange-correlation ($\Hxc$) functional of the Green's function such as its functional derivatives yields the Hxc self-energy in the basis
where the minimization is over $\Ne$-representable one-electron Green's functions $\G{}{\Bas}(\br{},\br{}',\omega)$ representable in the basis set $\Bas$.
with the chemical potential $\lambda$, and $\bSig{}{\Bas}$ is a frequency-independent local self-energy coming from the functional derivative of the complementary basis-correction density functional
with $\bpot{}{\Bas}[\n{}{}](\br{})=\delta\bE{}{\Bas}[\n{}{}]/\delta\n{}{}(\br{})$.
The solution of the Dyson equation \eqref{eq:Dyson} gives the Green's function $\G{}{\Bas}(\br{},\br{}',\omega)$ which is not exact (even using the exact complementary basis-correction density functional $\bSig{}{\Bas}[\n{}{}]$) but should converge more rapidly with the basis set thanks to the presence of the basis-set correction $\bSig{}{\Bas}$.
Of course, in the CBS limit, the basis-set correction vanishes and the Green's function becomes exact, \textit{i.e.},
For example, if the reference is Hartree-Fock ($\HF$), $\Sig{\text{ref}}{\Bas}(\br{},\br{}')=\Sig{\Hx,\HF}{\Bas}(\br{},\br{}')$ is the $\HF$ nonlocal self-energy, and if the reference is Kohn-Sham ($\KS$), $\Sig{\text{ref}}{\Bas}(\br{},\br{}')=\pot{\Hxc}{\Bas}(\br{})\delta(\br{}-\br{}')$ is the local $\Hxc$ potential.
For sake of generality, we consider a $\KS$ reference.
The one-electron energies $\e{p}$ and their corresponding orbitals $\MO{p}(\br{})$ (which defines our basis set $\Bas$) are then $\KS$ energies and orbitals.
For a given (occupied or virtual) orbital $p$, the correlation part of the self-energy read, within the {\GW} approximation,
The {\GOWO} quasiparticle energies $\eGOWO{p}$ are provided by the solution of the (non-linear) quasiparticle equation \cite{Hybertsen_1985a, vanSetten_2013, Veril_2018}
The frequency-independent local self-energy $\bSig{}{\Bas}[\n{}{}](\br{},\br{}')=\bpot{}{\Bas}[\n{}{}](\br{})\delta(\br{}-\br{}')$ originates from the functional derivative of complementary basis-correction density functionals $\bpot{}{\Bas}[\n{}{}](\br{})=\delta\bE{}{\Bas}[\n{}{}]/\delta\n{}{}(\br{})$.
Here, we employ two types of complementary, short-range correlation functionals $\bE{}{\Bas}[\n{}{}]$: a local-density approximation ($\LDA$) functional with multideterminant reference \cite{PazMorGorBac-PRB-06} and a Perdew-Burke-Ernzerhof ($\PBE$) inspired correlation functional \cite{FerGinTou-JCP-19} which interpolates between the usual PBE functional \cite{PerBurErn-PRL-96} at $\mu=0$ and the exact large-$\mu$ behavior. \cite{TouColSav-PRA-04, GorSav-PRA-06, PazMorGorBac-PRB-06}
Additionally to the one-electron density, these RS-DFT functionals requires a range-separation function $\rsmu{}{\Bas}(\br{})$ which automatically adapts to the spatial non-homogeneity of the basis-set incompleteness error.
We refer the interested reader to Refs.~\onlinecite{GinPraFerAssSavTou-JCP-18, LooPraSceTouGin-JPCL-19, GinSceTouLoo-JCP-19} where our procedure is thoroughly detailed and the explicit expressions of these two short-range correlation functionals are provided.
The basis set corrected {\GOWO} quasiparticle energies are thus given by
All the geometries have been extracted from the GW100 set. \cite{vanSetten_2015}
Unless otherwise stated, all the {\GOWO} calculations have been performed with MOLGW developed by Bruneval and coworkers. \cite{Bruneval_2016a}
The HF, PBE and PBE0 calculations as well as the srLDA and srPBE basis set corrections have been computed with Quantum Package, \cite{QP2} which by default uses the SG-2 quadrature grid for the numerical integrations.
Frozen-core (FC) calculations are systematically performed.
The FC density-based correction is used consistently with the FC approximation in the {\GOWO} calculations.
The {\GOWO} quasiparticle energies have been obtained ``graphically'', \textit{i.e.}, by solving the non-linear, frequency-dependent quasiparticle equation (without linearization).
IPs (in eV) of the water molecule computed at the {\GOWO} (black circles), {\GOWO}+srLDA (red squares) and {\GOWO}+srPBE (blue diamonds) levels of theory with increasingly large Dunning's basis sets (cc-pVDZ, cc-pVTZ, cc-pVQZ and cc-pV5Z) with two different starting points: HF (left) and PBE0 (right).
The thick black line represents the CBS value obtained by extrapolation (see text for more details).
Error (in eV) with respect to the {\GOWO}@PBE/def2-TQZVP extrapolated values fort the IPs of the five canonical nucleobases (adenine, cytosine, thymine, guanine and uracil) computed at the {\GOWO}@PBE level of theory for various basis sets.
PFL would like to thank Fabien Bruneval for technical assistance. He also would like to thank Arjan Berger and Pina Romaniello for stimulating discussions.
This work was performed using HPC resources from GENCI-TGCC (Grant No.~2018-A0040801738) and CALMIP (Toulouse) under allocation 2019-18005.
Funding from the \textit{``Centre National de la Recherche Scientifique''} is acknowledged.
This work has been supported through the EUR grant NanoX ANR-17-EURE-0009 in the framework of the \textit{``Programme des Investissements d'Avenir''}.