This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Fermion dispersion renormalization in a two-dimensional semi-Dirac semimetal

Hao-Fu Zhu CAS Key Laboratory for Research in Galaxies and Cosmology, Department of Astronomy, University of Science and Technology of China, Hefei, Anhui 230026, China School of Astronomy and Space Science, University of Science and Technology of China, Hefei, Anhui 230026, China    Xiao-Yin Pan Department of Physics, Ningbo University, Ningbo, Zhejiang 315211, China    Guo-Zhu Liu Corresponding author: [email protected] Department of Modern Physics, University of Science and Technology of China, Hefei, Anhui 230026, China
Abstract

We present a non-perturbative study of the quantum many-body effects caused by the long-range Coulomb interaction in a two-dimensional semi-Dirac semimetal. This kind of semimetal may be realized in deformed graphene and a class of other realistic materials. In the non-interacting limit, the dispersion of semi-Dirac fermion is linear in one direction and quadratic in the other direction. When the impact of Coulomb interaction is taken into account, such a dispersion can be significantly modified. To reveal the correlation effects, we first obtain the exact self-consistent Dyson-Schwinger equation of the full fermion propagator and then extract the momentum dependence of the renormalized fermion dispersion from the numerical solutions. Our results show that the fermion dispersion becomes linear in two directions. These results are compared to previous theoretical works on semi-Dirac semimetals.

I Introduction

Over ten types of semimetal materials have been discovered CastroNeto ; Kotov12 ; Vafek14 ; Hirata21 in the past two decades. These materials exhibit a variety of unusual phenomena that cannot be observed in ordinary metals and as such have attracted intense theoretical and experimental investigations. Although most research works are concentrated on the single-particle properties of semimetals, such as nontrivial topology and chiral anomaly, under proper conditions the inter-particle interactions may play a vital role CastroNeto ; Kotov12 ; Vafek14 ; Hirata21 , leading to strong renormalization of various physical quantities and also some ordering instabilities.

The Coulomb interaction is usually unimportant in ordinary metals that have a finite Fermi surface. The reason of this fact is that the originally long-range Coulomb interaction becomes short-ranged due to the static screening induced by the finite density of states (DOS) of electrons on the Fermi surface. Renormalization group (RG) analysis indicates that weak short-ranged repulsion is an irrelevant perturbation at low energies Shankar . Direct perturbative calculations Coleman show that short-ranged Coulomb interaction only leads to weak renormalization of physical quantities, which ensures the validity of Landau’s Fermi liquid theory in ordinary metals. The role of Coulomb interaction could be rather different in semimetals that host band-touching points. Let us take two-dimensional (2D) Dirac semimetal (DSM) as an example. In the non-interacting limit, undoped DSM manifests a perfect Dirac cone near the band-touching neutral point CastroNeto ; Kotov12 . Dirac fermions emerges at low energies with a linear dispersion and a constant velocity vFv_{F}. Since the DOS of Dirac fermions vanishes at the band-touching point, the Coulomb interaction remains long-ranged and can lead to considerable quantum many-body effects CastroNeto ; Kotov12 . For instance, the fermion velocity acquires a logarithmic dependence on momentum owing to the Coulomb interaction CastroNeto ; Kotov12 ; Gonzalez94 ; Elias11 ; Lanzara11 ; Chae12 ; Pan21 . As a consequence, the original Dirac cone is apparently reshaped near the band-touching point Elias11 .

One can tune some parameters of a 2D DSM to drive two separate Dirac points to merge into one single point Montambaux09A ; Montambaux09B ; Bellec13 ; Lim12 . Such a manipulation generates a new type of 2D semimetal. This new semimetal is called semi-DSM in the literature since the fermion dispersion is linear along one (say, xx-) axis and quadratic along the other (correspondingly, yy-) axis. The kinetic energy of 2D semi-Dirac fermions is expressed as

E=±υ2px2+B2py4,\displaystyle E=\pm\sqrt{\upsilon^{2}p_{x}^{2}+B^{2}p_{y}^{4}}, (1)

which υ\upsilon is the effective velocity in the xx-direction and BB stands for the inverse of the effective mass in the yy-direction. These fermions are the low-energy elementary excitations at the quantum critical point (QCP) of the phase transition from a 2D DSM to a band insulator (BI), as illustrated in Fig. 1. Such kind of semi-Dirac fermions could be realized in a variety of materials, including deformed graphene Dietl08 ; Montambaux09A ; Montambaux09B , pressured organic compound α\alpha-(BEDT-TTF)2I3 Goerbig08 ; Montambaux09B ; Kobayashi07 ; Kobayashi11 , certain TiO2/VO2 nano-structures Pardo09 ; Pardo10 ; Banerjee09 , properly doped few-layer black phosphorus Kim15 , and some artificial optical lattices Wunsch08 ; Tarruell12 . In the past ten years, considerable research efforts have been devoted to studying the interaction-induced correlation effects Isobe16 ; Cho16 ; Kotov21 , the hydrodynamic transport properties Schmalian18 , and also several possible ordering instabilities Wang17 ; Uchoa17 ; Uchoa19 ; Roy18 in 2D semi-DSMs.

Similar to 2D DSM, the DOS of the semi-Dirac fermions vanishes at the Fermi level. Thus the Coulomb interaction is also long-ranged. It is important to examine whether the poorly screened Coulomb interaction produces nontrivial correlation effects. This issue has been previously addressed by several groups of theorists. Isobe et al. Isobe16 carried out RG calculations based on the 1/N1/N expansion, where NN is the fermion flavor, and claimed to reveal a crossover from non-Fermi liquid behavior to marginal Fermi liquid behavior as the energy scale is lowered. Cho and Moon Cho16 made a RG analysis of the same model system by employing two different perturbative expansion schemes and predicted the existence of a novel quantum criticality characterized by the anisotropic renormalization of the Coulomb interaction. Recently, Kotov et al. Kotov21 re-visited this problem. They employed the weak-coupling expansion method to perform leading-order RG calculations, choosing the fine structure constant α\alpha as a small parameter, and found a weak-coupling fixed point that appears to be different from the unusual fixed points obtained by means of 1/N1/N expansion Isobe16 ; Cho16 . In particular, Kotov et al. Kotov21 showed that the fermion dispersion becomes linear in both the xx- and yy-directions after incorporating the renormalization caused by the Coulomb interaction.

Refer to caption
Figure 1: The quantum phase transition between a DSM and a BI is tuned by changing the sign of the gap Δ\Delta. For Δ<0\Delta<0, the system is a DSM with two band-touching Dirac points. As Δ0\Delta\rightarrow 0, two isolated Dirac points merge into one single point at which 2D semi-Dirac fermions emerge. If Δ>0\Delta>0, the system becomes a normal BI.

An interesting problem is to unambiguously determine the impact of Coulomb interaction on the low-energy properties of semi-Dirac fermions. For this purpose, it is necessary to go beyond both the weak-coupling expansion and the 1/N1/N expansion and find a suitable method that is valid for any value of α\alpha and any value of NN. Recently, an efficient non-perturbative quantum-field-theoretical approach has been developed Liu21 ; Pan21 to handle strong fermion-boson couplings. The crucial procedure of this approach is to derive the exact and self-closed Dyson-Schwinger (DS) equation of the full fermion propagator. The contributions of the fermion-boson vertex corrections are entirely determined by solving a number of exact identities satisfied by various correlation functions Liu21 ; Pan21 . This approach has previously been adopted to deal with the electron-phonon interaction in ordinary metals Liu21 and the Coulomb interaction between Dirac fermions in 2D DSMs Pan21 . Here, we apply this approach to study the Coulomb interaction in semi-DSM. We first obtain the exact self-consistent integral equations of the renormalization functions for υ\upsilon and BB, which are valid for arbitrary values of α\alpha and NN, and then numerically solve these equations. We find that the dispersion of semi-Dirac fermions are substantially renormalized by the Coulomb interaction. At low energies, the renormalized fermion dispersion is linear in momentum in two directions, qualitatively consistent with the weak-coupling results Kotov21 . As shown in Fig. 2(a), the fermion dispersion is strongly reshaped and becomes a Dirac cone.

