Introduction

Since the discovery of graphene as a hybrid between metal and insulator, this material with relativistic energy spectrum of zero-gap Dirac Fermions1,2 attracts attention due to its unique electronic properties and prospective applications in nanoelectronics3,4,5,6. The understanding of the origin and the influence of disorder, as well as interactions in graphene seems to be essential in understanding of the experiments and also in designing graphene-based electronic devices. The effect of these quantities and the resulting screening are not as easygoing as ordinary simple metals5. There is a huge literature concerning the interplay of particle interactions and disorder in mono and multilayer graphene4,7,8,9,10,11,12,13 which cause variety of phenomenons. Examples of the effect of disorder on the properties of graphene are its effect on: the compressibility14, the electron-phonon interaction15, the Fano factor and conductivity5, the magnetoresistance of bilayer graphene16, the graphene Hall bars17, the optical properties of graphene quantum dots18 and the effective electronic mass in bilayer graphene19. Disorder-based spintronics in graphene20, and Levi-flight transport caused by anisotropically distributed on-site impurities21 are other examples for which the disorder plays a dominant role. The disorder-mediated Kondo effect22 and the formation of electron-hole puddles (EHPs) are examples for which the disorder and the inter-particle interactions play vital roles simultaneously. EHPs are believed to be responsible for the observed minimum conductivity of graphene and was predicted theoretically by Hwang et al.23 and Adam et al.24 and was also confirmed in experiments in the vicinity of the Dirac point25,26,27,28,29,30,31,32,33,34. They are characterized by the state in which some strong carrier density inhomogeneities with density fluctuations much larger than the average density (for low densities) emerge35. In this case (for which the transport is governed by the complex network of small random puddles with semi-metal character35) and the similar situations, a many body treatment is needed in which the effect of interaction and the disorder enter to the play with the same footing. Such an investigation can be found in36 in which it has been shown that for the gauge field randomness, related to the formation of ripples characterized by a disorder strength \({\rm{\Delta }}\), displaces the IR fixed point to \({\alpha }^{\ast }=4{\rm{\Delta }}/\pi \)7,36. This shows the vital role of disorder in electronic properties of graphene which even can change the role of interaction and cause the system to exhibit the non-Frmi liquid behaviors6.

The polarization function of the graphene as an important quantity which is sensitive to both the inter-particle interaction and the disorder has been obtained and analyzed in the cone approximation in the bubble expansion37,38. For the undoped graphene in one loop approximation of the polarization function (for which the intra-band excitations are forbidden due to the Pauli principle), it is shown that the static dielectric function \(\varepsilon (q)\) is a constant6,39 and no collective modes are allowed within the PRA approximation. For finite μ however, the more general solution of Shung40 is applicable which predicts that the potential is screened with the screening length \({\lambda }_{{\rm{TF}}}\equiv {\varepsilon }_{0}{v}_{F}/2{e}^{2}{k}_{F}\) (vF ≡ Fermi velocity, kF ≡ Fermi momentum, \({\varepsilon }_{0}\) ≡ background dielectric constant). This predicts the Friedel oscillations in graphene to be of the form \(\cos (2{k}_{F}r)/{k}_{F}{r}^{3}\)40. Based on these results, in low-densities (in intrinsic or weakly disordered graphene) due to the lack of screening one should take into account the long-range part of the potential which leads to the issue of logarithmic phase shifts for Coulomb scatterers6. These results were obtained for disorder-free system and within the RPA approach which is questionable for the graphene as pointed out by Mishchenko41. Despite of this huge literature, there is a limited understanding concerning the properties of the polarization function in the general form and also the behavior of multi-body charge density probability measures, especially in the low-density case in which EHPs appear.

A more reliable approach should involve both interaction and disorder simultaneously which is the aim of the present paper. For this, the Thomas-Fermi-Dirac (TFD) is a proper candidate which has the capacity to bring the effect of all LDA energies in the calculations as well as the tunable disorder in the same time. We employ this approach involving exchange-correlation energies and white noise out-plane disorder. For the EHPs, TFD techniques have proved to be very useful and are widely used23,24,35,42. To obtain disorder corrections to the dielectric function we develop a diagramatic technique for the TFD theory. We obtain the two-body correlation function using some stochastic analysis and find the equation governing it. We show that, in addition to the screening length found by others, there is a characteristic length scale for the screening, namely qch which is related to the disorder strength and inter-particle interactions via \({q}_{{\rm{ch}}}\equiv \frac{\sqrt{\pi }}{4\sqrt{2}}d{n}_{i}{r}_{s}^{2}\) in which ni is the disorder strength, rs is the dimensionless interaction factor to be defined in the text and d is the substrate distance. For small densities we show that there occurs an instability in which the imaginary part of the dielectric function becomes negative and some charge density oscillations with disorder-dependent wave length emerge. At these densities screening-anti-screening transition occurs along with changing sign of the real screened potential. The disorder significantly changes the Fourier component of the screened potential for large wave lengths showing the fact that the large-scale behaviors of the system is mostly affected by the disorder. We characterize the system in the vicinity of this transition in detail. In addition to the one- and the two-body (static) correlation functions, the equation governing the total probability measure of the system is introduced and analyzed and a closed expression is proposed for it. The proposed expression is valid for large densities.

The paper has been organized as follows: In the next section we present the general construction of the problem and introduce the TFD theory for determining the ground state of graphene. The one-body probability measure is obtained in SEC. 2. Section 3 is devoted to finding the two-body probability measure and the dielectric function. The screened potential as well as the charge density oscillations are argued in this section. The total probability measure of the system is analyzed in SEC. 4. In the conclusion section we close the paper by highlighting the main findings of the paper. Appendix 1 in the Supplementary Material contains the essential rules for calculating Feynman diagrams for the TFD theory. Appendix 2 and 3 help to facilitate some calculations over the paper.

General Construction; Ground state of Graphene

The effect of interaction and disorder in graphene has a long story in the literature. It is known that the random-phase approximation (RPA) fails to describe the interaction effects in graphene which was firstly pointed out by Mishchenko41. The renormalization group analysis in the weak coupling limit in the first order approximation shows that the Coulomb interactions are marginally irrelevant due to the logarithmically divergent velocity6. In the strong interaction side however, it is shown that the graphene has non-Fermi liquid behaviors with power-law quasiparticle dispersion6,43, the limit which cannot be reached for finite densities away from the Dirac point. In the weak coupling side, it is known that in contrast to ordinary metals in which the screening makes the interactions short-ranged, in low-density (intrinsic or weakly disordered) graphene due to the lack of screening one should take into account the long-range part of the potential which leads to the issue of logarithmic phase shifts for Coulomb scatterers6. The effect of disorder is however of special importance since, as stated in the introduction, it may completely change the behavior of the Dirac Fermions7,36. TFD theory, as an approach which has the potential to bring the interaction and disorder in the calculations in the same footing is introduced and analyzed in this section. We mention some points concerning the TFD theory as a coarse grained method and the perturbation diagrams which are used in our analysis. The multi-point probability measures and their relations to the many body disordered response functions are of special importance in this paper which is described in the next sections.

Let us start by analyzing the zero-temperature polarization operator which is defined by \(i{\rm{\Pi }}(x,x^{\prime} )\equiv \)\({\hslash }^{-1}\frac{\langle {\rm{\Omega }}|T[\hat{n}(x)\hat{n}(x^{\prime} )]|{\rm{\Omega }}\rangle }{\langle {\rm{\Omega }}|{\rm{\Omega }}\rangle }\) in which T is the time ordering operator, \(x\equiv (r,t)\) is the space-time, \(\hat{n}(x)\equiv {\hat{{\rm{\Psi }}}}^{\dagger }(x)\hat{{\rm{\Psi }}}(x)\) is the ground state density operator, \(\hat{{\rm{\Psi }}}\) and \({{\rm{\Psi }}}^{\dagger }\) are the electron annihilation and creation operators and \(|{\rm{\Omega }}\rangle \) is the ground state of the system. Defining the density fluctuation operator as \(\tilde{n}(x)\equiv \hat{n}(x)-\langle {\rm{\Omega }}|\hat{n}(x)|{\rm{\Omega }}\rangle \) (setting \(\langle {\rm{\Omega }}|{\rm{\Omega }}\rangle =1\)) one finds44:

$$\begin{array}{rcl}i{\rm{\Pi }}(x-x^{\prime} ) & = & {\langle i{\rm{\Pi }}(x,x^{\prime} )\rangle }_{{\rm{disorder}}}\\ & = & {\hslash }^{-1}\langle \langle {\rm{\Omega }}|\hat{n}(x)|{\rm{\Omega }}\rangle \langle {\rm{\Omega }}|\hat{n}(x^{\prime} )|{\rm{\Omega }}\rangle \rangle \\ & & +\,{\hslash }^{-1}\langle \langle {\rm{\Omega }}|T[\tilde{n}(x)\tilde{n}(x^{\prime} )]|{\rm{\Omega }}\rangle \rangle \end{array}$$
(1)

in which the inner \(\langle \rangle \) is the quantum expectation value, whereas the outer one stands for the disorder averaging. \(\langle {\rm{\Omega }}|\hat{n}(x)|{\rm{\Omega }}\rangle \) is the solution of a quantum model, which is the Thomas-Fermi-Dirac theory in this paper. Note that although due to the presence of disorder this function (and other correlation functions) is not translational invariant, its disorder-averaged form is invariant. In the disorder-free (and also quenched disordered) systems the contribution of the first part is apparently trivial, as the averaging over quenched disorder of disconnected diagrams does not produce any contributions to the physical observables, in contrast to connecting the loops by interaction lines (and in contrast to the averaging over annealed disorder). Here we decorate this term by some external (disorder) as well as Coulomb interaction lines according to TFD theory, whose effects are non-trivial. In the other words in our effective TFD diagrams we replace the first term by some diagrams, interacting with external sources and find its contribution self-consistently.

