Renormalization in a Lorentz-violating model and higher-order operators

Renormalization in a Lorentz-violating model and higher-order operators

J. R. Nascimento Departamento de Física, Universidade Federal da Paraíba
Caixa Postal 5008, 58051-970, João Pessoa, Paraíba, Brazil
   A. Yu. Petrov Departamento de Física, Universidade Federal da Paraíba
Caixa Postal 5008, 58051-970, João Pessoa, Paraíba, Brazil
   Carlos M. Reyes Departamento de Ciencias Básicas, Universidad del Bío Bío,
Casilla 447, Chillán, Chile

The renormalization in a Lorentz-breaking scalar-spinor higher-derivative model involving self-interaction and the Yukawa-like coupling is studied. We explicitly demonstrate that the convergence is improved in comparison with the usual scalar-spinor model, so, the theory is super-renormalizable, and there is no divergences beyond two loops. We compute the one-loop corrections to the propagators for the scalar and fermionic fields and show that in the presence of higher-order Lorentz invariance violation, the poles that dominate the physical theory, are driven away from the standard on-shell pole mass due to radiatively induced lower dimensional operators. The new operators change the standard gamma-matrix structure of the two-point functions, introduce large Lorentz-breaking corrections and lead to modifications in the renormalization conditions of the theory. We found the physical pole mass in each sector of our model.

11.55.Bq, 11.30.Cp, 04.60.Bc,11.10.Gh

I Introduction

It is well known that the Lorentz-breaking field theory models can be introduced in several ways. We can list some of the most popular approaches. First, one can introduce small Lorentz-breaking modifications of the known theories through additive terms, thus implementing the Lorentz-breaking extensions of the standard model ColKost (). In principle, the most known extensions of the QED follow this way. A very extensive list of the possible Lorentz-breaking additive terms in different field theory models including QED is given by KosGra (). Second, one can start with the modified dispersion relations Amelino (), and, in principle, try to find a theory yielding such relations. Third, the Lorentz-breaking theories can be treated as a low-energy limit of some fundamental theories, for example string theory KostSam () and loop quantum gravity LQG (). Finally, the Lorentz symmetry can be broken spontaneously, see f.e. spont (). The main motivation behind all these approaches, however, is the same, and resides in the expectation that any experimental evidence of departure from Lorentz symmetry may provide the first germs towards the construction of a theory amalgamating both General Relativity and the Standard Model of particle physics.

At the same time, it is natural to consider one more aspect of studying the Lorentz-breaking extensions of the field theory models. It consists in introducing the essentially Lorentz-breaking terms, that is, those ones proportional to some constant vectors or tensors, involving higher derivatives. As a result, the corresponding theory will yield an essentially different quantum dynamics. The first known example of such a theory is the Myers-Pospelov extension of the electrodynamics MP () where the three-derivative term essentially involves the Lorentz symmetry breaking. Another important example of such a theory is a four-dimensional Chern-Simons modified gravity with the Chern-Simons coefficient chosen in special form  JaPi (), which, in the weak field limit, also involves third order in derivatives of the dynamical field (that is, the metric fluctuation). Moreover, the importance of the Myers-Pospelov-like term, and analogous terms for scalar and spinor fields which can be easily introduced, is also motivated by the fact that a special choice of the Lorentz-breaking vector will allow to eliminate the presence of higher time derivatives thus avoiding the arising of the ghosts which are typically present in theories with higher time derivatives (see f.e. ghosts ()). Also, this term was shown to arise as a quantum correction in different Lorentz-breaking extensions of QED MNP () and has been studied for causality and stability CMR0 (). In the case of including higher time derivatives, it has been shown recently that the unitarity of the -matrix can be preserved at the one-loop order in a Myers-Pospelov QED CMR (). The proof has been accomplished using the Lee-Wick prescription for quantum field theories with negative metric Lee-Wick (). For other studies on unitarity at tree level for minimal and nonminimal Lorentz violations, see Schreck1 (); Schreck2 () respectively. It is important to notice that the Myers-Pospelov-like modifications of QED are actually experimentally studied as well within different contexts MPexp ().

We emphasize that, up to now, the quantum impact of the Myers-Pospelov-like class of terms being introduced already at the classical level, where the higher-derivative additive term should carry a small parameter which can enforce large quantum corrections collins (), almost was not studied except of the QED Fine-Tuning () and superfield case CMP (). The presence of such effect raises the question how to define correctly the physical parameters in the renormalized theory. On the other hand, for studies in the context of semiclassical quantization it is natural to consider the presence of higher derivative terms in order to implement a consistent renormalization program shapiro (). With these considerations, the natural question is – what are the possible consequences of including the Lorentz-breaking higher-derivative terms into the classical action?