The rest of the paper is organized as follows. In Sec. II, we define the effective model of the system. In Sec. III, we present the DS equation of fermion propagator by using four coupled Ward-Takahashi identities (WTIs). In Sec. IV, we show the numerical results and discuss the physical implications. In Sec. V, we summarize the main results.

Refer to caption
Refer to caption
Figure 2: (a) Schematic illustration of the dispersion of 2D semi-Dirac fermions with (inside) and without (outside) including the effects of Coulomb interaction. (b) Renormalized (inside) and unrenormalized (outside) dispersion 2D Dirac fermions (see Ref. Elias11 for more details).

II Model

The model considered in this work describes the Coulomb interaction between 2D semi-Dirac fermions. We now present the generic form of the action. The partition function of the system has the following form:

Z\displaystyle Z =\displaystyle= 𝒟ψ𝒟ψ¯𝒟a0ei𝑑x[ψ,ψ¯,a0],\displaystyle\int\mathcal{D}\psi\mathcal{D}{\bar{\psi}}\mathcal{D}a_{0}e^{i\int dx\mathcal{L}[\psi,{\bar{\psi}},a_{0}]}, (2)
[ψ,ψ¯,a0]\displaystyle\mathcal{L}[\psi,{\bar{\psi}},a_{0}] =\displaystyle= f[ψ,ψ¯]+e[a0]+fe[ψ,ψ¯,a0].\displaystyle\mathcal{L}_{f}[\psi,{\bar{\psi}}]+\mathcal{L}_{e}[a_{0}]+\mathcal{L}_{fe}[\psi,{\bar{\psi}},a_{0}]. (3)

Here, x=(t,𝐱)x=(t,{\bf x}) denotes the (1+2)(1+2)-dimensional coordinate vector and dx=dtd𝐱dx=dtd{\bf x}. Below we define the three parts of [ψ,ψ¯,a0]\mathcal{L}[\psi,{\bar{\psi}},a_{0}] in order.

The the Lagrangian density of free semi-Dirac fermions is

f[ψ,ψ¯]=σ=1Nψ¯σ(x)(iγ0tf)ψσ(x).\displaystyle\mathcal{L}_{f}[\psi,{\bar{\psi}}]=\sum_{\sigma=1}^{N}{\bar{\psi}}_{\sigma}(x)\left({i\gamma^{0}{\partial_{t}}-\mathcal{H}_{f}}\right){\psi_{\sigma}}(x). (4)

The conjugate of spinor field ψ\psi is ψ¯=ψγ0{\bar{\psi}}=\psi^{{\dagger}}\gamma^{0}. The flavor index is denoted by σ\sigma, which sums from 11 to NN. The spinor ψ\psi has two components. The Hamiltonian density f\mathcal{H}_{f} is

f=iυγ1xBγ2y2,\displaystyle\mathcal{H}_{f}=-i\upsilon\gamma^{1}\partial_{x}-B\gamma^{2}\partial^{2}_{y}, (5)

where υ\upsilon is the velocity along the xx direction and 1(2B)>0\frac{1}{(2B)}>0 is the mass along the yy direction . The three 2×22\times 2 Dirac matrices can be written as γ0=σ3\gamma^{0}=\sigma_{3}, γ1=iσ1\gamma^{1}=i\sigma_{1}, and γ2=iσ2\gamma^{2}=i\sigma_{2}.

The pure Coulomb interaction is modeled by a direct density-density coupling term

HC=14πe2υϵσ,σd2𝐱d2𝐱ρσ(𝐱)1|𝐱𝐱|ρσ(𝐱),\displaystyle H_{C}=\frac{1}{4\pi}\frac{e^{2}}{\upsilon\epsilon}\sum_{\sigma,\sigma^{\prime}}\int d^{2}\mathbf{x}d^{2}\mathbf{x}^{\prime}\rho_{\sigma}(\mathbf{x})\frac{1}{\left|\mathbf{x}-\mathbf{x}^{\prime}\right|}\rho_{\sigma^{\prime}}^{{\dagger}}(\mathbf{x}^{\prime}), (6)

where the fermion density operator is ρσ(𝐱)ψσ(𝐱)ψσ(𝐱)=ψ¯σ(𝐱)γ0ψσ(𝐱)\rho_{\sigma}(\mathbf{x})\equiv\psi_{\sigma}^{{\dagger}}(\mathbf{x})\psi_{\sigma}(\mathbf{x})={\bar{\psi}}_{\sigma}(\mathbf{x})\gamma^{0}\psi_{\sigma}(\mathbf{x}). The DS equation approach was designed to treat fermion-boson couplings Liu21 ; Pan21 . In order to use this approach, it is convenient to introduce an auxiliary scalar field a0a_{0} and then to re-express the Coulomb interaction by the following two terms Pan21

e[a0]\displaystyle\mathcal{L}_{e}[a_{0}] =\displaystyle= a0𝔻2a0,\displaystyle a_{0}\frac{\mathbb{D}}{2}a_{0}, (7)
fe[ψ,ψ¯,a0]\displaystyle\mathcal{L}_{fe}[\psi,{\bar{\psi}},a_{0}] =\displaystyle= σ=1Na0ψ¯σγ0ψσ.\displaystyle\sum^{N}_{\sigma=1}a_{0}{\bar{\psi}}_{\sigma}\gamma^{0}\psi_{\sigma}. (8)

After performing Fourier transformation, the inverse of the operator 𝔻\mathbb{D} is converted into the free boson propagator D0(𝐪)D_{0}(\mathbf{q}), which will be given later. Notice the absence of self-coupling terms of the bosonic field a0a_{0}, which is owing to the important fact that the Coulomb interaction originates from an Abelian U(1) gauge symmetry.

The strength of Coulomb interaction is characterized by a dimensionless parameter

α=e2υεD,\displaystyle\alpha=\frac{e^{2}}{\upsilon\varepsilon_{D}}, (9)

where εD\varepsilon_{D} is the dielectric constant, which can be regarded as an effective fine structure constant. The velocity υ\upsilon is explicitly written down throughout this paper.

III Dyson-Schwinger equations

In this section we present a number of DS equations and exact identities satisfied by various correlation functions. The free boson propagator, expressed in terms of α\alpha, has the form

D0(𝐪)=2παυ|𝐪|.\displaystyle D_{0}(\mathbf{q})=\frac{2\pi\alpha\upsilon}{|\mathbf{q}|}. (10)

The free fermion propagator is

G0(p)G0(p0,𝐩)=1γ0p0υγ1pxBγ2py2.\displaystyle G_{0}(p)\equiv G_{0}(p_{0},\mathbf{p})=\frac{1}{\gamma^{0}p_{0}-\upsilon\gamma^{1}p_{x}-B\gamma^{2}p^{2}_{y}}. (11)

After including the interaction-induced corrections, it is significantly renormalized and becomes

G(p)G(p0,𝐩)=1A0(p)γ0p0A1(p)υγ1pxA2(p)Bγ2py2,\displaystyle\begin{aligned} &G(p)\equiv G(p_{0},\mathbf{p})\\ &=\frac{1}{A_{0}(p)\gamma^{0}p_{0}-A_{1}(p)\upsilon\gamma^{1}p_{x}-A_{2}(p)B\gamma^{2}p^{2}_{y}},\end{aligned} (12)

