\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{\trashJT}[1]{\textcolor{purple}{\sout{#1}}} \newcommand{\trashMG}[1]{\textcolor{darkgreen}{\sout{#1}}} \newcommand{\MG}[1]{\manu{(\underline{\bf MG}: #1)}} \newcommand{\JT}[1]{\juju{(\underline{\bf JT}: #1)}} \newcommand{\PFL}[1]{\titou{(\underline{\bf PFL}: #1)}} \usepackage{hyperref} \hypersetup{ colorlinks=true, linkcolor=blue, filecolor=blue, urlcolor=blue, citecolor=blue } \newcommand{\mc}{\multicolumn} \newcommand{\fnm}{\footnotemark} \newcommand{\fnt}{\footnotetext} \newcommand{\tabc}[1]{\multicolumn{1}{c}{#1}} \newcommand{\SI}{\textcolor{blue}{supporting information}} \newcommand{\QP}{\textsc{quantum package}} % second quantized operators \newcommand{\ai}[1]{\hat{a}_{#1}} \newcommand{\aic}[1]{\hat{a}^{\dagger}_{#1}} % units \newcommand{\IneV}[1]{#1 eV} \newcommand{\InAU}[1]{#1 a.u.} \newcommand{\InAA}[1]{#1 \AA} \newcommand{\kcal}{kcal/mol} % methods \newcommand{\D}{\text{D}} \newcommand{\T}{\text{T}} \newcommand{\Q}{\text{Q}} \newcommand{\X}{\text{X}} \newcommand{\UEG}{\text{UEG}} \newcommand{\HF}{\text{HF}} \newcommand{\LDA}{\text{LDA}} \newcommand{\PBE}{\text{PBE}} \newcommand{\FCI}{\text{FCI}} \newcommand{\CBS}{\text{CBS}} \newcommand{\exFCI}{\text{exFCI}} \newcommand{\CCSDT}{\text{CCSD(T)}} \newcommand{\lr}{\text{lr}} \newcommand{\sr}{\text{sr}} \newcommand{\Ne}{N} \newcommand{\Nb}{N_{\Bas}} \newcommand{\Ng}{N_\text{grid}} \newcommand{\nocca}{n_{\text{occ}^{\alpha}}} \newcommand{\noccb}{n_{\text{occ}^{\beta}}} \newcommand{\n}[2]{n_{#1}^{#2}} \newcommand{\Ec}{E_\text{c}} \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{\V}[2]{V_{#1}^{#2}} \newcommand{\SO}[2]{\phi_{#1}(\br{#2})} \newcommand{\modY}{Y} \newcommand{\modZ}{Z} % basis sets \newcommand{\Bas}{\mathcal{B}} \newcommand{\Val}{\text{val}} \newcommand{\Cor}{\mathcal{C}} % operators \newcommand{\hT}{\Hat{T}} \newcommand{\hWee}[1]{\Hat{W}_\text{ee}^{#1}} \newcommand{\updw}{\uparrow\downarrow} \newcommand{\f}[2]{f_{#1}^{#2}} \newcommand{\Gam}[2]{\Gamma_{#1}^{#2}} % coordinates \newcommand{\br}[1]{\mathbf{r}_{#1}} \newcommand{\dbr}[1]{d\br{#1}} \newcommand{\ra}{\rightarrow} \newcommand{\De}{D_\text{e}} \newcommand{\LCPQ}{Laboratoire de Chimie et Physique Quantiques (UMR 5626), Universit\'e de Toulouse, CNRS, UPS, France} \newcommand{\LCT}{Laboratoire de Chimie Th\'eorique, Sorbonne Universit\'e, CNRS, Paris, France} \newcommand{\ISCD}{Institut des Sciences du Calcul et des Donn\'ees, Sorbonne Universit\'e, Paris, France} \begin{document} \title{A Density-Based Basis Set Correction For Wave Function Theory} \author{Bath\'elemy Pradines} \affiliation{\LCT} \affiliation{\ISCD} \author{Anthony Scemama} \affiliation{\LCPQ} \author{Julien Toulouse} \email{toulouse@lct.jussieu.fr} \affiliation{\LCT} \author{Pierre-Fran\c{c}ois Loos} \email{loos@irsamc.ups-tlse.fr} \affiliation{\LCPQ} \author{Emmanuel Giner} \email{emmanuel.giner@lct.jussieu.fr} \affiliation{\LCT} \begin{abstract} We report a universal density-based basis set incompleteness correction that can be applied to any wave function method. The present correction relies on short-range correlation density functionals (with multi-determinant reference) from range-separated density-functional theory (RS-DFT) to estimate the basis set incompleteness error and appropriately vanishes in the complete basis set (CBS) limit. Contrary to conventional RS-DFT schemes which require an \textit{ad hoc} range separation \textit{parameter} $\mu$, the key ingredient here is a range separation \textit{function} $\mu(\bf{r})$ which automatically adapts to the spatial non-homogeneity of the basis set incompleteness error. As illustrative examples, we show how this density-based correction allows us to obtain CCSD(T) atomization energies near the CBS limit for the G2-1 set of molecules with compact Gaussian basis sets. For example, while CCSD(T)/cc-pVTZ yields a mean absolute deviation (MAD) of 7.79 kcal/mol compared to CCSD(T)/CBS atomization energies, the CCSD(T)+LDA and CCSD(T)+PBE corrected methods return MAD of 2.89 and 2.46 kcal/mol (respectively) with the same basis. These values drop below 1 {\kcal} with the cc-pVQZ basis set. \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 \textit{pros} and \textit{cons}. WFT is attractive as it exists a well-defined path for systematic improvement as well as powerful tools, such as perturbation theory, to guide the development of new attractive WFT \textit{ans\"atze}. The coupled cluster (CC) family of methods is a typical example of the WFT philosophy and is well regarded as the gold standard of quantum chemistry for weakly correlated systems. 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} To palliate this, following Hylleraas' footsteps, \cite{Hyl-ZP-29} Kutzelnigg proposed to introduce explicitly the interelectronic distance $r_{12} = \abs{\br{1} - \br{2}}$ to properly describe the electronic wave function around the coalescence of two electrons. \cite{Kut-TCA-85, KutKlo-JCP-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. \cite{BarLoo-JCP-17} %\trashPFL{Except for these computational considerations, a possible drawback of F12 theory is its quite complicated formulation which requires a deep knowledge in this field in order to adapt F12 theory to a new WFT model.} To reduce further the computational cost and/or ease the transferability of the F12 correction, approximated and/or universal schemes have recently emerged. \cite{TorVal-JCP-09, KonVal-JCP-10, KonVal-JCP-11, BooCleAlaTew-JCP-2012, IrmHumGru-arXiv-2019, IrmGru-arXiv-2019} 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 attractiveness originates from its very favorable cost/efficiency 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} 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} %especially in the range-separated (RS) context where the WFT method is relieved from describing the short-range part of the correlation hole. \cite{TouColSav-PRA-04, FraMusLupTou-JCP-15} %To obtain accurate results within DFT, one must develop the art of selecting the adequate exchange-correlation functional, 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, \cite{Bec-JCP-14} climbing the Jacob's ladder of DFT is potentially the most satisfactory way forward. \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} Progress toward unifying WFT and DFT are on-going. In particular, range-separated DFT (RS-DFT) (see Ref.~\onlinecite{TouColSav-PRA-04} and references therein) rigorously combines these two approaches via a decomposition of the electron-electron (e-e) interaction into a smooth long-range part and a (complementary) short-range part treated with WFT and DFT, respectively. As the WFT method is relieved from describing the short-range part of the correlation hole around the e-e coalescence points, the convergence with respect to the one-electron basis set is greatly improved. \cite{FraMusLupTou-JCP-15} Therefore, a number of approximate RS-DFT schemes have been developed using either single-reference \cite{AngGerSavTou-PRA-05, GolWerSto-PCCP-05, TouGerJanSavAng-PRL-09,JanHenScu-JCP-09} or multi-reference \cite{LeiStoWerSav-CPL-97, FroTouJen-JCP-07, FroCimJen-PRA-10, HedKneKieJenRei-JCP-15, FerGinTou-JCP-18} WFT approaches. %Therefore, a number of approximate RS-DFT schemes have been developed using either single-reference WFT approaches (such as M{\o}ller-Plesset perturbation theory\cite{AngGerSavTou-PRA-05}, coupled cluster\cite{GolWerSto-PCCP-05}, random-phase approximations\cite{TouGerJanSavAng-PRL-09,JanHenScu-JCP-09}) or multi-reference WFT approaches (such as multi-reference CI\cite{LeiStoWerSav-CPL-97}, multiconfiguration self-consistent field\cite{FroTouJen-JCP-07}, multi-reference perturbation theory\cite{FroCimJen-PRA-10}, density-matrix renormalization group\cite{HedKneKieJenRei-JCP-15}, selected CI\cite{FerGinTou-JCP-18}). The present work proposes an extension of a recently proposed basis set correction scheme based on RS-DFT \cite{GinPraFerAssSavTou-JCP-18} together with the first numerical tests on molecular systems. Unless otherwise stated, atomic units 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. Let us assume we have both the energy $\E{\modY}{\Bas}$ and density $\n{\modZ}{\Bas}$ of a $\Ne$-electron system described by two methods $\modY$ and $\modZ$ (potentially identical) in an incomplete basis set $\Bas$. According to Eq.~(15) of Ref.~\onlinecite{GinPraFerAssSavTou-JCP-18}, assuming that $\E{\modY}{\Bas}$ and $\n{\modZ}{\Bas}$ are reasonable approximations of the \alert{FCI} energy and density within $\Bas$, the exact ground state energy $\E{}{}$ may be written as \begin{equation} \label{eq:e0basis} \E{}{} \approx \E{\modY}{\Bas} + \bE{}{\Bas}[\n{\modZ}{\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