Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

The GW approximation

The GWGW approximation is one of the oldest and most widely used approximations for the self-energy of an interacting many-body system. Its name refers to its defining structure: the self-energy is given by the product of a propagator GG and a screened interaction WW. In the language of the single boson exchange (SBE) decomposition, it arises very naturally as the approximation in which the Hedin vertices are replaced by their lowest-order contribution, γr1r\gamma^r \simeq \mathbf{1}^r and γr1r\overline{\gamma}^r \simeq \mathbf{1}^r.

The purpose of this page is to spell out what this means concretely, in the conventions used throughout this documentation. This is worth doing carefully, because “GWGW” is used for a whole family of related but inequivalent approximations in the literature. Two choices in particular have to be made explicit, and neither of them is visible at second order in the bare interaction:

  1. Which two-particle channel is resummed. The Schwinger-Dyson equation (SDE) can be written in three ways, one per channel, which are equivalent for the exact vertex FF but not for a truncated one. As shown below, the two particle-hole forms turn out to yield the same GWGW self-energy, whereas the particle-particle form yields a genuinely different approximation.

  2. How the spin structure is handled. For SU(2)-symmetric systems, the density and magnetic ladders in the phph channel differ already at third order in F0F_0, and the self-energy picks them up with different weights.

We work in the Matsubara formalism throughout, and we specialize to a system with SU(2) spin symmetry and a local and instantaneous bare interaction, i.e. the Hubbard interaction of the Hubbard model example. This is the case in which the SBE machinery simplifies most drastically, and it is the case relevant for most applications.

Spin structure of the bare interaction

We first record the spin components of the antisymmetrized bare vertex of the Hubbard model, which were derived in the Hubbard model example of the section on the starting point,

F0;σ1σ2σ3σ4=U(δσ1,σ4δσ3,σ2δσ1,σ2δσ3,σ4)δσ2,σ4,\begin{align} F_{0; \sigma_1\sigma_2\sigma_3\sigma_4} = -U \left(\delta_{\sigma_1, \sigma_4} \delta_{\sigma_3, \sigma_2} - \delta_{\sigma_1, \sigma_2}\delta_{\sigma_3, \sigma_4}\right) \delta_{\sigma_2, \overline{\sigma}_4} \, , \end{align}

where we suppressed the (trivial) frequency and momentum dependence. Reading off the three independent spin components defined in the section on spin parametrizations gives

F0,=F0;σσσσ=UF0,=F0;σσσσ=+UF0,=F0;σσσσ=0,\begin{align} F_{0,\uparrow\downarrow} &= F_{0;\sigma\overline{\sigma}\overline{\sigma}\sigma} = -U \\ F_{0,\overline{\uparrow\downarrow}} &= F_{0;\sigma\sigma\overline{\sigma}\overline{\sigma}} = +U \\ F_{0,\uparrow\uparrow} &= F_{0;\sigma\sigma\sigma\sigma} = 0 \, , \end{align}

and hence, in the density/magnetic and singlet/triplet bases,

F0,d=F0,+F0,=UF0,s=2F0,F0,=2UF0,m=F0,F0,=+UF0,t=F0,=0.\begin{align} F_{0,d} &= F_{0,\uparrow\uparrow} + F_{0,\uparrow\downarrow} = -U & F_{0,s} &= 2 F_{0,\uparrow\downarrow} - F_{0,\uparrow\uparrow} = -2U \\ F_{0,m} &= F_{0,\uparrow\uparrow} - F_{0,\uparrow\downarrow} = +U & F_{0,t} &= F_{0,\uparrow\uparrow} = 0 \, . \end{align}
Explicit calculation

For F0,F_{0,\uparrow\downarrow} we set (σ1,σ2,σ3,σ4)=(σ,σ,σ,σ)(\sigma_1,\sigma_2,\sigma_3,\sigma_4) = (\sigma,\overline{\sigma},\overline{\sigma},\sigma). Then δσ1,σ4δσ3,σ2=1\delta_{\sigma_1,\sigma_4} \delta_{\sigma_3,\sigma_2} = 1, while δσ1,σ2δσ3,σ4=0\delta_{\sigma_1,\sigma_2}\delta_{\sigma_3,\sigma_4} = 0, and the overall constraint δσ2,σ4=1\delta_{\sigma_2, \overline{\sigma}_4} = 1 is satisfied. Hence F0,=UF_{0,\uparrow\downarrow} = -U.

