The GW 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 G and a screened interactionW. 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, γr≃1r and γr≃1r.
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 “GW” 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:
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 F but not for a truncated one. As shown below, the two particle-hole forms turn out to yield the sameGW self-energy, whereas the particle-particle form yields a genuinely different approximation.
How the spin structure is handled. For SU(2)-symmetric systems, the density and magnetic ladders in the ph channel differ already at third order in F0, 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.
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,
where we suppressed the (trivial) frequency and momentum dependence. Reading off the three independent spin components defined in the section on spin parametrizations gives
For F0,↑↓ we set (σ1,σ2,σ3,σ4)=(σ,σ,σ,σ). Then δσ1,σ4δσ3,σ2=1, while δσ1,σ2δσ3,σ4=0, and the overall constraint δσ2,σ4=1 is satisfied. Hence F0,↑↓=−U.
For F0,↑↓ we set (σ1,σ2,σ3,σ4)=(σ,σ,σ,σ). Now δσ1,σ4δσ3,σ2=0 while δσ1,σ2δσ3,σ4=1, and again δσ2,σ4=1. Hence F0,↑↓=−U(0−1)=+U.
For F0,↑↑ all four spins are equal, so the constraint δσ2,σ4 vanishes identically and F0,↑↑=0. This is consistent with the SU(2) identity F↑↑=F↑↓+F↑↓, since −U+U=0. ✓
We will also need the spin components of the ph channel unit. Two related objects appear in what follows: the channel identity operator11234ph=δ1,2δ3,4, which is the unit with respect to the full connector ∘, and the unit vertex1ph, which is the unit with respect to ∙, i.e. with respect to all degrees of freedom except frequency and momentum. Both carry the same spin part, δσ1,σ2δσ3,σ4, so that
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,
Because the propagator is diagonal in spin, G2~1~∼δσ~2,σ~1, and because the self-energy is diagonal in spin as well, each loop product projects the four-point object X onto one specific spin combination. These two combinations are different:
The two projections look inequivalent, but for a crossing-symmetricX they are not: the identity [X⋅G]=ζ[G⋅X] quoted in the section on the Schwinger-Dyson equation follows from X12~1~2=ζX121~2~. For the bare vertex, which is crossing symmetric and frequency independent, we can check this on the spin components directly:
Polarization and screened interaction in the ph channel¶
We now specialize to the ph 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 GW approximation consists of replacing the Hedin vertices in the SBE equations by the unit vertex,
Its spin structure is particularly simple: inserting the unit vertices into the ph contraction gives P1234ph=δσ1,σ2δσ3,σ4Pph, i.e. the polarization is proportional to the ph unit vertex in spin space, with the spin-independent scalar
Using the spin structure of the ph contraction derived in the section on spin parametrizations, [A∘χ0ph∘B]σ1σ2σ3σ4=∑σ5,σ6Aσ5σ2σ3σ6∙χ0ph∙Bσ1σ5σ6σ4, and inserting A=B=1ph with spin part δσ1,σ2δσ3,σ4,
Since Pph is proportional to the ph unit vertex in spin space, the ∙ 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 ∙ 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,
and use the exact SBE identity F∘χ0r∘F0=γr∙Wr−F0 derived in the section on the SDE in SBE form. Setting γph≃1ph gives F∘χ0ph∘F0≃Wph−F0, and therefore
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 [G⋅X]→21(Xd+3Xm), the factor 21 combines with the 21 of the SDE into the weights 41 and 43:
The loop closes the two legs of the screened interaction that carry the bosonic transfer frequency of the ph channel. Writing out the frequency structure gives
Write the loop product with explicit frequency arguments. Using G2~1~(ν2~,ν1~)=G(ν2~)δ(ν2~+ν1~) and Σ12(ν1,ν2)=Σ(ν2)δ(ν1+ν2), we have for a general four-point object X
where we set ν4=ν′ and ν3=−ν′. Setting ν1=−ν and ν2=ν so that the external frequency of the self-energy is ν, we translate to the ph-native parametrization of the section on frequency parametrizations, νph=−ν3, νph′=ν4 and
where the second form follows from energy conservation ν1+ν2+ν3+ν4=0 and involves only the two arguments that are not integrated over. With ν1=−ν and ν4=ν′ this gives immediately
Each spin channel contributes its bare interaction twice: once from the explicit F0 in Σ≃21G⋅(F0+Wph), and once from the bare part of the screened interaction itself, since Wd/mph=F0,d/m+Wd/mph. This is the origin of the factors of two in
which, contracted with the loop ∫ν′G(ν′)eiν′0+=n, gives ΣH=Un. This is the correct Hartree term: it agrees with the direct evaluation of the first term of the SDE,
Expanding the screened interactions to leading order, Wd/m=U2Pph+O(U3), both spin channels contribute identically, and the weights add up to one. For the dynamic part of the self-energy we thus obtain
which is the familiar second-order (dynamic) self-energy of the Hubbard model, with the static Hartree term Un accounted for separately.
Direct check from the Schwinger-Dyson equation
At second order, F→F0, so that X=F0∘χ0ph∘F0. Using the ph-channel decoupling [A∘χ0ph∘B]d/m=Ad/m∙χ0ph∙Bd/m from the section on spin parametrizations,
which are indeed equal, since only the square of the bare vertex enters. The spin projection of the loop product then gives 21(Xd+3Xm)=2U2Pph, and the prefactor 21 of the SDE leaves Σ(2)=G⋅(U2Pph). ✓
The magnetic screened interaction Wm=U/(1−UPph) diverges when UPph(ω)=1, while the density one, Wd=−U/(1+UPph), stays finite for Pph>0. At ω=0 and for fermions,
which, if evaluated with the bare propagator, equals ∂n/∂μ and is positive. The divergence condition then becomes U∂n/∂μ=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,d, and is a useful sanity check on the signs above.
Their polarization does not carry the closed-loop sign, so P=−Pph, and consequently their screened interactions are related to ours by an overall sign,
The SDE can be written in three equivalent ways, and the SBE identities turn each of them into a GW-like expression once the Hedin vertices are set to unity,
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 γr≃1r made in a specific channel, and discarding Tr∘χ0r∘1r is a different approximation for different r. So the question of which form to start from is a real one.
It has a partly reassuring answer:
the ph form resums density and magnetic fluctuations, and is the one derived above;
the ph form resums the crossed particle-hole ladder. It decouples not in the density/magnetic basis but in the combinations X±=X↑↑±X↑↓, for which the bare interaction takes the values F0,+=+U and F0,−=−U. Nevertheless it gives exactly the same self-energy as the ph form, to all orders;
the pp form resums the particle-particle ladder, i.e. it is a T-matrix approximation. In the singlet/triplet basis the bare interaction is F0,s=−2U and F0,t=0, so only the singlet channel is screened. It agrees with the other two at O(U2), as it must, but differs from O(U3) onwards.
Explicit calculation: the ph form gives the same self-energy
The spin structure of the ph contraction is
[A∘χ0ph∘B]σ1σ2σ3σ4=∑σ5,σ6Aσ1σ2σ5σ6∙χ0ph∙Bσ6σ5σ3σ4, and spin conservation forces σ5=σ6. The resulting spin table is the ph row of the table in the section on second-order perturbation theory; it shows that the combinations X±=X↑↑±X↑↓ decouple, in complete analogy with the density/magnetic basis of the ph channel. Using X↑↓=Xm and X↑↑=21(Xd+Xm),
The ph form of the SDE uses the other loop product, which projects onto the density component, [X⋅G]→Xd. Expressing Xd through the ph eigen-combinations, Xd=21(X++3X−), gives
The ph form gives 41(F0,d+Wdph)+43(F0,m+Wmph), whose static part is 41(−U)+43(+U)=U/2. The two agree. ✓
Finally, the bosonic argument matches as well: the ph loop yields ωph=ν′−ν rather than ν−ν′, but the bubble is even in the transfer frequency, P(−ω)=P(ω), as follows from shifting the integration variable.
The equations above do not yet specify which propagator enters the bubble χ0ph and the self-energy loop. Two common choices are:
G0W0 (one-shot): the bare propagator G0 is used everywhere, so χ0ph is built from [χ00]ph and the self-energy is evaluated once. The result is not a conserving approximation, but it is cheap and avoids the self-consistency loop.
self-consistent GW: the full propagator G, obtained from the Dyson equation with the current self-energy, is used in both the bubble and the loop, and the equations are iterated to convergence. This is a Φ-derivable, conserving approximation in the sense of Baym and Kadanoff.
Intermediate variants (self-consistency in the self-energy loop but not in the polarization, or vice versa) exist as well and are sometimes labelled GW0 or G0W.
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