where the renormalization function A0(p)A0(p0,𝐩)A_{0}(p)\equiv A_{0}(p_{0},\mathbf{p}) embodies the (Landau-type) fermion damping, A1(p)A1(p0,𝐩)A_{1}(p)\equiv A_{1}(p_{0},\mathbf{p}) reflects the renormalization of fermion velocity along the xx-axis, and A2(p)A2(p0,𝐩)A_{2}(p)\equiv A_{2}(p_{0},\mathbf{p}) contains the renormalization of fermion mass along the yy-axis.

The free and full propagators are related by the following self-consistent DS integral equations

G1(p)\displaystyle G^{-1}(p) =\displaystyle= G01(p)+id3k(2π)3γ0G(k)D(kp)Γint(k,p),\displaystyle G^{-1}_{0}(p)+i\int\frac{d^{3}k}{(2\pi)^{3}}\gamma^{0}G(k)D(k-p)\Gamma_{\mathrm{int}}(k,p),
D1(q)\displaystyle D^{-1}(q) =\displaystyle= D01(q)iNd3k(2π)3Tr[γ0G(k+q)\displaystyle D^{-1}_{0}(q)-iN\int\frac{d^{3}k}{(2\pi)^{3}}{\mathrm{Tr}}\big{[}\gamma^{0}G(k+q) (13)
×Γint(k+q,k)G(k)].\displaystyle\times\Gamma_{\mathrm{int}}(k+q,k)G(k)\big{]}.

Here, D(q)D(q) denotes the full boson propagator. For notational simplicity, the DS equations are expressed in the momentum space. These two DS equations can be derived rigorously by performing field-theoretic analysis within the framework of functional integral Pan21 . Here, Γint(k,p)\Gamma_{\mathrm{int}}(k,p) stands for the proper (external-legs truncated) fermion-boson vertex function defined via the following three-point correlation function

D(kp)G(k)Γint(k,p)G(p)=ϕψψ¯.\displaystyle D(k-p)G(k)\Gamma_{\mathrm{int}}(k,p)G(p)=\langle\phi\psi{\bar{\psi}}\rangle. (14)

To determine G(p)G(p) and D(q)D(q), one needs to first specify the vertex function Γint(k,p)\Gamma_{\mathrm{int}}(k,p). By carrying out functional calculations, one can show that Γint\Gamma_{\mathrm{int}} satisfies its own DS equation

Γint(k,p)\displaystyle\Gamma_{\mathrm{int}}(k,p) =\displaystyle= γ0+d3p(2π)(3)G(p+k)Γint(k,p)\displaystyle-\gamma^{0}+\int\frac{d^{3}p^{\prime}}{(2\pi)^{(3)}}G(p^{\prime}+k)\Gamma_{\mathrm{int}}(k,p^{\prime}) (15)
×G(p)K4(p,p,k),\displaystyle\times G(p^{\prime})K_{4}(p,p^{\prime},k),

where K4(p,p,q)K_{4}(p,p^{\prime},q) represents a kernel function that is related to the four-point correlation function ψψ¯ψψ¯\langle\psi{\bar{\psi}}\psi{\bar{\psi}}\rangle as follows

G(p+p+k)G(p)K4(p,p,k)G(p)G(k)=ψψ¯ψψ¯.\displaystyle G(p+p^{\prime}+k)G(p^{\prime})K_{4}(p,p^{\prime},k)G(p)G(k)=\langle\psi{\bar{\psi}}\psi{\bar{\psi}}\rangle. (16)

The function K4(p,p,q)K_{4}(p,p^{\prime},q) also satisfies a peculiar DS integral equation, which in turn is linked to five-, six-, and higher-point correlation functions. Repeating such manipulations, one would obtain an infinite hierarchy of coupled integral equations Liu21 ; Pan21 . The full set of DS integral equations are exact and can give us all of the interaction-induced effects. However, such equations seem to be of little use in practice since they are not closed and cannot be really solved.

To make such DS equations solvable, one needs to find a proper way to introduce truncations. The strategy of the widely used Migdal-Eliashberg (ME) theory is to simply discard all the vertex corrections by replacing the full vertex function with the bare one, i.e.,

Γint(k,p)γ0.\displaystyle\Gamma_{\mathrm{int}}(k,p)\to-\gamma^{0}. (17)

Then the originally infinite number of DS equations are reduced to only two equations of G(p)G(p) and D(q)D(q), namely

G1(p)\displaystyle G^{-1}(p) =\displaystyle= G01(p)id3k(2π)3γ0G(k)D(kp)γ0,\displaystyle G^{-1}_{0}(p)-i\int\frac{d^{3}k}{(2\pi)^{3}}\gamma^{0}G(k)D(k-p)\gamma^{0},
D1(q)\displaystyle D^{-1}(q) =\displaystyle= D01(q)+iNd3k(2π)3Tr[γ0G(k+q)γ0G(k)].\displaystyle D^{-1}_{0}(q)+iN\int\frac{d^{3}k}{(2\pi)^{3}}{\mathrm{Tr}}\big{[}\gamma^{0}G(k+q)\gamma^{0}G(k)\big{]}.

These two equations are self-closed and solvable. However, the validity of the ME theory is indeed unjustified, especially in the strong-coupling regime.

The non-perturbative approach developed in Refs. Liu21 ; Pan21 aims to take into account the contributions of all the vertex function Γint(k,p)\Gamma_{\mathrm{int}}(k,p) by properly using several exact identities obeyed by some correlation functions. Below we briefly outline how this approach works in the case of 2D semi-DSM. More details about this approach can be found in Refs. Liu21 ; Pan21 .

Now let us introduce a generic current operator

jMμ(x)=ψ¯σ(x)Mμψσ(x)\displaystyle j^{\mu}_{M}(x)=\bar{\psi}_{\sigma}(x)M^{\mu}\psi_{\sigma}(x) (18)

based on four matrices

Mμ=(γ0,γ1,γ2,γ012),\displaystyle M^{\mu}=\left(\gamma^{0},\gamma^{1},\gamma^{2},\gamma^{012}\right), (19)

where γ012=γ0γ1γ2\gamma^{012}=\gamma^{0}\gamma^{1}\gamma^{2}. This current can be used to define a corresponding current vertex function ΓMμ\Gamma^{\mu}_{M} as follows

jMμ(x)ψα(y)ψ¯β(z)\displaystyle\langle j^{\mu}_{M}(x)\psi_{\alpha}(y)\bar{\psi}_{\beta}(z)\rangle
=\displaystyle= 𝑑ξ1𝑑ξ2(G(yξ1)ΓMμ(ξ1x,xξ2)G(ξ2z))αβ.\displaystyle\int d\xi_{1}d\xi_{2}\left(G(y-\xi_{1})\Gamma^{\mu}_{M}(\xi_{1}-x,x-\xi_{2})G(\xi_{2}-z)\right)_{\alpha\beta}.

The four components of the current vertex function ΓMμ\Gamma^{\mu}_{M} satisfy four self-consistent generalized WTIs. Solving these WTIs, one can express the current vertex functions as a linear combination of the inverse of the full fermion propagator G(p)G(p). The procedure of deriving such WTIs is illustrated in great detail in Ref. Pan21 and will not be repeated here. Below we only present the WITs that relate ΓMμ\Gamma^{\mu}_{M} to G(p)G(p).

We use Γγ0\Gamma_{\gamma^{0}}, Γγ1\Gamma_{\gamma^{1}}, Γγ2\Gamma_{\gamma^{2}}, and Γγ012\Gamma_{\gamma^{012}} to denote the four components of ΓMμ\Gamma^{\mu}_{M}. For notational simplicity, let us define several quantities here: q0=k0p0q_{0}=k_{0}-p_{0}, P0=k0+p0P_{0}=k_{0}+p_{0}, q1=k1p1q_{1}=k_{1}-p_{1}, P1=k1+p1P_{1}=k_{1}+p_{1}, q2=k2p2q_{2}=k_{2}-p_{2}, and P2=k2+p2P_{2}=k_{2}+p_{2}. According to the detailed analysis presented in Ref. Pan21 , these four current vertex functions and the full fermion propagator are linked to each other via the following four WTIs