For F0,F_{0,\overline{\uparrow\downarrow}} we set (σ1,σ2,σ3,σ4)=(σ,σ,σ,σ)(\sigma_1,\sigma_2,\sigma_3,\sigma_4) = (\sigma,\sigma,\overline{\sigma},\overline{\sigma}). Now δσ1,σ4δσ3,σ2=0\delta_{\sigma_1,\sigma_4} \delta_{\sigma_3,\sigma_2} = 0 while δσ1,σ2δσ3,σ4=1\delta_{\sigma_1,\sigma_2}\delta_{\sigma_3,\sigma_4} = 1, and again δσ2,σ4=1\delta_{\sigma_2, \overline{\sigma}_4} = 1. Hence F0,=U(01)=+UF_{0,\overline{\uparrow\downarrow}} = -U(0-1) = +U.

For F0,F_{0,\uparrow\uparrow} all four spins are equal, so the constraint δσ2,σ4\delta_{\sigma_2, \overline{\sigma}_4} vanishes identically and F0,=0F_{0,\uparrow\uparrow} = 0. This is consistent with the SU(2) identity F=F+FF_{\uparrow\uparrow} = F_{\uparrow\downarrow} + F_{\overline{\uparrow\downarrow}}, since U+U=0-U + U = 0. \checkmark

We will also need the spin components of the phph channel unit. Two related objects appear in what follows: the channel identity operator 11234ph=δ1,2δ3,4\mathbb{1}^{ph}_{1234} = \delta_{1,2}\delta_{3,4}, which is the unit with respect to the full connector , and the unit vertex 1ph\mathbf{1}^{ph}, which is the unit with respect to \bullet, i.e. with respect to all degrees of freedom except frequency and momentum. Both carry the same spin part, δσ1,σ2δσ3,σ4\delta_{\sigma_1, \sigma_2}\delta_{\sigma_3, \sigma_4}, so that

1ph=1,1ph=0,1ph=11dph=1mph=1.\begin{align} \mathbf{1}^{ph}_{\uparrow\uparrow} = 1\, , \qquad \mathbf{1}^{ph}_{\uparrow\downarrow} = 0 \, , \qquad \mathbf{1}^{ph}_{\overline{\uparrow\downarrow}} = 1 \qquad \Longrightarrow \qquad \mathbf{1}^{ph}_{d} = \mathbf{1}^{ph}_{m} = 1 \, . \end{align}

From here on we consistently use 1ph\mathbf{1}^{ph}, since that is the object appearing in the SBE equations.

Spin projection of the loop products

The self-energy is obtained from a four-point object by closing two of its legs with a propagator. As discussed in the section on the Schwinger-Dyson equation, there are two such loop products,

[XG]12=X12~1~2G2~1~,[GX]12=X121~2~G2~1~.\begin{align} [X \cdot G]_{12} = X_{1 \tilde{2} \tilde{1} 2} G_{\tilde{2} \tilde{1}} \, , \qquad\qquad [G \cdot X]_{12} = X_{1 2 \tilde{1} \tilde{2}} G_{\tilde{2} \tilde{1}} \, . \end{align}

Because the propagator is diagonal in spin, G2~1~δσ~2,σ~1G_{\tilde{2}\tilde{1}} \sim \delta_{\tilde{\sigma}_2, \tilde{\sigma}_1}, and because the self-energy is diagonal in spin as well, each loop product projects the four-point object XX onto one specific spin combination. These two combinations are different:

[XG]  X+X=Xd[GX]  X+X=12(Xd+3Xm).\begin{align} [X \cdot G] &\ \longrightarrow \ X_{\uparrow\uparrow} + X_{\uparrow\downarrow} = X_d \\ [G \cdot X] &\ \longrightarrow \ X_{\uparrow\uparrow} + X_{\overline{\uparrow\downarrow}} = \frac{1}{2}\left( X_d + 3 X_m \right) \, . \end{align}
Explicit calculation

Write the external spins as σ1=σ2=σ\sigma_1 = \sigma_2 = \sigma and denote the internal spin by σ~\tilde\sigma. For the first loop product, the relevant spin pattern is Xσσ~σ~σX_{\sigma \tilde\sigma \tilde\sigma \sigma}, so that

σ~Xσσ~σ~σ=Xσσσσ+Xσσσσ=X+X=Xd.\begin{align} \sum_{\tilde\sigma} X_{\sigma \tilde\sigma \tilde\sigma \sigma} = X_{\sigma\sigma\sigma\sigma} + X_{\sigma \overline\sigma \overline\sigma \sigma} = X_{\uparrow\uparrow} + X_{\uparrow\downarrow} = X_d \, . \end{align}

For the second loop product, the pattern is Xσσσ~σ~X_{\sigma \sigma \tilde\sigma \tilde\sigma}, so that