Consider the ground state, and define \(n(x)\equiv \langle {\rm{\Omega }}|\hat{n}(x)|{\rm{\Omega }}\rangle \) which is the ground state density for a particular configuration of disorder and is not time-dependent (since \(|{\rm{\Omega }}\rangle \) has been chosen to be the exact ground state of the system), i.e. \(n(x)=n({\bf{r}})\). Then, we define the first term of this equation as \(G({\bf{r}}-{\bf{r}}^{\prime} )\equiv {\langle n({\bf{r}})n({\bf{r}}^{\prime} )\rangle }_{{\rm{disorder}}}\) in which \({\langle \rangle }_{{\rm{disorder}}}\) shows the averaging over the disorder. Figure 1 shows this equation diagrammatically, in which the second part is connected term which has extensively been analyzed in the literature5,45. In this figure the single-line circles show the carrier density at the point x, i.e. n(x) and the shaded area shows all interaction effects, such as Coulomb lines and external (disordered) interaction lines. In the present paper we mainly deal with \(G({\bf{r}},{\bf{r}}^{\prime} )\) which also carries the effects of disorder and Coulomb interactions. We show this function diagrammatically by a zigzag and two full (double) circles as shown in Fig. 2. The rules for the TFD diagrammatic expansion of this function have been developed in Appendix 1 (Supplementary Material). In this expansion the wavy lines between r and r′ are \(1/|{\bf{r}}-{\bf{r}}^{\prime} |\) which is the electrostatic potential, the gray circles with a cross inside are the external potential (disorder), and the double circles with r are the full electronic density \(n({\bf{r}})\). The full-circles (double line circles) show the full density (see Appendix 1) which is obtained self-consistently according to the employed theory, which is the TFD equations here. We concentrate mainly on the contribution of this term and its effect on the response functions. We do not follow the diagrammatic expansion in Fig. 2, but instead we try to find this function self-consistently, and by using some stochastic phenomena techniques, and find its analytic form in some limits.

Figure 1
figure 1

The diagrammatic representation of Eq. 1 for which the first term shows the connected component of the polarization operator, whereas the second term shows the disconnected component. Note that the disconnected term is also effectively connected via the external legs corresponding to the disorder which is averaged44.

Figure 2
figure 2

The diagrammatic representation of \(G({\bf{r}},{\bf{r}}^{\prime} )\) according to TFD theory. The zigzags between two points r and r′ (with two double circles at the ends) are \(G({\bf{r}},{\bf{r}}^{\prime} )\), the wavy lines between r and r′ are 1/|r − r′| which is the electrostatic potential, the gray circles with a cross inside are the external potential (disorder), and the double circles with r are the full electronic density n(r). For the details see Appendix 1. In this expansion the first term on the right hand (second line) is f3 and the second term (third line) is f1 in the appendix.

The non-trivial effect of this term on this expectation value can be seen from the following relation44 (the full treatment is postponed to Appendix 1 in the Supplementary Material):

$${\langle \langle {\rm{\Omega }}|\hat{V}|{\rm{\Omega }}\rangle \rangle |}_{{\rm{first}}{\rm{term}}}=\frac{1}{2}\,\int \,{d}^{2}{\bf{r}}{d}^{2}{\bf{r}}^{\prime} V({\boldsymbol{r}}-{\bf{r}}^{\prime} )G({\bf{r}},{\bf{r}}^{\prime} )$$
(2)

from which we see that the change of energy due to this term is \(\delta E\sim {\sum }_{q}{v}_{q}^{0}{G}_{q}\) in which \({v}_{q}^{0}\) and Gq are Furrier components of bare coulomb potential \({v}^{0}(r)\) and \(G(r)\) respectively.

To investigate the effect of this term we turn to the TFD theory which contains coarse-graining of the space. In this case the contribution of the connected (second) term of the Fig. 1 becomes local, i.e. all the contributions are localized in a region in the close vicinity of the original spatial point, namely x. Therefore the exchange-correlation term becomes a local term in the Hamiltonian, and the only non-local terms are the Hartree and disorder terms. Appendix 1 in the Supplementary Material contains some diagrammatic analysis of the problem and the screened coulomb interaction as well as the spatial charge screening of the coulomb impurities have been analyzed. The Feynman diagrams need an especial care in this case since in the diagrammatic expansion of the energy (TFD energy), the only non-local terms are the Hartree and the external disorder interaction terms, as shown in Fig. 2 of Appendix 1 in Supplementary Material. The coulomb potential is screened only via the mediator \(G({\bf{r}}-{\bf{r}}^{\prime} )\) as depicted in Fig. 4 of Appendix 1 in Supplementary Material, in which the full (double) lines involve simultaneously the disorder and coulomb interaction lines. The overall result is that considering such a mediator results in a change in the dielectric function \(\delta \varepsilon (q,\omega )\approx i\frac{{\tilde{q}}_{0}}{\tilde{q}}\tilde{G}(\tilde{q})\) in which \(\tilde{G}\) is proportional to the Fourier component of \(G(r)\), \(\tilde{q}\) is proportional to \(q\) (wave vector) and \({\tilde{q}}_{0}\) is a characteristic wave vector which has been defined in this appendix (Supplementary Material). All of these quantities will be defined and analyzed in the following sections.

The determination of \(G({\bf{r}},{\bf{r}}^{\prime} )\) need some information about the two-body distribution function. The multi-body distribution functions play an important role in the condensed matter physics, since the transport parameters are expressed in terms of these functions via the Kubo formulas. The other example in which we need such functions is the mean field theories in which the quantum degrees of freedom are reduced (the quantum fluctuations are killed) and the disorder averaging becomes the most important and challenging problem. The behavior of multi-point functions depend on the type and strength of the disorder.

For the more general case in which we are interested in calculating multi-point correlation functions with two insertion points (r and r′), the extra contribution comes from the quantities like \(\langle f(n({\bf{r}}),n({\bf{r}}^{\prime} ))\rangle \) (in which f is an arbitrary function). In such cases we define the pair (or two-body) distribution measure \(P(n,{\bf{r}};n^{\prime} ,{\bf{r}}^{\prime} )\) to write the mentioned correlation function as46:

$$\langle f(n({\bf{r}}),n({\bf{r}}^{\prime} ))\rangle =\int \,dndn^{\prime} f(n,n^{\prime} )P(n,{\bf{r}};n^{\prime} ,{\bf{r}}^{\prime} )$$
(3)

for which \(G({\bf{r}},{\bf{r}}^{\prime} )\) is a special case. \(P(n,{\bf{r}};n^{\prime} ,{\bf{r}}^{\prime} )\) is defined as the probability density of charge density to be n at r and n′ at r′. It is notable that \(P(n,{\bf{r}};n^{\prime} ,{\bf{r}}^{\prime} )\) carries simultaneously the effect of the quantum system (Hamiltonian of the system) as well as the disorder statistics. Therefore finding the multi-point correlation functions reduces to finding multi-body probability densities. In the following we describe the TFD theory of the graphene monolayer to be used in the next sections as a quantum mechanical model to calculate these multi-body probability measures.

In graphene the carrier density is controlled by the gate voltage \(n={\kappa }_{S}{V}_{g}/4\pi t\) in which \({\kappa }_{S}\) is the substrate dielectric constant and t is its thickness and Vg is the gate voltage. The experimental data show a strong dependence on \(x\equiv n/{n}_{i}\) in which ni is the impurity density. In ordinary densities, the conductivity is linear function of x and for very low x’s, it reaches a minimum of order \(\sigma \sim {e}^{2}/h\) which is linked with the formation of EHP’s. Using local density approximation one can prove that the total energy of the graphene for a disorder configuration and a density profile is5:

$$\begin{array}{rcl}E & = & \hslash {v}_{F}[\frac{2\sqrt{\pi }}{3}\,\int \,{d}^{2}r\,{\rm{sgn}}(n)|n{|}^{\frac{3}{2}}\\ & & +\,\frac{{r}_{s}}{2}\,\int \,{d}^{2}r\,\int \,{d}^{2}r^{\prime} \frac{n({\bf{r}})n({\bf{r}}^{\prime} )}{|{\bf{r}}-{\bf{r}}^{\prime} |}\\ & & +\,{r}_{s}\,\int \,{d}^{2}r{V}_{xc}[n({\bf{r}})]n({\bf{r}})+{r}_{s}\,\int \,{d}^{2}r{V}_{D}({\bf{r}})n({\bf{r}})\\ & & -\,\frac{\mu }{\hslash {v}_{F}}\,\int \,{d}^{2}rn({\bf{r}})]\end{array}$$
(4)

in which vF is the Fermi velocity, \({r}_{s}\equiv {e}^{2}/\hslash {v}_{F}{\kappa }_{S}\) is the dimensionless interaction coupling constant, μ is the chemical potential, \(g={g}_{s}{g}_{v}=4\) is the total spin and valley degeneracy. The exchange-correlation potential is calculated to be47:

$${V}_{xc}=\frac{1}{4}[1-g{r}_{s}\zeta (g{r}_{s})]\,{\rm{sgn}}(n)\sqrt{\pi |n|}\,\mathrm{ln}(4{k}_{c}/\sqrt{4\pi |n|})$$
(5)

in which kc is the momentum cut-off and \(\zeta (y)=\frac{1}{2}\,{\int }_{0}^{\infty }\,\frac{dx}{{(1+{x}^{2})}^{2}(\sqrt{1+{x}^{2}}+\pi y/8)}\). The remote Coulomb disorder potential is calculated by the relation42:

$${V}_{D}(r)=\int \,{d}^{2}r^{\prime} \frac{\rho ({\bf{r}}^{\prime} )}{\sqrt{|{\bf{r}}-{\bf{r}}^{\prime} {|}^{2}+{d}^{2}}}$$
(6)

in which \(\rho (r)\) is the charged impurity density and \(d\) is the distance between substrate and the graphene sheet. For the graphene on the SiO2 substrate, \({\kappa }_{S}\simeq 2.5\), so that \({r}_{s}\simeq 0.8\), \(d\simeq 1\) nm, \({k}_{c}=1/{a}_{0}\) where a0 is the graphene lattice constant \({a}_{0}\simeq 0.246\) nm corresponding to energy cut-off \({E}_{c}\simeq 3\) eV. One can easily minimize the energy with respect to \(n(r)\) and obtain the following equation23:

$${\rm{sgn}}(n)\sqrt{|\pi n|}+\frac{{r}_{s}}{2}\,\int \,{d}^{2}{\bf{r}}^{\prime} \frac{n({\bf{r}}^{\prime} )}{|{\bf{r}}-{\bf{r}}^{\prime} |}+{r}_{s}{V}_{xc}[n]+{r}_{s}{V}_{D}({\bf{r}})-\frac{\mu }{\hslash {v}_{F}}=0$$
(7)