𝐌𝒜(Γγ0Γγ1Γγ2Γγ012)=(𝒜0𝒜1𝒜2𝒜3),\displaystyle\mathbf{M}_{\mathcal{A}}\begin{pmatrix}\Gamma_{\gamma^{0}}\\ \Gamma_{\gamma^{1}}\\ \Gamma_{\gamma^{2}}\\ \Gamma_{\gamma^{012}}\\ \end{pmatrix}=\begin{pmatrix}\mathcal{A}_{0}\\ \mathcal{A}_{1}\\ \mathcal{A}_{2}\\ \mathcal{A}_{3}\\ \end{pmatrix}, (21)

where the matrix

𝐌𝒜=(q0q1q20q1q00P2q20q0P10P2P1q0),\displaystyle\mathbf{M}_{\mathcal{A}}=\begin{pmatrix}q_{0}&q_{1}&-q_{2}&0\\ -q_{1}&-q_{0}&0&P_{2}\\ q_{2}&0&-q_{0}&P_{1}\\ 0&-P_{2}&-P_{1}&q_{0}\\ \end{pmatrix}, (22)

and

𝒜0\displaystyle\mathcal{A}_{0} =\displaystyle= G1(k)+G1(p),\displaystyle-G^{-1}(k)+G^{-1}(p), (23)
𝒜1\displaystyle\mathcal{A}_{1} =\displaystyle= G1(k)γ0γ1+γ0γ1G1(p),\displaystyle G^{-1}(k)\gamma^{0}\gamma^{1}+\gamma^{0}\gamma^{1}G^{-1}(p), (24)
𝒜2\displaystyle\mathcal{A}_{2} =\displaystyle= G1(k)γ0γ2+γ0γ2G1(p),\displaystyle G^{-1}(k)\gamma^{0}\gamma^{2}+\gamma^{0}\gamma^{2}G^{-1}(p), (25)
𝒜3\displaystyle\mathcal{A}_{3} =\displaystyle= G1(k)γ1γ2+γ1γ2G1(p).\displaystyle-G^{-1}(k)\gamma^{1}\gamma^{2}+\gamma^{1}\gamma^{2}G^{-1}(p). (26)

After solving the above four coupled identities, each of the four current vertex functions, namely Γγ0\Gamma_{\gamma^{0}}, Γγ1\Gamma_{\gamma^{1}}, Γγ2\Gamma_{\gamma^{2}}, and Γγ012\Gamma_{\gamma^{012}}, can be determined and expressed purely in terms of the fermion propagator G(p)G(p). Notice that the matrix 𝐌𝒜\mathbf{M}_{\mathcal{A}} given by Eq. (22) is different from that obtained in the case of 2D DSM Pan21 due to the difference in the fermion dispersions.

Apparently, the current vertex functions do not enter into the original DS equations of G(p)G(p) and D(q)D(q). To make the above WTIs useful, we should find a way to substitute the current vertex functions into the DS equation of G(p)G(p). As demonstrated previously in Ref. Pan21 , there exists an identity that connects Γγ0(k,p)\Gamma_{\gamma^{0}}(k,p) to D0(kp)D_{0}(k-p), D(kp)D(k-p), and Γint(k,p)\Gamma_{\mathrm{int}}(k,p). Such an identity also exists in the case of 2D semi-DSM, given by

D0(kp)Γγ0(k,p)=D(kp)Γint(k,p).\displaystyle D_{0}(k-p)\Gamma_{\gamma^{0}}(k,p)=D(k-p)\Gamma_{\mathrm{int}}(k,p). (27)

It is now clear that we only need one of the four current vertex functions, i.e., Γγ0(k,p)\Gamma_{\gamma^{0}}(k,p). After solving the four coupled WTIs, Γγ0\Gamma_{\gamma^{0}} can be easily obtained:

Γγ0(k,p)\displaystyle\Gamma_{\gamma^{0}}(k,p) =\displaystyle= 1det(𝐌𝒜)[q0(q02P12P22)𝒜0\displaystyle\frac{1}{\mathrm{det}(\mathbf{M}_{\mathcal{A}})}\Big{[}q_{0}\left(q_{0}^{2}-P_{1}^{2}-P_{2}^{2}\right)\mathcal{A}_{0} (28)
(q1P12+q2P1P2q02q1)𝒜1\displaystyle-\left(q_{1}P_{1}^{2}+q_{2}P_{1}P_{2}-q_{0}^{2}q_{1}\right)\mathcal{A}_{1}
(q02q2q1P1P2q2P22)𝒜2\displaystyle-\left(q_{0}^{2}q_{2}-q_{1}P_{1}P_{2}-q_{2}P_{2}^{2}\right)\mathcal{A}_{2}
+q0(q2P1q1P2)𝒜3],\displaystyle+q_{0}\left(q_{2}P_{1}-q_{1}P_{2}\right)\mathcal{A}_{3}\Big{]},

where the denominator is

det(𝐌𝒜)=q04q02(q12+q22+P12+P22)+(P1q1+P2q2)2.\displaystyle\mathrm{det}(\mathbf{M}_{\mathcal{A}})=q_{0}^{4}-q^{2}_{0}\left(q^{2}_{1}+q^{2}_{2}+P^{2}_{1}+P^{2}_{2}\right)+\left(P_{1}q_{1}+P_{2}q_{2}\right)^{2}.

According to the identity (27), the product D(kp)Γint(k,p)D(k-p)\Gamma_{\mathrm{int}}(k,p) appearing in the DS equation of G(p)G(p) can be replaced with the product D0(kp)Γγ0(k,p)D_{0}(k-p)\Gamma_{\gamma^{0}}(k,p), which leads to

G1(p)=G01(p)+id3k(2π)3γ0G(k)D0(kp)Γγ0(k,p),G^{-1}(p)=G_{0}^{-1}(p)+i\int\frac{d^{3}k}{(2\pi)^{3}}\gamma^{0}G(k)D_{0}(k-p)\Gamma_{\gamma^{0}}(k,p), (30)

where Γγ0(k,p)\Gamma_{\gamma^{0}}(k,p), as shown by Eq. (28) and Eqs. (23-26), depends solely on the full fermion propagator. Clearly, the DS equation of G(p)G(p) becomes entirely self-closed. To investigate the renormalization of fermion dispersion, we substitute the generic form of G(p)G(p), i.e., Eq. (12), into Eq. (30) and obtain

A0(p)γ0p0A1(p)υγ1pxA2(p)Bγ2py2γ0p0+υγ1px+Bγ2py2\displaystyle A_{0}(p)\gamma^{0}p_{0}-A_{1}(p)\upsilon\gamma^{1}p_{x}-A_{2}(p)B\gamma^{2}p^{2}_{y}-\gamma^{0}p_{0}+\upsilon\gamma^{1}p_{x}+B\gamma^{2}p^{2}_{y} (31)
=\displaystyle= id3k(2π)3γ0A0(k)γ0k0A1(k)υγ1kxA2(k)Bγ2ky2A02(k)k02A12(k)υ2kx2A22(k)B2ky4D0(kp)Γγ0(k,p).\displaystyle i\int\frac{d^{3}k}{(2\pi)^{3}}\gamma^{0}\frac{A_{0}(k)\gamma^{0}k_{0}-A_{1}(k)\upsilon\gamma^{1}k_{x}-A_{2}(k)B\gamma^{2}k^{2}_{y}}{A^{2}_{0}(k)k^{2}_{0}-A_{1}^{2}(k)\upsilon^{2}k^{2}_{x}-A^{2}_{2}(k)B^{2}k^{4}_{y}}D_{0}(k-p)\Gamma_{\gamma^{0}}(k,p).

