A framework for studying a quantum critical metal in the limit N f → 0

We study a model in 1+2 dimensions composed of a spherical Fermi surface of N f flavors of fermions coupled to a massless scalar. We present a framework to non-perturbatively calculate general fermion n-point functions of this theory in the limit N f → 0 followed by kF →∞where kF sets both the size and curvature of the Fermi surface. Using this framework we calculate the zero-temperature fermion density-density correlation function in real space and find an exponential decay of Friedel oscillations. Copyright P. Säterskog. This work is licensed under the Creative Commons Attribution 4.0 International License. Published by the SciPost Foundation. Received 21-11-2017 Accepted 07-03-2018 Published 27-03-2018 Check for updates doi:10.21468/SciPostPhys.4.3.015


Introduction
Quantum critical metals are systems of electrons at finite density near a zero-temperature phase transition. The low-energy degrees of freedom of such systems contain-in addition to the electronic quasiparticles-fluctuations of the critical order parameter.
One example of such a quantum critical point (QCP) is the Ising-nematic transition. This transition has been seen in the vicinity of the, yet to be understood, strange metallic and high-T c superconducting phases of cuprates and iron-pnictides [1][2][3][4].
The essential ingredients of an effective field theory description of quantum critical metals are a fermionic field representing the electronic quasiparticles and a massless bosonic field representing the critical order parameter fluctuations. The bosonic field has low-energy fluctuations either at zero momentum, or at a finite momentum Q, depending on if the order parameter expectation value in the ordered phase has zero momentum (Ising-nematic, ferromagnetic) or a finite momentum (spin/charge density waves, antiferromagnetic).
Although well understood in three spatial dimensions [5,6], quantum critical metals in two dimensions, which is the relevant dimensionality for the cuprates and iron pnictides, have eluded a full theoretical understanding. This is due to the interaction between the fermionic and bosonic fields being relevant in the IR and thus preventing the use of perturbation theory. Additionally, the finite density of fermions generally gives rise to the fermion sign problem when using Monte-Carlo methods [7].
Several approximations have been employed to find cases where some of the physics can be understood. Many approaches extend the theory to get a new expansion parameter, ε, such that the system can be treated for small values of ε. The considered ε are typically not small in the physical systems we are ultimately interested in so these approaches can only give limited insights at the moment.
One example of this approach is to not study the model in 2 dimensions, but in 3−ε dimensions [8,9]. Since the theory can be studied perturbatively in 3 dimensions we can then use ε as a small expansion parameter. Other approaches extend the field content of the models. Quantum critical metals in the limit of many fermion flavors have been studied extensively for both Q = 0 [10][11][12] and Q = 0 [13]. Here the small parameter is given by the inverse of the number of fermionic flavors, ε = 1/N f . Another approach is to study a matrix large-N limit, see e.g. [14][15][16][17]. Here the boson is a matrix and the fermion a vector, both transforming under a global SU(N ) flavor symmetry under which the boson transforms in the adjoint representation and the fermion in the fundamental. Here the expansion parameter is ε = 1/N . The matrix large-N limit suppresses all but the planar diagrams. This suppresses all quantum corrections from the fermion onto the boson, yet the fermion receives non-perturbative quantum corrections from the boson. These corrections are limited in that only planar diagrams contribute.
Another approach is the vector small-N f limit. Similar to the matrix large-N limit this removes all back-reaction from the fermion onto the boson. In contrast to the matrix large-N limit, this limit keeps all crossed diagrams giving corrections to the fermion. Only diagrams containing fermionic loops are suppressed. The diagrams that survive the matrix large-N limit are therefore a strict subset of those of the N f → 0 limit. The small N f limit has been studied in different forms. It is natural to study quantum critical metals at energies much smaller than the Fermi momentum scale set by the chemical potential. However, neither the vector small-N f limit nor the matrix large-N limit commutes with this low-energy limit. This means that important corrections from the fermions onto the boson, so-called Landau-damping corrections, can not be seen as we take ε → 0 first. Similarly, but more subtly, issues related to this low-energy limit occur in the vector large-N f limit [10]. Early works in the small-N f limit used an already explicitly Landau-damped boson and calculated the real space fermion two-point function [18][19][20][21]. This takes into account some of the higher-order in N f corrections, but not in a systematic way. A more recent study considers the momentum space fermion two-point function in the strict small-N f limit without any Landau-damping corrections [22]. Surprisingly, the interaction changes the fermion dispersion to become non-monotonic and part of the Fermi surface splits off. A follow up to this work was subsequently done [23] where-as in the earlier works-some of the Landau-damping effects were incorporated, but now in momentum space and systematically by considering a particular simultaneous limit, k F → ∞, In this paper we expand upon the work in [22] to better understand the physics of the peculiar state found in the strict N f → 0 limit of a Q = 0 quantum critical metal. We do this by developing a framework to analytically calculate higher-point fermion correlation functions in real space. By doing this we get more probes of the system and it allows us to use this to search for possible instabilities in the future. Here, we further use this framework to calculate the non-perturbative fermion density-density correlation function of the N f → 0 quantum critical metal, which is the major new result of this paper. The correlator shows oscillations at wavevector 2k F , twice the Fermi momentum, due to the presence of a Fermi surface. These oscillations are contrary to Friedel oscillations found in Luttinger and Fermi liquids not decaying with a power-law at zero temperature, but they are exponentially decaying with the decay length set by the fermion-boson interaction strength.
The paper is organized as follows. In Section 2 we present the framework for calculating general n-point functions. In Section 3 we apply this framework to calculate the real space fermion two-point function and the fermion density-density correlator. We discuss the different processes that contribute to these result and compare to some earlier works on related models. We give some conclusions in Section 4 and in the appendix we expand our results in the coupling constant and verify agreement with perturbation theory up to two loops.
2 Setup and calculation of fermion n-point functions in the N f → 0 limit As in the previous works mentioned in the introduction, we study a toy model containing only the necessary ingredients to capture the qualitative behavior of the strongly coupled quantum critical metal. We limit ourselves to the Q = 0 case and additionally impose zero boson selfinteraction in the bare action. The N f → limit then stops such a term from developing. We consider spin-less fermions and impose rotational and translational symmetry. We consider the following action: The index i takes values 1...N f . Coordinates have been chosen such that the boson velocity is one, c = 1. In [22] the authors find that for the case of equal Fermi velocity v F and boson velocity we get a considerably simpler result. The limit of v F → c is found to be continuous and qualitatively similar to the case of 0 < v F < c (c < v F has not been studied yet for N f → 0) for the two-point function. The cases of v F /c → 0 or ∞ are qualitatively different, however, we believe that v F /c = 1 captures the physics of v F ∼ c also for general n-point functions. We therefore exclusively consider this case since it makes analytical calculations much simpler. 1 The techniques that we present here for calculating expectation values in the N f → 0 limit do not crucially depend on these velocities being the same and much of the calculation can be done for a general v F ∼ c. It is only a final set of integrals that for the general case v F = c would likely only be numerically amenable whereas for v F = c, we can find closed-form expressions. We start by adding sources for the fermion to the action in (1), d 3 z(J i ψ † i + J † i ψ i ), and perform the fermionic path integral to get the generating functional: and G i j [φ](z, z ) is the fermion Green's function with a background field φ. We use a simple z to denote (τ, x, y). This determinant action vanishes for N f → 0 and this term can thus be neglected since we work to leading order in small N f . The determinant is responsible for all fermionic loops in a perturbative expansion of this theory. By differentiating with respect to the sources and setting them to vanish we find Here the sum is over permutations of the integers 1, 2, ..., n and sgn(σ) is the parity of the permutation σ.