which should be solved self-consistently. In this paper we consider the disorder to be white noise with Gaussian distribution \(\langle \rho ({\bf{r}})\rangle =0\) and \(\langle \rho ({\bf{r}})\rho ({\bf{r}}^{\prime} )\rangle ={({n}_{i}d)}^{2}{\delta }^{2}({\bf{r}}-{\bf{r}}^{\prime} )\).

Let us now concentrate on the scaling properties of this equation excluding Vxc. By zooming out of the system, i.e. the transformation \({\bf{r}}\to \lambda {\bf{r}}\), we see that the equation remains unchanged if we transform \(n({\bf{r}})\to n(\lambda {\bf{r}})={\lambda }^{-2}n({\bf{r}})\) as expected from the spatial dimension of \(n({\bf{r}})\). This is because of the fact that \({V}_{D}(\lambda {\bf{r}})={\lambda }^{-1}{V}_{D}({\bf{r}})\). This symmetry is very important, since it causes the system to be self-affine. This scale-invariance in two dimension may lead to power-law behaviors and some exponents. It may also lead to conformal invariance of the system, and if independent of type of disorder, brings the graphene surface into a class in the minimal conformal series. The existence of Vxc makes things difficult, since \({V}_{xc}({\boldsymbol{r}})\to {V}_{xc}(\lambda {\boldsymbol{r}})={\lambda }^{-1}({V}_{xc}-\beta \,{\rm{sgn}}(n)\sqrt{\pi |n|}\,\mathrm{ln}\,\lambda )\) in which \(\beta \equiv \frac{1}{4}(1-g{r}_{s}\zeta (g{r}_{s}))\). Therefore the rescaled equation is46:

$$\xi (\lambda )\,{\rm{sgn}}(n)\sqrt{|\pi n|}+\frac{{r}_{s}}{2}\,\int \,{d}^{2}{\bf{r}}^{\prime} \frac{n({\bf{r}}^{\prime} )}{|{\bf{r}}-{\bf{r}}^{\prime} |}+{r}_{s}{V}_{xc}[n]+{r}_{s}{V}_{D}({\bf{r}})=0$$
(8)

in which \(\xi (\lambda )\equiv 1-\beta {r}_{s}\,\mathrm{ln}\,\lambda \). Therefore the first term survive marginally in the infra-red limit and the scale invariance is expected, even in the presence of Vxc.

One-Body Probability Density

In this section we concentrate on calculating one-body probability density Pn by focusing on Eq. 7. From now on \(\langle \rangle \) stands for the disorder averaging. Using the identities \({\nabla }_{{\bf{r}}}({\rm{sgn}}(n)\sqrt{\pi |n|})=\tfrac{1}{2}\,{\rm{sgn}}(n)\sqrt{\tfrac{\pi }{|n|}}{\nabla }_{{\bf{r}}}n\) and \({\nabla }_{{\bf{r}}}{V}_{xc}=-\,\tfrac{1}{2}\beta \) \(\sqrt{\tfrac{\pi }{|n|}}[1-{\rm{sgn}}(n)\,\mathrm{ln}(\tfrac{4{k}_{c}}{\sqrt{4\pi |n|}})]\,{\nabla }_{{\bf{r}}}n\)we reach to the following identity46:

$${\nabla }_{r}n=-\,{r}_{s}{F}_{n}\{{\overrightarrow{\chi }}_{\rho }(d)+\frac{1}{2}{\overrightarrow{\chi }}_{n}(0)\}$$
(9)

which is essential in the following sections. In this equation \({F}_{n}\equiv \tfrac{2{\rm{sgn}}(n)\sqrt{|n|/\pi }}{1-{r}_{s}\beta \,[{\rm{sgn}}(n)-\,\mathrm{ln}\,\tfrac{4{k}_{c}}{\sqrt{4\pi |n|}}]}\) and \({\overrightarrow{\chi }}_{x}(d)\equiv \int \,{d}^{2}r^{\prime} x({\bf{r}}^{\prime} )\nabla \)\({(|{\bf{r}}-{\bf{r}}^{\prime} {|}^{2}+{d}^{2})}^{-1/2}\) and \(x=\rho \), n. An important point is superficial contradiction that we have used \(\nabla n\) which is ignored in the TFD theory, since it is valid only when \(\frac{|\nabla n|}{n}\ll {k}_{F}\) (kF is the Fermi wave number). We turn back to this point at the end of this section.

The differential form of the charge profile is:

$$dn=-\,{r}_{s}{F}_{n}[d{\chi }_{\rho }(d)+\frac{1}{2}d{\chi }_{n}(0)]$$
(10)

Now let us perform some Ito calculations to obtain the probability measure of n(r). We consider a one-body function \(f({\bf{r}})=\langle f(n({\bf{r}}))\rangle \) and let P(n, r) be the probability measure of charge density to be n at the position r, so that \(f(r)=\int \,dnP(n,{\bf{r}})f(n)\). The differential of f is defined as \(df({\bf{r}})\equiv \langle f(n({\bf{r}})+dn)\rangle -\langle f({\bf{r}})\rangle \), according to which (\({P}_{n}({\bf{r}})\equiv P(n,{\bf{r}})\)):

$$\begin{array}{rcl}{\rm{d}}f({\bf{r}}) & \equiv & \int \,{\rm{d}}{P}_{n}({\bf{r}})f(n)dn=\langle f(n({\bf{r}})+dn(r))-f(n({\bf{r}}))\rangle \\ & = & \langle {\partial }_{n}f(n({\bf{r}}))dn({\bf{r}})+\frac{1}{2}{\partial }_{n}^{2}f({\bf{r}})dn{({\bf{r}})}^{2}\rangle \\ & = & \langle [-{r}_{s}{F}_{n}(d{\chi }_{\rho }(d)+\frac{1}{2}d{\chi }_{n}(0))]\,{\partial }_{n}f(n({\bf{r}}))\rangle \\ & & +\,\langle [\frac{{r}_{s}^{2}}{2}{F}_{n}^{2}{(d{\chi }_{\rho })}^{2}]\,{\partial }_{n}^{2}f(n({\bf{r}}))\rangle \end{array}$$
(11)

Let us consider the above expression term by term. Firstly we note that \(\langle {\rm{d}}{\chi }_{\rho }=0\rangle \) which arises from the fact that \(\rho ({\bf{r}})=0\). The remaining two terms, can easily be transformed to the following form by using the integration by parts:

$$\begin{array}{rcl}df({\bf{r}}) & = & \int \,{\rm{d}}{P}_{n}({\bf{r}})f(n)\\ & = & \frac{{r}_{s}}{2}\,\int \,dn[{\partial }_{n}[{F}_{n}{P}_{n}({\bf{r}})d{\chi }_{n}]+{r}_{s}{\partial }_{n}^{2}[{f}_{n}^{2}{P}_{n}({\bf{r}}){(d{\chi }_{\rho })}^{2}]]\,f(n)\end{array}$$
(12)

If we note that this equation should hold for all arbitrary fs, we can demand that the equality holds for the integral kernels and obtain:

$$dP(n,{\bf{r}})=\frac{1}{2}{r}_{s}{\partial }_{n}[{F}_{n}d{\chi }_{n}{P}_{n}]+\frac{{r}_{s}^{2}}{2}{\partial }_{n}^{2}[{F}_{n}^{2}{(d{\chi }_{\rho })}^{2}{P}_{n}]$$
(13)

Now let us concentrate on \(\langle {(d{\chi }_{\rho })}^{2}\rangle \) and \(d{\chi }_{n}(0)\). The calculation of these quantities is done to Appendix 1 (Supplementary Material) from which we see that \(\langle {(d{\chi }_{\rho })}^{2}\rangle =\frac{\pi d{n}_{i}^{2}}{2\sqrt{2}}{\rm{d}}r\), and also \(d{\chi }_{n}(0)\simeq \frac{1}{\sqrt{2}}{G}_{n}{\rm{d}}r\) in which \({G}_{n}=\int \,{d}^{2}{\bf{r}}^{\prime} \frac{n({\bf{r}}^{\prime} )}{|{\bf{r}}-{\bf{r}}^{\prime} {|}^{2}}\). If we substitute the above relations in the Eq. 12, i.e. replacing \({\rm{d}}{\chi }_{n}(0)\) and \({({\rm{d}}{\chi }_{\rho }(d))}^{2}\) with their averages, we obtain:

$$\frac{{\rm{d}}P(n,{\bf{r}})}{{\rm{d}}r}=\frac{{r}_{s}}{2\sqrt{2}}{\partial }_{n}[{G}_{n}{F}_{n}{P}_{n}]+\frac{\pi d{n}_{i}^{2}{r}_{s}^{2}}{4\sqrt{2}}{\partial }_{n}^{2}[{F}_{n}^{2}{P}_{n}]$$
(14)

Therefore for the homogeneous system, which is independent of the observation point r, the left hand side of the above equation equals to zero which results to:

$${\partial }_{n}[{G}_{n}{F}_{n}{P}_{n}+\frac{1}{2}\pi d{n}_{i}^{2}{r}_{s}{\partial }_{n}[{F}_{n}^{2}{P}_{n}]]=0$$
(15)

By equating the expression inside the bracket to a constant (which is zero for the symmetry considerations) we obtain the equation governing the distribution of n(r) as follows:

$${\partial }_{n}[{F}_{n}^{2}{(d{\chi }_{\rho })}^{2}{P}_{n}]=-\,{\zeta }_{0}{G}_{n}{F}_{n}{P}_{n}\Rightarrow {\partial }_{n}{P}_{n}=-\,{{\rm{\Gamma }}}_{n}{P}_{n}$$
(16)