This DS equation can be readily decomposed into three coupled integral equations of A0(p)A_{0}(p), A1(p)A_{1}(p), and A2(p)A_{2}(p). Multiplying three matrices γ0\gamma^{0}, γ1\gamma^{1}, and γ2\gamma^{2} to both sides of Eq. (31) and then calculating the trace would lead us to three coupled integral equations of A0(p)A_{0}(p), A1(p)A_{1}(p), and A2(p)A_{2}(p), respectively. All the interaction-induced quantum many-body effects of Dirac fermions can be extracted from the numerical solutions of A0(p)A_{0}(p), A1(p)A_{1}(p), and A2(p)A_{2}(p).

The three integral equations can be solved by means of the iteration method. The detailed procedure of implementing this method has already been demonstrated previously in Ref. Liu21 . These equations contain an integration over three variables, including k0k_{0}, kxk_{x}, and kyk_{y}. It would consume an extremely long computational time to integrate over three variables by using the iteration method. In order to simplify numerical computations, we introduce an instantaneous approximation and assume that the frequency dependence of A0,1,2(p)A_{0,1,2}(p) is rather weak. Throughout this paper, we fix the functions A0,1,2(p)A_{0,1,2}(p) at zero energy, i.e., p0=0p_{0}=0, and consider only the momentum dependence of A0,1,2(px,py)A_{0,1,2}(p_{x},p_{y}). In this approximation, it is easy to see that A0=1A_{0}=1, we get a coupled system of equations for A1(𝐩)A_{1}(\mathbf{p}) and A2(𝐩)A_{2}(\mathbf{p}):

A1(𝐩)\displaystyle A_{1}(\mathbf{p}) =\displaystyle= 1+1pxdϵd2𝐤(2π)3D0(𝐤𝐩)ϵ2+A12(𝐤)kx2+A22(𝐤)β2ky41det(𝐌𝒜)\displaystyle 1+\frac{1}{p_{x}}\int\frac{d\epsilon d^{2}\mathbf{k}}{(2\pi)^{3}}\frac{D_{0}(\mathbf{k}-\mathbf{p})}{\epsilon^{2}+A_{1}^{2}(\mathbf{k})k^{2}_{x}+A^{2}_{2}(\mathbf{k})\beta^{2}k^{4}_{y}}\frac{1}{\mathrm{det}(\mathbf{M}_{\mathcal{A}})} (32)
×{ϵ2[(qxPx2+qyPxPy+ϵ2qx)+(ϵ2+Px2+Py2)(A1(𝐩)pxA1(𝐤)kx)\displaystyle\times\Big{\{}\epsilon^{2}\Big{[}\left(q_{x}P_{x}^{2}+q_{y}P_{x}P_{y}+\epsilon^{2}q_{x}\right)+\left(\epsilon^{2}+P_{x}^{2}+P_{y}^{2}\right)\left(A_{1}(\mathbf{p})p_{x}-A_{1}(\mathbf{k})k_{x}\right)
+(qxPyqyPx)(A2(𝐩)βpy2+A2(𝐤)βky2)]\displaystyle+\left(q_{x}P_{y}-q_{y}P_{x}\right)\left(A_{2}(\mathbf{p})\beta p^{2}_{y}+A_{2}(\mathbf{k})\beta k^{2}_{y}\right)\Big{]}
+A1(𝐤)kx[ϵ2(ϵ2+Px2+Py2)(qxPx2+qyPxPy+ϵ2qx)(A1(𝐩)pxA1(𝐤)kx)\displaystyle+A_{1}(\mathbf{k})k_{x}\Big{[}\epsilon^{2}\left(\epsilon^{2}+P_{x}^{2}+P_{y}^{2}\right)-\left(q_{x}P_{x}^{2}+q_{y}P_{x}P_{y}+\epsilon^{2}q_{x}\right)\left(A_{1}(\mathbf{p})p_{x}-A_{1}(\mathbf{k})k_{x}\right)
(qyPy2+qxPxPy+ϵ2qy)(A2(𝐩)βpy2A2(𝐤)βky2)]\displaystyle-\left(q_{y}P_{y}^{2}+q_{x}P_{x}P_{y}+\epsilon^{2}q_{y}\right)\left(A_{2}(\mathbf{p})\beta p^{2}_{y}-A_{2}(\mathbf{k})\beta k^{2}_{y}\right)\Big{]}
A2(𝐤)βky2[ϵ2(qxPyqyPx)+(qyPy2+qxPxPy+ϵ2qy)(A1(𝐩)px+A1(𝐤)kx)\displaystyle-A_{2}(\mathbf{k})\beta k^{2}_{y}\Big{[}\epsilon^{2}\left(q_{x}P_{y}-q_{y}P_{x}\right)+\left(q_{y}P_{y}^{2}+q_{x}P_{x}P_{y}+\epsilon^{2}q_{y}\right)\left(A_{1}(\mathbf{p})p_{x}+A_{1}(\mathbf{k})k_{x}\right)
(qxPx2+qyPxPy+ϵ2qx)(A2(𝐩)βpy2+A2(𝐤)βky2)]},\displaystyle-\left(q_{x}P_{x}^{2}+q_{y}P_{x}P_{y}+\epsilon^{2}q_{x}\right)\left(A_{2}(\mathbf{p})\beta p^{2}_{y}+A_{2}(\mathbf{k})\beta k^{2}_{y}\right)\Big{]}\Big{\}},
A2(𝐩)\displaystyle A_{2}(\mathbf{p}) =\displaystyle= 1+1βpy2dϵd2𝐤(2π)3D0(𝐤𝐩)ϵ2+A12(𝐤)kx2+A22(𝐤)β2ky41det(𝐌𝒜)\displaystyle 1+\frac{1}{\beta p^{2}_{y}}\int\frac{d\epsilon d^{2}\mathbf{k}}{(2\pi)^{3}}\frac{D_{0}(\mathbf{k}-\mathbf{p})}{\epsilon^{2}+A_{1}^{2}(\mathbf{k})k^{2}_{x}+A^{2}_{2}(\mathbf{k})\beta^{2}k^{4}_{y}}\frac{1}{\mathrm{det}(\mathbf{M}_{\mathcal{A}})} (33)
×{ϵ2[(qyPy2+qxPxPy+ϵ2qy)(qxPyqyPx)(A1(𝐩)px+A1(𝐤)kx)\displaystyle\times\Big{\{}\epsilon^{2}\Big{[}\left(q_{y}P_{y}^{2}+q_{x}P_{x}P_{y}+\epsilon^{2}q_{y}\right)-\left(q_{x}P_{y}-q_{y}P_{x}\right)\left(A_{1}(\mathbf{p})p_{x}+A_{1}(\mathbf{k})k_{x}\right)
+(ϵ2+Px2+Py2)(A2(𝐩)βpy2A2(𝐤)βky2)]\displaystyle+\left(\epsilon^{2}+P_{x}^{2}+P_{y}^{2}\right)\left(A_{2}(\mathbf{p})\beta p^{2}_{y}-A_{2}(\mathbf{k})\beta k^{2}_{y}\right)\Big{]}
+A1(𝐤)kx[ϵ2(qxPyqyPx)+(qyPy2+qxPxPy+ϵ2qy)(A1(𝐩)px+A1(𝐤)kx)\displaystyle+A_{1}(\mathbf{k})k_{x}\Big{[}\epsilon^{2}\left(q_{x}P_{y}-q_{y}P_{x}\right)+\left(q_{y}P_{y}^{2}+q_{x}P_{x}P_{y}+\epsilon^{2}q_{y}\right)\left(A_{1}(\mathbf{p})p_{x}+A_{1}(\mathbf{k})k_{x}\right)
(qxPx2+qyPxPy+ϵ2qx)(A2(𝐩)βpy2+A2(𝐤)βky2)]\displaystyle-\left(q_{x}P_{x}^{2}+q_{y}P_{x}P_{y}+\epsilon^{2}q_{x}\right)\left(A_{2}(\mathbf{p})\beta p^{2}_{y}+A_{2}(\mathbf{k})\beta k^{2}_{y}\right)\Big{]}
+A2(𝐤)βky2[ϵ2(ϵ2+Px2+Py2)(qxPx2+qyPxPy+ϵ2qx)(A1(𝐩)pxA1(𝐤)kx)\displaystyle+A_{2}(\mathbf{k})\beta k^{2}_{y}\Big{[}\epsilon^{2}\left(\epsilon^{2}+P_{x}^{2}+P_{y}^{2}\right)-\left(q_{x}P_{x}^{2}+q_{y}P_{x}P_{y}+\epsilon^{2}q_{x}\right)\left(A_{1}(\mathbf{p})p_{x}-A_{1}(\mathbf{k})k_{x}\right)
(qyPy2+qxPxPy+ϵ2qy)(A2(𝐩)βpy2A2(𝐤)βky2)]}.\displaystyle-\left(q_{y}P_{y}^{2}+q_{x}P_{x}P_{y}+\epsilon^{2}q_{y}\right)\left(A_{2}(\mathbf{p})\beta p^{2}_{y}-A_{2}(\mathbf{k})\beta k^{2}_{y}\right)\Big{]}\Big{\}}.