Background-field fermion two-point function
We will here calculate the background field fermion Greens function for a general background field φ. We do this while keeping in mind that we will later perform the above integral over φ and that we are only interested in energies small compared to k F . The background field Greens function is defined through In momentum space k = (ω, k x , k y ), we have For momenta k 2 in the vicinity of a pointnk F on the Fermi surface we can approximate this as Fourier transforming back to real space this now reads The solution to this first order PDE can be written .m is a spatial unit vector perpendicular ton. This solution is now only valid for momenta close tonk F but since it is written in real space this statement might seem confusing. G[φ] should be viewed as an operator on fields that obeys the operator equation (5). Gn [φ] is an approximation to this operator that is valid when acting on fields with momentum components close to k Fn . The operator Gn[φ] can be represented in either real or momentum space.
So far this calculation has paralleled that of [22] albeit in the true real space coordinates instead of the coordinates conjugate to patch momentum coordinates used there. Gn[φ] is all we need to calculate the fermion two-point function. However, to calculate general n-point functions we cannot restrict ourselves to having all fermion momenta in a single patch of the Fermi surface, i.e. in the vicinity of a single point. For low energies and long wavelengths we can still restrict ourselves to momenta close to the Fermi surface, but we must include all directions.
We now construct an operator G IR [φ] that approximates G[φ] well everywhere close to the Fermi surface. See Fig. 1

