titou saving work

This commit is contained in:
Pierre-Francois Loos 2020-04-16 23:24:24 +02:00
parent 96dcb55db1
commit 5ab40ce4ee
2 changed files with 1008 additions and 890 deletions

View File

@ -30,10 +30,6 @@
\usepackage{mathtools}
\usepackage[dvipsnames]{xcolor}
\usepackage{xspace}
\usepackage{ifthen}
\usepackage{qcircuit}
\usepackage{graphicx,longtable,dcolumn,mhchem}
\usepackage{rotating,color}
@ -46,16 +42,42 @@
\newcommand{\cmark}{\color{green}{\text{\ding{51}}}}
\newcommand{\xmark}{\color{red}{\text{\ding{55}}}}
\newcommand{\mc}{\multicolumn}
\newcommand{\mr}{\multirow}
\newcommand{\ie}{\textit{i.e.}}
\newcommand{\eg}{\textit{e.g.}}
\newcommand{\alert}[1]{\textcolor{red}{#1}}
\definecolor{darkgreen}{HTML}{009900}
\usepackage[normalem]{ulem}
\newcommand{\titou}[1]{\textcolor{red}{#1}}
\newcommand{\denis}[1]{\textcolor{purple}{#1}}
\newcommand{\xavier}[1]{\textcolor{darkgreen}{#1}}
\newcommand{\trashPFL}[1]{\textcolor{red}{\sout{#1}}}
\newcommand{\trashDJ}[1]{\textcolor{purple}{\sout{#1}}}
\newcommand{\trashXB}[1]{\textcolor{darkgreen}{\sout{#1}}}
\newcommand{\PFL}[1]{\titou{(\underline{\bf PFL}: #1)}}
\renewcommand{\DJ}[1]{\denis{(\underline{\bf DJ}: #1)}}
\newcommand{\XB}[1]{\xavier{(\underline{\bf XB}: #1)}}
\newcommand{\mc}{\multicolumn}
\newcommand{\mr}{\multirow}
\newcommand{\ra}{\rightarrow}
\newcommand{\fnm}{\footnotemark}
\newcommand{\fnt}{\footnotetext}
\newcommand{\tabc}[1]{\multicolumn{1}{c}{#1}}
\newcommand{\SI}{\textcolor{blue}{supporting information}}
\newcommand{\QP}{\textsc{quantum package}}
%matrices
\newcommand{\bO}{\boldsymbol{0}}
\newcommand{\bH}{\boldsymbol{H}}
\newcommand{\bh}{\boldsymbol{h}}
\newcommand{\bc}{\boldsymbol{c}}
\renewcommand{\tr}[1]{{#1}^{\dag}}
% methods
\newcommand{\DFT}{\text{DFT}}
\newcommand{\KS}{\text{KS}}
\newcommand{\BSE}{\text{BSE}}
\newcommand{\GW}{GW}
\newcommand{\XC}{\text{xc}}
% units
\newcommand{\IneV}[1]{#1 eV}
@ -63,11 +85,6 @@
\newcommand{\InAA}[1]{#1 \AA}
\newcommand{\kcal}{kcal/mol}
% sets
\newcommand{\SetA}{QUEST\#1}
\newcommand{\SetB}{QUEST\#2}
\newcommand{\SetC}{QUEST\#3}
\usepackage[colorlinks = true,
linkcolor = blue,
urlcolor = black,
@ -139,7 +156,7 @@
\let\oldmaketitle\maketitle
\let\maketitle\relax
\title{A Chemist Guide to the Bethe--Salpeter Formalism}
\title{A Chemist Guide to the Bethe-Salpeter Formalism}
\date{\today}
\begin{tocentry}
@ -162,7 +179,10 @@
%%%%%%%%%%%%%%%%
\begin{abstract}
Here goes the abstract
The many-body Green's function Bethe-Salpeter formalism is steadily asserting itself as a new efficient and accurate tool in the armada of computational methods available to chemists in order to predict neutral electronic excitations in molecular systems.
In particular, the combination of the so-called $GW$ approximation of many-body perturbation theory, giving access to reliable charged excitations and quasiparticle energies, and the Bethe-Salpeter formalism, allowing to catch excitonic effects, has shown to provide accurate excitation energies in many chemical scenarios with a typical error of $0.1$--$0.3$ eV.
In this \textit{Perspective} article, we provide a historical overview of the Bethe-Salpeter formalism, with a particular focus on its condensed-matter roots, and we propose a critical review of its strengths and weaknesses for different chemical situations, such as \titou{bla bla bla}.
Future directions of developments and improvements are also discussed.
\end{abstract}
@ -183,11 +203,11 @@ Here goes the abstract
%%% INTRODUCTION %%%
%%%%%%%%%%%%%%%%%%%%
In its press release announcing the attribution of the 2013 Nobel prize in Chemistry to Karplus, Levitt and Warshel, the Royal Swedish Academy of Sciences concluded that ``Today the computer is just as important a tool for chemists as the test tube. Simulations are so realistic that they predict the outcome of traditional experiments." Martin Karplus Nobel lecture moderated this bold statement, introducing his presentation by a 1929 quote from Dirac emphasizing that laws of quantum mechanics are "much too complicated to be soluble", urging the scientist to develop "approximate practical methods." This is where the methodology community stands, attempting to develop robust approximations to study with increasing accuracy the properties of complex systems.
In its press release announcing the attribution of the 2013 Nobel prize in Chemistry to Karplus, Levitt and Warshel, the Royal Swedish Academy of Sciences concluded by stating \textit{``Today the computer is just as important \titou{as} a tool for chemists as the test tube. Simulations are so realistic that they predict the outcome of traditional experiments.''} Martin Karplus Nobel lecture moderated this bold statement, introducing his presentation by a 1929 quote from Dirac emphasizing that laws of quantum mechanics are \textit{``much too complicated to be soluble''}, urging the scientist to develop \textit{``approximate practical methods''}. This is where the methodology community stands, attempting to develop robust approximations to study with increasing accuracy the properties of ever more complex systems.
The study of neutral electronic excitations in condensed matter systems, from molecules to extended solids, has witnessed the development of a large number of such approximate methods with numerous applications to a large variety of fields, from the prediction of the colour of precious metals and stones for jewellery, to the understanding e.g. of the basic principles behind photovoltaics, photocatalysis or DNA damage under irradiation in the context of biology. The present Perspective aims at describing the current status and upcoming challenges for the Bethe-Salpeter equation (BSE) formalism that, while sharing many features with time-dependent density functional theory (TD-DFT), including computational cost scaling with system size, relies on a different formalism, with specific difficulties but also potential solutions to known difficulties.
The study of neutral electronic excitations in condensed matter systems, from molecules to extended solids, has witnessed the development of a large number of such approximate methods with numerous applications to a large variety of fields, from the prediction of the colour of precious metals and stones for jewellery, to the understanding, \eg, of the basic principles behind photovoltaics, photocatalysis or DNA damage under irradiation in the context of biology. The present Perspective aims at describing the current status and upcoming challenges for the Bethe-Salpeter equation (BSE) formalism that, while sharing many features with time-dependent density functional theory (TD-DFT), including computational cost scaling with system size, relies on a different formalism, with specific difficulties but also potential solutions to known difficulties.
The Bethe-Salpeter equation formalism [REFS] belongs to the family of Green's function many-body perturbation theories (MBPT) [REFS] to which belong as well the Algebraic Diagrammatic Construction (ADC) techniques in quantum chemistry. [REFS] While the density and density matrix stand as the basic variables in DFT and Hartree-Fock, Green's function MBPT takes the one-body Green's function as the central quantity. The (time-ordered) one-body Green's function reads:
The Bethe-Salpeter equation formalism \cite{Salpeter_1951,Strinati_1988,Albrecht_1998,Rohlfing_1998,Benedict_1998,vanderHorst_1999} belongs to the family of Green's function many-body perturbation theories (MBPT) \cite{Hedin_1965,Aryasetiawan_1998,Onida_2002,Reining_2017,ReiningBook} to which belong as well the algebraic diagrammatic construction (ADC) techniques in quantum chemistry. \cite{Dreuw_2015} While the density and density matrix stand as the basic variables in DFT and Hartree-Fock, Green's function MBPT takes the one-body Green's function as the central quantity. The (time-ordered) one-body Green's function reads:
\begin{equation}
G(xt,x't') = -i \langle N | T \left[ {\hat \psi}(xt) {\hat \psi}^{\dagger}(x't') \right] | N \rangle
\end{equation}
@ -197,14 +217,14 @@ where $| N \rangle $ is the N-electron ground-state wavefunction. The operators
\begin{equation}
G(x,x'; \omega ) = \sum_n \frac{ f_s(x) f^*_s(x') }{ \omega - \varepsilon_s + i \eta \times \text{sgn}(\varepsilon_s - \mu ) } \label{spectralG}
\end{equation}
where $\varepsilon_s = E_s(N+1) - E_0(N)$ for $\varepsilon_s > \mu$ ($\mu$ chemical potential, $\eta$ small positive infinitesimal) and $\varepsilon_s = E_0(N) - E_s(N-1)$ for $\varepsilon_s < \mu$. The quantities $E_s(N+1)$ and $E_s(N-1)$ are the total energy of the s-th excited state of the (N+1) and (N-1)-electron systems, while $E_0(N)$ is the N-electron ground-state energy. Contrary to the Kohn-Sham eigenvalues, the Green's function poles $\lbrace \varepsilon_s \rbrace$ are thus the proper charging energies of the N-electron system, leading to well-defined ionization potentials and electronic affinities. Contrary to standard $\Delta$SCF techniques, the knowledge of $G$ provides the full ionization spectrum, as measured by direct and inverse photoemission, not only that associated with frontier orbitals. The $\lbrace f_s \rbrace$ are called the Lehmann amplitudes that reduce to one-body orbitals in the case of mono-determinental many-body wavefunctions [more ??].
where $\varepsilon_s = E_s(N+1) - E_0(N)$ for $\varepsilon_s > \mu$ ($\mu$ chemical potential, $\eta$ small positive infinitesimal) and $\varepsilon_s = E_0(N) - E_s(N-1)$ for $\varepsilon_s < \mu$. The quantities $E_s(N+1)$ and $E_s(N-1)$ are the total energy of the $s$-th excited state of the $(N+1)$ and $(N-1)$-electron systems, while $E_0(N)$ is the $N$-electron ground-state energy. Contrary to the Kohn-Sham eigenvalues, the Green's function poles $\lbrace \varepsilon_s \rbrace$ are thus the proper charging energies of the N-electron system, leading to well-defined ionization potentials and electronic affinities. Contrary to standard $\Delta$SCF techniques, the knowledge of $G$ provides the full ionization spectrum, as measured by direct and inverse photoemission, not only that associated with frontier orbitals. The $\lbrace f_s \rbrace$ are called the Lehmann amplitudes that reduce to one-body orbitals in the case of single-determinent many-body wave functions [more ??].
Using the equation of motion for the creation/destruction operators, it can be shown formally that $G$ verifies :
\begin{equation}
\left( \frac{\partial }{\partial t_1} - h({\bf r}_1) \right) G(1,2) - \int d3 \; \Sigma(1,3) G(3,2)
\qty[ \pdv{}{t_1} - h({\bf r}_1) ] G(1,2) - \int d3 \; \Sigma(1,3) G(3,2)
= \delta(1,2) \label{Gmotion}
\end{equation}
where we use the notation $1 = (x_1,t_1)$. Here $h$ is the one-body Hartree Hamiltonian and $\Sigma$ the so-called exchange-correlation self-energy operator. Using the spectral representation of $G$, one obtains a familiar eigenvalue equation:
where we introduce the usual composite index, \eg, $1 \equiv (x_1,t_1)$. Here, $h$ is the one-body Hartree Hamiltonian and $\Sigma$ the so-called exchange-correlation self-energy operator. Using the spectral representation of $G$, one obtains a familiar eigenvalue equation:
\begin{equation}
h({\bf r}) f_s({\bf r}) + \int d{\bf r}' \; \Sigma({\bf r},{\bf r}'; \varepsilon_s ) f_s({\bf r}) = \varepsilon_s f_s({\bf r})
\end{equation}
@ -221,10 +241,10 @@ where $W$ is the dynamically screened Coulomb potential and $\Gamma$ a ``vertex"
W(1,2) &= v(1,2) + \int d34 \; v(1,2) \chi_0(3,4) W(4,2) \\
\chi_0(1,2) &= -i \int d34 \; G(2,3) G(4,2)
\end{align}
with $\chi_0$ the well-known independent electron susceptibility and $v$ the bare Coulomb potential. In practice, the input $G$ and $\chi_0$ needed to buld $\Sigma$ are taken to be the best Green's function and susceptibility that can be easily calculated, namely the DFT (or HF) ones where the $\lbrace \varepsilon_s, f_s \rbrace$ of equation~\ref{spectralG} are taken to be DFT Kohn-Sham (or HF) eigenstates. Taking then $( \Sigma^{GW}-V^{XC} )$ as a correction to the $V^{XC}$ DFT exchange correlation potential, a first-order correction to the input Kohn-Sham $\lbrace \varepsilon_n^{KS} \rbrace$ energies is obtained as follows:
with $\chi_0$ the well-known independent electron susceptibility and $v$ the bare Coulomb potential. In practice, the input $G$ and $\chi_0$ needed to buld $\Sigma$ are taken to be the best Green's function and susceptibility that can be easily calculated, namely the DFT (or HF) ones where the $\lbrace \varepsilon_s, f_s \rbrace$ of equation~\ref{spectralG} are taken to be DFT Kohn-Sham (or HF) eigenstates. Taking then $( \Sigma^{\GW}-V^{\XC} )$ as a correction to the $V^{\XC}$ DFT exchange correlation potential, a first-order correction to the input Kohn-Sham $\lbrace \varepsilon_n^{KS} \rbrace$ energies is obtained as follows:
\begin{equation}
\varepsilon_n^{GW} = \varepsilon_n^{KS} +
\langle \phi_n^{KS} | \Sigma^{GW}(\varepsilon_n^{GW}) -V^{XC} | \phi_n^{KS} \rangle
\varepsilon_n^{\GW} = \varepsilon_n^{\KS} +
\langle \phi_n^{\KS} | \Sigma^{\GW}(\varepsilon_n^{\GW}) -V^{\XC} | \phi_n^{\KS} \rangle
\end{equation}
Such an approach, where input Kohn-Sham energies are corrected to yield better electronic energy levels, is labeled the single-shot, or perturbative, $G_0W_0$ technique. This simple scheme was used in the early $GW$ studies of extended semiconductors and insulators, [REFS]
surfaces [REFs], and 2D systems, [REFS] allowing to dramatically reduced the errors associated with Kohn-Sham eigenvalues in conjunction with the common LDA approximation.
@ -232,9 +252,9 @@ In particular, the well-known ``band gap" problem, [REFS] namely the underestima
\noindent {\textbf{Neutral excitations.}} While TD-DFT starts with the variation of the charge density $\rho$ with respect to an external local perturbation, the BSE formalism considers a generalized 4-points susceptibility that monitors the variation of the Green's function with respect to a non-local external perturbation:
\begin{equation}
\chi(1,2) \stackrel{DFT}{=} \frac{ \partial \rho(1) }{\partial U(2) }
\chi(1,2) \stackrel{\DFT}{=} \frac{ \partial \rho(1) }{\partial U(2) }
\;\; \rightarrow \;\;
L(12,34) \stackrel{BSE}{=} -i \frac{ \partial G(1,2) } { \partial U(3,4) }
L(12,34) \stackrel{\BSE}{=} -i \frac{ \partial G(1,2) } { \partial U(3,4) }
\end{equation}
%with the relation $\chi(1,2) = L(11,22)$ since $\rho(1) = -iG(1,1^{+})$, as a first bridge between the TD-DFT and BSE worlds.
The equation of motion for $G$ (Eqn.~\ref{Gmotion}) can be reformulated in the form of a Dyson equation:
@ -254,11 +274,11 @@ with $L_0 = \partial G_0 / \partial U$ the Hartree 4-point susceptibility and:
\end{align*}
This equation can be compared to its TD-DFT analog:
\begin{equation}
\chi(1,2) = \chi_0(1,2) + \int d34 \; \chi_0(1,3) \Xi^{DFT}(3,4) \chi(4,2)
\chi(1,2) = \chi_0(1,2) + \int d34 \; \chi_0(1,3) \Xi^{\DFT}(3,4) \chi(4,2)
\end{equation}
with $\Xi^{DFT}$ the TD-DFT kernel :
with $\Xi^{\DFT}$ the TD-DFT kernel :
\begin{equation}
\Xi^{DFT}(3,4) = v(3,4) + \frac{ \partial V^{XC}(3) }{ \partial \rho(4) }
\Xi^{\DFT}(3,4) = v(3,4) + \frac{ \partial V^{\XC}(3) }{ \partial \rho(4) }
\end{equation}
Plugging now the $GW$ self-energy, in a scheme that we label the BSE/$GW$ approach, leads to an approximation to the BSE kernel:
\begin{align*}
@ -294,7 +314,7 @@ with electron-hole (e-h) eigenstates written:
\end{equation}
where $\lambda$ index the electronic excitations. The $\lbrace \phi_{i/a} \rbrace$ are the input (Kohn-Sham) eigenstates used to build the $GW$ self-energy. The resonant part of the BSE Hamiltonian reads:
\begin{align*}
R_{ai,bj} = \left( \varepsilon_a^{GW} - \varepsilon_i^{GW} \right) \delta_{ij} \delta_{ab} + \eta (ai|bj) - W_{ai,bj}
R_{ai,bj} = \left( \varepsilon_a^{\GW} - \varepsilon_i^{\GW} \right) \delta_{ij} \delta_{ab} + \eta (ai|bj) - W_{ai,bj}
\end{align*}
with $\eta=2,0$ for singlets/triplets and:
\begin{equation}
@ -305,7 +325,7 @@ W_{ai,bj} = \int d{\bf r} d{\bf r}'
where we notice that the 2 occupied (virtual) eigenstates are taken at the same space position, in contrast with the
$(ai|bj)$ bare Coulomb term. As compared to TD-DFT :
\begin{itemize}
\item the $GW$ quasiparticle energies $\lbrace \varepsilon_{i/a}^{GW} \rbrace$ replace the Kohn-Sham eigenvalues
\item the $GW$ quasiparticle energies $\lbrace \varepsilon_{i/a}^{\GW} \rbrace$ replace the Kohn-Sham eigenvalues
\item the non-local screened Coulomb matrix elements replaces the DFT exchange-correlation kernel.
\end{itemize}
We emphasise that these equations can be solved at exactly the same cost as the standard TD-DFT equations once the quasiparticle energies and screened Coulomb potential $W$ are inherited from preceding $GW$ calculations. This defines the standard (static) BSE/$GW$scheme that we discuss in this Perspective, emphasizing its pros and cons. \\
@ -356,7 +376,7 @@ Another approach, that proved very fruitful, lies in the so-called space-time ap
An additional issue concerns the formalism taken to calculate the ground-state energy for a given atomic configuration. Since the BSE formalism presented so far concerns the calculation of the electronic excitations, namely the difference of energy between the GS and the ES, gradients of the ES absolute energy require
This points to another direction for the BSE foramlism, namely the calculation of GS total energy with the correlation energy calculated at the BSE level. Such a task was performed by several groups using in particular the adiabatic connection fluctuation-dissipation theorem (ACFDT), focusing in particular on small dimers. \cite{Olsen_2014,Holzer_2018,Li_2020,Loos_2020}
This points to another direction for the BSE foramlism, namely the calculation of GS total energy with the correlation energy calculated at the BSE level. Such a task was performed by several groups using in particular the adiabatic connection fluctuation-dissipation theorem (ACFDT), focusing in particular on small dimers. \cite{Olsen_2014,Holzer_2018b,Li_2020,Loos_2020}
\noindent {\textbf{The Triplet Instability Challenge.}} \\
@ -367,7 +387,7 @@ While TD-DFT with RSH can benefit from tuning the range-separation parameter as
benchmarks \cite{Jacquemin_2017b,Rangel_2017}
a first cure was offered by hybridizing TD-DFT and BSE, namely adding to the BSE kernel the correlation part of the underlying DFT functional used to build the susceptibility and resulting screened Coulomb potential $W$. \cite{Holzer_2018}
a first cure was offered by hybridizing TD-DFT and BSE, namely adding to the BSE kernel the correlation part of the underlying DFT functional used to build the susceptibility and resulting screened Coulomb potential $W$. \cite{Holzer_2018b}
\noindent {\textbf{Dynamical kernels and multiple excitations.}} \\
@ -381,11 +401,35 @@ XANES,
diabatization and conical intersections \cite{Kaczmarski_2010}
\noindent {\textbf{The Concept of dynamical properties.}}
As a chemist, it is maybe difficult to understand the concept of dynamical properties, the motivation behind their introduction, and their actual usefulness.
Here, we will try to give a pedagogical example showing the importance of dynamical quantities and their main purposes.
To do so, let us consider we want to solve a hard problem given by the Schr{\"o}dinger-like equation of the form $\bH \bc = \omega \bc$.
If we assume that the Hamiltonian $\bH$ is of size $N \times N$, this \textit{linear} set of equations yields $K$ solutions.
However, in practice, $K$ can be very large.
Therefore, it is usually convenient to recast it as
\begin{equation}
\begin{pmatrix}
\bH_0 & \tr{\bh} \\
\bh & \bH_1 \\
\end{pmatrix}
\begin{pmatrix}
\bc_0\\
\bc_1 \\
\end{pmatrix}
= \omega
\begin{pmatrix}
\bc_0 \\
\bc_1 \\
\end{pmatrix}
\end{equation}
This system of equation has exactly the same number of solutions.
%%%%%%%%%%%%%%%%%%
%%% CONCLUSION %%%
%%%%%%%%%%%%%%%%%%
\noindent {\textbf{Conclusion.}}
Here goes the conclusion.
%%%%%%%%%%%%%%%%%%%%%%%%

File diff suppressed because it is too large Load Diff