in which \({\zeta }_{0}\equiv \frac{2}{\pi d{n}_{i}^{2}{r}_{s}}\) and \({{\rm{\Gamma }}}_{n}\equiv {\zeta }_{0}\frac{{G}_{n}}{{F}_{n}}+2{\partial }_{n}\,\mathrm{ln}\,{F}_{n}\). It is worth noting that in obtaining the above differential equation we have divided both sides of the equation by \({F}_{n}^{2}\) a task which is true only for non-zero finite Fns. In fact Fn is everywhere non-zero and well-defined and finite except at n = 0 and \(n\to \infty \) for which becomes zero and negative infinity respectively. Therefore Eq. 16 is everywhere reliable except at n = 0 for which, as we will see, becomes divergent and \(n\to \infty \) for which the solution is not reliable. This divergence at the Dirac point is due to the non-analytical behavior of \({\nabla n|}_{n\to 0}\) in Eq. 9, i.e. the singular behavior of carrier density at the Dirac point. Such a behavior is missing in the other ordinary two-dimensional electronic systems and is specific to the Dirac electrons systems, since their kinetic energy densities are proportional to sgn(n) |n|3/2 whose derivative is not well-behaved in n = 0.

With the above limitation in mind, let us first turn to the asymptotic behaviors of Eq. 16. One may be interested in the answer for weak coupling limit \({r}_{s}\to 0\), or the weak disorder limit \({n}_{i}\to 0\), i.e. large ζ0 limit. In this limit, and considering \({G}_{n}\approx G\) to be nearly constant, we have \({{\rm{\Gamma }}}_{n}\simeq \frac{\sqrt{\pi }}{2}\zeta ^{\prime} \frac{{\rm{sgn}}(n)}{\sqrt{|n|}}=\zeta ^{\prime} {\partial }_{n}\,({\rm{sgn}}(n)\sqrt{\pi |n|})\) in which \(\zeta ^{\prime} \equiv {\zeta }_{0}G\). The solution is therefore (\({P}_{n}({\bf{r}})={P}_{n}\)):

$${P}_{n}^{{\rm{large}}\,\zeta ^{\prime} s}={P}_{0}\,\exp \,[-\zeta ^{\prime} ({\rm{sgn}}(n)\sqrt{\pi |n|}-\frac{\mu }{\hslash S{v}_{F}})]$$
(17)

in which S is the area of the sample and P0 is the normalization constant. This relation may seem to be unsuited, since it grows unboundedly for negative values of n. Actually there is no contradiction, due to the presence of Gn whose amount grows negatively for negative n values, which returns the above equation to the expected form. In fact the original charge equation has electron-hole symmetry for the case \(\mu =0\) which should result to an electron-hole symmetric form of Pn. Our approximation (considering Gn as a constant) violated this symmetry. Re-considering this quantity as a dynamical variable retains the mentioned symmetry. It is also notable that the second term in the exponent \((\tfrac{\mu }{\hslash S{v}_{F}})\) has been inserted due to some symmetry considerations and the above equation satisfies the original equation of Pn.

In the above equation, the effects of disorder and interaction and μ have been actually coded in ζ′. Large amounts of \({\zeta ^{\prime} }^{-1}\sim \tfrac{{r}_{s}{n}_{i}^{2}}{G}\) results to a very large charge fluctuations, showing that the interaction and the disorder favor small deviations from mean density, whereas G favors large charge fluctuations. To see how G controls the charge fluctuations, we note that the limit \(\mu \to 0\) (zero-gated graphene) has a direct effect on G. In fact μ controls 〈n〉 which directly affects \(\int \,{d}^{2}{\bf{r}}^{\prime} \frac{n({\bf{r}}^{\prime} )}{|{\bf{r}}-{\bf{r}}^{\prime} {|}^{2}}\) which is G. In the limit \(\mu \to 0\), we expect that G becomes vanishingly small, so that \(\zeta {^{\prime} }^{-1}\to \infty \) implying large scale density fluctuations, which in turn leads to EHPs.

The total solution of Eq. 16 is \({P}_{n}={P}_{n}^{{\rm{large}}\,\zeta ^{\prime} }f(n)\), in which:

$$\begin{array}{l}f(n)\equiv \frac{{n}^{\frac{1}{2}\zeta ^{\prime} {\rm{\Omega }}\mathrm{sgn}(n)\sqrt{\pi |n|}}}{|n|}{(1-{r}_{s}\beta ({\rm{sgn}}(n)-\mathrm{ln}\frac{4{k}_{c}}{\sqrt{4\pi |n|}}))}^{2}\end{array}$$
(18)

In the above equation \({P}_{n}^{{\rm{large}}\,\zeta ^{\prime} }\) is the solution 17. As stated above, this solution is reliable for intermediate values of carrier density. To see the limitations of this solution, let us mention that the TFD solutions are valid only when \(\frac{|\nabla n({\bf{r}})|}{n({\bf{r}})}\ll {k}_{F}({\bf{r}})=\sqrt{\pi |n({\bf{r}})|}\). Approximating \(|{\overrightarrow{\chi }}_{n}|\sim {G}_{n}\sim n\), we find that \({r}_{s}{F}_{n}\ll {n}^{\frac{1}{2}}\). In Fig. 3a we have shown a plot which compares rsFn and \(\sqrt{n}\) for \(\beta =1\), \({r}_{s}=1\) and \(\frac{4{k}_{c}}{\sqrt{4\pi }}=1\). We see that the validity of the solution 18 is limited. Therefore for very high densities we do not expect that the one-body probability density be of the form 18. By the similar argument, we see that this solution is not the exact solution for \(n\to 0\) limit. In the Fig. 3b we have shown \({P}_{n}^{{\rm{large}}\,\zeta ^{\prime} }\) and Pn for positive ns for \(\mu =0\). Both of these functions have decreasing behavior in terms of the carrier density. In the case \(\zeta ^{\prime} \to \infty \), Pn approaches continuously to \({P}_{n}^{{\rm{large}}\,\zeta ^{\prime} }\) which admits larger carrier densities that is consistent with larger mean densities 〈n〉. Before closing this section, let us turn to calculating the compressibility (κ). Knowing that the compressibility is proportional to 〈n2〉 − 〈n2 we can easily do the integrals and show that, for the un-gated intrinsic graphene \(\mu =0\), \(\kappa \propto \zeta {^{\prime} }^{-6}\). This shows that in the limit 〈n〉 → 0, \(\kappa \to \infty \) (since \(G\propto \langle n\rangle \)) for which a transition is possible. Based on these observations, one may conclude that this transition is the formation of EHP landscapes.

Figure 3
figure 3

(a) A comparison between rsFn and \(\sqrt{n}\) to see the validity region of the solution. (b) Log-log plot of the solutions \({P}_{n}^{{\rm{large}}\,\zeta ^{\prime} }\) and Pn in a valid range.

Two-body probability density

In this section we consider a two-body functional. i.e. \(f({\bf{r}},{\bf{r}}^{\prime} )\equiv \langle f(n({\bf{r}}),n({\bf{r}}^{\prime} ))\rangle \). As stated in previous sections, \(f({\bf{r}},{\bf{r}}^{\prime} )=\int \,dndn^{\prime} P(n,{\bf{r}};n^{\prime} ,{\bf{r}}^{\prime} )f(n,n^{\prime} )\). The infinitesimal change of f(r, r′) caused by the infinitesimal growth of the charge density is \(d{f}_{{\bf{r}},{\bf{r}}{\boldsymbol{^{\prime} }}}\equiv \langle f(n({\bf{r}})+dn,n({\bf{r}}^{\prime} ))\rangle -\langle f(n({\bf{r}}),n({\bf{r}}^{\prime} ))\rangle \). According to the previous section we have:

$$\begin{array}{rcl}d{f}_{{\bf{r}},{\bf{r}}^{\prime} } & = & \langle [-{r}_{s}{F}_{n}(d{\chi }_{\rho }(d)+\frac{1}{2}d{\chi }_{n}(0))]\,\frac{\partial }{\partial n({\bf{r}})}f(n({\bf{r}}),n({\bf{r}}^{\prime} ))\rangle \\ & & +\,\langle [\frac{{r}_{s}^{2}}{2}{F}_{n}^{2}{(d{\chi }_{\rho })}^{2}]\frac{{\partial }^{2}}{{\partial }^{2}n({\bf{r}})}f(n({\bf{r}}),n({\bf{r}}^{\prime} ))\rangle .\end{array}$$
(19)

Just like the calculations of the previous section we write (setting \(\langle d{\chi }_{\rho }\rangle =0\) and defining \(n\equiv n({\bf{r}})\), \(n^{\prime} \equiv n({\bf{r}}^{\prime} )\), \({P}_{n,n^{\prime} }({\bf{r}},{\bf{r}}^{\prime} )\equiv P(n,{\bf{r}};n^{\prime} ,{\bf{r}}^{\prime} )\)):

$$d{f}_{{\bf{r}},{\bf{r}}^{\prime} }=\int \,{\rm{d}}n{\rm{d}}n^{\prime} [-{r}_{s}{F}_{n}d{\chi }_{n}{\partial }_{n}{f}_{n,n^{\prime} }+\frac{{r}_{s}^{2}}{2}{F}_{n}^{2}{(d{\chi }_{\rho })}^{2}{\partial }_{n}^{2}{f}_{n,n^{\prime} }]\,{P}_{n,n^{\prime} }({\bf{r}},{\bf{r}}^{\prime} ).$$
(20)

from which, after iteration by parts and symmetrization and using also the definition \(d{f}_{{\bf{r}},{\bf{r}}^{\prime} }\equiv \int \,{\rm{d}}n{\rm{d}}n^{\prime} d{P}_{n,n^{\prime} }({\bf{r}},{\bf{r}}^{\prime} ){f}_{n,n^{\prime} }\), we reach at the master equation for Pn,n:

$$\frac{{\rm{d}}}{{\rm{d}}r}{P}_{n,n^{\prime} }({\bf{r}},{\bf{r}}^{\prime} )={\partial }_{n}{J}_{n,n^{\prime} }({\bf{r}},{\bf{r}}^{\prime} )+{\partial }_{n^{\prime} }{J}_{n^{\prime} ,n}({\bf{r}},{\bf{r}}^{\prime} )$$
(21)

in which:

$${J}_{n,n^{\prime} }({\bf{r}},{\bf{r}}^{\prime} )\equiv \frac{{r}_{s}}{4}({F}_{n}{P}_{n,n^{\prime} }({\bf{r}},{\bf{r}}^{\prime} )\frac{d{\chi }_{n}}{dr}+{r}_{s}{\partial }_{n}({F}_{n}^{2}{P}_{n,n^{\prime} }({\bf{r}},{\bf{r}}^{\prime} ))\frac{{({\rm{d}}{\chi }_{\rho })}^{2}}{{\rm{d}}r}).$$
(22)