σ~Xσσσ~σ~=Xσσσσ+Xσσσσ=X+X.\begin{align} \sum_{\tilde\sigma} X_{\sigma \sigma \tilde\sigma \tilde\sigma} = X_{\sigma\sigma\sigma\sigma} + X_{\sigma \sigma \overline\sigma \overline\sigma} = X_{\uparrow\uparrow} + X_{\overline{\uparrow\downarrow}} \, . \end{align}

The SU(2) identity X=X+XX_{\uparrow\uparrow} = X_{\uparrow\downarrow} + X_{\overline{\uparrow\downarrow}} implies X=XX=XmX_{\overline{\uparrow\downarrow}} = X_{\uparrow\uparrow} - X_{\uparrow\downarrow} = X_m, and with X=12(Xd+Xm)X_{\uparrow\uparrow} = \tfrac{1}{2}(X_d + X_m) we obtain

X+X=12(Xd+Xm)+Xm=12(Xd+3Xm). \begin{align} X_{\uparrow\uparrow} + X_{\overline{\uparrow\downarrow}} = \tfrac{1}{2}(X_d + X_m) + X_m = \tfrac{1}{2}\left(X_d + 3 X_m\right) \, . \ \checkmark \end{align}

The two projections look inequivalent, but for a crossing-symmetric XX they are not: the identity [XG]=ζ[GX][X\cdot G] = \zeta [G \cdot X] quoted in the section on the Schwinger-Dyson equation follows from X12~1~2=ζX121~2~X_{1 \tilde{2} \tilde{1} 2} = \zeta X_{1 2 \tilde{1} \tilde{2}}. For the bare vertex, which is crossing symmetric and frequency independent, we can check this on the spin components directly:

ζF0,d=(U)=U=12(F0,d+3F0,m)=12(U+3U). \begin{align} \zeta F_{0,d} = -(-U) = U = \tfrac{1}{2}\left(F_{0,d} + 3 F_{0,m}\right) = \tfrac{1}{2}\left(-U + 3U\right) \, . \ \checkmark \end{align}

Polarization and screened interaction in the phph channel

We now specialize to the phph channel, which is the channel in which the density and magnetic fluctuations live, as is evident from its interpretation in terms of the density-density correlator discussed in the section on two-particle channels.

The GWGW approximation consists of replacing the Hedin vertices in the SBE equations by the unit vertex,

 γph1ph,γph1ph .\begin{align} \boxed{\ \gamma^{ph} \simeq \mathbf{1}^{ph} \, , \qquad \overline{\gamma}^{ph} \simeq \mathbf{1}^{ph} \ } \, . \end{align}

Everything else follows. The polarization then reduces to the bare bubble,

Pph=γphχ0ph1ph  1phχ0ph1ph.\begin{align} P^{ph} = \gamma^{ph} \circ \chi_0^{ph} \circ \mathbf{1}^{ph} \ \simeq \ \mathbf{1}^{ph} \circ \chi_0^{ph} \circ \mathbf{1}^{ph} \, . \end{align}

Its spin structure is particularly simple: inserting the unit vertices into the phph contraction gives P1234ph=δσ1,σ2δσ3,σ4PphP^{ph}_{1234} = \delta_{\sigma_1, \sigma_2}\delta_{\sigma_3, \sigma_4} P^{ph}, i.e. the polarization is proportional to the phph unit vertex in spin space, with the spin-independent scalar

Pph(ω)=ζνG(ν)G(ν+ω),Pdph=Pmph=Pph.\begin{align} P^{ph}(\omega) = \zeta \int_\nu G(\nu) G(\nu + \omega) \, , \qquad\qquad P^{ph}_d = P^{ph}_m = P^{ph} \, . \end{align}
Explicit calculation

Using the spin structure of the phph contraction derived in the section on spin parametrizations, [Aχ0phB]σ1σ2σ3σ4=σ5,σ6Aσ5σ2σ3σ6χ0phBσ1σ5σ6σ4[A \circ \chi_0^{ph} \circ B]_{\sigma_1 \sigma_2 \sigma_3 \sigma_4} = \sum_{\sigma_5, \sigma_6} A_{\sigma_5 \sigma_2 \sigma_3 \sigma_6} \bullet \chi_0^{ph} \bullet B_{\sigma_1 \sigma_5 \sigma_6 \sigma_4}, and inserting A=B=1phA = B = \mathbf{1}^{ph} with spin part δσ1,σ2δσ3,σ4\delta_{\sigma_1, \sigma_2}\delta_{\sigma_3, \sigma_4},

