theory OK

This commit is contained in:
Pierre-Francois Loos 2019-04-14 12:38:58 +02:00
parent dfbdf23ff7
commit f8048d054b

View File

@ -223,7 +223,7 @@ Because the e-e cusp originates from the divergence of the Coulomb operator at $
Therefore, as we shall do later on, it feels natural to approximate $\bE{}{\Bas}[\n{}{}]$ with short-range density functionals which deal with a smooth long-range electron interaction. Therefore, as we shall do later on, it feels natural to approximate $\bE{}{\Bas}[\n{}{}]$ with short-range density functionals which deal with a smooth long-range electron interaction.
Contrary to the conventional RS-DFT scheme which requires a range-separated \textit{parameter} $\rsmu{}{}$, here we use a range-separated \textit{function} $\rsmu{\Bas}{}(\br{})$ which automatically adapts to quantify the incompleteness of $\Bas$ in $\mathbb{R}^3$. Contrary to the conventional RS-DFT scheme which requires a range-separated \textit{parameter} $\rsmu{}{}$, here we use a range-separated \textit{function} $\rsmu{\Bas}{}(\br{})$ which automatically adapts to quantify the incompleteness of $\Bas$ in $\mathbb{R}^3$.
The first step of the present basis set correction consists in obtaining an effective two-electron interaction $\W{\Bas}{}(\br{1},\br{2})$ which represents the effect of the projection of the Coulomb operator in an incomplete basis set $\Bas$. The first step of the present basis set correction consists of obtaining an effective two-electron interaction $\W{\Bas}{}(\br{1},\br{2})$ ``mimicking'' the Coulomb operator in a finite basis $\Bas$.
%The present definition ensures that $\W{\Bas}{}(\br{1},\br{2})$ is finite at the e-e coalescence point as long as an incomplete basis set is used, and tends to the genuine, unbounded $r_{12}^{-1}$ Coulomb interaction as $\Bas \to \infty$. %The present definition ensures that $\W{\Bas}{}(\br{1},\br{2})$ is finite at the e-e coalescence point as long as an incomplete basis set is used, and tends to the genuine, unbounded $r_{12}^{-1}$ Coulomb interaction as $\Bas \to \infty$.
In a second step, we shall link $\W{\Bas}{}(\br{1},\br{2})$ to $\rsmu{\Bas}{}(\br{})$. In a second step, we shall link $\W{\Bas}{}(\br{1},\br{2})$ to $\rsmu{\Bas}{}(\br{})$.
In the final step, we employ short-range density functionals \cite{TouGorSav-TCA-05} with $\rsmu{\Bas}{}(\br{})$ as range separation. In the final step, we employ short-range density functionals \cite{TouGorSav-TCA-05} with $\rsmu{\Bas}{}(\br{})$ as range separation.
@ -254,9 +254,6 @@ and $\Gam{pq}{rs} = \mel*{\wf{}{\Bas}}{ \aic{r}\aic{s}\ai{p}\ai{q} }{\wf{}{\Bas}
= \sum_{pqrstu \in \Bas} \SO{p}{1} \SO{q}{2} \V{pq}{rs} \Gam{rs}{tu} \SO{t}{1} \SO{u}{2}, = \sum_{pqrstu \in \Bas} \SO{p}{1} \SO{q}{2} \V{pq}{rs} \Gam{rs}{tu} \SO{t}{1} \SO{u}{2},
\end{equation} \end{equation}
and $\V{pq}{rs}$ are the usual two-electron Coulomb integrals. and $\V{pq}{rs}$ are the usual two-electron Coulomb integrals.
Note that the divergence condition of $\W{\Bas}{}(\br{1},\br{2})$ in Eq.~\eqref{eq:def_weebasis} \titou{ensures} that one-electron systems do not have any basis set correction.
%\PFL{I don't agree with this. There must be a correction for one-electron system.
%However, it does not come from the e-e cusp but from the e-n cusp.}
With such a definition, $\W{\Bas}{}(\br{1},\br{2})$ satisfies (see Appendix A of Ref.~\onlinecite{GinPraFerAssSavTou-JCP-18}) With such a definition, $\W{\Bas}{}(\br{1},\br{2})$ satisfies (see Appendix A of Ref.~\onlinecite{GinPraFerAssSavTou-JCP-18})
\begin{equation} \begin{equation}
\label{eq:int_eq_wee} \label{eq:int_eq_wee}
@ -267,7 +264,10 @@ Because Eq.~\eqref{eq:int_eq_wee} can be rewritten as
\begin{equation} \begin{equation}
\iint r_{12}^{-1} \n{2}{}(\br{1},\br{2}) \dbr{1} \dbr{2} = \iint \W{\Bas}{}(\br{1},\br{2}) \n{2}{}(\br{1},\br{2}) \dbr{1} \dbr{2}, \iint r_{12}^{-1} \n{2}{}(\br{1},\br{2}) \dbr{1} \dbr{2} = \iint \W{\Bas}{}(\br{1},\br{2}) \n{2}{}(\br{1},\br{2}) \dbr{1} \dbr{2},
\end{equation} \end{equation}
\alert{it intuitively motivates $\W{\Bas}{}(\br{1},\br{2})$ as a potential candidate for an effective interaction.} it intuitively motivates $\W{\Bas}{}(\br{1},\br{2})$ as a potential candidate for an effective interaction.
Note that the divergence condition of $\W{\Bas}{}(\br{1},\br{2})$ in Eq.~\eqref{eq:def_weebasis} ensures that one-electron systems are free of correction as the present approach must only correct the two-electron part of the basis set incompleteness error.
A one-electron correction is currently under active development.
As already discussed in Ref.~\onlinecite{GinPraFerAssSavTou-JCP-18}, $\W{\Bas}{}(\br{1},\br{2})$ is symmetric, \textit{a priori} non translational, nor rotational invariant if $\Bas$ does not have such symmetries. As already discussed in Ref.~\onlinecite{GinPraFerAssSavTou-JCP-18}, $\W{\Bas}{}(\br{1},\br{2})$ is symmetric, \textit{a priori} non translational, nor rotational invariant if $\Bas$ does not have such symmetries.
A key quantity is the value of the effective interaction at coalescence of opposite-spin electrons A key quantity is the value of the effective interaction at coalescence of opposite-spin electrons
\begin{equation} \begin{equation}
@ -289,7 +289,7 @@ for any $(\br{1},\br{2})$ such that $\n{2}{}(\br{1},\br{2}) \ne 0$ and for any $
%\subsection{Range-separation function} %\subsection{Range-separation function}
%================================================================= %=================================================================
Because $\W{\Bas}{}(\br{1},\br{2})$ is a non-divergent two-electron interaction, it can be naturally linked to RS-DFT \titou{which employs smooth long-range operators.} Because $\W{\Bas}{}(\br{1},\br{2})$ is a non-divergent two-electron interaction, it can be naturally linked to RS-DFT which employs smooth long-range operators.
Although this choice is not unique, we choose here the range-separation function Although this choice is not unique, we choose here the range-separation function
\begin{equation} \begin{equation}
\label{eq:mu_of_r} \label{eq:mu_of_r}
@ -306,7 +306,7 @@ coincides with the effective interaction at coalescence, i.e.~$\w{}{\lr,\rsmu{\B
%================================================================= %=================================================================
%\subsection{Short-range correlation functionals} %\subsection{Short-range correlation functionals}
%================================================================= %=================================================================
Once defined, $\rsmu{\Bas}{}(\br{})$ can be used in RS-DFT functionals to approximate $\bE{}{\Bas}[\n{}{}]$. %Once defined, $\rsmu{\Bas}{}(\br{})$ can be used in RS-DFT functionals to approximate $\bE{}{\Bas}[\n{}{}]$.
As in Ref.~\onlinecite{GinPraFerAssSavTou-JCP-18}, we consider here a specific class of short-range correlation functionals known as ECMD whose general definition reads \cite{TouGorSav-TCA-05} As in Ref.~\onlinecite{GinPraFerAssSavTou-JCP-18}, we consider here a specific class of short-range correlation functionals known as ECMD whose general definition reads \cite{TouGorSav-TCA-05}
\begin{multline} \begin{multline}
\label{eq:ec_md_mu} \label{eq:ec_md_mu}
@ -351,11 +351,11 @@ The ECMD functionals admit, for any density $\n{}{}(\br{})$, the following two l
\end{subequations} \end{subequations}
where $\Ec[\n{}{}(\br{})]$ is the usual universal correlation functional defined in KS-DFT. where $\Ec[\n{}{}(\br{})]$ is the usual universal correlation functional defined in KS-DFT.
The choice of ECMD in the present scheme is motivated by the analogy between the definition of $\bE{}{\Bas}[\n{}{}]$ [Eq.~\eqref{eq:E_funcbasis}] and the ECMD functionals [Eq.~\eqref{eq:ec_md_mu}]. The choice of ECMD in the present scheme is motivated by the analogy between the definition of $\bE{}{\Bas}[\n{}{}]$ [Eq.~\eqref{eq:E_funcbasis}] and the ECMD functionals [Eq.~\eqref{eq:ec_md_mu}].
Indeed, provided that $\w{}{\lr,\rsmu{\Bas}{}}(\br{1},\br{2}) \titou{=} \W{\Bas}{}(\br{1},\br{2})$, then $\wf{}{\rsmu{\Bas}{}}$ and $\wf{}{\Bas}$ coincide. Indeed, provided that $\w{}{\lr,\rsmu{\Bas}{}}(\br{1},\br{2}) = \W{\Bas}{}(\br{1},\br{2})$, then $\wf{}{\rsmu{\Bas}{}}$ and $\wf{}{\Bas}$ coincide.
%The ECMD functionals differ from the standard RS-DFT correlation functional by the fact that the reference is not the KS Slater determinant but a multi-determinantal wave function. %The ECMD functionals differ from the standard RS-DFT correlation functional by the fact that the reference is not the KS Slater determinant but a multi-determinantal wave function.
%This makes them particularly well adapted to the present context where one aims at correcting a general WFT method. %This makes them particularly well adapted to the present context where one aims at correcting a general WFT method.
Therefore, following Ref.~\onlinecite{GinPraFerAssSavTou-JCP-18}, we approximate $\bE{}{\Bas}[\n{}{}]$ by the ECMD functionals evaluated with the range separation function $\rsmu{\Bas}{}(\br{})$. Therefore, we approximate $\bE{}{\Bas}[\n{}{}]$ by the ECMD functionals evaluated with the range separation function $\rsmu{\Bas}{}(\br{})$.
The LDA version of $\bE{}{\Bas}[\n{}{}]$ is defined as The LDA version of the ECMD complementary functional is defined as
\begin{equation} \begin{equation}
\label{eq:def_lda_tot} \label{eq:def_lda_tot}
\bE{\LDA}{\sr}[\n{}{}(\br{}),\rsmu{}{}(\br{})] = \int \be{\LDA}{\sr}\big(\n{}{}(\br{}),\rsmu{}{}(\br{})\big) \n{}{}(\br{}) \dbr{}, \bE{\LDA}{\sr}[\n{}{}(\br{}),\rsmu{}{}(\br{})] = \int \be{\LDA}{\sr}\big(\n{}{}(\br{}),\rsmu{}{}(\br{})\big) \n{}{}(\br{}) \dbr{},
@ -375,7 +375,7 @@ In order to correct such a defect, we propose here a new ECMD functional inspire
\end{subequations} \end{subequations}
The difference between the ECMD PBE functional defined in Ref.~\onlinecite{FerGinTou-JCP-18} and the present expression \eqref{eq:epsilon_cmdpbe} is that we approximate here the \textit{exact} ground-state on-top pair density by its UEG version, i.e.~$\n{2}{}(\br{}) \approx \n{2}{\UEG}(\n{}{}(\br{})) = \n{}{}(\br{})^2 g_0(\n{}{}(\br{}))$, where $g_0(\n{}{})$ is the UEG correlation factor whose parametrization can be found in Eq.~(46) of Ref.~\onlinecite{GorSav-PRA-06}. The difference between the ECMD PBE functional defined in Ref.~\onlinecite{FerGinTou-JCP-18} and the present expression \eqref{eq:epsilon_cmdpbe} is that we approximate here the \textit{exact} ground-state on-top pair density by its UEG version, i.e.~$\n{2}{}(\br{}) \approx \n{2}{\UEG}(\n{}{}(\br{})) = \n{}{}(\br{})^2 g_0(\n{}{}(\br{}))$, where $g_0(\n{}{})$ is the UEG correlation factor whose parametrization can be found in Eq.~(46) of Ref.~\onlinecite{GorSav-PRA-06}.
This represents a major computational saving without loss of performance as we eschew the computation of $\n{2}{}(\br{})$. This represents a major computational saving without loss of performance as we eschew the computation of $\n{2}{}(\br{})$.
Therefore, the PBE complementary functional reads Therefore, the ECMD PBE complementary functional reads
\begin{equation} \begin{equation}
\label{eq:def_pbe_tot} \label{eq:def_pbe_tot}
\bE{\PBE}{\sr}[\n{}{}(\br{}),\rsmu{}{}(\br{})] = \int \be{\PBE}{\sr}\big(\n{}{}(\br{}),\nabla \n{}{}(\br{}),\rsmu{}{}(\br{})\big) \n{}{}(\br{}) \dbr{}. \bE{\PBE}{\sr}[\n{}{}(\br{}),\rsmu{}{}(\br{})] = \int \be{\PBE}{\sr}\big(\n{}{}(\br{}),\nabla \n{}{}(\br{}),\rsmu{}{}(\br{})\big) \n{}{}(\br{}) \dbr{}.
@ -386,9 +386,8 @@ Depending on the functional choice, the complementary functional $\bE{}{\Bas}[\n
%\subsection{Valence approximation} %\subsection{Valence approximation}
%================================================================= %=================================================================
As most WFT calculations are performed within the frozen-core (FC) approximation, it is important to define an effective interaction within a general subset of molecular orbitals. As most WFT calculations are performed within the frozen-core (FC) approximation, it is important to define an effective interaction within a subset of spinorbitals.
We then naturally split the basis set as $\Bas = \Cor \bigcup \BasFC$, where $\Cor$ is the set of core spinorbitals. We then naturally split the basis set as $\Bas = \Cor \bigcup \BasFC$, where $\Cor$ is the set of core spinorbitals, and define the FC version of the effective interaction as
Therefore, we define the FC version of the effective interaction as
\begin{equation} \begin{equation}
\W{\Bas}{\FC}(\br{1},\br{2}) = \W{\Bas}{\FC}(\br{1},\br{2}) =
\begin{cases} \begin{cases}
@ -415,20 +414,20 @@ and the corresponding FC range-separation function
\end{equation} \end{equation}
It is worth noting that, within the present definition, $\W{\Bas}{\FC}(\br{1},\br{2})$ still satisfies Eq.~\eqref{eq:lim_W}. It is worth noting that, within the present definition, $\W{\Bas}{\FC}(\br{1},\br{2})$ still satisfies Eq.~\eqref{eq:lim_W}.
Defining $\n{\modZ}{\FC}$ as the FC (i.e.~valence-only) one-electron density obtained with the model $\modZ$, the FC contribution of the complementary functional $\bE{}{\FC}[\n{\modZ}{\FC}]$ is then evaluated as $\bE{\LDA}{\sr}[\n{\modZ}{\FC}(\br{}),\rsmu{\Bas}{\FC}(\br{})]$ or $\bE{\PBE}{\sr}[\n{\modZ}{\FC}(\br{}),\rsmu{\Bas}{\FC}(\br{})]$. Defining $\n{\modZ}{\FC}$ as the FC (i.e.~valence-only) one-electron density obtained with a model $\modZ$, the FC contribution of the complementary functional is then evaluated as $\bE{\LDA}{\sr}[\n{\modZ}{\FC}(\br{}),\rsmu{\Bas}{\FC}(\br{})]$ or $\bE{\PBE}{\sr}[\n{\modZ}{\FC}(\br{}),\rsmu{\Bas}{\FC}(\br{})]$.
%================================================================= %=================================================================
%\subsection{Computational considerations} %\subsection{Computational considerations}
%================================================================= %=================================================================
One of the most computationally intensive task of the present approach is the evaluation of $\W{\Bas}{}(\br{})$ [see Eqs.~\eqref{eq:wcoal}] at each quadrature grid point. One of the most computationally intensive task of the present approach is the evaluation of $\W{\Bas}{}(\br{})$ [see Eqs.~\eqref{eq:wcoal}] at each quadrature grid point.
This embarrassingly parallel step scales, in the general (multi-determinantal) case, as $\Ng \Nb^4$ (where $\Nb$ is the number of basis functions in $\Bas$) but is reduced to $\order*{ \Ng \Ne^2 \Nb^2}$ in the case of a single Slater determinant. Yet embarrassingly parallel, this step scales, in the general (multi-determinantal) case, as $\Ng \Nb^4$ (where $\Nb$ is the number of basis functions in $\Bas$) but is reduced to $\order*{ \Ng \Ne^2 \Nb^2}$ in the case of a single Slater determinant.
%\begin{equation} %\begin{equation}
% \label{eq:fcoal} % \label{eq:fcoal}
% \f{\Bas}{\HF}(\br{}) = \sum_{pq \in \Bas} \sum_{ij}^{\occ} \SO{p}{} \SO{q}{} \V{pq}{ij} \SO{i}{} \SO{j}{}, % \f{\Bas}{\HF}(\br{}) = \sum_{pq \in \Bas} \sum_{ij}^{\occ} \SO{p}{} \SO{q}{} \V{pq}{ij} \SO{i}{} \SO{j}{},
%\end{equation} %\end{equation}
In our current implementation, the bottleneck is the four-index transformation to get the two-electron integrals in the molecular orbital basis which appear in Eqs.~\eqref{eq:n2basis} and \eqref{eq:fbasis}. In our current implementation, the bottleneck is the four-index transformation to get the two-electron integrals in the molecular orbital basis which appear in Eqs.~\eqref{eq:n2basis} and \eqref{eq:fbasis}.
Nevertheless, this step usually has to be performed for most correlated WFT calculations. Nevertheless, this step usually has to be performed for most correlated WFT calculations.
Modern integral decomposition techniques (such as density fitting \cite{Whi-JCP-73}) could be employed to significantly speed up this step. Modern integral decomposition techniques (such as density fitting \cite{Whi-JCP-73}) or atomic-orbital-based algorithms could be employed to significantly speed up this step.
%When the four-index transformation become prohibitive, by performing successive matrix multiplications, one could rewrite the equations directly in the AO basis where it scales formally as $\order{\Ng \Nb^4}$ but where one can take advantage of the sparsity atomic-orbital-based algorithms to significantly speed up the calculations. %When the four-index transformation become prohibitive, by performing successive matrix multiplications, one could rewrite the equations directly in the AO basis where it scales formally as $\order{\Ng \Nb^4}$ but where one can take advantage of the sparsity atomic-orbital-based algorithms to significantly speed up the calculations.
To conclude this section, we point out that, independently of the DFT functional, the present basis set correction To conclude this section, we point out that, independently of the DFT functional, the present basis set correction
@ -459,9 +458,9 @@ iii) vanishes in the limit of a complete basis set, hence guaranteeing an unalte
%%% TABLE II %%% %%% TABLE II %%%
\begin{table} \begin{table}
\caption{ \caption{
Statistical analysis (in \kcal) of the G2 correlation energies depicted in Fig.~\ref{fig:G2_Ec}. Statistical analysis (in \kcal) of the G2-1 correlation energies depicted in Fig.~\ref{fig:G2_Ec}.
Mean absolute deviation (MAD), root-mean-square deviation (RMSD), and maximum deviation (MAX) with respect to the CCSD(T)/CBS reference correlation energies. Mean absolute deviation (MAD), root-mean-square deviation (RMSD), and maximum deviation (MAX) with respect to the CCSD(T)/CBS reference correlation energies.
CA corresponds to the number of correlation energies (out of 55) obtained with chemical accuracy. CA corresponds to the number of cases (out of 55) obtained with chemical accuracy.
See {\SI} for raw data. See {\SI} for raw data.
\label{tab:stats}} \label{tab:stats}}
\begin{ruledtabular} \begin{ruledtabular}