In the previous section we have calculated \({\rm{d}}{\chi }_{n}\) and \({({\rm{d}}{\chi }_{\rho })}^{2}\) to be respectively \(\frac{{G}_{n}}{\sqrt{2}}{\rm{d}}r\) and \(\frac{\pi d{n}_{i}^{2}}{2\sqrt{2}}{\rm{d}}r\), leading to the relation (\({P}_{n,n^{\prime} }\equiv {P}_{n,n^{\prime} }({\bf{r}},{\bf{r}}^{\prime} )\) and \({J}_{n,n^{\prime} }\equiv {J}_{n,n^{\prime} }({\bf{r}},{\bf{r}}^{\prime} )\)):

$${J}_{n,n^{\prime} }=\frac{{r}_{s}}{4{\zeta }_{0}\sqrt{2}}{F}_{n}^{2}[(\zeta \frac{{G}_{n}}{{F}_{n}}+2{\partial }_{n}\,\mathrm{ln}\,{F}_{n}){P}_{n,n^{\prime} }+{\partial }_{n}{P}_{n,n^{\prime} }].$$
(23)

Let us consider the case \({r}_{s}\to 0\) or \({n}_{i}\to 0\), for which \({F}_{n}\approx \frac{2}{\sqrt{\pi }}{\rm{sgn}}(n)\sqrt{n}\) and Gn ≈ constant. To facilitate the procedure we restrict the calculations to positive densities (so that \({\rm{sgn}}(n)\sqrt{|n|}=\sqrt{n}\)), having in mind that the same calculations should be done for negative densities (for which a minus sign is necessary). In this case ζ become very large and we have:

$$\begin{array}{rcl}\frac{{\rm{d}}}{{\rm{d}}r}P & = & \alpha [{\partial }_{n}(\sqrt{n}P)+{\partial }_{n^{\prime} }(\sqrt{n^{\prime} }P)]\\ & & +\,\gamma [{\partial }_{n}(n{\partial }_{n}P)+{\partial }_{n^{\prime} }(n^{\prime} {\partial }_{n^{\prime} }P)]\end{array}$$
(24)

in which \(\alpha \equiv {r}_{s}G/2\sqrt{2\pi }\) and \(\gamma \equiv \frac{2}{\sqrt{\pi }}\frac{\alpha }{\zeta ^{\prime} }=\frac{{r}_{s}}{{\zeta }_{0}\sqrt{2}\pi }=\frac{d{n}_{i}^{2}{r}_{s}^{2}}{2\sqrt{2}}\). We try the solution \({P}_{n,n^{\prime} }={e}^{-\zeta ^{\prime} (\sqrt{\pi n}+\sqrt{\pi n^{\prime} })}{P}_{0}(r,n,n^{\prime} )\). Using this relation and the fact that \(\sqrt{n}{e}^{-\zeta ^{\prime} \sqrt{\pi n}}{P}_{0}=-\,\frac{2}{\sqrt{\pi }}\frac{n}{\zeta ^{\prime} }{\partial }_{n}({e}^{-\zeta ^{\prime} \sqrt{\pi n}}{P}_{0})\) + \(\frac{2}{\sqrt{\pi }}\frac{n}{\zeta ^{\prime} }{e}^{-\zeta ^{\prime} \sqrt{\pi n}}{\partial }_{n}{P}_{0}\) we find that P0 satisfies the following equation:

$${\partial }_{R}{P}_{0}={e}^{\zeta \sqrt{\pi x}}{\partial }_{x}({e}^{-\zeta \sqrt{\pi x}}x{\partial }_{x}{P}_{0})+x\leftrightarrow x^{\prime} .$$
(25)

in which \(R\equiv \frac{\alpha }{{n}_{i}\zeta ^{\prime} }r\), \(x\equiv \frac{n}{{n}_{i}}\), \(x^{\prime} \equiv \frac{n^{\prime} }{{n}_{i}}\) and \(\zeta \equiv \zeta ^{\prime} \sqrt{{n}_{i}}\) are the dimensionless parameters. To solve this equation we consider P0 to be composed of two parts, i.e. \({P}_{0}\equiv {P}_{0x}(\chi ){P}_{0x^{\prime} }(\eta )\) in which \(\chi \equiv \frac{x}{R}\) and \(\eta \equiv \frac{x^{\prime} }{R}\). Then we obtain two linear differential equations as follows:

$$\begin{array}{rcl}\chi {P^{\prime\prime} }_{0x}+(1+\chi -\frac{\zeta \sqrt{\pi R}}{2}\sqrt{\chi })\,{P^{\prime} }_{0x}+\lambda {P}_{0x} & = & 0\\ \eta {P^{\prime\prime} }_{0x^{\prime} }+(1-\eta +\frac{\zeta \sqrt{\pi R}}{2}\sqrt{\eta })\,{P^{\prime} }_{0x^{\prime} }+\lambda {P}_{0x^{\prime} } & = & 0\end{array}$$
(26)

in which \({P}_{0x}^{^{\prime\prime} }\equiv {\partial }_{\chi }^{2}{P}_{0x}\) and so on, and λ is an arbitrary real number required in the separation of variables method. This form is not completely a factorized form since, as is seen the equations are not independent due to the presence of the common factor R. The second equation has been written in a form which is more suitable for our analysis. The initial form has been \(\eta {P}_{0x}^{^{\prime\prime} }+(1+\eta -\tfrac{\zeta \sqrt{\pi R}}{2}\sqrt{\eta }){P}_{0x}^{^{\prime} }-\lambda {P}_{0x}=0\), and we have used the reflection symmetry \(\eta \to -\,\eta \) (note that \(\sqrt{\eta }\) has been \({\rm{sgn}}(\eta )\sqrt{|\eta |}\) which changes sign under the mentioned operation). This means that we have two types of solution which is important in our analysis. For a while we suppose that \(x > x^{\prime} \) and seek for the solution of the above equation. Let us consider the limit of very small distances, namely \(\alpha r\ll \sqrt{n}\) for which one can safely ignore \(\zeta \sqrt{\chi }\) in the first equation and \(\zeta \sqrt{\eta }\) in the second equation with respect to the other terms. The general solution of the equation \(\chi {P}_{0x}^{^{\prime\prime} }+\chi {P}_{0x}^{^{\prime} }+\lambda {P}_{0x}=0\) and the same for P0x is hypergeometric and s:

$$\begin{array}{rcl}{P}_{0x}(\chi ) & = & {A}_{\lambda }\chi {}_{1}F_{1}(1+\lambda ,2,-\,\chi )+{B}_{\lambda }{G}_{1,2}^{2,0}(\chi |\begin{array}{c}1-\lambda \\ 0,1\end{array})\\ {P}_{0x^{\prime} }(\eta ) & = & {A^{\prime} }_{\lambda }\eta {}_{1}F_{1}(1-\lambda ,2,\eta )+{B^{\prime} }_{\lambda }{G}_{1,2}^{2,0}(-\eta |\begin{array}{c}1+\lambda \\ 0,1\end{array})\end{array}$$
(27)

in which 1F1\((a;b;-\,\chi )\) is the Kummer confluent hypergeometric function and \({G}_{p,q}^{m,n}(\chi |\begin{array}{c}{a}_{1},\ldots ,{a}_{p}\\ {b}_{1},\ldots ,{b}_{q}\end{array})\) is the Meijer G function48, and Aλ, Bλ, \({A^{\prime} }_{\lambda }\) and \({B^{\prime} }_{\lambda }\) are some constants to be determined by the boundary conditions. For λ = 0, \({}_{1}\,{F}_{1}(1+\lambda ,2,-\,\chi )={\chi }^{-1}(1-{e}^{-\chi })\) and \({G}_{1,2}^{2,0}(\chi |\begin{array}{c}1-\lambda \\ 0,1\end{array})={e}^{-\chi }\), and for \(\lambda =1\), 1F1\((1+\lambda ,2,-\,\chi )={G}_{1,2}^{2,0}\)\((\chi |\begin{array}{c}1-\lambda \\ 0,1\end{array})=\chi {e}^{-\chi }\). These functions for λ = 0, 1 and 2 have been shown in Fig. 4a. To decide about the solutions we note that as \(r\to \infty \) (\(\chi \to 0\)) the statistics of two disjoint parts become independent and we expect \({P}_{0x}(\chi \to 0)\to 1\). In the opposite limit, for \(r\to 0\) (\(\chi \to \infty \)) \({P}_{n,n^{\prime} }\to \delta (n-n^{\prime} )\), so that for \(n\ne n^{\prime} \), \({P}_{n,n^{\prime} }\to 0\) in this limit, i.e. \({P}_{0x}(\chi \to \infty )\to 0\). These properties are only satisfied for \({{G}_{1,2}^{2,0}(\chi |\begin{array}{c}1-\lambda \\ 0,1\end{array})|}_{\lambda =0}\), showing that all \({A}_{\lambda }={A^{\prime} }_{\lambda }=0\) for all λ’s and \({B}_{\lambda }={B^{\prime} }_{\lambda }=0\) for \(\lambda \ne 0\). Noting that for λ = 0 \({G}_{1,2}^{2,0}(\chi |\begin{array}{c}1-\lambda \\ 0,1\end{array})={e}^{-\chi }\) and \({G}_{1,2}^{2,0}(-\eta |\begin{array}{c}1+\lambda \\ 0,1\end{array})={e}^{\eta }\) we see that \({P}_{0}\propto \exp [-\frac{x-x^{\prime} }{R}]\) for \(x > x^{\prime} \). The same solution can be done for the case \(x^{\prime} > x\) with interchanging the roles of x and x′. This shows that Pn,n has the following important behavior:

$${P}_{n,n^{\prime} }=A{P}_{x}^{{\rm{large}}\,\zeta }{P}_{x^{\prime} }^{{\rm{large}}\,\zeta }\,\exp \,[-\sqrt{\frac{2}{\pi }}\frac{4}{d{n}_{i}{r}_{s}^{2}}\frac{|x-x^{\prime} |}{r}]$$
(28)