It is well known that loop corrections in Lorentz-invariance violating quantum field theory may lead to new kinetic operators absent in the original Lagrangian. Recently, the consequences of these radiatively induced operators have been studied in relation with the finiteness of the -matrix and the identification of the asymptotic state space ralf (). These new terms introduce modifications in the propagation of free particles and change drastically the physical content of the space of in and out states. In particular, the Kallen-Lehmann representation KL () and the LSZ reduction formalism LSZ () are modified in the presence of Lorentz symmetry violation rob (). An important finding is that spectral densities which in the standard case are functions of momentum-dependent observer scalars such as , in the Lorentz violating scenario may depend on other scalars such as couplings of Lorentz-violating tensor coefficients with momenta rob (). This has led to modifications in the renormalization procedure, in the definition of the asymptotic Hilbert space and in general in the treatment for external-leg physics ralf (); for other studies of the renormalization in Lorentz-breaking theories, see also scarp (). A natural extension for these studies is to consider the nonminimal framework of Lorentz invariance violation, that is, when the Lorentz-breaking is performed with higher-order operators Kos-Mew (). It is well known that the inclusion of higher-order operators in quantum field theory will generate, via radiative corrections, all the lower dimensional operators allowed by the symmetries of the Lagrangian. For the case of breaking the Lorentz symmetry, let us say in QED and with a preferred four-vector , the induced operators may involve contractions of with matrices other than just , together with scalars such as . The new terms force to modify the renormalization conditions in order to extract the correct pole mass from the two-point functions. In particular, the renormalization condition for the renormalized fermion self-energy , with being the physical pole mass, has to be generalized, which ultimately will depend on the form of Lorentz breaking. In this work we continue these studies in order to carry out the renormalization in a theory with higher-order operators and in addition we study the possible effects of large Lorentz-violating corrections. Within our study, we consider the renormalization of the higher-derivative Lorentz-breaking generalizations of and Yukawa model.

The structure of the paper looks like follows. In Sec. II, we consider the classical actions of our models, write down the dispersion relations, find the poles and describe their analytical behavior in complex -plane. In Sec. III, we compute the quantum corrections corresponding to the self interaction . In Sec. IV we discuss the coupling of scalar and spinor fields and provide a study of the degree of divergencies in our model. In Sec. V, we compute the two-point functions in purely scalar and scalar-spinor sectors thus exhausting possible divergences and showing explicitly the radiatively induced operators with new gamma-matrix structure and large Lorentz-violating terms. In Sec. VI, we perform the mass renormalization in both sectors and find the physical masses in the theory. In the last section, we discuss our results, and in the Appendices AB, we provide some details of the calculations.

Ii The effective models and pole structure

We are interested in the higher-order Lagrangian density describing two sectors of Lorentz-breaking theory:


The first sector involves a scalar sector with a fourth derivative together with a self-interaction potential term


and the second one the fermionic Myers-Pospelov model MP (), with dimension-five operators and the Yukawa coupling vertex


The constants and parametrize the higher-order Lorentz invariance violation with the Planck mass representing itself as a natural mass scale, , are dimensionless parameters, whose presence describes the intensity of the higher-derivative terms, and is a dimensionless four-vector defining a preferred reference frame.

Figure 1: The path of integration for the scalar propagator which encloses the poles and when closing the contour upward and encloses the poles and when closing the contour downward.

The propagators in momentum space read


We begin an analysis of the dispersion relations in both sectors. A further motivation for its study, and consequently, the finding of the poles and their analytical behavior in complex -plane, consists first in the fact that in our models namely using of the residues of the propagators is a most convenient approach for calculating the quantum corrections. Second, in the presence of higher-order time-derivative terms a direct implementation of the prescription may lead to a wrong four-momentum representation for the propagator which may spoil any attempt to preserve unitarity or causality.

Let us start with the scalar dispersion relation, namely


which for a purely time-like four-vector , the solutions are given by


and where . The dispersion relation can also be written as , hence one has the solutions and so that


Their exact location in complex -plane and also the contour of integration are shown in Fig. 1.

The solutions can be classified according to their perturbative behavior when taking the Lorentz violation to zero. We identify two standard solutions which are perturbative solutions to the usual ones and two complex ones (and moreover, actually tachyonic) which diverge as . The extra solutions that appear are associated to negative-metric states in Hilbert space and have been called Lee-Wick solutions Lee-Wick ().

