Jump to content

Requests for technical support from the VASP team should be posted in the VASP Forum.

Category:Bethe-Salpeter equations: Difference between revisions

From VASP Wiki
Pmelo (talk | contribs)
No edit summary
Pmelo (talk | contribs)
Line 128: Line 128:
<!--
<!--
==Lanczos algorithm==
==Lanczos algorithm==
The expression for the dielectric function can be re-written as a continued fraction, given by
The expression for the dielectric function can be re-written as a continued fraction  
::<math>
::<math>
\epsilon_{\alpha\beta}(\omega) = \delta_{\alpha\beta} - \frac{4\pi}{\Omega}\cfrac{|u_0|^2}{(\omega - a_1 + \mathrm i\eta) - \cfrac{b_1^2}{(\omega -a_2 + \mathrm i\eta)  
\epsilon_{\alpha\beta}(\omega) = \delta_{\alpha\beta} - \frac{4\pi}{\Omega}\cfrac{|u_0|^2}{(\omega - a_1 + \mathrm i\eta) - \cfrac{b_1^2}{(\omega -a_2 + \mathrm i\eta)  
     - \cfrac{b_2^2}{...}}},
     - \cfrac{b_2^2}{...}}},
</math>
</math>
where <math>|u_0\rangle</math> is the initial guess vector in transition space, i.e. <math>|u_0\rangle = \sum_{cv\mathbf{k}} \langle c\mathbf{k}|r_\alpha|v\mathbf{k}\rangle \langle v\mathbf{k}|r_\beta|c\mathbf{k}\rangle</math>. The <math>a</math> and <math>b</math> coefficients are evaluated iteratively, with the iterative algorithm stopping once the <math>\mathrm{Im}[\epsilon(\omega)]</math> from two consecutive iterations is below a given threshold, {{TAG|LANCZOSTHR}}. By default, {{TAG|LANCZOSTHR}}=<math>10^{-3}</math>.
where <math>|u_0\rangle</math> is an initial guess vector computed from the dipole moments, <math>|u_0\rangle = \sum_{cv\mathbf{k}} \langle c\mathbf{k}|r_\alpha|v\mathbf{k}\rangle \langle v\mathbf{k}|r_\beta|c\mathbf{k}\rangle</math>. The <math>a</math> and <math>b</math> coefficients are evaluated iteratively, with the iterative algorithm stopping once the difference between <math>\epsilon(\omega)</math> from two consecutive iterations is below a certain threshold, set by {{TAG|LANCZOSTHR}} in the {{TAG|INCAR}}. By default, {{TAG|LANCZOSTHR}}=<math>10^{-3}</math>.
 
Using the dipole moments as the starting point means that the iterative algorithm is sensitive only to optically active transitions, i.e. <math>v\to c</math> transitions with non-zero dipole moment. This means that the Lanczos algorithm can ignore optically inactive transitions and will reach spectral convergence faster than other methods for larger matrices.


The following features are currently supported:
The following features are currently supported:
* Calculating the dielectric function
* Calculating the dielectric function
* Calculating the eigenvalues of bright excitonic states
* Calculating the eigenvalues of bright excitonic states
-->
<!--
expression with the u_0 vector explicitly written  
expression with the u_0 vector explicitly written  
<math\delta_{\alpha\beta} - \frac{4\pi}{\Omega}\sum_{cv\mathbf{k}} \langle|c\mathbf{k}|r_\alpha|v\mathbf{k}\rangle
<math\delta_{\alpha\beta} - \frac{4\pi}{\Omega}\sum_{cv\mathbf{k}} \langle|c\mathbf{k}|r_\alpha|v\mathbf{k}\rangle
Line 143: Line 147:
     \cfrac{1}{(\omega - a_1 + \mathrm i\eta) - \cfrac{b_1^2}{(\omega -a_2 + \mathrm i\eta) - \cfrac{b_2^2}{...}}}
     \cfrac{1}{(\omega - a_1 + \mathrm i\eta) - \cfrac{b_1^2}{(\omega -a_2 + \mathrm i\eta) - \cfrac{b_2^2}{...}}}
</math>
</math>
-->
->


== How to ==
== How to ==

Revision as of 12:18, 15 October 2024

The formalism of the Bethe-Salpeter equation (BSE) allows for calculating the polarizability with the electron-hole interaction and constitutes the state of the art for calculating absorption spectra in solids.

Theory

Bethe-Salpeter equation

In the BSE, the excitation energies correspond to the eigenvalues ωλ of the following linear problem[1]

(𝐀𝐁𝐁*𝐀*)(𝐗λ𝐘λ)=ωλ(𝟏𝟎𝟎𝟏)(𝐗λ𝐘λ).