in which A is some constant to be determined by normalization of P and \({P}_{x}^{{\rm{large}}\,\zeta }\) and \({P}_{x^{\prime} }^{{\rm{large}}\,\zeta }\) are the solutions of Eq. 17, i.e. one-body distribution functions. It is interestingly seen that for the limit \(r\to \infty \) (which is beyond the approximation which was assumed above) this solution reduces to a factorized form of Eq. 17 which is expected since in this limit the particles behave as disjoint independent particles and the two-body distribution function should be multiplication of two one-body distribution function. The other important limit is \(r\to 0\), for which the factor \({e}^{-\frac{x-x^{\prime} }{R}}\) guarantees that in this limit Pn,n tends to zero except for the case \(x=x^{\prime} \) as expected.

Figure 4
figure 4

(a) The plot of Kummer confluent hypergeometric and the Meijer G functions for various λ’s. Higher λ functions have some nodes which is forbidden. (b) The plot of \({G}_{x}(R)/{G}_{x}(R=0)\) in terms of R for various rates of ζ. Inset: The same plot in the semi-logarithmic form in which the −\(\tfrac{1}{3}\) is evident. (c) The log-log plot of δ in terms of ζ. Inset: The log-log plots of Gx(Rmax) and Rmax in terms of ζ. The power-law behaviors are evident in all of these graphs.

A very important quantity is the density-density correlation function \(G(r)=\langle n(r)n(0)\rangle \) which, as stated in the previous sections has very important information about the density response of the system to an external potential. It can easily be seen that the density-density correlation function is obtained to be \(G(r)={n}_{i}^{2}\langle x(r)x(0)\rangle \equiv {n}_{i}^{2}{G}_{x}(R)\), in which:

$${\langle x(r)x(0)\rangle |}_{\zeta }=\frac{{\int }_{-\infty }^{\infty }\,dx\,{\int }_{0}^{\infty }\,dUx(x-RU)I(\zeta ,x,U,R)}{{\int }_{-\infty }^{\infty }\,dx\,{\int }_{0}^{\infty }\,dUI(\zeta ,x,U,R)}$$

in which \(I(\zeta ,x,U,R)\equiv {e}^{-\zeta ({\rm{sgn}}(x)\sqrt{\pi |x|}+{\rm{sgn}}(x-RU)\sqrt{\pi |x-RU|})}{e}^{-U}\) and we have used the new variable \(U\equiv \frac{x-x^{\prime} }{R}\). We have evaluated numerically this integral using the iterative integration method with summation steps \(\delta U=\delta x=0.001\) and precision ratio 10−5 in each direction (one for the U-direction and another for n-direction). The result has been shown in Fig. 4b in which \(\frac{{G}_{x}(R)}{{G}_{x}({R}_{{\rm{\max }}})}\) has been sketched for various rates of ζ (Rmax is the amount of R in which Gx(R) shows a peak). It can be shown that \({G}_{x}(R=0)\sim {\zeta }^{-6}\) as stated in the end of the previous section. This function tends to zero as \(R\to \infty \) as expected. Gx(R) has some interesting features. Firstly the tail of this function (for large R’s) behaves in a logarithmic fashion. To show this we have shown \({G}_{x}(R)\)/\({G}_{x}({R}_{{\rm{mean}}})\) in terms of re-scaled R/Rmean in a semi-logarithmic graph in the inset of Fig. 4b for which a −\(\tfrac{1}{3}\) slope is evident. Except for small ζs (ζ = 1 in this graph), the graphs fit properly to each other with a nearly the same slope. Clearly this behavior can’t remain for very large Rs, since Gx(R) should be positive in all R range. The logarithmic behavior in graphene has been observed in many aspects, e.g. the logarithmic enhancement of Fermi velocity39, or exchange-driven singularity in the Fermi velocity in intrinsic graphene49, but up to the author’s knowledge such a behavior in two-point correlation functions has not been reported before. The logarithmic behavior is the characteristics of free Boson systems that our effective model for intermediate spatial scales corresponds to. The other feature of Gx(R) is the narrowing of its peak as ζ increases, and that Rmax and Gx(Rmax) are decreasing functions of ζ. The change of these quantities has been shown in the Fig. 4c. It is interestingly seen that these quantities show some clean power-law behaviors in terms of ζ. The power-law behavior arises from the scale-invariance of the TFD equation which was analyzed at the end of SEC. 1. To characterize the behavior of Gx(R) let us analyze the width of the Gx(R) defined by \(\delta \equiv {R}_{2}-{R}_{1}\) in which \({G}_{x}({R}_{1})={G}_{x}({R}_{2})={e}^{-1}{G}_{x}({R}_{{\rm{\max }}})\), and also Gx(Rmax) and Rmax in terms of ζ. The behaviors are \(\delta \sim {\zeta }^{-{\tau }_{\delta }}\), \({G}_{x}({R}_{{\rm{\max }}})\sim {\zeta }^{-{\tau }_{G}}\) and \({R}_{{\rm{\max }}}\sim {\zeta }^{-{\tau }_{R}}\) in which \({\tau }_{\delta }\approx 1.89\), \({\tau }_{G}\approx 2.1\) and \({\tau }_{R}\approx 3.6\approx 2{\tau }_{\delta }\), which arises to the hyper-scaling relation:

$$\delta \sim {R}_{{\rm{\max }}}^{\frac{1}{2}}.$$
(29)

In the limit in which the interaction is strong enough and (or) the fraction 〈x〉 is small enough, i.e. ζ is small, Rmax becomes large and therefore δ increases unboundedly which leads to large density inhomogeneity, i.e. formation of EHPs.

The other important quantity is the Fourier transform of Gx(R), i.e. G(q) which is shown to be:

$$\begin{array}{rcl}{\rm{Re}}[G(q)] & = & 2\pi {n}_{i}^{2}{(\frac{\zeta ^{\prime} {n}_{i}}{\alpha })}^{2}\,{\int }_{0}^{\infty }\,dRR{J}_{0}(\tilde{q}R){G}_{x}(R)\\ & = & \frac{32}{\pi {d}^{2}{r}_{s}^{4}}\tilde{G}(\tilde{q})\end{array}$$
(30)

in which Jn(x) is the Bessel function of the first kind, \(\tilde{q}\equiv \frac{{n}_{i}\zeta ^{\prime} }{\alpha }q\) and \(\tilde{G}(\tilde{q})\equiv 2\pi \,{\int }_{0}^{\infty }\,dRR{J}_{0}\,(\tilde{q}R)\,{G}_{x}(R)\). Note that the imaginary part of G(q) vanishes. The presence of disorder induces a characteristic wave vector \({q}_{{\rm{ch}}}\equiv \frac{\alpha }{{n}_{i}\zeta ^{\prime} }\) (so that \(\tilde{q}=\tfrac{q}{{q}_{{\rm{ch}}}}\)), which implies that \(\frac{{q}_{{\rm{ch}}}}{{k}_{F}}\approx \sqrt{\frac{G}{2}}\frac{{r}_{s}}{2\pi {n}_{i}\zeta ^{\prime} }\). In this relation we have used \({k}_{F}=\sqrt{\pi \langle n\rangle }\) and \(G\approx \langle n\rangle \). \({\rm{Re}}\,[\tilde{G}(\tilde{q})]/\tilde{G}(\tilde{q}=0)\) has been sketched in Fig. 5a for various rates of ζ in a semi-logarithmic scale. For large ζ values this function is nearly constant for small values of \(\tilde{q}\) and starts to falling off rapidly at some q value which we name q0. For q values in the order of (and larger than) qch, we enter the phase in which \({\rm{Re}}\,[G(q)]/G(q=0)\) is vanishingly small. q0 is ζ-dependent and increases as ζ increases. It is interestingly seen that \(G(q=0)\) and q0 show power-law behaviors in terms of ζ with exponents shown in the figure, i.e. \({\alpha }^{2}\tilde{G}(q=0)\sim {\zeta }^{-{\tau }_{\tilde{G}}}\) and \({\alpha }^{-1}{q}_{0}\sim {\zeta }^{{\tau }_{q}}\) in which \({\tau }_{\tilde{G}}\approx 9/2\) and \({\tau }_{q}\approx 1/2\).

Figure 5
figure 5

(a) The semi-log plot of \(\tilde{G}(\tilde{q})/\tilde{G}(\tilde{q}=0)\). In this graph q0 is defined as the point above which the graph falls off rapidly. (b) The power-law behavior of \({\alpha }^{2}G(q=0)\) in terms of ζ with the exponent \(\tfrac{9}{2}\). Inset: The log-log plot of \({\alpha }^{-1}{q}_{0}\) in terms of ζ with the exponent \(\tfrac{1}{2}\). (c) The real-space screened potential which is deformed significantly for smaller ζ’s. For \(\zeta \lesssim 3\) the potential becomes negative for some R intervals which is the finger print of some instability. Inset: The semi-log plot of the Fourier component of the screened potential. The potential if deformed most significantly for small q’s and is magnified for smaller ζ’s, showing that this deformation is disorder-driven. (d) The real-space screening of charge impurity and its oscillatory behavior for small ζ’s. The right inset shows the screening at R = 0. It is seen that for \(\zeta \simeq 3\) changes sign which signals the screening-anti-screening transition. The average wave length of the oscillatory behavior has been shown in the left inset.

To understand where these power-law behaviors come from, we should look at the main equation of n(r), i.e. Eq. 7. This behavior has its roots in the scale invariance of this equation (to see this symmetry let \({\bf{r}}\to \lambda {\bf{r}}\) and \(n({\bf{r}})\to {\lambda }^{-2}n({\bf{r}})\) which yields the same equation with a renormalized logarithmic-enhanced coefficient) which cause a scale symmetry in Eq. 28. In fact if we do the transformations \(\zeta \to {\lambda }^{-1}\zeta \), \(x\to {\lambda }^{2}x\) and \(R\to {\lambda }^{2}R\), then we see that \({G}_{x}(r)\to {\lambda }^{4}{G}_{x}(r)\).

