Thermodynamics

Thermodynamics

Finite-temperature Green’s functions are useful because the same self-consistent calculation that gives the density matrix, self-energy, and spectra also gives access to electronic thermodynamics. This is especially important for metals, small-gap materials, and competing phases where the electronic entropy or Helmholtz free energy can decide which solution is thermodynamically stable.1

The calculation is performed in the grand canonical ensemble, with inverse temperature β=1/(kBT)\beta=1/(k_B T) and chemical potential μ\mu. The basic object is the Matsubara Green’s function G(iωn)G(i\omega_n), where ωn=(2n+1)π/β\omega_n=(2n+1)\pi/\beta for fermions. The density matrix is obtained from the equal-time limit of GG, and the particle number is

N=Tr1{γS}, N = \mathrm{Tr}_{1}\{\gamma S\},

where SS is the one-particle overlap matrix and Tr1\mathrm{Tr}_{1} denotes the trace over one-particle indices, including spin, orbital, and crystal momentum when present.

Dyson equation and self-energy split

In an atomic-orbital or Bloch-orbital basis, the interacting Green’s function is obtained from the Dyson equation

G1(iωn)=(iωn+μ)SH0Σ(iωn). G^{-1}(i\omega_n) = (i\omega_n+\mu)S - H_0 - \Sigma(i\omega_n).

It is useful to separate the self-energy into a static Hartree-Fock part and a dynamic correlation part,

Σ(iωn)=Σ+Σc(iωn), \Sigma(i\omega_n) = \Sigma^\infty + \Sigma^c(i\omega_n),

and define the Fock matrix F=H0+ΣF=H_0+\Sigma^\infty. Then

G1(iωn)=GHF1(iωn)Σc(iωn),GHF1(iωn)=(iωn+μ)SF. G^{-1}(i\omega_n) = G_{HF}^{-1}(i\omega_n) - \Sigma^c(i\omega_n), \qquad G_{HF}^{-1}(i\omega_n) = (i\omega_n+\mu)S-F.

This split matters for thermodynamics because the logarithm in the grand potential converges slowly if it is evaluated directly from G1G^{-1}. Using

G1=GHF1(1GHFΣc), G^{-1}=G_{HF}^{-1}\left(1-G_{HF}\Sigma^c\right),

one evaluates the logarithmic contribution as

Trln[G1]=Trln[GHF1]+Trln[1GHFΣc]. \mathrm{Tr}\ln[-G^{-1}] = \mathrm{Tr}\ln[-G_{HF}^{-1}] +\mathrm{Tr}\ln[1-G_{HF}\Sigma^c].

The first term is a finite-temperature one-particle expression, while the second contains the decaying correlation correction. The self-energy in the second logarithm is the dynamic part Σc\Sigma^c, not the full Σ\Sigma.

Luttinger-Ward functional

For a conserving, self-consistent approximation, the grand potential is written in terms of the Luttinger-Ward Φ\Phi functional as234

Ω[G]=1β(Φ[G]Trln[G1]Tr{Σ[G]G}). \Omega[G] = \frac{1}{\beta} \left( \Phi[G] -\mathrm{Tr}\ln[-G^{-1}] -\mathrm{Tr}\{\Sigma[G]G\} \right).

Here Tr\mathrm{Tr} denotes the full Matsubara and one-particle trace in the convention used for Φ\Phi and ΣG\Sigma G. Some papers absorb the factor 1/β1/\beta into the definition of Tr\mathrm{Tr}; the formula above keeps it explicit.

The functional Φ[G]\Phi[G] is the sum of closed, linked skeleton diagrams. Its key property is

βδΦ[G]δG=Σ[G], \beta\frac{\delta \Phi[G]}{\delta G} = \Sigma[G],

up to the same trace convention. As a consequence, Ω[G]\Omega[G] is stationary at a self-consistent solution of the Dyson equation. This stationarity is the reason Φ\Phi-derivable approximations such as self-consistent GF2 and self-consistent GW are conserving and thermodynamically consistent.5

For a two-body interaction, the skeleton expansion may be written as

Φ[G]=m=1Φ(m)[G],Φ(m)[G]=12mTr{Σ(m)[G]G}. \Phi[G] = \sum_{m=1}^{\infty}\Phi^{(m)}[G], \qquad \Phi^{(m)}[G]=\frac{1}{2m}\mathrm{Tr}\{\Sigma^{(m)}[G]G\}.

This identity is especially convenient in perturbative approximations because the same self-energy diagrams used in the Dyson equation determine the thermodynamic functional.

Thermodynamic quantities

Once Ω\Omega is known, the grand partition function is

Ω=1βlnZGC. \Omega=-\frac{1}{\beta}\ln Z_{GC}.

The Helmholtz free energy, internal energy, entropy, and specific heat are related by

A=Ω+μN,Ω=ETSμN, A=\Omega+\mu N, \qquad \Omega=E-TS-\mu N,

so that

S=EΩμNT. S=\frac{E-\Omega-\mu N}{T}.

Equivalently, at fixed external parameters one may use derivative definitions such as

N=(Ωμ)T,S=(ΩT)μ,E=(βΩ)β+μN. N=-\left(\frac{\partial \Omega}{\partial \mu}\right)_T, \qquad S=-\left(\frac{\partial \Omega}{\partial T}\right)_\mu, \qquad E=\frac{\partial(\beta\Omega)}{\partial\beta}+\mu N.