Pσ1σ2σ3σ4ph=σ5,σ6δσ5,σ2δσ3,σ6 χ0ph δσ1,σ5δσ6,σ4=δσ1,σ2δσ3,σ4 χ0ph,\begin{align} P^{ph}_{\sigma_1\sigma_2\sigma_3\sigma_4} &= \sum_{\sigma_5, \sigma_6} \delta_{\sigma_5, \sigma_2} \delta_{\sigma_3, \sigma_6} \ \chi_0^{ph} \ \delta_{\sigma_1, \sigma_5} \delta_{\sigma_6, \sigma_4} = \delta_{\sigma_1, \sigma_2}\delta_{\sigma_3, \sigma_4} \ \chi_0^{ph} \, , \end{align}

which has P=PphP_{\uparrow\uparrow} = P^{ph}, P=0P_{\uparrow\downarrow} = 0, and therefore Pd=Pm=PphP_d = P_m = P^{ph}.

For the frequency dependence, we use the phph bubble contraction from the section on frequency parametrizations,

[Aχ0phB](ν,ν,ω)=ζνA(ν,ν,ω)G(ν)G(ν+ω)B(ν,ν,ω),\begin{align} [A \circ \chi_0^{ph} \circ B](\nu, \nu', \omega) &= \zeta \int_{\nu''} A(\nu, \nu'', \omega) G(\nu'') G(\nu'' + \omega) B(\nu'', \nu', \omega)\, , \end{align}

with the frequency-independent A=B=1phA = B = \mathbf{1}^{ph}, which leaves Pph(ω)=ζνG(ν)G(ν+ω)P^{ph}(\omega) = \zeta \int_{\nu} G(\nu) G(\nu + \omega). It depends on the bosonic transfer frequency only. \checkmark

With the polarization at hand, the screened interaction follows from the bosonic Dyson equation,

Wph=F0+F0PphWph.\begin{align} W^{ph} = F_0 + F_0 \bullet P^{ph} \bullet W^{ph} \, . \end{align}

Since PphP^{ph} is proportional to the phph unit vertex in spin space, the \bullet contraction carries the same spin algebra as the contraction. That algebra is worked out explicitly in the section on spin parametrizations — the spin sums there never touch the frequency arguments, which is precisely why the result is already stated with \bullet between the two factors — and it decouples in the density/magnetic basis. The corresponding spin table for all three channels is collected in the section on second-order perturbation theory. The bosonic Dyson equation therefore reduces to two independent scalar equations,

Wd/mph(ω)=F0,d/m+F0,d/mPph(ω)Wd/mph(ω),\begin{align} W^{ph}_{d/m}(\omega) = F_{0,d/m} + F_{0,d/m} \, P^{ph}(\omega) \, W^{ph}_{d/m}(\omega) \, , \end{align}

with the closed-form solutions

 Wdph(ω)=F0,d1F0,dPph(ω)=U1+UPph(ω),Wmph(ω)=F0,m1F0,mPph(ω)=+U1UPph(ω) .\begin{align} \boxed{\ W^{ph}_{d}(\omega) = \frac{F_{0,d}}{1 - F_{0,d} P^{ph}(\omega)} = \frac{-U}{1 + U P^{ph}(\omega)} \, , \qquad W^{ph}_{m}(\omega) = \frac{F_{0,m}}{1 - F_{0,m} P^{ph}(\omega)} = \frac{+U}{1 - U P^{ph}(\omega)} \ } \, . \end{align}

It is often convenient to split off the bare interaction and work with the decaying part of the screened interaction, which we denote by a tilde,

W~d/mphWd/mphF0,d/m=F0,d/m2Pph1F0,d/mPph=U2χd/m,\begin{align} \widetilde{W}^{ph}_{d/m} \equiv W^{ph}_{d/m} - F_{0,d/m} = \frac{F_{0,d/m}^2 \, P^{ph}}{1 - F_{0,d/m} P^{ph}} = U^2 \chi_{d/m} \, , \end{align}

where we identified the susceptibilities in the two channels,

χd(ω)=Pph(ω)1+UPph(ω),χm(ω)=Pph(ω)1UPph(ω).\begin{align} \chi_{d}(\omega) = \frac{P^{ph}(\omega)}{1 + U P^{ph}(\omega)} \, , \qquad\qquad \chi_{m}(\omega) = \frac{P^{ph}(\omega)}{1 - U P^{ph}(\omega)} \, . \end{align}

The GWGW self-energy

We start from the phph form of the Schwinger-Dyson equation,

Σ=GF0+12G(Fχ0phF0),\begin{align} \Sigma = G \cdot F_0 + \frac{1}{2} G \cdot \left( F \circ \chi^{ph}_0 \circ F_0 \right) \, , \end{align}