for a comparison between the approximations Gn[φ] and G IR [φ].
We do this by projecting out momentum components in different directions and applying the corresponding Gn [φ]. We use the resolution of identity, Operating with G IR [φ] on identity we have where we have used that the action of G IR [φ] and Gn[φ] are the same when acting on a momentum mode close to k Fn . Here we have defined In the large k F limit we can perform these integrals using a saddle point approximation. Here we make use of the fact that φ will not contain frequencies of order k F for configurations relevant in the large k F limit. In principle we could first integrate out φ and then perform the saddle point approximation. However, the result turns out to be the same and the calculation is more instructive done in the other order. We make the change of variable z = z 1 + (ηn(θ ) + νm(θ ), σ) The first exponential oscillates faster in η than any other factor of the integrand unless |k − k F | k F . The dominant contribution to the integral will therefore be from k ≈ k F . In this k-region, the first exponential oscillates rapidly in θ (since k F |z 2 − z 1 | 1), except for the two points wheren(θ ) is parallel or anti-parallel to z 12 = z 2 − z 1 . We therefore perform saddle-point expansions around these two points and perform the θ integral to obtain Next we proceed with the k integral. It is of the form ∞ 0 d ke ikz k and diverges. In principle these integrals should be performed last for convergence but we can introduce a small imaginary component to η so that the Fourier transform integral is regularized. In the end the result is independent of the imaginary part so we can remove it. This amounts to using the result for these integrals. We then have Next we integrate η and take the large k F limit. We see that this is the high frequency limit of the Fourier transform in η. For |τ 2 − τ 1 | 1/k F , the high frequency part of this function is dominated by the singularities at η = ±|z 12 |. We can expand around them to get the leading large k F limit: These two terms can be understood as momentum modes of momenta parallel and anti-parallel to z 2 − z 1 giving the dominant contributions to G IR [φ](z 1 , z 2 ). These two contributions couple in different ways to the background field φ.

Integrating over φ(z)
We now have an expression for the background field fermion two-point function that we can substitute into Eq. (4). The next step is to integrate over the field φ. Eq. (4) gives a product of G IR [φ] so in performing the φ integral we will need to evaluate expressions like wheren i is either parallel or antiparallel to the spatial part of w i −z i . The result of this Gaussian path-integral is where h is defined as Transforming to momentum space and using that G b (k) is even, we have where fn(k) is given by The function hn 1 ,n 2 (z) can be obtained in closed form for the boson kinetic term of our action. The result is presented in Appendix A. We now have a closed form expression for all fermion n-point functions of our theory: where z i j = w j − z i . Here o(k n/2 F ) (little-o notation) signify terms subleading to k n/2 F when k F is large compared to the scale set be the z i j . We will use the notation 〈O〉 k n/2 F to signify expectation values calculated to leading order using this expression.

Density n-point functions
The fermion density of species i is given by To use the framework of the previous section to calculate correlation functions of this composite operator it will be necessary to contract ψ † i (z) and ψ i (z) at the same point using the the background field Green's function. We only have the approximate function G IR , which is not valid for length scales of order 1/k F or shorter so it cannot be used for this. We will instead only study correlations of the total fermion density operator that is invariant under the global U(N f ): In calculating a correlation function 〈ρ(z 1 )ρ(z 2 )...〉 using Eq. (4) we sum over the different permutations of the contractions of ψ † i and ψ i , and over the flavor indices i. The background field Green's function is diagonal in indices so each contraction constrains the sums over flavor indices. One sum over a flavor index will remain for each cycle of the permutation so each permutation σ will come with a factor N cycles(σ) f where cycles(σ) is the number of cycles in permutation σ. In the small N f limit that we consider we have only kept the leading contribution and we should thus only sum over the permutations with a single cycle since all other permutations are subleading in small N f . For density n-point functions with n > 1 we will then never contract ψ † i (z) and ψ i (z) at the same point (since that would contribute an extra cycle) unless two of the z i are equal. The G IR of the previous section is thus sufficient for calculating correlation functions of ρ(z) to leading order in small N f . See Fig. 2 for an example of this in the case of the density-density correlator. For a fermion density n-point function we have:

Results
In this section we apply the framework developed in the preceding section to explicitly calculate some observables in the N f → 0 limit. As a consistency check we expand these results in the coupling constant and compare with perturbation theory in Appendix B.