For fixed particle number, the electronic heat capacity is

CV=(ET)V=T(ST)V. C_V=\left(\frac{\partial E}{\partial T}\right)_V =T\left(\frac{\partial S}{\partial T}\right)_V.

The internal energy is commonly evaluated from the finite-temperature Galitskii-Migdal expression. With the static self-energy included in FF and the dynamic part denoted by Σc\Sigma^c, the molecular form used in the GF2 thermodynamics paper is16

E=12Tr1{(h+F)γ}+2βnNωReTr1{G(iωn)Σc(iωn)}. E = \frac{1}{2}\mathrm{Tr}_{1}\{(h+F)\gamma\} +\frac{2}{\beta}\sum_{n}^{N_\omega} \mathrm{Re}\,\mathrm{Tr}_{1}\{G(i\omega_n)\Sigma^c(i\omega_n)\}.

For periodic systems, the one-particle trace is supplemented by the Brillouin-zone average. In a fully self-consistent Φ\Phi-derivable calculation, evaluating EE by this formula, by thermodynamic integration, or by derivatives of Ω\Omega gives the same result within numerical accuracy.4

GF2 grand potential

In self-consistent second-order perturbation theory (GF2), the self-energy is

ΣGF2(iωn)=Σ+Σ(2)(iωn), \Sigma^{GF2}(i\omega_n)=\Sigma^\infty+\Sigma^{(2)}(i\omega_n),

where Σ(2)\Sigma^{(2)} is built from the fully interacting GG. The corresponding truncated Φ\Phi functional is

ΦGF2[G]=12Tr1{Σγ}+14Tr{Σ(2)G}. \Phi^{GF2}[G] =\frac{1}{2}\mathrm{Tr}_{1}\{\Sigma^\infty\gamma\} +\frac{1}{4}\mathrm{Tr}\{\Sigma^{(2)}G\}.

The self-energy trace separates in the same way,

Tr{ΣGF2G}=Tr1{Σγ}+Tr{Σ(2)G}. \mathrm{Tr}\{\Sigma^{GF2}G\} =\mathrm{Tr}_{1}\{\Sigma^\infty\gamma\} +\mathrm{Tr}\{\Sigma^{(2)}G\}.

Combining these identities with the logarithmic split gives

ΩGF2=1β(12Tr1{Σγ}34Tr{Σ(2)G}Trln[GHF1]Trln[1GHFΣ(2)]). \Omega^{GF2} = \frac{1}{\beta} \left( -\frac{1}{2}\mathrm{Tr}_{1}\{\Sigma^\infty\gamma\} -\frac{3}{4}\mathrm{Tr}\{\Sigma^{(2)}G\} -\mathrm{Tr}\ln[-G_{HF}^{-1}] -\mathrm{Tr}\ln[1-G_{HF}\Sigma^{(2)}] \right).

This form is the practical GF2 expression: the static Hartree-Fock contribution, the dynamic second-order contribution, and the two logarithmic terms are evaluated from the converged Green’s function and self-energy.

GW grand potential

Self-consistent GW is also Φ\Phi-derivable. Its self-energy is split as

ΣGW(iωn)=Σ+Σ~GW(iωn), \Sigma^{GW}(i\omega_n)=\Sigma^\infty+\widetilde{\Sigma}^{GW}(i\omega_n),

where Σ~GW\widetilde{\Sigma}^{GW} is generated by the screened interaction WW or, equivalently, by the RPA bubble series. In the Gaussian-density-fitting formulation used in the finite-temperature scGW paper, the dynamic part of the GW Φ\Phi functional can be written in terms of the auxiliary polarization matrix P~0q(iΩn)\widetilde{P}_0^{q}(i\Omega_n) as4

Φ~GW=12Nkq1βntr{ln[IP~0q(iΩn)]+P~0q(iΩn)}. \widetilde{\Phi}_{GW} =\frac{1}{2N_k}\sum_q\frac{1}{\beta}\sum_n \mathrm{tr}\left\{ \ln\left[I-\widetilde{P}_0^q(i\Omega_n)\right] +\widetilde{P}_0^q(i\Omega_n) \right\}.

The logarithm is a matrix logarithm before the auxiliary-space trace is taken. Expanding it gives the bubble series with the first-order term removed:

ln(IX)+X=12X213X3. \ln(I-X)+X =-\frac{1}{2}X^2-\frac{1}{3}X^3-\cdots.

The full GW functional is then

ΦGW[G]=ΦGW+Φ~GW,ΦGW=12Tr1{Σγ}, \Phi_{GW}[G] =\Phi_\infty^{GW}+\widetilde{\Phi}_{GW}, \qquad \Phi_\infty^{GW} =-\frac{1}{2}\mathrm{Tr}_{1}\{\Sigma^\infty\gamma\},

with the sign following the scGW convention used for the periodic implementation. Inserting ΦGW\Phi_{GW} and ΣGW\Sigma^{GW} into the same Luttinger-Ward expression for Ω[G]\Omega[G] defines the GW grand potential. The thermodynamic quantities AA, EE, SS, and CVC_V are then obtained from the identities above.

The practical lesson is the same for GF2 and GW: thermodynamic quantities should be evaluated from the self-consistent Green’s function and the Φ\Phi functional belonging to the same approximation. Mixing a self-energy from one approximation with a thermodynamic functional from another generally destroys the stationarity and consistency that make the calculation useful.