Two-dimensional Yukawa interaction driven by a nonlocal-Proca quantum electrodynamics
Van S´ergioAlves1, Tommaso Macr`ı2,3,4, Gabriel C. Magalh˜aes1, E. C. Marino5, Leandro O. Nascimento3,6 1 Faculdade de F´ısica, Universidade Federal do Par´a, Av. Augusto Correa 01, Bel´emPA, 66075-110, Brazil 2 Departamento de F´ısica Te´orica e Experimental, Universidade Federal do Rio Grande do Norte, Natal-RN, Brazil 3 International Institute of Physics, Campus Universit´arioLagoa Nova, C.P. 1613, Natal RN, 59078-970, Brazil 4 Dipartimento di Scienze Fisiche e Chimiche, Universit`adell’Aquila, via Vetoio, I-67010 Coppito-L’Aquila, Italy 5 Instituto de F´ısica, Universidade Federal do Rio de Janeiro, C.P. 68528, Rio de Janeiro RJ, 21941-972, Brazil 6 Faculdade de CiˆenciasNaturais, Universidade Federal do Par´a,C.P. 68800-000, Breves, PA, Brazil (Dated: December 19, 2017) We derive two versions of an effective model to describe dynamical effects of the Yukawa interaction among Dirac electrons in the plane. Such short-range interaction is obtained by introducing a mass term for the intermediate particle, which may be either scalar or an abelian gauge field, both of them in (3+1) dimensions. Thereafter, we consider that the matter field propagates only in (2+1) dimensions, whereas the bosonic field is free to propagate out of the plane. Within these assumptions, we apply a mechanism for dimensional reduction, which yields an effective model in (2+1) dimensions. In particular, for the gauge-field case, we use the Stueckelberg mechanism in order to preserve gauge invariance. We refer to this version as nonlocal-Proca quantum electrodynamics (NPQED). For both scalar and gauge cases, the effective models reproduce the usual e−mr/r Yukawa interaction in the static limit. By means of perturbation theory at one loop, we calculate the mass renormalization of the Dirac field. Our model is a generalization of Pseudoquantum electrodynamics (PQED), which is a gauge-field model that provides a Coulomb interaction for two-dimensional electrons. Possibilities of application to Fermi-Bose mixtures in mixed dimensions, using cold atoms, are briefly discussed.
Subject Areas: Gauge field theories, Other nonperturbative techniques
PACS numbers: 11.15.-q, 11.15.Tk
I. INTRODUCTION dynamics of ultracold atoms [9]. Recently the experi- mental demonstration of a digital quantum simulation of the paradigmatic Schwinger model, a U(1)-Wilson lattice In the last decades, the interest of studying planar the- gauge theory [10] was shown. ories has increased in theoretical physics, mainly because of the discovery of new quantum effects, such as high- Among two-dimensional models, Pseudo quantum Tc superconductivity, quantum Hall effect, and topolog- electrodynamics (PQED) [11, 12] (or Reduced quantum ical phase transitions [1]. Furthermore, the emergence electrodynamics [13]) has attracted some attention. This of both massless and massive Dirac excitations in two- model describes the electromagnetic interaction in a sys- dimensional materials, such as graphene [2] and silicene tem where electrons are confined to the plane, but pho- [3], has built a bridge between high-energy and con- tons (or the intermediating particle) may propagate out densed matter physics. For instance, well-known effects of the plane. Despite its nonlocal nature, PQED is still arXiv:1712.06401v1 [hep-th] 18 Dec 2017 have been experimentally verified, or proposed in reach- unitary [14]. Indeed, its main striking feature is that the able energy scales, see [4] for an experimental realization effective action, for the matter field, remains the very of Klein paradox in graphene. On the other hand, for same as the one provided by quantum electrodynamics quantum chromodynamics the interest relies on the pos- in 3+1 dimensions, hence, unitarity is respected. In the sibility of studying confinement in simplest models [5]. static limit, it yields a Coulomb potential, which renor- More recently, ultracold atomic gases offered a clean and malizes the Fermi velocity in graphene [15], as it has been highly controllable platform for the quantum simulation verified by experimental findings [16]. In the dynamical of bosonic and fermionic systems [6]. Within such sys- description, it is expected to generate a set of quantized- tems, static as well as dynamical properties of models in energy levels in graphene as well as an interaction driven trapped geometries with short or long-range interactions quantum valley Hall effect [17] at low enough tempera- [7] can be probed, for example via their collective dynam- tures. Furthermore, chiral-symmetry breaking has been ics, or via density or momentum correlations [8]. Impor- shown to take place for both zero and finite temperatures tantly, prototypical high energy physics models can be [18, 19]. It also occurs in the presence of a Gross-Neveu mapped into the low-energy, non-relativistic, many-body interaction, whose main effect is to decrease the critical 2 coupling constant, yielding a better scenario for dynam- Euclidean action in (3+1) dimensions, given by ical mass generation [20]. Lower dimensional versions of 1 µ 1 2 2 PQED have been investigated in Ref. [21], aiming for ap- 4D = ∂µϕ∂ ϕ + m ϕ + gϕψψ¯ + ψ¯(i∂/ M0)ψ, (1) plications in cold atoms and in Ref. [22] for applications L 2 2 − in the realm of topological insulators. All of these works where g is a dimensionless coupling constant, ϕ is a real rely on the fact that PQED generates a long-range inter- and massive Klein-Gordon field, and ψ is the Dirac field. action in the static limit, namely, the Coulomb potential First, we calculate the effective action for the matter V (r) 1/r. field eff [ψ]. In order to do so, we define the generating C ∝ L In the meson theory of Yukawa, the so-called Yukawa function Z mr potential V (r) e− /r is a static solution of the motion Z 2∝ 2 Z = DϕDψDψ¯ exp S[ψ, ϕ] equation ( +m )V (r) = δ(r), where δ(r) is the Dirac {− } delta function−∇ [23]. Within the quantum-field-theory in- Z R 4 2 ¯ ¯ d x[ ϕ( +m )ϕ/2 gϕψψ+O[ψ]] terpretation, we may claim that the mediating field has = DψDψDϕe − − − a mass term. Motivated by this well-known result, we Z shall use the paradigm of including a mass term, for = DψDψ¯ exp Seff . (2) the intermediate particle, in order to generate a short- {− } range interaction, i.e, the Yukawa potential in the plane. Integrating out ϕ in Eq. (2) yields This potential has been applied to describe bound states 2 Z [24, 25], electron-ion interactions in a crystal [26], and g 4 4 eff [ψ] = d xd y(ψψ¯ )(x)∆ϕ(x y)(ψψ¯ )(y), (3) interactions between dark energy and dark matter [27] L − 2 − among others. Nevertheless, a planar quantum-field the- where ory accounting for this interaction, for both static and Z 4 ik(x y) dynamical regime, has not been derived yet. 2 1 d k e− − ( + m )− ∆ϕ(x y) = (4) In this paper, we show how one may include an interac- − ≡ − (2π)4 k2 + m2 tion length in PQED, yielding a short-range and nonlocal is the free scalar-field propagator, which yields the inter- theory. The simplest method is to generate a mass term action between the matter field. The static interaction for the mediating particle. Hence, we consider both the V (r) is provided by the Fourier transform of Eq. (4) at massive Klein-Gordon field as well as the massive Stueck- k0 = 0 (no time dependence), namely, elberg model. For both cases, we have a Yukawa poten- tial between static charges. Thereafter, we calculate the Z d3k e ik.r e mr V (r) = − = − . (5) mass renormalization at one loop in the small-coupling (2π)3 k2 + m2 4πr limit. Eq. (5) is the well-known Yukawa potential, where the The outline of this paper is the following: in Sec. II, inverse of m is the interaction length of the model. This we consider a Dirac field coupled to a scalar field, whose is just the consequence of the coupling gϕψψ¯ in (3+1)D. dynamics is given by the massive Klein Gordon model. Next, we show how to generalize Eq. (3) and Eq. (5) In Sec. III, we introduce the gauge field model. Since a for 2+1 dimensions. Here, the main purpose is to keep naive addition of a mass for the gauge field would break the Yukawa potential between the matter field. In other gauge invariance, we consider the well known Stueckel- words, we say that the fermionic field is confined to the berg action. This model is a generalized version of Proca plane, but the bosonic field is not. This is a roughly quantum electrodynamics, on which we perform the di- approximation of the derivation of PQED [11]. In order mensional reduction. In Sec. IV, we compute the asymp- to do so, we assume that matter field is confined to the totic behavior of the boson propagator at both small and plane, i.e, large distances. In Sec. V, we show that, by tuning the mass of the intermediate field, one may control the sign ψψ¯ (x) = ψψ¯ (x0, x1, x2)δ(x3). (6) of the quantum correction, generated by the electron-self energy. We also include one appendix, where we present Using Eq. (6) in Eq. (3), we obtain the details about the electron-self energy. g2 Z = d3xd3y(ψψ¯ )(x)G (x y)(ψψ¯ )(y), (7) Leff − 2 ϕ −
II. THE SCALAR CASE where Gϕ(x y) = ∆ϕ(x y, x3 = 0, y3 = 0) is the ef- fective scalar-field− propagator− in (2+1) dimensions, given by In this section, we perform a dimensional reduction of Z 3 Z the Yukawa action in 3+1 dimensions. To generate an d k ik(x y) dkz 1 Gϕ(x y) = 3 e− − 2 2 2 . interaction length, we assume that the mediating parti- − (2π) (2π) k + kz + m cle is a massive real scalar field. Let us start with the (8) 3
Integrating over kz above, we find under Aµ Aµ + ∂µB/m. Indeed, gauge invariance is explicitly broken.→ Z 3 ik(x y) d k e− − Next, we introduce a scalar-field B(x) (the Stueckel- Gϕ(x y) = . (9) − (2π)3 2√k2 + m2 berg field) in Eq. (13), hence,
In the static limit, Eq. (9) yields the Yukawa potential. 1 m2 ∂ B 2 = F F µν + A µ + eAµj Indeed, L4D 4 µν 2 µ − m µ Z 2 ik.r mr λ d k e− e− µ 2 (∂µA ) + ψ¯(i∂/ M0)ψ. (15) V (r) = 2 p = , (10) − 2 − (2π) 2 k2 + m2 4πr Eq. (15) is known as Stueckelberg action. Despite the as expected from our dimensional reduction. mass for the gauge field, it is invariant under gauge trans- We may go beyond the static approximation by con- formation, namely, Aµ Aµ + ∂µΛ, B B mΛ, and sidering a nonlocal model with a propagator equal to ψ exp( ieΛ)ψ [29]. Furthermore,→ it still→ produces− the Eq. (9). This is given by Yukawa→ interaction− between static charges. From Eq. (15), we may find 1 µ 1 2 2 ¯ ¯ 3D = ∂ ϕK[]∂µϕ + m ϕ + gϕψψ + ψ(i∂/ M0)ψ, L 2 2 − 2 2 1 µν m µ (∂µB) µ (11) 4D = Fµν F + AµA + + mAµ∂ B with L 4 2 2 λ + eAµj (∂ Aµ)2 + ψ¯(i∂/ M )ψ. (16) 2√ + m2 Z d3k 2√k2 + m2 µ − 2 µ − 0 K[ ] − eikx . (12) ≡ ≡ (2π)3 k2 − We shall use Eq. (16) to compute the effective action From Eq. (11), it is straightforward that the scalar- among the matter current jµ. The generating functional is field propagator is Gϕ and the effective action for the matter field are the very same as in Eq. (9) and Eq. (7), Z Z = DψDψDA¯ DB exp S[ψ, A ,B] . (17) respectively. µ {− µ } Integration over B yields III-THE GAUGE-FIELD CASE 1 m2 λ eff = F F µν + A Aµ + (∂ Aµ)2 L4D 4 µν 2 µ 2 µ In this section, we consider that the matter field is µ + eA jµ + ψ¯(i∂/ M0)ψ, (18) coupled to a gauge field Aµ, through a minimal coupling − µ A jµ. The main steps are the same as in the previous where 2 µ calculation. Nevertheless, a massive term as m AµA 2 1 breaks gauge invariance. Hence, we must be careful λ = λ + m − . (19) − about how to introduce the mass, i.e, the length scale for Now, for the sake of simplicity, we isolate the quadratic interactions. For the sake of simplicty, we consider an term in Aµ, hence, abelian field Aµ, for which we may use the Stueckelberg mechanism. This is a mechanism for generating mass eff 1 µ 2 ν 4D = A ( + m )δµν + λ ∂µ∂ν A for Aµ without breaking gauge invariance [29]. Before L 2 − we perform the dimensional reduction, let us summarize µ + eA jµ + ψ¯(i∂/ M0)ψ. (20) this method. − First, we introduce a mass term into (3+1) QED, yield- Integrating out Aµ, we get our desired effective action ing the so-called Proca quantum electrodynamics, whose e2 action is given by eff [j] = jµ(x)∆ jν (y) + ψ¯(i∂/ M )ψ, (21) L4D − 2 µν − 0 1 m2 = F F µν + A Aµ + eAµj where L4D 4 µν 2 µ µ 1 λ λ µ 2 ¯ ∆ = δ ∂ ∂ . (22) (∂µA ) + ψ(i∂/ M0)ψ, (13) µν + m2 µν − + m2 λ µ ν − 2 − − − − where e is the electric charge, jµ = ψγ¯ µψ is the matter Using Eq. (22) in Eq. (21) with charge conservation 2 µ current, m is a massive parameter for the gauge field, ∂µj = 0, we may conclude that, for a correct descrip- and λ is a gauge-fixing parameter. As expected, tion, the gauge-field propagator is
2 2 Z 4 m m 1 d k ik(x y) δµν A Aµ A Aµ + mAµ∂ B + (∂ B)2 (14) ∆µν (x y) = e− − . (23) 2 µ → 2 µ µ 2 µ − (2π)4 k2 + m2 4
In this way, all the gauge-dependence vanishes in the ef- Next, after solving the µ-integral (see Ref. [28]), we fective action. have In order to obtain the projected theory in (2+1) di- m mensions, we consider that the current matter only prop- Gϕ(x y; m) = K1(m x y ), (30) − 4π2 x y | − | agates in the plane, therefore, | − |
µ where K1 is a modified Bessel function of the second kind. µ j (x0, x1, x2)δ(x3), µ = 0, 1, 2, j (x) = (24) In the short-range limit m x y 1, it yields 0, µ = 3. | − | Similarly to the previous case, this shall lead to 1 Gϕ(x y; m) , (31) Z 3 − ≈ 4π2 x y 2 d k ik(x y) δµν G0,µν = e− − , (25) | − | 3 √ 2 2 (2π) 2 k + m whereas in the long-range limit m x y 1, we find which is the effective propagator in (2+1) dimensions. | − | r m x y Our main goal is to find the corresponding theory mπ e− | − | G (x y; m) . (32) in (2+1) dimensions with the same effective action in ϕ − ≈ 2 4π2 x y 3/2 Eq. (21). This model reads | − | The gauge-field propagator may be calculated by follow- 1 µν µ ν µ 3D = Fµν K[]F + λA ∂µK[]∂ν A + eA jµ ing the very same steps. L 2 We have described some general features of NPQED, + ψ¯(i∂/ M )ψ, (26) − 0 in particular, its derivation, two-point functions, and in- where λ is a gauge-fixing parameter. It is straightforward teractions. Next, we shall explore quantum corrections to show that, after integrating out Aµ in Eq. (26), we by using perturbation theory. obtain the same effective action as in Eq. (21) with the constraint in Eq. (24). For an arbitrary λ, the free gauge- field propagator reads V- PERTURBATION THEORY RESULTS 1 (1 λ) kµkν G0,µν (k) = δµν + − . (27) In this section, we calculate the renormalized electron 2√k2 + m2 λ k2 mass mR of the model in Eq. (26) at one-loop approxi- There are two main features of Eq. (26): (a) The mas- mation. The details about the calculation are shown in sive parameter m is no longer a pole of the gauge-field Appendix A. In particular, we would like to obtain its de- propagator, hence, it can not be thought as a mass and pendence on m, the mass term of the gauge field. Note (b) Gauge-invariance is explicitly respected, i.e, there is that in our 3D model, this parameter must to be un- no need to deal with Stueckelberg fields. Indeed, we could derstood as the inverse of the interaction length. This, set B = 0 from the very beginning, which means start- nevertheless, is the mass of the intermediate field that ing with Proca quantum electrodynamics and, therefore, propagates in 4D. Thereafter a standard calculation, we breaking of gauge invariance. Then, after dimensional obtain reduction, the corresponding 3D theory is still the same α as in Eq. (26) and that it is gauge invariant. zR = 1 + f(z), (33) 2π
where zR mR/M0, z m/M0, and IV- ASYMPTOTIC BEHAVIOR OF BOTH ≡ ≡ SCALAR AND GAUGE-FIELD PROPAGATORS 1 Z 2 + x hp i f(z) = dx ln (1 x)(z2 x) + x . (34) 0 √1 x − − In this section, we calculate the asymptotic expressions − of G (x y; m) and δµν G (x y; m), i.e, propagators in From Eq. (34), it is clear that f(z) = f( z), therefore, ϕ − 0µν − the space-time coordinates. We use the integral version the corrections are only dependent on the− modulus of m. in Eq. (8), which has an extra kz-integral. Hence, From now on, we assume α = 1/137. Next, we would Z 3 Z + like to address the effects of the m parameter on zR. d k ik(x y) ∞ dµ 1 G (x y; m) = e− − . Surprisingly, for z z 1.2, the quantum correction ϕ − (2π)3 (2π) k2 + µ2 + m2 c αf(z)/2π is negative,| | ≤ while≈ for z z , they become −∞ (28) c positive and cross the free-energy| level| ≥ M , see Fig.1. Note that we have replaced k by µ, since µ is just a 0 z Let us calculate the energy gap of the renormalized parametric variable. Thereafter, we use Eq. (5) for solv- + state δRE = ER ER− = M0 + M0αfx(z)/2π ( M0 ing the k-sphere integral, therefore, − −+ − − M0αf(z)/2π) = 2M0 + M0αf(z)/π., where E > 0 and Z + R ∞ 2 2 dµ 1 √(µ +m ) x y ER− < 0 are the positive and negative energies, see Ap- Gϕ(x y; m) = e− | − |. − (2π) 4π x y pendix A. Since f(z) may be negative for z zc 1.2, −∞ | − | | | ≤ ≈ (29) we have that δRE lies inside the energy gap 2M0. The 5
3 10 2 ⇥ cold-atom system made of fermions in two-dimensions with bosons in three-dimensions. This has been called 1 Fermi-Bose mixture in mixed dimensions. Accordingly ) to their theoretical model, the static interaction between z (
f 0 the fermionic particles is given by the Yukawa potential. ⇡
↵ Although, in their approach, retardation effects are ne- 2 glected, we may make use of NPQED for investigating -1
1= these new regime. Indeed, besides anomalies [17], it has