Fermion two-point function
Since we have rotational symmetry we need only consider a positive separation r. We find the real-space fermion two point function: This is equivalent to what is found in [22] and we refer to that work for an in-depth analysis of this fermion two-point function.

Density-density correlator
We note the property of the function I: This, together with the fact that In(z, z) = 0 means that there are considerable cancellations in the sum of Eq. (19) for density correlators where some z i − z j are parallel to each other for different i, j. This is true for the density 2-point function and therefore it is given by the rather simple expression:  Figure 3: Equal time density-density correlator. This result is only valid for λ 2 k F but note that for any finite λ the correlator exponentially approaches the λ = ∞ case for large separations r.
The equal time correlator is given by |τ| r. We can not set τ = 0 directly since this expression is only valid for τ k −1 F , though we see that the limit |τ| r has the same effect: For λ = 0 we see the familiar Friedel oscillations with wave-vector 2k F and a power-law decay. For a finite coupling λ the oscillations decay exponentially in the separation r with decay length set by 1/λ 2 . See Fig. 3. For separations longer than 1/λ 2 we have In the large separation limit the scale λ 2 drops out and the IR behavior of the density-density correlator is independent of λ 2 . The value of λ 2 only sets the scale of a crossover to this IR behavior. In momentum space this IR correlator is This is simply the one-loop self-energy correction to the boson, in the limit of small energies and momenta. The Fourier transforms in the spatial and temporal directions do not commute, different orderings differ by the undetermined constant C. The same ambiguity arises when calculating the self-energy correction perturbatively, there manifesting itself as energy and momentum integrals not commuting. The interpretation of this is discussed in more details in [8].
The result in (29) can be understood by considering the infinite sum of diagrams contributing to it. Each diagram will have two fermion lines, one going from the insertion of ρ(0) to ρ(τ, r) and one in the opposite direction. A general diagram will have many boson exchanges along these lines. Let us consider the diagrams in momentum space. Each fermion propagator will have its momentum close to the Fermi surface for low-energy processes. The boson will carry a momentum much smaller than k F for the dominant processes. Therefore

All momenta close to ±k Fẑ12
All momenta close to ±k Fẑ12 All momenta close to ±k Fẑ12 All momenta close to ∓k Fẑ12 each of these two fermions lines will have their momenta confined to one patch each of the Fermi surface. We know from section 2.1 that momenta in patches in the directions parallel to z 12 = z 2 − z 1 will give the dominant contribution when we go back to real space. There are thus four dominant regions of the multidimensional momentum space associated to each diagram. All momenta on the line from ρ(z 1 ) to ρ(z 2 ) can be either in the patch close to −k Fẑ12 or k Fẑ12 , and similarly for the momenta on the line from ρ(z 2 ) to ρ(z 1 ). See Fig. 4. We separate the contributions from processes where the two patches are the same, G + ρρ , and where they are opposite, G − ρρ : Processes with opposite patches have external momenta k ≈ ±2k Fẑ12 and are thus the oscillating part of Eq. (29) while processes where the patches are the same have external momenta k k F : The non-oscillating part, G + ρρ,k 1 F (τ, r), receives no corrections from interactions at all. This is expected since the diagrams contributing to this are completely symmetrized fermionic loops. It was shown by Feldman et. al that the leading contribution to this, as ω i , k i k F , cancels out completely in the symmetrized sum (this point of their calculation was specifically pointed out in [25]). Only the non-interacting diagram is not a symmetrized fermionic loop and it survives the cancellation.
The oscillating part, G − ρρ,k 1 F (τ, r), does not have this cancellation since now two of the vertices in the fermionic loop have momenta of order k F . Here, however, it turns out that the sum of all these diagrams exponentiates and for large separations they completely cancel. The density-density large separation result above is therefore exactly what is obtained by a simple one loop calculation, only taking into account the process where both fermions are on the same patch. The fact that all processes with opposite patches cancel out is, however, nontrivial and requires the above non-perturbative calculation to be seen. The exponentiation and subsequent cancellation for large separations is the main new result obtained from applying the framework of the previous section to the density-density correlator.