Figure 2: The integration contour for the fermion propagator which is defined to round the negative pole from below and the positive poles from above. At higher energies than , the two solutions and become complex and move in opposite directions along the imaginary line starting at , we deform the contour continuously avoiding any crossing or singularity with the poles.

Alternatively, we can write the scalar propagator as


which agrees with the usual propagator in the limit .

In the fermion sector we have the dispersion relation


Again for the time-like we have the equation


whose standard, that is, non-singular at , solutions are


and the Lee-Wick ones


where .

In the region of energies satisfying the condition the four solutions are real and obey the inequality , where is a negative number. However, beyond the critical energy both and become complex and move in the opposite imaginary line at as shown in Fig. 2, while the other two solutions remain real.

To define the contour we use an heuristic argument, specially to go beyond the critical energy at which complex solutions appear. We implement a correct low energy limit by considering the prescription given in QEDunitarity () which has been well tested to give a suitable correspondence with the normal theory when and also to preserve the unitarity of the matrix. In this effective region the integration contour is defined to round the negative pole from below and the three positive ones from above. Now we increase the energy to values at which the two solutions and become complex, and define the new contour as the one obtained by continuously deforming the curve by avoiding any crossing and singularity with the poles, as shown in Fig. 2.

With this consideration in mind, the fermion propagator reads


which differs from the direct prescription in the quadratic terms, but allows in particular to define a consistent Wick rotation which we use later.

Iii The interaction

In this section we explore the potentially divergent one-loop radiative correction in the scalar propagator which is generated by the well-known tadpole graph given by Fig. 3.

Figure 3: One-loop graph in the scalar model with self interaction .

To proceed with it, we need to evaluate the basic integral


Note that a naive power counting gives a logarithmic divergence for the integral which, however, as shown below using dimensional regularization is found to have a finite result in four dimensions; in a similar fashion of what happens with the Riemann zeta function for negative values of .

We go to dimensions and choose the Lorentz-breaking four-vector to be timelike which yields


where are given in (7). We perform the integration in the complex -plane by closing the contour upward and enclosing the two poles and as depicted in Fig. 1, yielding




Note that has the correct limit at , recovering the usual result . Now, it is convenient to change variables yielding


which allows to write the integral (16) as




where and we have used the definition of solid angle (115).

Considering both contributions through the relation , and after some algebra with and expanding in , we find at lowest order


Here, is a hypergeometric function, whose exact value is . Note that there is a fine tuning in this case, that is, the expression is singular at . However the correction to the two-point function is UV finite.

Iv Coupling of scalar and spinor fields

Let us consider the theory involving both the quartic interaction vertex and the Yukawa coupling vertex . We note, that, in principle, the second time derivatives in a free action of a spinor field are present also in specific Lorentz invariant theories, for example, the known ELKO model ELKO (). However, our theory essentially differs from that model. To classify the possible divergences, we should calculate the superficial degree of divergence of this theory. The naive result for it is


where is a number of spinor legs. However, this manner yields incorrect results because of the strong anisotropy between time and space components of the momenta (for example, in this case one can naively suggest that the two-point function of the spinor field can yield only the renormalization of the mass of the spinor field). So, let us proceed in the manner similar to that one used for Horava-Lifshitz-like theories (cf. Anselmi ()). Since is purely time-like, we can write , so, we have from  (II)


Following the methodology developed for the Horava-Lifshitz theories (see f.e. Anselmi ()), we suggest that the denominators of the propagators are the homogeneous functions with respect to higher orders in corresponding momenta, and the canonical dimension of the spatial momentum is 1. Taking into account only the leading degrees, we easily conclude that the canonical dimension of the momentum is (we note that this case does not occur in usual Horava-Lifshitz-like theories where the canonical dimension of time momenta are always more than one, cf. Anselmi ()). Therefore, the spinor propagator has the canonical dimension (and the contribution to the superficial degree of divergence) equal to , and the scalar one – equal to just as in the usual case. Nevertheless, the dimension of the integral measure, that is, in this case is different from the usual one, being equal to rather than . Hence the superficial degree in our theory is


where is a number of loops, and and are the numbers of scalar and spinor propagators respectively. Then, let will be the number of vertices, and – of Yukawa-like vertices. One has the identities for numbers of scalar and spinor fields in an arbitrary Feynman diagram:


where , are the numbers of external scalar and spinor legs respectively. We use the topological identity , that is, . As a result, we eliminate numbers of loops and propagators from and rest with