The integration ranges for kxk_{x} and kyk_{y} are chosen as kx(Λx,Λx)k_{x}\in(-\Lambda_{x},\Lambda_{x}) and ky(Λy,Λy)k_{y}\in(-\Lambda_{y},\Lambda_{y}), respectively. In practise, it is sufficient to take Λx=Λy=Λ\Lambda_{x}=\Lambda_{y}=\Lambda, where Λ\Lambda is an UV cutoff of momentum. In principle, the energy ϵ\epsilon takes all the possible values, namely ϵ(,)\epsilon\in(-\infty,\infty). In practical numerical computations, the energy is integrated within the range of (Λϵ,Λϵ)(-\Lambda_{\epsilon},\Lambda_{\epsilon}), where the cutoff Λϵ\Lambda_{\epsilon} should be taken to be sufficiently large to make sure that the results are nearly independent of Λϵ\Lambda_{\epsilon}. It is convenient to re-scale all the momenta as follows:

kxkx/Λ,kyky/Λ.\displaystyle k_{x}\rightarrow k_{x}/\Lambda,\quad k_{y}\rightarrow k_{y}/\Lambda. (34)

Then the integration range is altered to kx,y(1,1)k_{x,y}\in(-1,1). After dividing the left and right sides of the original integral equations by υ\upsilon, the integration range of energy is re-scaled to ϵ(ΛϵυΛ,ΛϵυΛ)\epsilon\in\left(-\frac{\Lambda_{\epsilon}}{\upsilon\Lambda},\frac{\Lambda_{\epsilon}}{\upsilon\Lambda}\right) with υΛ\upsilon\Lambda being the unit of energy. In our numerical calculations, we choose ϵ(10,10)\epsilon\in(-10,10). The model contains three tuning parameters: the interaction strength α\alpha, the velocity υ\upsilon, and a tuning parameter β=BΛ/υ\beta=B\Lambda/\upsilon. In the above two equations, we have D0(𝐤𝐩)=2πα(kxpx)2+(kypy)2D_{0}(\mathbf{k}-\mathbf{p})=\frac{2\pi\alpha}{\sqrt{(k_{x}-p_{x})^{2}+(k_{y}-p_{y})^{2}}}, qx=kxpxq_{x}=k_{x}-p_{x}, Px=kx+pxP_{x}=k_{x}+p_{x}, qy=βky2βpy2q_{y}=\beta k^{2}_{y}-\beta p^{2}_{y}, Py=βky2+βpy2P_{y}=\beta k^{2}_{y}+\beta p^{2}_{y}, and det(𝐌𝒜)=ϵ4+2ϵ2(kx2+px2+β2ky4+β2py4)+(kx2px2+β2ky4β2py4)2\mathrm{det}(\mathbf{M}_{\mathcal{A}})=\epsilon^{4}+2\epsilon^{2}(k_{x}^{2}+p_{x}^{2}+\beta^{2}k^{4}_{y}+\beta^{2}p^{4}_{y})+(k^{2}_{x}-p^{2}_{x}+\beta^{2}k^{4}_{y}-\beta^{2}p^{4}_{y})^{2}.

IV Renormalization of fermion dispersion

In the non-interacting limit, the fermion spectrum exhibits a linear dependence on pxp_{x} with a coefficient υ\upsilon and a quadratic dependence on pyp_{y} with a coefficient BB. When the correlation effects are incorporated, these two coefficients υ\upsilon and BB will be renormalized, described by the functions A1(px,py)A_{1}(p_{x},p_{y}) and A2(px,py)A_{2}(p_{x},p_{y}), respectively. The interaction-induced modification of fermion dispersion should be extracted from the numerical solutions of A1(px,py)A_{1}(p_{x},p_{y}) and A2(px,py)A_{2}(p_{x},p_{y}). Throughout this section, the momentum (such as pxp_{x} or pyp_{y}) is in unit of Λ\Lambda and the energy is in unit of υΛ\upsilon\Lambda.

Let us first discuss the behavior of renormalization function A2(px,py)A_{2}(p_{x},p_{y}). We find it more convenient to consider the momentum dependence of the function A2(px,py)βpy2A_{2}(p_{x},p_{y})\beta p^{2}_{y}, instead of A2(px,py)A_{2}(p_{x},p_{y}) itself. The full momentum dependence of A2(px,py)βpy2A_{2}(p_{x},p_{y})\beta p_{y}^{2} obtained by solving Eqs. (32-33) in Fig. 3, for six different values of α\alpha. It is easy to find that A2(px,py)βpy2A_{2}(p_{x},p_{y})\beta p_{y}^{2} is nearly independent of pxp_{x} for small values of α\alpha. As α\alpha exceeds 0.60.6, A2(px,py)βpy2A_{2}(p_{x},p_{y})\beta p_{y}^{2} exhibits a considerable dependence on pxp_{x}. In contrast, A2(px,py)βpy2A_{2}(p_{x},p_{y})\beta p_{y}^{2} manifests a significant dependence on pyp_{y} for all values of α\alpha. To show these properties more explicitly, we plot the pxp_{x}-dependence of A2(px,py=0)A_{2}(p_{x},p_{y}=0) in Fig. 4(a) and the pyp_{y}-dependence of A2(px=0,py)A_{2}(p_{x}=0,p_{y}) in Fig. 4(b).

Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 3: The full momentum dependence of the function A2(px,py)βpy2A_{2}(p_{x},p_{y})\beta p^{2}_{y} obtained by solving the self-consistent integral equations of A1(𝐩)A_{1}(\mathbf{p}) and A2(𝐩)A_{2}(\mathbf{p}). We choose six different values of α\alpha, including α=0.01\alpha=0.01, α=0.04\alpha=0.04, α=0.1\alpha=0.1, α=0.3\alpha=0.3, α=0.6\alpha=0.6 and α=1.2\alpha=1.2. The parameter β\beta is taken as β=1.0\beta=1.0. Over a wide range of pxp_{x} and pyp_{y}, A2(px,py)βpy2A_{2}(p_{x},p_{y})\beta p^{2}_{y} exhibits a linear dependence on pyp_{y} but is nearly independent of pxp_{x}. Close to the small momentum pyp_{y}, A2(px,py)βpy2A_{2}(p_{x},p_{y})\beta p^{2}_{y} appears to deviate from the linear behavior, which stems from the opening of a finite gap. Such a deviation would disappear once this gap is closed by carefully tuning the system to approach the semi-DSM QCP.

