\documentclass[aip,jcp,reprint,noshowkeys]{revtex4-1} \usepackage{graphicx,dcolumn,bm,xcolor,microtype,multirow,amscd,amsmath,amssymb,amsfonts,physics,mhchem,longtable,xspace} \usepackage{mathpazo,libertine} \usepackage{natbib} \bibliographystyle{achemso} \AtBeginDocument{\nocite{achemso-control}} \newcommand{\alert}[1]{\textcolor{red}{#1}} \definecolor{darkgreen}{HTML}{009900} \usepackage[normalem]{ulem} \newcommand{\titou}[1]{\textcolor{red}{#1}} \newcommand{\juju}[1]{\textcolor{purple}{#1}} \newcommand{\manu}[1]{\textcolor{darkgreen}{#1}} \newcommand{\trashPFL}[1]{\textcolor{red}{\sout{#1}}} \newcommand{\trashJL}[1]{\textcolor{purple}{\sout{#1}}} \newcommand{\trashMG}[1]{\textcolor{darkgreen}{\sout{#1}}} \newcommand{\MG}[1]{\manu{(\underline{\bf MG}: #1)}} \newcommand{\JL}[1]{\juju{(\underline{\bf JL}: #1)}} \newcommand{\PFL}[1]{\titou{(\underline{\bf PFL}: #1)}} \usepackage{hyperref} \hypersetup{ colorlinks=true, linkcolor=blue, filecolor=blue, urlcolor=blue, citecolor=blue } \newcommand{\cdash}{\multicolumn{1}{c}{---}} \newcommand{\mc}{\multicolumn} \newcommand{\fnm}{\footnotemark} \newcommand{\fnt}{\footnotetext} \newcommand{\tabc}[1]{\multicolumn{1}{c}{#1}} \newcommand{\mr}{\multirow} \newcommand{\SI}{\textcolor{blue}{supporting information}} % second quantized operators %\newcommand{\psix}[1]{\hat{\Psi}\left({\bf X}_{#1}\right)} %\newcommand{\psixc}[1]{\hat{\Psi}^{\dagger}\left({\bf X}_{#1}\right)} \newcommand{\ai}[1]{\hat{a}_{#1}} \newcommand{\aic}[1]{\hat{a}^{\dagger}_{#1}} \newcommand{\vpqrs}[0]{V_{pq}^{rs}} \newcommand{\phix}[2]{\phi_{#1}(\bfr{#2})} \newcommand{\phixprim}[2]{\phi_{#1}(\bfr{#2}')} %operators \newcommand{\elemm}[3]{{\ensuremath{\bra{#1}{#2}\ket{#3}}\xspace}} \newcommand{\ovrlp}[2]{{\ensuremath{\langle #1|#2\rangle}\xspace}} %\newcommand{\ket}[1]{{\ensuremath{|#1\rangle}\xspace}} %\newcommand{\bra}[1]{{\ensuremath{\langle #1|}\xspace}} % % energies \newcommand{\Ec}{E_\text{c}} \newcommand{\EexFCI}{E_\text{exFCI}} \newcommand{\EexFCIbasis}{E_\text{exFCI}^{\Bas}} \newcommand{\EexFCIinfty}{E_\text{exFCI}^{\infty}} \newcommand{\Ead}{\Delta E_\text{ad}} \newcommand{\efci}[0]{E_{\text{FCI}}^{\Bas}} \newcommand{\emodel}[0]{E_{\model}^{\Bas}} \newcommand{\emodelcomplete}[0]{E_{\model}^{\infty}} \newcommand{\efcicomplete}[0]{E_{\text{FCI}}^{\infty}} \newcommand{\ecccomplete}[0]{E_{\text{CCSD(T)}}^{\infty}} \newcommand{\ecc}[0]{E_{\text{CCSD(T)}}^{\Bas}} \newcommand{\efuncbasisfci}[0]{\bar{E}^\Bas[\denfci]} \newcommand{\efuncbasis}[0]{\bar{E}^\Bas[\den]} \newcommand{\efuncden}[1]{\bar{E}^\Bas[#1]} \newcommand{\ecompmodel}[0]{\bar{E}^\Bas[\denmodel]} \newcommand{\ecmubis}[0]{\bar{E}_{\text{c,md}}^{\text{sr}}[\denr;\,\mu]} \newcommand{\ecmubisldapbe}[0]{\bar{E}_{\text{c,md}\,\text{PBE}}^{\text{sr}}[\denr;\,\mu]} \newcommand{\ecmuapprox}[0]{\bar{E}_{\text{c,md-}\mathcal{X}}^{\text{sr}}[\den;\,\mu]} \newcommand{\ecmuapproxmur}[0]{\bar{E}_{\text{c,md-}\mathcal{X}}^{\text{sr}}[\den;\,\mur]} \newcommand{\ecmuapproxmurfci}[0]{\bar{E}_{\text{c,md-}\mathcal{X}}^{\text{sr}}[\denfci;\,\mur]} \newcommand{\ecmuapproxmurmodel}[0]{\bar{E}_{\text{c,md-}\mathcal{X}}^{\text{sr}}[\denmodel;\,\mur]} \newcommand{\ecompmodellda}[0]{\bar{E}_{\text{LDA}}^{\Bas,\wf{}{\Bas}}[\denmodel]} \newcommand{\ecompmodelldaval}[0]{\bar{E}_{\text{LDA, val}}^{\Bas,\wf{}{\Bas}}[\den]} \newcommand{\ecompmodelpbe}[0]{\bar{E}_{\text{PBE}}^{\Bas,\wf{}{\Bas}}[\den]} \newcommand{\ecompmodelpbeval}[0]{\bar{E}_{\text{PBE, val}}^{\Bas,\wf{}{\Bas}}[\den]} \newcommand{\emulda}[0]{\bar{\varepsilon}^{\text{sr},\text{unif}}_{\text{c,md}}\left(\denr;\mu({\bf r};\wf{}{\Bas})\right)} \newcommand{\emuldamodel}[0]{\bar{\varepsilon}^{\text{sr},\text{unif}}_{\text{c,md}}\left(\denmodelr;\mu({\bf r};\wf{}{\Bas})\right)} \newcommand{\emuldaval}[0]{\bar{\varepsilon}^{\text{sr},\text{unif}}_{\text{c,md}}\left(\denval ({\bf r});\murval;\wf{}{\Bas})\right)} % numbers %\newcommand{\rnum}[0]{{\rm I\!R}} \newcommand{\bfr}[1]{{\bf x}_{#1}} \newcommand{\bfrb}[1]{{\bf r}_{#1}} \newcommand{\dr}[1]{\text{d}\bfr{#1}} \newcommand{\rr}[2]{\bfr{#1}, \bfr{#2}} \newcommand{\rrrr}[4]{\bfr{#1}, \bfr{#2},\bfr{#3},\bfr{#4} } % effective interaction \newcommand{\twodm}[4]{\elemm{\Psi}{\psixc{#4}\psixc{#3} \psix{#2}\psix{#1}}{\Psi}} \newcommand{\murpsi}[0]{\mu({\bf r};\wf{}{\Bas})} \newcommand{\mur}[0]{\mu({\bf r})} \newcommand{\murr}[1]{\mu({\bf r}_{#1})} \newcommand{\murval}[0]{\mu_{\text{val}}({\bf r})} \newcommand{\murpsival}[0]{\mu_{\text{val}}({\bf r};\wf{}{\Bas})} \newcommand{\murrval}[1]{\mu_{\text{val}}({\bf r}_{#1})} \newcommand{\weeopmu}[0]{\hat{W}_{\text{ee}}^{\text{lr},\mu}} \newcommand{\wbasis}[0]{W_{\wf{}{\Bas}}(\bfr{1},\bfr{2})} \newcommand{\wbasisval}[0]{W_{\wf{}{\Bas}}^{\text{val}}(\bfr{1},\bfr{2})} \newcommand{\fbasis}[0]{f_{\wf{}{\Bas}}(\bfr{1},\bfr{2})} \newcommand{\fbasisval}[0]{f_{\wf{}{\Bas}}^{\text{val}}(\bfr{1},\bfr{2})} \newcommand{\ontop}[2]{ n^{(2)}_{#1}({\bf #2}_1)} \newcommand{\twodmrpsi}[0]{ n^{(2)}_{\wf{}{\Bas}}(\rrrr{1}{2}{2}{1})} \newcommand{\twodmrdiagpsi}[0]{ n^{(2)}_{\wf{}{\Bas}}(\rr{1}{2})} \newcommand{\twodmrdiagpsival}[0]{ n^{(2)}_{\wf{}{\Bas},\,\text{val}}(\rr{1}{2})} \newcommand{\gammamnpq}[1]{\Gamma_{mn}^{pq}[#1]} \newcommand{\gammamnkl}[0]{\Gamma_{mn}^{kl}} \newcommand{\gammaklmn}[1]{\Gamma_{kl}^{mn}[#1]} \newcommand{\wbasiscoal}[1]{W_{\wf{}{\Bas}}({\bf r}_{#1})} \newcommand{\ontoppsi}[1]{ n^{(2)}_{\wf{}{\Bas}}(\bfr{#1},\barr{#1},\barr{#1},\bfr{#1})} \newcommand{\wbasiscoalval}[1]{W_{\wf{}{\Bas}}^{\text{val}}({\bf r}_{#1})} \newcommand{\ontoppsival}[1]{ n^{(2)}_{\wf{}{\Bas}}^{\text{val}}(\bfr{#1},\barr{#1},\barr{#1},\bfr{#1})} \newcommand{\ex}[4]{$^{#1}#2_{#3}^{#4}$} \newcommand{\ra}{\rightarrow} \newcommand{\De}{D_\text{e}} % MODEL \newcommand{\model}[0]{\mathcal{Y}} % densities \newcommand{\denmodel}[0]{\den_{\model}^\Bas} \newcommand{\denmodelr}[0]{\den_{\model}^\Bas ({\bf r})} \newcommand{\denfci}[0]{\den_{\psifci}} \newcommand{\denhf}[0]{\den_{\text{HF}}^\Bas} \newcommand{\denrfci}[0]{\denr_{\psifci}} \newcommand{\dencipsir}[0]{{n}_{\text{CIPSI}}^\Bas({\bf r})} \newcommand{\dencipsi}[0]{{n}_{\text{CIPSI}}^\Bas} \newcommand{\den}[0]{{n}} \newcommand{\denval}[0]{{n}^{\text{val}}} \newcommand{\denr}[0]{{n}({\bf r})} \newcommand{\onedmval}[0]{\rho_{ij,\sigma}^{\text{val}}} % wave functions \newcommand{\psifci}[0]{\Psi^{\Bas}_{\text{FCI}}} \newcommand{\psimu}[0]{\Psi^{\mu}} % operators \newcommand{\weeopbasis}[0]{\hat{W}_{\text{ee}}^\Bas} \newcommand{\kinop}[0]{\hat{T}} \newcommand{\weeopbasisval}[0]{\hat{W}_{\text{ee}}^{\Basval}} \newcommand{\weeop}[0]{\hat{W}_{\text{ee}}} % units \newcommand{\IneV}[1]{#1 eV} \newcommand{\InAU}[1]{#1 a.u.} \newcommand{\InAA}[1]{#1 \AA} \newcommand{\kcal}{kcal.mol$^{-1}$} % methods \newcommand{\D}{\text{D}} \newcommand{\T}{\text{T}} \newcommand{\Q}{\text{Q}} \newcommand{\X}{\text{X}} \newcommand{\UEG}{\text{UEG}} \newcommand{\LDA}{\text{LDA}} \newcommand{\PBE}{\text{PBE}} \newcommand{\FCI}{\text{FCI}} \newcommand{\CCSDT}{\text{CCSD(T)}} \newcommand{\lr}{\text{lr}} \newcommand{\sr}{\text{sr}} \newcommand{\Nel}{N} \newcommand{\n}[2]{n_{#1}^{#2}} \newcommand{\E}[2]{E_{#1}^{#2}} \newcommand{\bE}[2]{\Bar{E}_{#1}^{#2}} \newcommand{\bEc}[1]{\Bar{E}_\text{c}^{#1}} \newcommand{\e}[2]{\varepsilon_{#1}^{#2}} \newcommand{\be}[2]{\Bar{\varepsilon}_{#1}^{#2}} \newcommand{\bec}[1]{\Bar{e}^{#1}} \newcommand{\wf}[2]{\Psi_{#1}^{#2}} \newcommand{\W}[2]{W_{#1}^{#2}} \newcommand{\w}[2]{w_{#1}^{#2}} \newcommand{\hn}[2]{\Hat{n}_{#1}^{#2}} \newcommand{\rsmu}[2]{\mu_{#1}^{#2}} \newcommand{\SO}[2]{\phi_{#1}(\bx{#2})} \newcommand{\modX}{\text{X}} \newcommand{\modY}{\text{Y}} % basis sets \newcommand{\Bas}{\mathcal{B}} \newcommand{\Basval}{\mathcal{B}_\text{val}} \newcommand{\Val}{\mathcal{V}} \newcommand{\Cor}{\mathcal{C}} % operators \newcommand{\hT}{\Hat{T}} \newcommand{\hWee}[1]{\Hat{W}_\text{ee}^{#1}} \newcommand{\f}[2]{f_{#1}^{#2}} \newcommand{\Gam}[2]{\Gamma_{#1}^{#2}} % coordinates \newcommand{\br}[1]{\mathbf{r}_{#1}} \newcommand{\bx}[1]{\mathbf{x}_{#1}} \newcommand{\dbr}[1]{d\br{#1}} \newcommand{\dbx}[1]{d\bx{#1}} \newcommand{\LCPQ}{Laboratoire de Chimie et Physique Quantiques (UMR 5626), Universit\'e de Toulouse, CNRS, UPS, France} \newcommand{\LCT}{Laboratoire de Chimie Th\'eorique, Universit\'e Pierre et Marie Curie, Sorbonne Universit\'e, CNRS, Paris, France} \begin{document} \title{A Density-Based Basis Set Correction For Wave Function Theory} \author{Bath\'elemy Pradines} \affiliation{\LCPQ} \author{Anthony Scemama} \affiliation{\LCPQ} \author{Julien Toulouse} \affiliation{\LCT} \author{Pierre-Fran\c{c}ois Loos} \email[Corresponding author: ]{loos@irsamc.ups-tlse.fr} \affiliation{\LCPQ} \author{Emmanuel Giner} \affiliation{\LCT} \begin{abstract} We report a universal density-based basis set incompleteness correction that can be applied to any wave function theory method. \end{abstract} \maketitle %%%%%%%%%%%%%%%%%%%%%%%% \section{Introduction} %%%%%%%%%%%%%%%%%%%%%%%% Contemporary quantum chemistry has developed in two directions --- wave function theory (WFT) \cite{Pop-RMP-99} and density-functional theory (DFT). \cite{Koh-RMP-99} Although both spring from the same Schr\"odinger equation, each of these philosophies has its own advantages and shortcomings. WFT is attractive as it exists a well-defined path for systematic improvement. For example, the coupled cluster (CC) family of methods offers a powerful WFT approach for the description of weakly correlated systems and is well regarded as the gold standard of quantum chemistry. By increasing the excitation degree of the CC expansion, one can systematically converge, for a given basis set, to the exact, full configuration interaction (FCI) limit, although the computational cost associated with such improvement is usually pricey. One of the most fundamental drawback of conventional WFT methods is the slow convergence of energies and properties with respect to the size of the one-electron basis set. This undesirable feature was put into light by Kutzelnigg more than thirty years ago, \cite{Kut-TCA-85} who proposed, to palliate this, to introduce explicitly the interelectronic distance $r_{12} = \abs{\br{1} - \br{2}}$ as a basis function. \cite{Kut-TCA-85, KutKlo-JCP-91, TerKloKut-JCP-91, KloKut-JCP-91, KloRohKut-CPL-91, NogKut-JCP-94} The resulting F12 methods yields a prominent improvement of the energy convergence, and achieve chemical accuracy for small organic molecules with relatively small Gaussian basis sets. \cite{Ten-TCA-12, TenNog-WIREs-12, HatKloKohTew-CR-12, KonBisVal-CR-12} For example, at the CCSD(T) level, it is advertised that one can obtain quintuple-zeta quality correlation energies with a triple-zeta basis, \cite{TewKloNeiHat-PCCP-07} although computational overheads are introduced by the large auxiliary basis used to resolve three- and four-electron integrals. Present-day DFT calculations are almost exclusively done within the so-called Kohn-Sham (KS) formalism, which corresponds to an exact dressed one-electron theory. \cite{KohSha-PR-65} DFT's attractivity originates from its very favorable cost/efficient ratio as it can provide accurate energies and properties at a relatively low computational cost. Thanks to this, KS-DFT \cite{HohKoh-PR-64, KohSha-PR-65} has become the workhorse of electronic structure calculations for atoms, molecules and solids. \cite{ParYan-BOOK-89} To obtain accurate results within DFT, one only requires an exchange and correlation functionals, which can be classified in various families depending on their physical input quantities. \cite{Bec-JCP-14} Although there is no clear way on how to systematically improve density-functional approximations (DFAs), climbing the Jacob's ladder of DFT is potentially the most satisfactory way forward (or upward in that case). \cite{PerSch-AIPCP-01, PerRuzTaoStaScuCso-JCP-05} %The local-density approximation (LDA) sits on the first rung of the Jacob's ladder and only uses as input the electron density $n$. \cite{Dir-PCPRS-30, VosWilNus-CJP-80} %The generalized-gradient approximation (GGA) corresponds to the second rung and adds the gradient of the electron density $\nabla n$ as an extra ingredient.\cite{Bec-PRA-88, PerWan-PRA-91, PerBurErn-PRL-96} In the present context, one of the interesting feature of density-based methods is their much faster convergence with respect to the size of the basis set. \cite{FraMusLupTou-JCP-15} Progress toward unifying these two approaches are on-going. Using accurate and rigorous WFT methods, some of us have developed radical generalizations of DFT that are free of the well-known limitations of conventional DFT. In that respect range-separated DFT (RS-DFT) is particularly promising as it allows to perform multi-configurational DFT calculations within a rigorous mathematical framework. Range-separated hybrids, i.e.~single-determinant approximations of RS-DFT, correct for the wrong long-range behavior of the usual hybrid approximations thanks to the inclusion of the long-range part of the Hartree-Fock (HF) exchange. %The present manuscript is organized as follows. Unless otherwise stated, atomic used are used. %%%%%%%%%%%%%%%%%%%%%%%% \section{Theory} %%%%%%%%%%%%%%%%%%%%%%%% The present basis set correction relies on the RS-DFT formalism to capture the missing part of the short-range correlation effects, a consequence of the incompleteness of the one-electron basis set. Here, we only provide the main working equations. We refer the interested reader to Ref.~\onlinecite{GinPraFerAssSavTou-JCP-18} for a more formal derivation. %================================================================= %\subsection{Correcting the basis set error of a general WFT model} %================================================================= Let us assume we have both the energy $\E{\modX}{\Bas}$ and density $\n{\modY}{\Bas}$ of a $\Nel$-electron system described by two methods $\modX$ and $\modY$ (potentially identical) in an incomplete basis set $\Bas$. According to Eq.~(15) of Ref.~\onlinecite{GinPraFerAssSavTou-JCP-18}, assuming that $\E{\modX}{\Bas}$ and $\n{\modY}{\Bas}$ are reasonable approximations of the \titou{FCI} energy and density within $\Bas$, the exact ground state energy $\E{}{}$ may be written as \begin{equation} \label{eq:e0basis} \E{}{} \approx \E{\modX}{\Bas} + \bE{}{\Bas}[\n{\modY}{\Bas}], \end{equation} where \begin{equation} \label{eq:E_funcbasis} \bE{}{\Bas}[\n{}{}] = \min_{\wf{}{} \to \n{}{}} \mel*{\wf{}{}}{\hT + \hWee{}}{\wf{}{}} - \min_{\wf{}{\Bas} \to \n{}{}} \mel*{\wf{}{\Bas}}{\hT + \hWee{}}{\wf{}{\Bas}} \end{equation} is the basis-dependent complementary density functional, $\hT$ is the kinetic operator and $\hWee{} = \sum_{i