Conclusion
The limit of low energies compared to the Fermi energy constrains fermions to live very close to the Fermi surface and only scatter in the forward direction. This makes the fermions almost one-dimensional. This "hidden" one-dimensionality and its consequences have been noted before, see [26] for an overview. We write almost one-dimensional because for some processes the fermions still see the curvature of the Fermi surface. There are, however, sectors where the curvature is not seen and the fermions can be exactly described as one-dimensional, albeit coupled to a two-dimensional boson. The N f → 0 limit singles out this sector precisely. Only the fermionic loops see the curvature. Studying the effectively one-dimensional fermions in the N f → 0 limit allowed us to find a closed form expression for the fermion n-point functions.
In Section 3.2 we used this expression to calculate the fermion density two-point function. The physics of the N f → 0 limit quantum critical metal is not expected to be similar to the, currently intractable, finite N f case. We can however use it to gain some insights into how the different diagrams of the full perturbation theory behave as we saw for the density-density correlator. It provides a contrasting alternative to the studies in the opposite limit of large N f [10][11][12][13] and it provides an efficient way of calculating high order diagrams that are also part of the perturbative expansion of the finite N f case.
The, perhaps surprising, exponential decay of Friedel oscillations is distinct from the powerlaws found in Fermi liquids. The density-density correlator has been studied before in strongly coupled systems using some of the approaches mentioned in the introduction [19,27,28]. The exponential damping has not been found in these works, however, [27][28][29] find that interaction effects suppress the 2k F oscillations.
A phenomenon similar to the exponential decay seen here has been found in holographic models of strongly interacting fermions in 2+1 dimensions. It is not entirely clear how to obtain a holographic state of a strongly interacting Fermi surface. Several different approaches have been used. Probe fermions [30,31] are very similar to the N f → 0 limit studied here in that there is no back-reaction from the fermion but the fermion still receives non-perturbative corrections from gapless excitations. However, this means that the presence of the fermion is not seen in holographic current correlators. 2k F singularities are also not seen in electron star geometries, where fermion back-reaction is taken into account [32]. A more recent paper [33] studied density correlators in the Reissner-Nordström dual for complex momenta and found a branch-cut terminating at a complex momentum at zero-temperature. This gives rise to exponentially damped oscillations of the density-density correlator. In [34] the authors consider the susceptibility of both the Reissner-Nordström black brane and also that of a "3-charge black brane". They find damped oscillations in both cases and they further compare the period with the Fermi momentum found in the fermion spectral function of these models [35] and find that the oscillations do not occur at 2k F , but closer to 1k F . It is therefore not entirely clear that these oscillations are related to a Fermi surface and it is certainly not certain that the exponential damping they see is the same phenomenon as what is found in this paper. However, it is an interesting prospect so let us for a moment consider these two observations to be related. The damping rates of the holographic models are of the order of the Fermi momentum, l −1 d = Im(k * ) ∼ k F , whereas in our model we have l −1 d ∼ λ 2 . We consider a dimensionful coupling λ 2 k F whereas the coupling in [33,34] is dimensionless and is taken to infinity, likely more similar to the k F λ 2 case. If we are indeed seeing the same phenomenon then we would expect the damping rate of our model, l −1 d (λ 2 ), to go as λ 2 for λ 2 k F but then saturate to ∼ k F once λ 2 ∼ k F where our theory breaks down.
Whether this T = 0 exponential damping is a general feature of strongly interacting fermions at finite density or a consequence of the N f → 0 limit and the specifics of holographic theories is too early to tell but it is an interesting question to explore in the future.
Several instabilities occur in Fermi liquids so it would not be surprising if this theory also shows one of them. An important future direction of research is to search for instabilities of this model, and generalizations of it, using the framework developed here.
A Calculating hn 1 ,n 2 (z) In this section we calculate the function hn 1 ,n 2 (z) as defined in Eq. 22. Up till now we have not had to consider the form of the boson propagator. To continue we need to use the specific form of the free boson propagator of our theory: We need to perform three integrals to find h. First we make the change of variables k = rn 1 ×n 2 + rs 2 z ×n 1 + rs 3 z ×n 2 . After integrating r over all of we have where n s = s 2n1 + s 3n2 andτ = (1, 0, 0). We can now do the s 2 integral using the residue theorem. The denominator is a fourth order polynomial in s 2 . Two roots are polynomials in s 3 whereas the the remaining second order polynomial in s 2 has roots in terms of radicals of s 3 . The contribution from the first two poles can thus easily be integrated once again, now over s 3 , since it is a rational function. The range is no longer since the pole in s 2 will leave the upper half plane where we close the s 2 -contour for certain values of s 3 . The contribution from the last two poles is more involved because of the radicals. One of these poles is always in the UHP and the other in the LHP so we only need to account for one of them. By making the change of variables we get rid of the radicals and can carry out the w integral. In the end the total result can be written as hn 1 ,n 2 (z) = 1 4π(1 −n 1 ·n 2 ) |n 1 z| + |n 2 z| − 2r − 2 τn 1 ·n 2 − i(n 1 · z +n 2 · z + iτ) where z =(τ, x, y) (40) r =sgn(n l z)r (43) n 1 ·n 2 =x 1 x 2 + y 1 y 2 (44) n 1 n 2 =x 1 y 2 − y 1 x 2 (45) and A = (n 1 ·n 2 − 1)(τ(1 +n 1 ·n 2 ) − i(n 1 +n 2 ) · z) (n 1 n 2 ) 2 (iτ +n 1 · z)(iτ +n 2 · z) × irτ |n 1 n 2 | + (n l z −r)(n k z +r) + τ 2n 1 ·n 2 − iτ(n 1 · z +n 2 · z) + τ 2 We see that the prefactor of this expression diverges forn 1 =n 2 and this case has to be treated separately. The function is continuous at this point however, and we can simply take the limit n 1 =n 2 to obtain hn ,n (z) = r 3 − |n z| 3(n · z) 2 + 3iτn · z + (m · z) 2 12π(n · z + iτ) 2 .
This can be compared to the calculation for the two-point function. There we haven z = 0, and using this we get This agrees with the previous result of [22]. For the density-density correlator we additionally need h forn 1 = −n 2 and n 1 z = 0. Taking the limits simultaneously we find We note that A diverges as ∼ 1/n 1 n 2 forn 1 = −n 2 . The prefactor of the logarithm is proportional ton 1 z: We have an additional constraint in Eq. (20) however, the n i are parallel or anti-parallel to w i − z i . Using this one can show that this divergence in h asn 1 andn 2 become anti-parallel cancels out in the sum of Eq. (20) and is not seen in observables.