The effect of G(q) on the screened potential is very interesting. The Fourier component of the screened potential (vsc(q)) in long wave lengths (small q with respect to qch) is crucially changed, so that \({v}_{{\rm{sc}}}(q\to 0)\to 0\), whereas the form of vsc is not changed with respect to the bare interaction potential for large and intermediate wave numbers. It has been shown in the inset of Fig. 5c from which it is seen that all curves are fitted to 1/q for large q’s. The cross-over between these two behaviors occur in some q interval. It is seen that there is a characteristic q there (the peak), which results to some oscillations in the real space. The potential in the real space v(R) has some interesting features. For large R’s and large ζ’s this quantity falls off just like the bare potential, i.e. 1/R with some oscillations which is evident in Fig. 5c (which results from the peak in the Fourier component). In the small R limit the potential tends to a constant value, which cause \(v(R=0)\) to be finite. We see that as ζ increases, \(v(R=0)\) also increases, as expected for the free system. Inversely, when ζ decreases (\(\zeta \lesssim 3.5\)) the behaviors change crucially as is seen in the figure and becomes negative in some R intervals, signaling the instability of the Dirac gas. We think that this signals the EHP phase in which the density fluctuations become larger than the average density. This change of behavior can also be seen in the response function \(\delta n(R)\equiv -\,\int \,{d}^{2}q{v}_{{\rm{sc}}}(q)G(q)\) which has been shown in Fig. 5d. In the right inset −\(\delta n(R=0)\) has been shown in terms of ζ, from which a screening-anti-screening transition is observed for \(\zeta \sim 3.5\). This corresponds to the change of potential sign, as explained above. An oscillatory behavior appears with the wave length λaverage shown in the left inst of this figure for small ζs. The corresponding wave numbers are consistent with the ones for which the potential vsc(q) shows a peak. The emergent oscillatory behavior is the effect of characteristic wave number for which the screened potential shows peak.

Before closing this section, it is worth mentioning some points concerning the form of G(q). It is well-known that for zero temperature case the polarization given by the RPA for mono-layer garphene is constant for \(q < 2{k}_{F}\) and increases nearly linearly for \(q > 2{k}_{F}\). This is in sharp contrast to the ordinary two-dimensional electron gas (2DEG) in which for \(q > 2{k}_{F}\), it is a decreasing function of q with a discontinuity in the derivative at \(q=2{k}_{F}\)5. G(q) (as the contribution of the second term in Fig. 1) shows actually an opposite behavior with the other reference point qch which is more similar to the behavior of ordinary 2DEG. Therefore one may be interested in the case in which the second term dominates the first term in Fig. 1, which cause the graphene to behave like ordinary 2DEG. This may be possible for small enough ζs (strong interactions, strong disorder and small densities) for which \(G(q=0)\) is larger and electron-hole puddles are present. The total information concerning the two-body charge density distribution function has been gathered in Table 1.

Table 1 The critical exponents of graphene related to the two-body charge density distribution function with their definitions.

The charge probability measure

In this section we seek for the equation governing P({n}) which is the probability measure for the charge configuration {n}. This function actually depends not only to n configuration, but also to its gradient: \(P(\{n\})\equiv P(\{n\},\{\nabla n\})\). But as we will see the dependence to the local charges is enough when we are looking at the large carrier densities. Let us suppose that f is an arbitrary local or non-local smooth function of the density n, i.e. \({f}_{{{\bf{r}}}_{0}}=\int \,{d}^{2}{\bf{r}}f(n({\bf{r}}),n({{\bf{r}}}_{0}))g({\bf{r}},{{\bf{r}}}_{0})\) in which r0 is some reference point. Without loose of generality we set \(g\equiv 1\) to facilitate the calculations, having in mind that there is some reference point from which the positions are calculated. Using the the equations of SEC 1, it can therefore be expanded in terms n (defining \({f}_{{{\bf{r}}}_{0}}(n({\bf{r}}))\equiv f(n({\bf{r}}),n({{\bf{r}}}_{0}))\) and \(dn({\bf{r}})=n({\bf{r}}+d{\bf{r}})-n({\bf{r}})\)):

$$\begin{array}{rcl}d{f}_{{{\bf{r}}}_{0}}(n) & \equiv & \int \,{d}^{2}{\bf{r}}[{f}_{{r}_{0}}(n({\bf{r}})+dn({\bf{r}}))-{f}_{{{\bf{r}}}_{0}}(n({\bf{r}}))]\\ & \equiv & \int \,{d}^{2}{\bf{r}}[{f}_{{{\bf{r}}}_{0}-d{\bf{r}}}(n({\bf{r}}))-{f}_{{{\bf{r}}}_{0}}(n({\bf{r}}))]\\ & = & \int \,{d}^{2}{\bf{r}}[{\partial }_{n}{f}_{{r}_{0}}(n({\bf{r}}))dn({\bf{r}})+\frac{1}{2}{\partial }_{n}^{2}\,{f}_{{{\bf{r}}}_{0}}({\bf{r}})dn{({\bf{r}})}^{2}]\\ & = & \int \,{d}^{2}{\bf{r}}[-{r}_{s}{F}_{n}(d{\chi }_{\rho }(d)+\frac{1}{2}d{\chi }_{n}(0))]\,{\partial }_{n}\,{f}_{{{\bf{r}}}_{0}}(n({\bf{r}}))\\ & & +\,\int \,{d}^{2}{\bf{r}}[\frac{{r}_{s}^{2}}{2}{F}_{n}^{2}{(d{\chi }_{\rho })}^{2}]\,{\partial }_{n}^{2}\,{f}_{{{\bf{r}}}_{0}}(n({\bf{r}}))\end{array}$$
(31)

where in the second line we have used the fact that \({\bf{r}}\to {\bf{r}}+d{\bf{r}}\) is equivalent to \({{\bf{r}}}_{0}\to {{\bf{r}}}_{0}-d{\bf{r}}\) due to homogeneity of the system (of course after averaging over disorder). We can calculate the probability measure of the density, noting that the average value of f should not depend on r0 due to homogeneity of the system. To do averages let us define \(D[n]\equiv {\prod }_{{\bf{r}}}\,dn({\bf{r}})\). The change of the average, due to changing the origin is:

$$\begin{array}{rcl}{\rm{d}}\langle {f}_{{{\bf{r}}}_{0}}\rangle & \equiv & d\,\int \,{d}^{2}{\bf{r}}\,\int \,D[n]P(\{n\}){f}_{{{\bf{r}}}_{0}}(n({\bf{r}}))\\ & = & \int \,{d}^{2}{\bf{r}}\,\int \,D[n]P(\{n\}){\rm{d}}{f}_{{{\bf{r}}}_{0}}(n({\bf{r}}))\\ & = & \int \,{d}^{2}{\bf{r}}\langle [-{r}_{s}{F}_{n}({\rm{d}}{\chi }_{\rho }+\frac{1}{2}{\rm{d}}{\chi }_{n})]{\partial }_{n}f+\frac{{r}_{s}^{2}}{2}{F}_{n}^{2}{(d{\chi }_{\rho })}^{2}{\partial }_{n}^{2}\,f\rangle \end{array}$$
(32)

Noting again that \(\langle d{\chi }_{\rho }=0\rangle \), and representing the averages as the integrals over probability measures, and doing integration by parts, we reach at:

$$\begin{array}{rcl}d\langle f\rangle & = & \frac{{r}_{s}}{2}\,\int \,{d}^{2}{\bf{r}}\,\int \,dn({\bf{r}})[{\partial }_{n}[{F}_{n}P(\{n\})d{\chi }_{n}]\\ & & +\,\frac{{r}_{s}^{2}}{2}{\partial }_{n}^{2}[{f}_{n}^{2}P(\{n\}){(d{\chi }_{\rho })}^{2}]]f(n({\bf{r}}))\end{array}$$
(33)

Let us return to the Eq. 16 and for convenience define again the used functions as follows:

$$\begin{array}{rcl}\frac{\delta P(\{n\})}{\delta n({\bf{r}})} & = & -(\zeta \frac{{G}_{n}({\bf{r}})}{{F}_{n}({\bf{r}})}+2{\partial }_{n}\,\mathrm{ln}\,{F}_{n}({\bf{r}}))\,P(\{n\})\\ {G}_{n}({\bf{r}}) & = & \int \,{d}^{2}{\bf{r}}^{\prime} \frac{n({\bf{r}}^{\prime} )}{|{\bf{r}}-{\bf{r}}^{\prime} {|}^{2}}\\ {F}_{n}({\bf{r}}) & = & B\frac{{\rm{sgn}}(n({\bf{r}}))\sqrt{|n({\bf{r}})|}}{1-{\rm{\Omega }}({\rm{sgn}}(n({\bf{r}}))+\frac{1}{2}\,\mathrm{ln}(A|n({\bf{r}})|))}\end{array}$$
(34)

in which \(A\equiv \frac{4\pi }{{(4{k}_{c})}^{2}}\), \(B\equiv \frac{2}{\sqrt{\pi }}\) and \({\rm{\Omega }}\equiv {r}_{s}\beta \). Now let us try the solution:

$$P(\{n\})=\exp [-\frac{1}{{d}^{2}}\,\int \,{d}^{2}{\bf{r}}^{\prime} {d}^{2}{\bf{r}}^{\prime\prime} \frac{n({\bf{r}}^{\prime} )n({\bf{r}}^{\prime\prime} )}{|{\bf{r}}^{\prime} -{\bf{r}}^{\prime\prime} {|}^{2}}H({\bf{r}}^{\prime} ,{\bf{r}}^{\prime\prime} )]$$
(35)

in which \(H({\bf{r}}^{\prime} ,{\bf{r}}^{\prime\prime} )\) depends on r′ and r″ via the densities, i.e. \(H({\bf{r}}^{\prime} ,{\bf{r}}^{\prime\prime} )\equiv H(n({\bf{r}}^{\prime} ),n({\bf{r}}^{\prime\prime} ))\). We obtain:

$$\begin{array}{rcl}\frac{\delta P(\{n\})}{\delta n(r)} & = & -\,\int \,{d}^{2}{\bf{r}}^{\prime} [\frac{2n({\bf{r}}^{\prime} )}{|{\bf{r}}^{\prime} -{\bf{r}}{|}^{2}}H({\bf{r}}^{\prime} ,{\bf{r}})\\ & & +\,\frac{n({\bf{r}}^{\prime} )n({\bf{r}})}{|{\bf{r}}^{\prime} -{\bf{r}}{|}^{2}}\frac{\delta }{\delta n({\bf{r}})}H({\bf{r}},{\bf{r}}^{\prime} )]P(\{n\})\end{array}$$
(36)