The pyp_{y}-dependence of A2(px,py)βpy2A_{2}(p_{x},p_{y})\beta p_{y}^{2} deserves a little more analysis. Over a wide range of pyp_{y} below the UV cutoff, A2(px,py)βpy2A_{2}(p_{x},p_{y})\beta p_{y}^{2} displays a linear dependence on pyp_{y}. This behavior indicates that the originally quadratic fermion dispersion along the yy-direction is turned into a linear dispersion owing to the Coulomb interaction. Consequently, the 2D semi-Dirac fermions behave in the same way as the ordinary 2D Dirac fermions that exhibit a linear dispersion along two directions. For small values of pyp_{y}, the dispersion is no longer linear in pyp_{y}. Indeed, a finite energy gap Δ0\Delta_{0} is opened at py=0p_{y}=0 and such a gap is an increasing function of α\alpha. The interaction-induced quadratic-to-linear transition of the fermion dispersion along yy-direction and also the generation of a finite gap have already been obtained previously in the weak-coupling perturbative calculations of Kotov et al.. Kotov21 . Our non-perturbative studies show that these two conclusions remain correct even when the interaction parameter α\alpha becomes large.

Summarizing the results shown in Fig. 3 and Fig. 4(b), we find that A2(px,py)A_{2}(p_{x},p_{y}) can be approximately described by

A2(px,py)apy+bpy2,\displaystyle A_{2}(p_{x},p_{y})\sim\frac{a}{p_{y}}+\frac{b}{p_{y}^{2}}, (35)

where aa and bb are two fitting constants. We assume that aba\gg b in the limit of pyΛp_{y}\rightarrow\Lambda and that aba\ll b in the limit of py0p_{y}\rightarrow 0. For large values of pyp_{y}, the first term dominates over the second term, leading to

A2(px,py)βpy2py.\displaystyle A_{2}(p_{x},p_{y})\beta p_{y}^{2}\sim p_{y}. (36)

For small values of pyp_{y}, the second term dominates such that

A2(px,py)βpy2bβ,\displaystyle A_{2}(p_{x},p_{y})\beta p_{y}^{2}\sim b\beta, (37)

where the constant bβb\beta represents a finite gap. Notice that such a gap does not break any symmetry of the system and persists for an arbitrary weak Coulomb interaction. Its existence implies that the semi-DSM state is unstable against Coulomb interaction and can be easily turned into a BI. However, one can tune this gap to vanish by carefully varying certain external parameters Kotov21 , which then would drive the system to approach the DSM-to-BI QCP. In this regard, the second term of A2(px,py)A_{2}(p_{x},p_{y}) can be simply dropped, leaving us with only the first term.

Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 4: (a) The pxp_{x}-dependence of the function A2(px,py)βpy2A_{2}(p_{x},p_{y})\beta p^{2}_{y} obtained in the py0p_{y}\rightarrow 0 limit. (b) The pyp_{y}-dependence of the function A2(px,py)βpy2A_{2}(p_{x},p_{y})\beta p^{2}_{y} obtained in the px0p_{x}\rightarrow 0 limit. (c) The pxp_{x}-dependence of the function A1(px,py)A_{1}(p_{x},p_{y}) obtained in the py0p_{y}\rightarrow 0 limit. (d) The pyp_{y}-dependence of the function A1(px,py)A_{1}(p_{x},p_{y}) obtained in the px0p_{x}\rightarrow 0 limit. Here, we set β=1.0\beta=1.0 and choose four different values of α\alpha, including α=0.01\alpha=0.01, α=0.1\alpha=0.1, α=0.3\alpha=0.3 and α=1.2\alpha=1.2.
Refer to caption
Refer to caption
Figure 5: (a) The pxp_{x}-dependence of the renormalized fermion dispersion ε(px,py)=±A12(px,py)px2+A22(px,py)β2py4\varepsilon(p_{x},p_{y})=\pm\sqrt{A_{1}^{2}(p_{x},p_{y})p_{x}^{2}+A_{2}^{2}(p_{x},p_{y})\beta^{2}p_{y}^{4}} obtained in the py0p_{y}\rightarrow 0 limit. (b) The pyp_{y}-dependence of ε(px,py)\varepsilon(p_{x},p_{y}) obtained in the px0p_{x}\rightarrow 0 limit. Here, we set β=1.0\beta=1.0 and α=1.2\alpha=1.2. In the case of strong coupling, the fermion excitations exhibit an anisotropic linear dispersion due to the strong renormalization caused by the Coulomb interaction.

The above results show that the function A2(px,py)βpy2A_{2}(p_{x},p_{y})\beta p_{y}^{2} is linear in pyp_{y} in the low-energy region. An indication of such a behavior is that the semi-DSM state is actually unstable against the Coulomb interaction since the originally quadratic dispersion along the yy-direction is strongly renormalized and becomes a linear one. Consequently, the renormalized dispersion of low-energy fermionic excitations of a 2D semi-DSM resembles the cone-shaped dispersion of non-interacting 2D Dirac fermions. By comparing Fig. 2(a) to Fig. 2(b), one can see that the Coulomb interaction renormalizes the dispersions of 2D Dirac fermions and 2D semi-Dirac fermions very differently. Our non-perturbative results qualitatively agree with that obtained by using the first-order weak-coupling perturbative RG method Kotov21 , but appear to be at odds with that obtained by the 1/N1/N-expansion approach Isobe16 ; Cho16 .

We see from Fig. 4(c) that the renormalization function A1(px,0)A_{1}(p_{x},0) is nearly independent of pxp_{x}. Close to the limit of px0p_{x}\to 0, A1(px,0)A_{1}(p_{x},0) appears to be substantially enhanced. We emphasize that such an enhancement is actually an artifact of IR cutoff. There is always an IR cutoff for pxp_{x} in carrying out numerical computations. In our case, the IR cutoff is taken as 105Λ10^{-5}\Lambda. The contributions of the range of px<105Λp_{x}<10^{-5}\Lambda to A1(px,0)A_{1}(p_{x},0) are inevitably neglected. However, as demonstrated in Ref. Pan21 , the long-range nature of the Coulomb interaction indicates that small-momentum contributions are always larger than those of large momenta. If we reduce the IR cutoff, the plateau always extends to lower momentum.

According to the results shown in Fig. 4(d), A1(0,py)A_{1}(0,p_{y}) is also nearly independent of pyp_{y} for small values of α\alpha. But as α\alpha grows to fall into the strong-coupling regime, A1(0,py)A_{1}(0,p_{y}) becomes significantly dependent on pyp_{y}. Based on the above results, we infer that the fermion dispersion remains linear along the xx-direction within a broad range of α\alpha and momentum even when the impact of Coulomb interaction is included.

In Fig. 5(a) and Fig. 5(b), we show how the renormalized fermion spectrum, characterized by the function ε(px,py)=±A12(px,py)px2+A22(px,py)β2py4\varepsilon(p_{x},p_{y})=\pm\sqrt{A_{1}^{2}(p_{x},p_{y})p_{x}^{2}+A_{2}^{2}(p_{x},p_{y})\beta^{2}p_{y}^{4}}, depends on pxp_{x} and pyp_{y} for a fixed value of α\alpha, respectively. This spectrum manifests a nearly linear dependence on momentum in both of the two directions within a broad range of pxp_{x} and pyp_{y}. There seems to be a deviation from the standard linear behavior in the region of small px,yp_{x,y}. This deviation stems from the existence of a finite gap at px,y=0p_{x,y}=0. If such a gap is removed by tuning suitable external parameters, the deviation from linear behavior would disappear.

V Summary and Discussion

