Done with effective operator

This commit is contained in:
Pierre-Francois Loos 2019-04-04 22:39:40 +02:00
parent d6399f5dde
commit 50b0f82a34

View File

@ -390,7 +390,7 @@ Provided that the functional $\bE{}{\Bas}[\n{}{}]$ is known exactly, the only so
However, in addition of being unknown, the functional $\bE{}{\Bas}[\n{}{}]$ is obviously \textit{not} universal as it depends on $\Bas$.
Following Ref.~\onlinecite{GinPraFerAssSavTou-JCP-18}, we approximate $\bE{}{\Bas}[\n{}{}]$ following a two-step procedure which guarantees the correct behaviour in the limit $\Bas \to \infty$ [see Eq.~\eqref{eq:limitfunc}].
First, we define a real-space representation of the Coulomb operator projected in $\Bas$, which is then fitted with a long-range interaction thanks to a range-separation parameter $\mu(\br{})$ varying in space. %(see Sec.~\ref{sec:weff}).
Then, we choose a specific class of short-range density functionals, namely the short-range correlation functionals with multi-determinantal reference (ECMD) introduced by Toulouse \textit{et al.} \cite{TouGorSav-TCA-05}, that we evaluate at $\n{\modX}{\Bas}$ with $\mu(\br{})$.% (see Sec.~\ref{sec:ecmd}) .
Then, we choose a specific class of short-range density functionals, namely the short-range correlation functionals with multi-determinantal reference (ECMD) introduced by Toulouse \textit{et al.} \cite{TouGorSav-TCA-05} that we evaluate at $\n{\modX}{\Bas}$ with $\mu(\br{})$.% (see Sec.~\ref{sec:ecmd}) .
%=================================================================
@ -400,24 +400,35 @@ Then, we choose a specific class of short-range density functionals, namely the
One of the consequences of the incompleteness of $\Bas$ is that $\wf{}{\Bas}$ does not have a cusp (i.e.~a discontinuous derivative) at the electron-electron (e-e) coalescence points.
As the e-e cusp originates from the divergence of the Coulomb operator at $r_{12} = 0$, a cuspless wave function could also originate from a Hamiltonian with a non-divergent Coulomb interaction.
Therefore, the impact of the incompleteness of $\Bas$ can be viewed as a removal of the divergence of the Coulomb interaction at $r_{12} = 0$.
The present paragraph briefly describes how to obtain an effective interaction $\W{\wf{}{\Bas}}{}(\bx{1},\bx{2})$ which i) is finite at the e-e coalescence points as long as an incomplete basis set is used, and ii) tends to the genuine, unbounded $r_{12}^{-1}$ Coulomb operator in the limit of a complete basis set.
The present paragraph briefly describes how to obtain an effective operator $\W{\wf{}{\Bas}}{}(\bx{1},\bx{2})$ which i) is finite at the e-e coalescence points as long as an incomplete basis set is used, and ii) tends to the genuine, unbounded $r_{12}^{-1}$ Coulomb operator in the limit of a complete basis set.
%----------------------------------------------------------------
%\subsubsection{General definition of an effective interaction for the basis set $\Bas$}
\subsection{Effective Coulomb operator}
%----------------------------------------------------------------
Consider the Coulomb operator projected in $\Bas$
\begin{equation}
\begin{aligned}
\weeopbasis = \frac{1}{2} \sum_{ijkl \in \Bas} \vijkl \aic{k}\aic{l}\ai{j}\ai{i},
\end{aligned}
\end{equation}
where the indices run over all orthonormal spin-orbitals in $\Bas$ and $\vijkl$ are the usual two-electron Coulomb integrals.
Consider now the expectation value of $\weeopbasis$ over a general wave function $\wf{}{\Bas}$ belonging to the $\Nel$-electron Hilbert space spanned by $\Bas$.
One can show (see Appendix A of Ref.~\onlinecite{GinPraFerAssSavTou-JCP-18}) that such an expectation value can be rewritten as an integral over the two-electron spin and space coordinates:
In order to compute the effective operator $\W{\wf{}{\Bas}}{}(\bx{1},\bx{2})$ defined such that
\begin{equation}
\label{eq:expectweeb}
\mel*{\wf{}{\Bas}}{\hWee{\Bas}}{\wf{}{\Bas}} = \frac{1}{2} \iint \f{\wf{}{\Bas}}{}(\bx{1},\bx{2}) \dbx{1} \dbx{2}
\label{eq:int_eq_wee}
\mel*{\wf{}{\Bas}}{\hWee{\Bas}}{\wf{}{\Bas}} = \iint \W{\wf{}{\Bas}}{}(\bx{1},\bx{2}) \n{\wf{}{\Bas}}{(2)}(\bx{1},\bx{2}) \dbx{1} \dbx{2},
\end{equation}
(where $\n{\wf{}{\Bas}}{(2)}(\bx{1},\bx{2})$ is the two-body density associated with $\wf{}{\Bas}$, $\bx{} = \qty(\br{},\sigma)$ collects space and spin variables, and $\int \dbx{} = \sum_{\sigma}\,\int_{\mathbb{R}^3} \dbr{}$), it is key to realise that
\begin{equation}
\mel*{\wf{}{\Bas}}{\hWee{}}{\wf{}{\Bas}} = \mel*{\wf{}{\Bas}}{\hWee{\Bas}}{\wf{}{\Bas}},
\end{equation}
which states that the expectation value of $\hWee{}$ over $\wf{}{\Bas}$ is equal to the expectation value of its projected version in $\Bas$
\begin{equation}
\hWee{\Bas} = \frac{1}{2} \sum_{ijkl \in \Bas} \vijkl \aic{k}\aic{l}\ai{j}\ai{i}
\end{equation}
over the same wave function $\wf{}{\Bas}$, where the indices run over all \alert{occupied} spinorbitals $\SO{i}{}$ in $\Bas$ and $\vijkl$ are the usual two-electron Coulomb integrals.
Because one can show (see Appendix A of Ref.~\onlinecite{GinPraFerAssSavTou-JCP-18}) that
\begin{subequations}
\begin{align}
\label{eq:expectweeb}
\mel*{\wf{}{\Bas}}{\hWee{\Bas}}{\wf{}{\Bas}} & = \frac{1}{2} \iint \f{\wf{}{\Bas}}{}(\bx{1},\bx{2}) \dbx{1} \dbx{2},
\\
\label{eq:expectwee}
\mel*{\wf{}{\Bas}}{\hWee{}}{\wf{}{\Bas}} & = \frac{1}{2} \iint r_{12}^{-1} \n{\wf{}{\Bas}}{(2)}(\bx{1},\bx{2}) \dbx{1} \dbx{2},
\end{align}
\end{subequations}
where
\begin{multline}
\label{eq:fbasis}
@ -425,37 +436,14 @@ where
\\
= \sum_{ijklmn \in \Bas} \vijkl \Gam{mn}{pq}[\wf{}{\Bas}] \SO{n}{2} \SO{m}{1} \SO{i}{1} \SO{j}{2},
\end{multline}
and
and $\Gam{mn}{pq}[\wf{}{\Bas}] = \mel*{\wf{}{\Bas}}{ \aic{p}\aic{q}\ai{n}\ai{m} }{\wf{}{\Bas}}$ is the two-body density tensor of $\wf{}{\Bas}$, it comes naturally that
\begin{equation}
\Gam{mn}{pq}[\wf{}{\Bas}] = \mel*{\wf{}{\Bas}}{ \aic{p}\aic{q}\ai{n}\ai{m} }{\wf{}{\Bas}},
\label{eq:def_weebasis}
\W{\wf{}{\Bas}}{}(\bx{1},\bx{2}) = \frac{\f{\wf{}{\Bas}}{}(\bx{1},\bx{2})}{\n{\wf{}{\Bas}}{(2)}(\bx{1},\bx{2})}.
\end{equation}
is the two-body density tensor of $\wf{}{\Bas}$, $\bfr{} = \qty(\br,\sigma)$ collects the space and spin variables, $\int \dbx{} = \sum_{\sigma}\,\int_{\mathbb{R}^3} \dbr{}$.
Then, consider the expectation value of the exact Coulomb operator over $\wf{}{\Bas}$
\begin{equation}
\label{eq:expectwee}
\mel*{\wf{}{\Bas}}{\weeop}{\wf{}{\Bas}} = \frac{1}{2} \iint r_{12}^{-1} \twodmrdiagpsi \dr{1} \dr{2}
\end{equation}
where $\n{\wf{}{\Bas}}{(2)}$ is the two-body density associated with $\wf{}{\Bas}$.
Because $\wf{}{\Bas}$ belongs to $\Bas$, such an expectation value coincides with the expectation value of $\weeopbasis$
\begin{equation}
\mel*{\wf{}{\Bas}}{\weeopbasis}{\wf{}{\Bas}} = \mel*{\wf{}{\Bas}}{\weeop}{\wf{}{\Bas}},
\end{equation}
which can be rewritten as:
\begin{multline}
\label{eq:int_eq_wee}
\iint \wbasis \twodmrdiagpsi \dr{1} \dr{2}
\\
= \iint r_{12}^{-1} \twodmrdiagpsi \dr{1} \dr{2}.
\end{multline}
where we introduced $\wbasis$
\begin{equation}
\label{eq:def_weebasis}
\W{\wf{}{\Bas}}{}(\bx{1},\bx{2}) = \frac{\f{\wf{}{\Bas}}{}(\bx{1},\bx{2})}{\n{\wf{}{\Bas}}{(2)}(\bx{1},\bx{2})},
\end{equation}
which is the effective interaction in the basis set $\Bas$.
As already discussed in \onlinecite{GinPraFerAssSavTou-JCP-18}, such an effective interaction is symmetric, \textit{a priori} non translational nor rotational invariant if the basis set $\Bas$ does not have such symmetries and is necessary \textit{finite} at the electron coalescence point for an incomplete basis set $\Bas$.
Also, as demonstrated in the appendix B of \onlinecite{GinPraFerAssSavTou-JCP-18}, $\W{\wf{}{\Bas}}{}(\bx{1},\bx{2})$ tends to the regular coulomb interaction $r_{12}^{-1}$ for all points $(\bx{1},\bx{2})$ and any choice of $\wf{}{\Bas}$ in the limit of a complete basis set.
As already discussed in Ref.~\onlinecite{GinPraFerAssSavTou-JCP-18}, $\W{\wf{}{\Bas}}{}(\bx{1},\bx{2})$ is symmetric, \textit{a priori} non translational nor rotational invariant if $\Bas$ does not have such symmetries and is necessarily \textit{finite} at $r_{12} = 0$ for an incomplete basis set $\Bas$.
Also, as demonstrated in Appendix B of Ref.~\onlinecite{GinPraFerAssSavTou-JCP-18}, $\lim_{\Bas \to \infty}\W{\wf{}{\Bas}}{}(\bx{1},\bx{2}) = r_{12}^{-1}$.
%----------------------------------------------------------------
@ -568,7 +556,7 @@ where $\weeopmu$ is the long-range electron-electron interaction operator
with
\begin{equation}
\label{eq:erf}
w^{\text{lr},\mu}(|{\bf r}_1 - {\bf r}_2|) = \frac{\text{erf}(\mu |{\bf r}_1 - {\bf r}_2|)}{|{\bf r}_1 - {\bf r}_2|},
w^{\text{lr},\mu}(r_{12}) = \frac{\text{erf}(\mu r_{12})}{r_{12}},
\end{equation}
and the pair-density operator $\hat{n}^{(2)}({\bf r}_1,{\bf r}_2) =\hat{n}({\bf r}_1) \hat{n}({\bf r}_2) - \delta ({\bf r}_1-{\bf r}_2) \hat{n}({\bf r}_1)$.
The ECMD functionals admit two limits as function of $\mu$