A straightforward verification shows that the superficially divergent diagrams (that is, those ones with can be of the following types:

(i): , , , . This is the one-loop renormalization of the mass and kinetic terms for the spinor.

(ii): , , , . This is the two-loop renormalization of the mass and kinetic terms for the spinor.

(iii): , , , . This is the one-loop renormalization of the mass and kinetic terms for the scalar.

(iv): , , , . This is the two-loop renormalization of the mass and kinetic terms for the scalar.

(v) , , , . This is the one-loop renormalization of the mass term for the scalar. Actually, we already showed in the previous section that, due to the specific structure of poles of the propagator, this contribution is finite.

Actually, in the cases (iii) and (iv) the divergence will be not linear but logarithmic, by the reasons of symmetry of integrals over momenta. The diagrams with odd numbers of will vanish due to an analogue of the Furry theorem. So, our theory is super-renormalizable. Moreover, we note that since the kinetic term for the scalar involves two derivatives acting to the external fields, its superficial degree of freedom should be decreased at least by 1, if these derivatives are the time ones, and by two for space derivatives; actually, in one-loop case in a purely scalar sector the kinetic term simply does not arise. Also, in the cases (i) and (ii) one will have the only divergent contribution to the mass of the spinor. So, taking into account the previous section as well, we conclude that at the one-loop order one could have only the renormalization of the masses of the spinor and the scalar arisen from the Yukawa-like coupling.

We note that namely this degree of divergence correctly explains why the self-energy of the fermion diverges, as we will see further (indeed, the naive calculation yields a finite result for it). To study the renormalization, we can restrict ourselves by the lower order, that is, one loop.

So, we rest with only three potentially divergent graphs – with , that is, the purely scalar tadpole we studied above, and with and or we study below.

V The Yukawa-like theory

In the next subsections we compute the radiative corrections to the scalar and fermion two-point function in the Yukawa-like theory which arises by considering the self-interaction term and in (1). The Lagrangian is


and additionally, we impose the simplification of considering and the preferred four-vector to be purely timelike .

v.1 Scalar self-energy

As a first example of quantum corrections in our Yukawa-like model, we study the contribution with two external scalar legs depicted at Fig. 3.

Figure 4: Self-energy loop graph in the scalar sector.

It is represented by the integral


where we define


Calculating the trace gives


Let us write the corresponding contribution to the effective action as and study the typical low-energy behavior of this contribution by expanding it into Taylor series


The zeroth-order contribution follows directly from (30)


It is convenient to rewrite as






where the integrals (34) and (35) have been solved in the Appendix A.

For the next term, it is clear that can be proportional to only since there is no other vectors, the corresponding contribution to the effective action will yield , that is, a surface term. So, we can disregard it. Further, one would need then to find the second derivative, that is, which may contain naturally terms of higher-order in . To find it, consider


Integrating by parts and neglecting the surface terms, we obtain the symmetric expression


where we have used the identity .

We consider


and after some algebra we arrive at




By using the relations


one obtains


Considering the tensors available in our model, which are the flat metric and the preferred four-vector we can write




Now, consider the relation


and multiplying by we to arrive at


and by contracting with the metric


Solving the algebraic equation we have


A similar analysis gives


We find the second-order contribution


Reorganizing this expression, we can write the correction to the scalar propagator up to second-order in as




Finally one has


We provide details of the computation of , and in the Appendix A. The two-point function is finite and involves a fine-tuning term proportional to . The Lee-Wick modes improve the convergence of the theory such to make the two-point function of the scalar field essentially UV finite and involves the aether term ouraether ().

v.2 Fermion self-energy

Now we focus on the contribution of the fermion self-energy graph depicted in Fig. 4, and recall we are considering .

Figure 5: The fermion self-energy graph.

The fermion self-energy graph is represented by the integral


To find it, let us consider a Taylor expansion of the first denominator term up to second-order in and rewrite the diagram as


With the notation , we introduce the the zeroth-order contribution


the linear-order contribution


and the second-order contribution


v.3 The gamma-matrix structure of ,

v.3.1 Zeroth-order

Let us start with Eq. (58) and rewrite it as


where we have defined




From tensor analysis considerations one should have


Replacing the expression (64) in Eq. (61) produces the zeroth-order contribution




We carry out the calculations of and following the lines given in Appendix B.2. The first coefficient is naturally finite and the second one is divergent and contains a large Lorentz-breaking correction term of the order of .

v.3.2 Linear-order

The linear-order integral (59) can be rewritten by introducing




By considering