and use the exact SBE identity Fχ0rF0=γrWrF0F \circ \chi_0^{r} \circ F_0 = \overline{\gamma}^{r} \bullet W^{r} - F_0 derived in the section on the SDE in SBE form. Setting γph1ph\overline{\gamma}^{ph} \simeq \mathbf{1}^{ph} gives Fχ0phF0WphF0F \circ \chi_0^{ph} \circ F_0 \simeq W^{ph} - F_0, and therefore

Σ12G(F0+Wph),\begin{align} \Sigma \simeq \frac{1}{2} G \cdot \left( F_0 + W^{ph} \right) \, , \end{align}

which is precisely the third line of the SBE form of the SDE with the Hedin vertex set to unity. Projecting onto spin components with [GX]12(Xd+3Xm)[G \cdot X] \rightarrow \tfrac{1}{2}(X_d + 3X_m), the factor 12\tfrac{1}{2} combines with the 12\tfrac{1}{2} of the SDE into the weights 14\tfrac{1}{4} and 34\tfrac{3}{4}:

 Σ=14G(F0,d+Wdph) + 34G(F0,m+Wmph) ,\begin{align} \boxed{\ \Sigma = \frac{1}{4}\, G \cdot \left( F_{0,d} + W^{ph}_{d}\right) \ + \ \frac{3}{4}\, G \cdot \left( F_{0,m} + W^{ph}_{m}\right) \ } \, , \end{align}

where the spin sum has been carried out, so that the remaining \cdot denotes only the frequency and momentum contraction of the loop.

Frequency parametrization

The loop closes the two legs of the screened interaction that carry the bosonic transfer frequency of the phph channel. Writing out the frequency structure gives

Σ(ν)=νG(ν)[14(F0,d+Wdph(νν))+34(F0,m+Wmph(νν))].\begin{align} \Sigma(\nu) = \int_{\nu'} G(\nu') \left[ \frac{1}{4}\left( F_{0,d} + W^{ph}_{d}(\nu - \nu')\right) + \frac{3}{4}\left( F_{0,m} + W^{ph}_{m}(\nu - \nu')\right) \right] \, . \end{align}
Explicit calculation

Write the loop product with explicit frequency arguments. Using G2~1~(ν2~,ν1~)=G(ν2~)δ(ν2~+ν1~)G_{\tilde 2 \tilde 1}(\nu_{\tilde 2}, \nu_{\tilde 1}) = G(\nu_{\tilde 2})\delta(\nu_{\tilde 2} + \nu_{\tilde 1}) and Σ12(ν1,ν2)=Σ(ν2)δ(ν1+ν2)\Sigma_{12}(\nu_1, \nu_2) = \Sigma(\nu_2) \delta(\nu_1 + \nu_2), we have for a general four-point object XX

[GX](ν1,ν2)=ν3,ν4X(ν1,ν2,ν3,ν4)G(ν4)δ(ν3+ν4)=νX(ν1,ν2,ν,ν)G(ν),\begin{align} [G \cdot X](\nu_1, \nu_2) = \int_{\nu_3, \nu_4} X(\nu_1, \nu_2, \nu_3, \nu_4) \, G(\nu_4) \, \delta(\nu_3 + \nu_4) = \int_{\nu'} X(\nu_1, \nu_2, -\nu', \nu') \, G(\nu') \, , \end{align}

where we set ν4=ν\nu_4 = \nu' and ν3=ν\nu_3 = -\nu'. Setting ν1=ν\nu_1 = -\nu and ν2=ν\nu_2 = \nu so that the external frequency of the self-energy is ν\nu, we translate to the phph-native parametrization of the section on frequency parametrizations, νph=ν3\nu_{ph} = -\nu_3, νph=ν4\nu'_{ph} = \nu_4 and

ωph=ν2+ν3=ν1ν4,\begin{align} \omega_{ph} = \nu_2 + \nu_3 = -\nu_1 - \nu_4 \, , \end{align}

where the second form follows from energy conservation ν1+ν2+ν3+ν4=0\nu_1 + \nu_2 + \nu_3 + \nu_4 = 0 and involves only the two arguments that are not integrated over. With ν1=ν\nu_1 = -\nu and ν4=ν\nu_4 = \nu' this gives immediately

νph=ν,νph=ν,ωph=νν,\begin{align} \nu_{ph} = \nu' \, , \qquad \nu'_{ph} = \nu' \, , \qquad \omega_{ph} = \nu - \nu' \, , \end{align}

and therefore