In summary, we have performed a non-perturbative field theoretical study of the renormalization of the dispersion of 2D semi-Dirac fermions by incorporating the influence of long-range Coulomb interaction. Making use of several exact identities, we derive the self-closed DS integral equation of the full fermion propagator and obtain the momentum-dependence of the renormalized fermion spectrum based on the numerical solutions of such an equation. Our results show that the originally quadratic dispersion of semi-Dirac fermions is dramatically renormalized by the Coulomb interaction and changed into a linear one, which is illustrated in Fig. 2(a). However, the originally linear dispersion remains linear after renormalization.

Comparing to the RG approach, the DS equation approach has two major advantages. Firstly, the full momentum-dependence of such physical quantities as the renormalization functions A1(px,py)A_{1}(p_{x},p_{y}) and A2(px,py)A_{2}(p_{x},p_{y}) can be obtained from the numerical solutions of their integral equations. In contrast, the RG equations of various model parameters depends merely on a varying scale l=ln(Λ/E)l=\ln\left(\Lambda/E\right) where EE is either the energy or the absolute quantity of the momentum. Secondly, the DS equation of fermion propagator is exact and contains all the interaction-induced effects. Hence the DS equation approach is valid for any values of α\alpha and NN.

In order to simplify numerical computations, we have neglected the energy dependence of the renormalization functions A1(px,py)A_{1}(p_{x},p_{y}) and A2(px,py)A_{2}(p_{x},p_{y}). Under such an approximation, the quasiparticle resisue ZZ cannot be calculated since the renormalization function A0(p)=1A_{0}(p)=1. Thus the results presented in this paper cannot be used to judge whether the system exhibit non-Fermi liquid behaviors. The computational time of solving the complicated integral equations of A0(p0,px,py)A_{0}(p_{0},p_{x},p_{y}), A1(p0,px,py)A_{1}(p_{0},p_{x},p_{y}), and A2(p0,px,py)A_{2}(p_{0},p_{x},p_{y}) is much longer than that needed to solve the integral equations of A1(px,py)A_{1}(p_{x},p_{y}) and A2(px,py)A_{2}(p_{x},p_{y}). We wish to undertake such a task in a future project.

ACKNOWLEDGEMENTS

We thank Jing-Rong Wang and Zhao-Kun Yang for helpful discussions. H.F.Z. is supported by the Natural Science Foundation of China (Grants No. 12073026 and No. 11421303) and the Fundamental Research Funds for the Central Universities.

References

  • (1) A. H. Castro Neto, F. Guinea, N. M. R. Peres, K. S. Novoselov, and A. K. Geim, Rev. Mod. Phys. 81, 109 (2009).
  • (2) V. N. Kotov, B. Uchoa, V. M. Pereira, F. Guinea, and A. H. Castro Neto, Rev. Mod. Phys. 84, 1067 (2012).
  • (3) O. Vafek and A. Vishwanath, Annu. Rev. Condens. Matter Phys. 5, 83 (2014).
  • (4) M. Hirata, A. Kobayashi, C. Berthier, and K. Kanoda, Rep. Prog. Phys. 84, 036502 (2021).
  • (5) R. Shankar, Rev. Mod. Phys. 66, 129 (1994).
  • (6) P. Coleman, Introduction to Many-Body Physics (Cambridge University Press, Cambridge, 2015).
  • (7) J. González, F. Guinea, and M. A. H. Vozmediano, Nucl. Phys. B 424, 595 (1994).
  • (8) D. C. Elias, R. V. Gorbachev, A. S. Mayorov, S. V. Morozov, A. A. Zhukov, P. Blake, L. A. Ponomarenko, I. V. Grigorieva, K. S. Novoselov, F. Guinea, and A. K. Geim, Nat. Phys. 7, 701 (2011).
  • (9) D. A. Siegel, C.-H. Park, C. Hwang, J. Deslippe, A. V. Fedorov, S. G. Louie, and A. Lanzara, Proc. Natl. Acad. Sci. U.S.A. 108, 11365 (2011).
  • (10) J. Chae, S. Jung, A. F. Young, C. R. Dean, L. Wang, Y. Gao, K. Watanabe, T. Taniguchi, J. Hone, K. L. Shepard, P. Kim, N. B. Zhitenev, and J. A. Stroscio , Phys. Rev. Lett. 109, 116802 (2012).
  • (11) X.-Y. Pan, Z.-K. Yang, X. Li, and G.-Z. Liu, Phys. Rev. B 104, 085141 (2021).
  • (12) G. Montambaux, F. Piéchon, J.-N. Fuchs, and M. O. Goerbig, Eur. Phys. J. B 72, 509 (2009).
  • (13) G. Montambaux, F. Piéchon, J.-N. Fuchs, and M. O. Goerbig, Phys. Rev. B 80, 153412 (2009).
  • (14) L.-K. Lim, J.-N. Fuchs, and G. Montambaux, Phys. Rev. Lett. 108, 175303 (2012).
  • (15) M. Bellec, U. Kuhl, G. Montambaux, and F. Mortessagne, Phys. Rev. Lett. 110, 033902 (2013).
  • (16) P. Dietl, F. Piéchon, and G. Montambaux, Phys. Rev. Lett. 100, 236405 (2008).
  • (17) M. O. Goerbig, J.-N. Fuchs, G. Montambaux, and F. Piéchon, Phys. Rev. B 78, 045415 (2008).
  • (18) A. Kobayashi, S. Katayama, Y. Suzumura, and H. Fukuyama, J. Phys. Soc. Jpn. 76, 034711 (2007).
  • (19) A. Kobayashi, Y. Suzumura, F. Piéchon, and G. Montambaux, Phys. Rev. B 84, 075450 (2011).
  • (20) V. Pardo and W. E. Pickett, Phys. Rev. Lett. 102, 166803 (2009).
  • (21) V. Pardo and W. E. Pickett, Phys. Rev. B 81, 035111 (2010).
  • (22) S. Banerjee, R. R. P. Singh, V. Pardo, and W. E. Pickett, Phys. Rev. Lett. 103, 016402 (2009).
  • (23) J. Kim, S. S. Baik, S. H. Ryu, Y. Sohn, S. Park, B.-G. Park, J. Denlinger, Y. Yi, H. J. Choi, and K. S. Kim, Science 349, 723 (2015).
  • (24) B. Wunsch, F. Guinea, and F. Sols, New. J. Phys. 10, 103027 (2008).
  • (25) L. Tarruell, D. Greif, T. Uehlinger, G. Jotzu, and T. Esslinger, Nature 483, 302 (2012).
  • (26) H. Isobe, B.-J. Yang, A. Chubukov, J. Schmalian, and N. Nagaosa, Phys. Rev. Lett. 116, 076803 (2016).
  • (27) G. Y. Cho and E.-G. Moon, Sci. Rep. 6, 19198 (2016).
  • (28) V. N. Kotov, B. Uchoa, and O. P. Sushkov, Phys. Rev. B 103, 045403 (2021).
  • (29) J. M. Link, B. N. Narozhny, E. I. Kiselev, and J. Schmalian, Phys. Rev. Lett. 120, 196801 (2018).
  • (30) J.-R. Wang, G.-Z. Liu, and C.-J. Zhang, Phys. Rev. B 95, 075129 (2017).
  • (31) B. Uchoa and K. Seo, Phys. Rev. B 96, 220503(R) (2017).
  • (32) M. D. Uryszek, E. Christou, A. Jaefari, F. Krüger, and B. Uchoa, Phys. Rev. B 100, 155101 (2019).
  • (33) B. Roy and M. S. Foster, Phys. Rev. X 8, 011049 (2018).
  • (34) G.-Z. Liu, Z.-K. Yang, X.-Y. Pan, and J.-R. Wang, Phys. Rev. B 103, 094501 (2021).