The matrices A and A* describe the resonant and anti-resonant transitions between the occupied v,v and unoccupied c,c states

Avcvc=(εvεc)δvvδcc+cv|V|vccv|W|cv.

The energies and orbitals of these states are usually obtained in a G0W0 calculation, but DFT and Hybrid functional calculations can be used as well. The electron-electron interaction and electron-hole interaction are described via the bare Coulomb V and the screened potential W.

The coupling between resonant and anti-resonant terms is described via terms B and B*

Bvcvc=vv|V|ccvv|W|cc.

Due to the presence of this coupling, the Bethe-Salpeter Hamiltonian is non-Hermitian.

Tamm-Dancoff approximation

A common approximation to the BSE is the Tamm-Dancoff approximation (TDA), which neglects the coupling between resonant and anti-resonant terms, i.e., B and B*. Hence, the TDA reduces the BSE to a Hermitian problem

AXλ=ωλXλ.

In reciprocal space, the matrix A is written as

Avc𝐤vc𝐤=(εvεc)δvvδccδ𝐤𝐤+2Ω𝐆0V¯𝐆(𝐪)c𝐤|ei𝐆𝐫|v𝐤v𝐤|ei𝐆𝐫|c𝐤2Ω𝐆,𝐆W𝐆,𝐆(𝐪,ω)δ𝐪,𝐤𝐤c𝐤|ei(𝐪+𝐆)|c𝐤v𝐤|ei(𝐪+𝐆)|v𝐤,

where Ω is the cell volume, V¯ is the bare Coulomb potential without the long-range part

V¯𝐆(𝐪)={0 if G=0V𝐆(𝐪)=4π|𝐪+𝐆|2 else ,

and the screened Coulomb potential W𝐆,𝐆(𝐪,ω)=4πϵ𝐆,𝐆1(𝐪,ω)|𝐪+𝐆||𝐪+𝐆|.

Here, the dielectric function ϵ𝐆,𝐆(𝐪) describes the screening in W within the random-phase approximation (RPA)

ϵ𝐆,𝐆1(𝐪,ω)=δ𝐆,𝐆+4π|𝐪+𝐆|2χ𝐆,𝐆RPA(𝐪,ω).

Although the dielectric function is frequency-dependent, the static approximation W𝐆,𝐆(𝐪,ω=0) is considered a standard for practical BSE calculations.


Scaling

The scaling of the BSE equation strongly limits its application for large systems. The main limiting factor is the diagonalization of the BSE Hamiltonian. The rank of the Hamiltonian is

Nrank=Nk×Nc×Nv,

where Nk is the number of k-points in the Brillouin zone and Nc and Nv are the number of conduction and valence bands, respectively. The diagonalization of the matrix scales cubically with the matrix rank, i.e., Nrank3.

Despite the fact that this matrix diagonalization is usually the bottleneck for bigger systems, the construction of the BSE Hamiltonian also scales unfavorably and can play a dominant role in big systems, i.e.,

Nk×Nq×(Nv×Nv×NG×Nc×Nc),

where Nq is the number of q-points and NG number of G-vectors.

Exact diagonalization

The diagonalization of the BSE Hamiltonian can be perform using various eigensolvers provided in ScaLAPACK, ELPA, and cuSolver libraries. The advantage of this approach is that the eigenvectors can be directly obtained and used for the analysis of the excitons. Using the eigenvalues ωλ and eigenvectors Xλ of the BSE Hamiltonian, the macroscopic dielectric which accounts for the excitonic effects can be found

ϵM(𝐪,ω)=1+2lim𝐪0v(q)λ|c,v,kc𝐤|ei𝐪𝐫|v𝐤Xλcv𝐤|2×(1ωλωiδ).

The following features are currently supported:

Time evolution

Alternatively, it is possible to use the time-evolution algorithm which applies a short Dirac delta pulse of electric field and then follows the evolution of the dipole moments. The dielectric function is found via a Fourier transform [2]

ϵM(ω)=14πΩ0dtc,v,𝐤(μcv𝐤|ξcv𝐤(t)+c.c.)ei(ωiδ)t,

where μ and ξ(t) are the dipole moments.

The solution found this way is strictly equivalent to the same solution as the exact diagonalization and can be used for obtaining the absorption spectrum, but does not yield the eigenvectors, which can be limiting for the analysis of the excitons. The advantage of this approach is the quadratic scaling with the size of the BSE Hamiltonian Nrank2.

The time-evolution algorithm can be selected by setting IBSE = 1 in a BSE calculation. The required number of steps in the time-evolution calculation depends on the broadening CSHIFT and the maximum energy OMEGAMAX. The precision can be selected via tag BSEPREC.

The following features are currently supported:

  • Calculating the dielectric function
  • Calculations beyond the Tamm-Dancoff approximation