Σ(ν)=νXph(ν,ν,νν)G(ν).\begin{align} \Sigma(\nu) = \int_{\nu'} X^{ph}(\nu', \nu', \nu - \nu') \, G(\nu') \, . \end{align}

Since the screened interaction depends on the bosonic frequency only, Xph(ν,ν,ω)=Wph(ω)X^{ph}(\nu',\nu',\omega) = W^{ph}(\omega) with ω=νν\omega = \nu - \nu'. \checkmark

Finally, splitting off the static contribution and using W~d/m=U2χd/m\widetilde{W}_{d/m} = U^2 \chi_{d/m} yields the form in which the GWGW self-energy is most easily recognized,

Σ(ν)=Un+U2νG(ν)[14χd(νν)+34χm(νν)],\begin{align} \Sigma(\nu) = U n + U^2 \int_{\nu'} G(\nu') \left[ \frac{1}{4} \chi_{d}(\nu - \nu') + \frac{3}{4} \chi_{m}(\nu - \nu') \right] \, , \end{align}

with the density per spin n=νG(ν)eiν0+n = \int_\nu G(\nu) e^{i\nu 0^+}.

The static contribution

Each spin channel contributes its bare interaction twice: once from the explicit F0F_0 in Σ12G(F0+Wph)\Sigma \simeq \tfrac{1}{2} G \cdot (F_0 + W^{ph}), and once from the bare part of the screened interaction itself, since Wd/mph=F0,d/m+W~d/mphW^{ph}_{d/m} = F_{0,d/m} + \widetilde{W}^{ph}_{d/m}. This is the origin of the factors of two in

14(2F0,d)+34(2F0,m)=12(F0,d+3F0,m)=12(U+3U)=U,\begin{align} \frac{1}{4}\left(2 F_{0,d}\right) + \frac{3}{4}\left(2 F_{0,m}\right) = \frac{1}{2}\left( F_{0,d} + 3 F_{0,m}\right) = \frac{1}{2}\left(-U + 3U\right) = U \, , \end{align}

which, contracted with the loop νG(ν)eiν0+=n\int_{\nu'} G(\nu') e^{i\nu' 0^+} = n, gives ΣH=Un\Sigma_\mathrm{H} = U n. This is the correct Hartree term: it agrees with the direct evaluation of the first term of the SDE,

ΣH=ζF0G  ζF0,dn=(1)(U)n=Un,\begin{align} \Sigma_\mathrm{H} = \zeta F_0 \cdot G \ \rightarrow \ \zeta F_{0,d} \, n = (-1)(-U) n = U n \, , \end{align}

which is a nontrivial consistency check on the two spin projections. For the particle-hole symmetric case n=1/2n = 1/2 and ΣH=U/2\Sigma_\mathrm{H} = U/2, as expected. \checkmark

Limits and checks

Reduction to second-order perturbation theory

Expanding the screened interactions to leading order, W~d/m=U2Pph+O(U3)\widetilde{W}_{d/m} = U^2 P^{ph} + \mathcal{O}(U^3), both spin channels contribute identically, and the weights add up to one. For the dynamic part of the self-energy we thus obtain

Σ(2)(ν)=(14+34)U2νG(ν)Pph(νν)=U2νG(ν)Pph(νν).\begin{align} \Sigma^{(2)}(\nu) = \left(\frac{1}{4} + \frac{3}{4}\right) U^2 \int_{\nu'} G(\nu') P^{ph}(\nu-\nu') = U^2 \int_{\nu'} G(\nu') P^{ph}(\nu - \nu') \, . \end{align}

Written out, and using ζ=1\zeta = -1,

Σ(2)(ν)=U2ννG(ν)G(ν)G(ν+νν),\begin{align} \Sigma^{(2)}(\nu) = - U^2 \int_{\nu'} \int_{\nu''} G(\nu') G(\nu'') G(\nu'' + \nu - \nu') \, , \end{align}

which is the familiar second-order (dynamic) self-energy of the Hubbard model, with the static Hartree term UnUn accounted for separately.

Direct check from the Schwinger-Dyson equation

At second order, FF0F \rightarrow F_0, so that X=F0χ0phF0X = F_0 \circ \chi_0^{ph} \circ F_0. Using the phph-channel decoupling [Aχ0phB]d/m=Ad/mχ0phBd/m[A \circ \chi_0^{ph} \circ B]_{d/m} = A_{d/m} \bullet \chi_0^{ph} \bullet B_{d/m} from the section on spin parametrizations,

Xd=F0,d2Pph=U2Pph,Xm=F0,m2Pph=U2Pph,\begin{align} X_d = F_{0,d}^2 P^{ph} = U^2 P^{ph} \, , \qquad\qquad X_m = F_{0,m}^2 P^{ph} = U^2 P^{ph} \, , \end{align}

which are indeed equal, since only the square of the bare vertex enters. The spin projection of the loop product then gives 12(Xd+3Xm)=2U2Pph\tfrac{1}{2}(X_d + 3X_m) = 2 U^2 P^{ph}, and the prefactor 12\tfrac{1}{2} of the SDE leaves Σ(2)=G(U2Pph)\Sigma^{(2)} = G \cdot \left( U^2 P^{ph} \right). \checkmark

Stoner criterion

The magnetic screened interaction Wm=U/(1UPph)W_m = U / (1 - U P^{ph}) diverges when UPph(ω)=1U P^{ph}(\omega) = 1, while the density one, Wd=U/(1+UPph)W_d = -U/(1 + U P^{ph}), stays finite for Pph>0P^{ph} > 0. At ω=0\omega = 0 and for fermions,

Pph(0)=νG(ν)2,\begin{align} P^{ph}(0) = - \int_\nu G(\nu)^2 \, , \end{align}

which, if evaluated with the bare propagator, equals n/μ\partial n / \partial \mu and is positive. The divergence condition then becomes Un/μ=1U \, \partial n / \partial\mu = 1, which is the Stoner criterion for a magnetic instability. That the instability appears in the magnetic and not in the density channel is a direct consequence of the relative sign F0,m=F0,dF_{0,m} = -F_{0,d}, and is a useful sanity check on the signs above.

Comparison with the literature

The result agrees with the GWGW equations for the Hubbard atom given in Sec. 4.2 of Kiese et al., SciPost Phys. Codebases 24 (2024), who write

Σ(ν)Un21βνG(ν)[14ηD(νν)+34ηM(νν)],ηD/M(ω)=±U1UP(ω),P(ω)=1βνG(ω+ν)G(ν).\begin{align} \Sigma(\nu) &\approx \frac{U n}{2} - \frac{1}{\beta} \sum_{\nu'} G(\nu') \left[ \frac{1}{4}\eta^{D}(\nu - \nu') + \frac{3}{4}\eta^{M}(\nu-\nu')\right] \, , \\ \eta^{D/M}(\omega) &= \frac{\pm U}{1 \mp U P(\omega)} \, , \qquad P(\omega) = \frac{1}{\beta}\sum_\nu G(\omega + \nu) G(\nu) \, . \end{align}

Their polarization does not carry the closed-loop sign, so P=PphP = -P^{ph}, and consequently their screened interactions are related to ours by an overall sign,

Wdph=ηD,Wmph=ηM.\begin{align} W^{ph}_{d} = - \eta^{D} \, , \qquad\qquad W^{ph}_{m} = - \eta^{M} \, . \end{align}

With 14F0,d+34F0,m=U/2\tfrac{1}{4}F_{0,d} + \tfrac{3}{4}F_{0,m} = U/2 accounting for their explicit Un/2Un/2, the two expressions are identical term by term.

Which form of the Schwinger-Dyson equation?

The SDE can be written in three equivalent ways, and the SBE identities turn each of them into a GWGW-like expression once the Hedin vertices are set to unity,

Σ12ζ(F0+Wph)GΣζWppGΣ12G(F0+Wph).\begin{align} \Sigma &\simeq \frac{1}{2}\zeta \left(F_0 + W^{\overline{ph}}\right) \cdot G \\ \Sigma &\simeq \zeta \, W^{pp} \cdot G \\ \Sigma &\simeq \frac{1}{2} G \cdot \left(F_0 + W^{ph}\right) \, . \end{align}

For the exact vertex the three forms of the SDE are identical. The three expressions above, however, are not related by an exact identity: each of them involves the replacement γr1r\gamma^r \simeq \mathbf{1}^r made in a specific channel, and discarding Trχ0r1rT^r \circ \chi_0^r \circ \mathbf{1}^r is a different approximation for different rr. So the question of which form to start from is a real one.

It has a partly reassuring answer:

Explicit calculation: the ph\overline{ph} form gives the same self-energy

The spin structure of the ph\overline{ph} contraction is [Aχ0phB]σ1σ2σ3σ4=σ5,σ6Aσ1σ2σ5σ6χ0phBσ6σ5σ3σ4[A \circ \chi_0^{\overline{ph}} \circ B]_{\sigma_1\sigma_2\sigma_3\sigma_4} = \sum_{\sigma_5,\sigma_6} A_{\sigma_1 \sigma_2 \sigma_5 \sigma_6} \bullet \chi_0^{\overline{ph}} \bullet B_{\sigma_6 \sigma_5 \sigma_3 \sigma_4}, and spin conservation forces σ5=σ6\sigma_5 = \sigma_6. The resulting spin table is the ph\overline{ph} row of the table in the section on second-order perturbation theory; it shows that the combinations X±=X±XX_\pm = X_{\uparrow\uparrow} \pm X_{\overline{\uparrow\downarrow}} decouple, in complete analogy with the density/magnetic basis of the phph channel. Using X=XmX_{\overline{\uparrow\downarrow}} = X_m and X=12(Xd+Xm)X_{\uparrow\uparrow} = \tfrac{1}{2}(X_d + X_m),

X+=12(Xd+3Xm),X=X=12(XdXm),\begin{align} X_+ = \tfrac{1}{2}\left(X_d + 3X_m\right) \, , \qquad\qquad X_- = X_{\uparrow\downarrow} = \tfrac{1}{2}\left(X_d - X_m\right) \, , \end{align}

and for the bare vertex F0,+=0+U=UF_{0,+} = 0 + U = U, F0,=0U=UF_{0,-} = 0 - U = -U.

The ph\overline{ph} bubble carries no closed-loop sign, [Aχ0phB](ν,ν,ω)=νAG(ν)G(ν+ω)B[A \circ \chi_0^{\overline{ph}} \circ B](\nu,\nu',\omega) = \int_{\nu''} A\, G(\nu'')G(\nu''+\omega)\, B, so its polarization is

Pph(ω)=νG(ν)G(ν+ω)=Pph(ω).\begin{align} P^{\overline{ph}}(\omega) = \int_\nu G(\nu) G(\nu+\omega) = - P^{ph}(\omega) \, . \end{align}

The two screened interactions of the ph\overline{ph} channel therefore are

W±ph=F0,±1F0,±Pph=±U1±UPphW+ph=Wdph,Wph=Wmph.\begin{align} W^{\overline{ph}}_{\pm} = \frac{F_{0,\pm}}{1 - F_{0,\pm} P^{\overline{ph}}} = \frac{\pm U}{1 \pm U P^{ph}} \qquad \Longrightarrow \qquad W^{\overline{ph}}_{+} = - W^{ph}_{d} \, , \qquad W^{\overline{ph}}_{-} = - W^{ph}_{m} \, . \end{align}

The ph\overline{ph} form of the SDE uses the other loop product, which projects onto the density component, [XG]Xd[X \cdot G] \rightarrow X_d. Expressing XdX_d through the ph\overline{ph} eigen-combinations, Xd=12(X++3X)X_d = \tfrac{1}{2}(X_+ + 3X_-), gives

Wdph=12(W+ph+3Wph)=12(Wdph+3Wmph),\begin{align} W^{\overline{ph}}_{d} = \tfrac{1}{2}\left(W^{\overline{ph}}_{+} + 3 W^{\overline{ph}}_{-}\right) = -\tfrac{1}{2}\left(W^{ph}_{d} + 3 W^{ph}_{m}\right) \, , \end{align}

and therefore, with ζ=1\zeta = -1 and F0,d=UF_{0,d} = -U,

Σ12ζ(F0,d+Wdph)=12F0,d+14Wdph+34Wmph=U2+14Wdph+34Wmph.\begin{align} \Sigma \simeq \frac{1}{2}\zeta \left(F_{0,d} + W^{\overline{ph}}_{d}\right) = -\frac{1}{2} F_{0,d} + \frac{1}{4} W^{ph}_{d} + \frac{3}{4} W^{ph}_{m} = \frac{U}{2} + \frac{1}{4} W^{ph}_{d} + \frac{3}{4} W^{ph}_{m} \, . \end{align}

The phph form gives 14(F0,d+Wdph)+34(F0,m+Wmph)\tfrac{1}{4}(F_{0,d} + W^{ph}_d) + \tfrac{3}{4}(F_{0,m} + W^{ph}_m), whose static part is 14(U)+34(+U)=U/2\tfrac{1}{4}(-U) + \tfrac{3}{4}(+U) = U/2. The two agree. \checkmark

Finally, the bosonic argument matches as well: the ph\overline{ph} loop yields ωph=νν\omega_{\overline{ph}} = \nu' - \nu rather than νν\nu - \nu', but the bubble is even in the transfer frequency, P(ω)=P(ω)P(-\omega) = P(\omega), as follows from shifting the integration variable.

Variants: G0W0G_0 W_0 and self-consistent GWGW

The equations above do not yet specify which propagator enters the bubble χ0ph\chi_0^{ph} and the self-energy loop. Two common choices are:

Intermediate variants (self-consistency in the self-energy loop but not in the polarization, or vice versa) exist as well and are sometimes labelled GW0GW_0 or G0WG_0W.

References
  1. Kiese, D., Ge, A., Ritz, N., von Delft, J., & Wentzell, N. (2024). MatsubaraFunctions.jl: An equilibrium Green’s function library in the Julia programming language. SciPost Physics Codebases. 10.21468/scipostphyscodeb.24