in which we have used the symmetry \(H({\bf{r}},{\bf{r}}^{\prime} )=H({\bf{r}}^{\prime} ,{\bf{r}})\). The right hand side of the above equation should be equal to the right hand side of Eq. 34, i.e.

$$\begin{array}{l}-\,\int \,{d}^{2}{\bf{r}}^{\prime} [\frac{\zeta n({\bf{r}}^{\prime} )}{{F}_{n}({\bf{r}})|{\bf{r}}-{\bf{r}}^{\prime} {|}^{2}}+2\frac{\delta \,\mathrm{ln}\,{F}_{n}({\bf{r}}^{\prime} )}{\delta n({\bf{r}}^{\prime} )}\delta ({\bf{r}}-{\bf{r}}^{\prime} )]P(\{n\})\end{array}$$
(37)

Therefore defining \(n^{\prime} \equiv n({\bf{r}}^{\prime} )\), \(n\equiv n({\bf{r}})\), \(\eta \equiv |{\bf{r}}-{\bf{r}}^{\prime} {|}^{2}\), \({\partial }_{n}\equiv \frac{\delta }{\delta n({\bf{r}})}\), \(F\equiv {F}_{n}({\bf{r}})\), \(F^{\prime} \equiv {F}_{n}({\bf{r}}^{\prime} )\), \(s\equiv {\rm{sgn}}(n)\), \(s^{\prime} \equiv {\rm{sgn}}(n^{\prime} )\) and \(H\equiv H({\bf{r}},{\bf{r}}^{\prime} )\) we obtain:

$$\begin{array}{rcl}2{\eta }^{-1}n^{\prime} H+{\eta }^{-1}nn^{\prime} {\partial }_{n}H & = & {\eta }^{-1}\zeta \frac{n^{\prime} }{F}+2\delta ({\bf{r}}-{\bf{r}}^{\prime} ){\partial }_{n^{\prime} }\,\mathrm{ln}\,F^{\prime} \\ 2{\eta }^{-1}nH+{\eta }^{-1}nn^{\prime} {\partial }_{n^{\prime} }H & = & {\eta }^{-1}\zeta \frac{n}{F^{\prime} }+2\delta ({\bf{r}}-{\bf{r}}^{\prime} ){\partial }_{n}\,\mathrm{ln}\,F\end{array}$$
(38)

in which the second equation is obtained by \({\bf{r}}\leftrightarrow {\bf{r}}^{\prime} \) symmetry. Let us first consider the case \({\bf{r}}\ne {\bf{r}}^{\prime} \) for which we obtain \(2H+n{\partial }_{n}H=\zeta \frac{1}{F}\) and the same equation for \(n\leftrightarrow n^{\prime} \). By summing two terms we obtain:

$$H+\hat{L}H=\frac{\zeta }{4}{\rm{\Sigma }}$$
(39)

in which \(\hat{L}\equiv \frac{1}{4}(n{\partial }_{n}+n^{\prime} {\partial }_{n^{\prime} })\) and \({\rm{\Sigma }}\equiv {F}^{-1}+{F^{\prime} }^{-1}\). To continue some relations are essential, namely (\(\hat{L}({n}^{2}{n^{\prime} }^{2})={n}^{2}{n^{\prime} }^{2}\)):

$$\begin{array}{rcl}\frac{1}{4}{\rm{\Sigma }} & = & -2\hat{L}{\rm{\Sigma }}-\frac{{\rm{\Omega }}}{4}(\frac{1}{s\sqrt{|n|}}+\frac{1}{s^{\prime} \sqrt{|n^{\prime} |}})\\ \hat{L}({\rm{\Sigma }}) & = & -\frac{8}{7{n}^{2}{n^{\prime} }^{2}}\hat{L}({n}^{2}{n^{\prime} }^{2}{\rm{\Sigma }})-\frac{{\rm{\Omega }}}{7}(\frac{1}{s\sqrt{|n|}}+\frac{1}{s^{\prime} \sqrt{|n^{\prime} |}})\end{array}$$
(40)

which is used to re-write Eq. 39 in the following form:

$$\hat{L}(\hat{H})=f(n,n^{\prime} )$$
(41)

in which \(\hat{H}\equiv {n}^{2}{n^{\prime} }^{2}(H-\frac{2}{7}\zeta {\rm{\Sigma }})\) and \(f(n,n^{\prime} )\equiv \alpha {n}^{2}{n^{\prime} }^{2}(\tfrac{1}{s\sqrt{|n|}}+\tfrac{1}{s^{\prime} \sqrt{|n^{\prime} |}})\) and \(\alpha \equiv \tfrac{\zeta {\rm{\Omega }}}{28}\). The general solution of the above equation is as follows:

$$H=\frac{2\zeta }{7}[{\rm{\Sigma }}+\frac{{\rm{\Omega }}}{7}(\frac{1}{s\sqrt{|n|}}+\frac{1}{s^{\prime} \sqrt{|n^{\prime} |}})]+\frac{c}{{n}^{2}{n^{\prime} }^{2}}\hat{h}(\frac{n}{n^{\prime} })$$
(42)

in which \(\hat{h}\) is an arbitrary function having the property \(\hat{h}(x)=\hat{h}(\frac{1}{x})\) to restore the \(n\leftrightarrow n^{\prime} \) symmetry of H and c is some constant. It is simply seen that there is no choice but \(c=0\).

Now let us to turn to the Eq. 38. To satisfy these equations, one should have an asymmetric term to generate the delta function. Satisfying this discontinuity (which is proportional to \({\partial }_{n}\,\mathrm{ln}\,F(n)\)) is a difficult task and the inclusion of \(\nabla \)n is needed. Fortunately for the limit \({r}_{s}\to 0\) or \({n}_{i}\to 0\) we can neglect this term \((\zeta \tfrac{{G}_{n}({\bf{r}})}{{F}_{n}({\bf{r}})}\gg 2{\partial }_{n}\,\mathrm{ln}\,{F}_{n}({\bf{r}}))\) and the term corresponding to the discontinuity becomes very small. Therefore the above analysis is applicable and the final form of H for small densities is as follows:

$$\begin{array}{rcl}H({\bf{r}},{\bf{r}}^{\prime} ) & = & \frac{\sqrt{\pi }\zeta }{7}\frac{{\rm{sgn}}(n({\bf{r}}))}{\sqrt{|n({\bf{r}})|}}\\ & & \times \,[1+{\rm{\Omega }}(\frac{2}{7\sqrt{\pi }}-{\rm{sgn}}(n({\bf{r}}))+\,\mathrm{ln}\,\frac{4{k}_{c}}{\sqrt{4\pi |n({\bf{r}})|}})]\\ & & +\,n({\bf{r}})\leftrightarrow n({\bf{r}}^{\prime} )\end{array}$$
(43)

With this solution, the exponent of the Eq. 35, i.e. \(\tfrac{1}{|{\bf{r}}-{\bf{r}}{\boldsymbol{^{\prime} }}|}n({\bf{r}})n({\bf{r}}^{\prime} )H({\bf{r}},{\bf{r}}^{\prime} )\) is well-defined and smooth in all range of n and n′.

Conclusion

In this paper we have investigated the properties of the disorder-averaged dielectric function by analyzing the one- and two- body charge density distribution functions of mono-layer graphene. For calculating them, we have used the Thomas-Fermi-Dirac (TFD) approach, taking into account the tunable disorder and inter particle interactions on an equal footing. To use the TFD theory for calculating the linear screening, we developed a diagrammatic technique and in the first order approximation in disorder strength, the polarization operator and charge modulation due to external potential have been obtained. The one- and the two- body charge density distribution functions were obtained using some stochastic analysis which carries both the effect of white-noise out-plane disorder and the interaction. The closed form of the functions were obtained for high density and low inter-particle interaction limits. By analyzing the one-body distribution function we found that the charge density fluctuations is proportional to \({\zeta }^{-1}\sim {r}_{s}{n}_{i}^{2}{\bar{n}}^{-1}\) in which ni is the disorder strength, rs is the interaction strength and \(\bar{n}\) is the average density of the system, therefore the electron-hole puddles can appear in the low density limit \(\bar{n}\to 0\). By analyzing the two-body charge density distribution function we obtained that:

$$P(n,r;n^{\prime} ,0)\propto {P}_{n}^{{\rm{large}}\,\zeta }{P}_{n^{\prime} }^{{\rm{large}}\,\zeta }\,\exp \,[-\frac{4\sqrt{2}}{d{n}_{i}^{2}{r}_{s}^{2}}\frac{|n-n^{\prime} |}{r}]$$
(44)

in which \({P}_{n}^{{\rm{large}}\,\zeta }\) is the one-body distribution function in the large ζ limit. Using this function and some other analytical investigations we showed that some power-law behaviors in terms of ζ raise, specially for Rmax which is the length scale at which the static density-density correlation function Gx(R) shows a peak. It was found that Gx(R) falls off logarithmically for large R’s, i.e. \({G}_{x}{(R)}^{{\rm{large}}R}\propto \,\mathrm{log}\,R\). The exponents of the scaling relations have been reported in the text. An interesting effect of disorder and interaction is changing the screened potential both in the Fourier and direct spaces. It was that in addition to kF a disorder-driven characteristic momentum (qch) emerges in the system that controls the behaviors of the screened potential. The Fourier component of screened potential changes significantly for small wave numbers. for small enough ζ’s (small densities where EHPs can appear) we have observed an instability in which the imaginary part of the dielectric function becomes negative and some oscillations are observed for the charge density δn(r). The oscillations are absent for larger ζ values (larger densities or smaller inter-particle interactions and disorder strengths). Along with this change, a screening-anti-screening transition occurs in which δn(0) changes the sign. The observed instability is certainly affected by the higher order contribution, but we think that it should show itself for small enough densities, since the effect increases in a power-law fashion with ζ.

In the last part of the paper we have calculated the total distribution measure of the mono-layer graphene sheets. The resulting equation has been analytically solved for large ζ limit and was shown to be of the quadratic form. For smaller ζ’s we think that derivatives of charge densities should come to calculations which is the subject of our future research.