B Perturbative verification
To verify our non-perturbative results we can expand in the coupling constant λ and compare with perturbation theory. We do so here for both the fermion two-point function and the density-density correlator, both up to order λ 2 . Since our non-perturbative results are only valid at long wavelengths and low energies, we will expand around singularities in momentum space and verify that the leading singularities agree with perturbation theory. We start off by verifying the two-point function (27) at tree level: In momentum space this is (here and henceforth we omit the momentum-conserving δ-function) where J 0 is the zeroth Bessel function of the first kind. We look for singularities and therefore want the integral to diverge. The only possibility for this is when ω = 0, so there is no exponential decay, and when k = k F , so the oscillations of the Bessel function cancels those of the exponential. To expand around this point we can approximate the Bessel function with its asymptotic oscillatory behaviour. In doing so we only modify the finite part of the integral. We find The full fermion two-point function of our toy model at tree level is given by We see that the results agree to leading order for ω k F and k close to k F . This same technique is used below to find the leading divergences of the density-density correlators and also of the higher order in λ contributions to the correlators. The two-point function, Eq. (27), expanded to second order in λ is found to be This is to be compared to the diagram in Fig. 5. Evaluating this diagram with all fermion propagators linearized at the patch of the Fermi surface at k = (k F + k x )x gives D 5 =λ 2 Gx 0 (ω, k x ) 2 dω 1 dq x dq y (2π) 3 Gx 0 (ω + ω 1 , k x + q x )G b (ω 1 , q) where Gx 0 is defined in Eq. 57. The density-density correlator (29) at order λ 0 is easily verified in real space using (27) at the same order. To verify the density-density correlator at order λ 2 we need to calculate the three diagrams in Fig. 6. Diagram 6ab can similarly be obtained by ψ(z 1 ) ψ(z 2 ) Figure 5: The single diagrams that contributes at order λ 2 to the fermion two-point function.
(c) Figure 6: The three diagrams that contribute at order λ 2 to the density-density correlation function.
combining the fermion two-point function at order λ 0 and λ 2 in real space: Subtracting these two diagrams in real space from Eq. (29) and Fourier transforming we find for small ω and k ≈ 2k F : where K is the complete Elliptic integral of the first kind. Calculating Diagram 6c requires a more involved calculation. Since we are interested in the external momentum k = (2k F +k x )x, |k x | k F , we can expand the fermion propagators in momenta in the patches at ±k Fx . After this we can perform all the momentum integrals to obtain: We have thus verified the density-density correlator at order λ 2 .