Tree-level equivalence between a Lorentz-violating extension of QED and its dual model in electron–electron scattering

S-matrix amplitudes for the electron–electron scattering are calculated in order to verify the physical equivalence between two Lorentz-breaking dual models. We begin with an extended Quantum Electrodynamics which incorporates CPT-even Lorentz-violating kinetic and mass terms. Then, in a process of gauge embedding, its gauge-invariant dual model is obtained. The physical equivalence of the two models is established at tree level in the electron–electron scattering and the unpolarized cross section is calculated up to second order in the Lorentz-violating parameter.


Introduction
In some situations, it is possible to establish relations between models which are essentially different but are equivalent in describing the physical behavior of a system. These are called dual models. This concept of duality is very useful, because there are some physical properties which are hidden in one model but are explicit in its dual theory. We refer to [1] in order to exemplify this particularly interesting property of Quantum Field Theories. Different expansions for the same Hamiltonian in a quantum model can be written, as H = H 0 + g H 1 = H 0 + g H 1 , where H 0 and H 0 allow simple known solutions. Besides, H 0 and H 0 are expressed in a simple form in terms of the fields ϕ and ϕ , respectively. On the other hand, the relation between ϕ and ϕ is complicated and nonlocal. Usually, the coupling constants obey a relation of the type g ∼ 1/g , so that g becomes small when g is large and vice versa. A very important fact is that if g and g are not of the same order of magnitude, the description in terms of one of the fields will be appropriate for a pera e-mail: giulianortoniolo@hotmail.com b e-mail: helvecio.fargnoli@dex.ufla.br c e-mail: lcbrito@dfi.ufla.br d e-mail: scarpelli.apbs@dpf.gov.br turbative analysis. As a good example, the relation between electric and magnetic couplings is implemented by the dual mapping of a weakly coupled theory into a strongly coupled one.
We are interested in the kind of duality, investigated in the seminal work of Deser and Jackiw, between the three-dimensional spacetime self-dual and Maxwell-Chern-Simons models [2], which were discussed as a part of a wide class of models in [3]. Since then, different techniques to attain the duality between models have been elaborated [1,4]. Among the approaches to obtain physically equivalent models, we can cite the master action method [5] and the gauge embedding technique [6]. In the first approach, the so-called master action, roughly speaking, is written in terms of two vector fields. The dual models are then obtained by eliminating one of the fields from the action in favor of the other with the use of field equations. In the gauge embedding procedure (also called Noether dualization method), on the other hand, a gauge theory is obtained from a gauge-breaking model by the use of iterative embedding Noether counterterms, which vanish on mass shell. The Noether dualization method (NDM) is based on the idea of local lifting a global symmetry. This type of procedure is reminiscent of the earlier construction of component-field supergravity actions [7][8][9]. A particular interesting feature of such kind of dual models is that one can consider the non-invariant model as a gauge fixed version of a gauge theory. In other words, one model would reduce to the other under some gauge fixing conditions. The gauging iterative Noether dualization method has been shown to be effective in establishing dualities between some models [10]. This method provides a strong suggestion of duality, since it yields the expected result in the paradigmatic duality between the self-dual and Maxwell-Chern-Simons models in three dimensions. However, an intriguing result has been shown to be general when NDM is applied to Proca-like models [11]. The gauge model obtained from the dualization algorithm, although sharing the physical spec-trum with the original theory, acquires ghost modes. The gauge model obtained by means of gauge embedding encompasses the physical spectrum of the original Proca-like theory and, in addition, the spectrum of the corresponding massless model. However, these new modes appear with the wrong sign, characterizing ghosts, which may be dangerous for the model. In [11], a relation between the propagators of dual models was obtained, which shed some light on this fact. Alternatives to avoid the emergence of ghosts in the process of dualization were studied [12][13][14][15]. In some cases, the price to be paid is the loss of locality [12]. For a model with a spin-2 self-dual field in three spacetime dimensions, it was shown that the dual theory constructed with gauge embedding does not suffer from the presence of ghosts [15].
In some cases, such as the three-dimensional self-dual model, it is simple to see that these extra nonphysical modes are not harmful to the theory. This is because, in these cases, it is evident that the nonphysical particles have no dynamics or decouple from the rest of the model, since they do not contribute to the propagator saturated by conserved currents. Nevertheless, in some cases, it is not simple to check if the new modes spoil the gauge theory obtained with the process of dualization. Examples are the dualized Lorentz-violating models treated in Refs. [16][17][18][19]. It is not obvious that the ghosts and the physical particles decouple in these models. So, a deeper analysis is required.
In this paper, we will focus on the model of Ref. [18]. The model is a modified QED, which incorporates two CPT-even Lorentz-breaking terms: a mass part of the type −(1/2)m 2 (g μν − βb μ b ν ) and the kinetic aether-like term of [20], − ρ 2 (b μ F μν ) 2 , in which β and ρ are dimensionless parameters and b μ is a background vector. The model can be entirely accommodated in the Standard Model Extension (SME) [21,22], which provides a description of Lorentz and CPT violation in Quantum Field Theories, controlled by a set of coefficients whose small magnitudes are, in principle, fixed by experiments. The aether term is a particular case of the more general CPT-even Lorentz-violating kinetic part of SME. On the other hand, the Lorentz-violating mass term can be generated by spontaneous gauge symmetry breaking [23], coming from the symmetric part of the second-rank background tensor which couples to the kinetic part of the Higgs field. Models with Lorentz-violating mass terms [24][25][26][27] may present lots of interesting aspects, like superluminal modes or even instantaneous long-range interactions. The present model has been studied in many aspects in [18], and the aforementioned properties were shown to appear for some values of the parameters β and ρ. However, the dual gauge theory obtained in the process of dualization, as commented on above, presents ghost modes whose role is still not clear. Since only the gauge sector has been studied, an analysis including the fermionic and interaction terms is missing.
In this paper, we reassess the model of [18] with the inclusion of the fermionic and the interaction sectors. The dualization by gauge embedding is carried out and the dual gaugeinvariant theory is obtained. In addition to the action achieved in the previous work, new interaction terms, which are nonminimal, are generated. We perform a practical calculation, the electron-electron scattering at tree level, in order to check the decoupling of the nonphysical modes (calculations of scattering processes in Lorentz-violating models have been performed, for example, in Refs. [28,29]). It is shown that nontrivial cancelations occur in the calculation with the dualized action, so that the two models yield identical results. Moreover, the unpolarized cross section was calculated up to second order in the Lorentz-violating parameter.
The paper is organized as follows. In Sect. 2, we describe and justify the model under analysis and, afterwards, we use the gauge embedding procedure to obtain its gaugeinvariant dual theory. In Sect. 3, the tree-level calculation of the electron-electron scattering is performed using the two models. We also obtain the unpolarized cross section up to second order in the Lorentz-violating parameter. The concluding comments are in Sect. 4.

Description of the model and dualization
In the present work, we consider the CPT-even Lorentzbreaking model of [18], but now with the vector field A μ minimally coupled to a Dirac fermion. Thus, we have an extended QED model defined by the Lagrangian density where h μν = g μν − βb μ b ν and b μ is a constant background four-vector. We should notice that the magnitude of b μ is small compared to the other parameters of the theory. Here, m and M are the masses of the gauge field A μ and the electron, respectively, while ρ and β are dimensionless parameters introduced simply to make the contributions from distinct Lorentz-violating terms, which appear in (1), explicit. The kinetic Lorentz-violating term, which we call aether term [20], is a particular version of the more general CPT-even part of the gauge sector of the Standard Model Extension [21,22], and it can be radiatively induced [30][31][32][33] when nonminimal couplings to fermions [34][35][36][37] are considered. On the other hand, the Lorentz-breaking mass term in the gauge sector may, for example, be generated by spontaneous gauge symmetry breaking in a Lorentz-violating gauge-Higgs model [23], emerging from the symmetric part of the second-rank background tensor which couples to the kinetic part of the Higgs field.
The gauge sector of this model was investigated in detail in [18] and it was shown that it incorporates very interesting features. For example, it presents physical massive poles which, depending on the choice of the coefficients ρ and β, have their degrees of freedom changed. For this class of models, uncommon physical aspects can be accommodated for particular values of ρ and β; for example, the presence of propagating superluminal modes.
We now proceed to the gauge embedding procedure. First, we calculate the variation of (1) with respect to an infinitesimal change δ A μ in the gauge field: It should be noticed that it is an off-shell method, since we have J μ = 0 in the space of solutions. The current J μ in (2) can be used to construct a second Lagrangian density, in which B μ is an auxiliary vector field, chosen such that δ B μ = δ A μ . We calculate the variation of (3) with respect to δ A μ and get with δ J μ = m 2 h μν δ A ν . Knowing the result (4), we use a compensatory quadratic term in the auxiliary field B μ in order to build a gauge-invariant Lagrangian density, given by in which it is simple to check that δL (2) = 0. Finally, we calculate the variation of L (2) with respect to B μ to obtain where we have defined the inverse of h μν as Equation (6) is used to write L (2) in terms of the field A μ . The resulting dual gauge-invariant Lagrangian associated with the original model (1) reads in which we have inserted a gauge fixing term and By construction, the gauge embedding method gives rise to a gauge-invariant Lagrangian, whereas the original model (1) does not have this symmetry. It is believed that the noninvariant model can be considered as the gauge fixed version of a gauge theory. Note that now the Dirac fermions are nonminimally coupled to the gauge field A μ . Besides, the dual Lagrangian has a contribution of a four-fermion nonrenormalizable vertex, which is similar to the result obtained in the duality between the self-dual and Maxwell-Chern-Simons models coupled to fermions [38].
It is also interesting to comment on the change of sign of the Maxwell kinetic term when compared with the original model. We refer to [18], in which a relation between the gauge propagators of the two models is obtained. The new gaugeinvariant model acquire new massless ghost modes which combine with the physical sector to produce this "wrong" sign. However, these nonphysical modes, as we will see in the sections below, decouple from the physical sector and produce no effect in phenomenological calculations.

Electron-electron scattering
We now proceed to perturbative calculations in order to check, in a practical calculation at tree level, the physical equivalence of the models. We first write the two photon propagators, which were obtained in [18]. From the quadratic terms in A μ , the propagators for the gauge field in momentum space for the original (1) and the dual (8) models are given, respectively, by and where We have written the propagators in terms of spin operators, θ μν = g μν − k μ k ν k 2 and ω μν = k μ k ν k 2 being the transversal and the longitudinal operators, respectively. The operators μν = b μ b ν and μν = b μ k ν emerged from the inclusion of the external vector b μ (λ stands for μ μ = b μ k μ ). The Lorentz algebra of these operators is shown in Table 1.
As carefully studied in [18], the propagator D μν D has, besides the physical poles of D μν O , new nonphysical ones. One way to proceed is to study the saturated propagator, which makes use of the current conservation to discard the nondynamical poles. Here, we intend to go further in a practical calculation of the S-matrix contribution at order e 2 for the electron-electron scattering, which is the main purpose of this letter, and establish, for this process, the physical equivalence between the models.

Calculation with the original model
First, we consider the original model (1). Since the model has only the usual Dirac fermion minimally coupled to the gauge field A μ , the two diagrams in Fig. 1 contribute at tree level with the same vertex as ordinary QED. However, in this case, with the A μ propagator given by Eq. (10). The contribution to the S-matrix amplitude is given by −(2π) 4 δ( We have used p 1 and p 2 for external momentum of the free electrons in the initial states described by the spinors u( p 1 ) and u( p 2 ), and p 1 and p 2 for the free electrons in the final statesū( p 1 ) andū( p 1 ). Equation (13) can be obtained from the direct application of the LSZ reduction formula.
Since the fermions are on-shell, all terms from D μν O which are dependent on the external momentum can be neglected in the calculation of the amplitude. Thus, we are left with

Calculation with the dual model
We now proceed to the calculation of the tree-level electronelectron scattering by using the Feynman rules from the gauge model of (8). Besides the two diagrams in Fig. 1, in the dual model we must take into account the diagrams of Fig. 2. Now, for the calculation of the diagrams of Fig. 1, we must perform the replacements γ μ → μ and D (15) and the calculation is greatly simplified if we note that By making these modifications in (13), using Eq. (16) and the fact that fermions are on-shell, after lengthy but straightforward algebra, we obtain in which In addition, the contributions of the four-vertex diagrams of Fig. 2 read Finally, putting together contributions (17) and (19), we obtain the total tree-level amplitude for the gauge-invariant theory: Using Eqs. (7) and (18) for L μν and Q μν , respectively, and after very lengthy algebra, we obtain With this identity, we check that τ O = τ D and the equivalence for this process is proved.

The cross section
Finally, we present the tree-level unpolarized cross section for the electron-electron scattering at second order in the Lorentz-violating background vector b μ . In the center-ofmass reference frame, the cross section is given by where τ = τ O = τ D and E C M is the energy in the center of mass. Using the approximations m/M 1 and | b | 2 1, we obtain the following expansion: in which the dots represent higher order terms in b μ . The first term in (23) is just the well-known result from ordinary QED: The second term is the contribution due to the Proca term, which reads 1 where θ is the scattering angle between the direction of the incident and the outgoing particles. The last term of (23) is the correction introduced by the Lorentz violation. Just to illustrate, we explicitly show the expressions for timelike and spacelike b μ . For timelike b μ , we take b μ = (δ, 0, 0, 0), such that the result reads dσ dω For the spacelike case, we use b μ = (0, 0, 0, δ) and the Lorentz-violating contribution reads dσ dω To carry out these calculations we have chosen the spatial part of b μ in the same direction of the outgoing particle with momentum p 1 . Note that at second order in b μ only the aether term, ρ 2 (b μ F μν ) 2 , contributes to the cross section, since only the parameter ρ appears in (23). This is because in the expression for τ , the coefficient of the transversal operator θ μν = g μν − k μ k ν k 2 does not depend on the β parameter, which appears only in the coefficient of the operator μν = b μ b ν . Since we have calculated the unpolarized cross section, we expect that only the coefficient of the isotropic part contributes.
Finally, it is easy to check that the results of the Lorentzinvariant limit of our models match the ones known from the literature (without the Proca term; see, for example [39]).
The dimensionless parameters ρ and β can be used to "turn off" the Lorentz-breaking terms, by simply taking the limits ρ, β → 0.

Conclusion
Dual models are constructed with the aim of having different descriptions of the same physical system; it is appropriate to apply them in distinct situations. Therefore, for some calculation one of the models may furnish an obvious and simple result which is difficult to infer from the other one. One of the artifacts of the dualization procedure by gauge embedding is the production, besides the original spectrum, of new nonphysical modes which, in some cases, may turn the model meaningless. These ghosts, in some cases as in the famous duality between the three-dimensional selfdual and Maxwell-Chern-Simons models, are easily seen to have no dynamics. However, in most cases this is not an obvious issue, like in the Lorentz-breaking models studied in [18].
In this paper, we showed that, sometimes, the physical equivalence of dual models is subtle. We carried out a practical calculation of a physical process, more precisely the cross section of the electron-electron scattering, using the dual model studied in detail in [18]. The equivalence of the models was shown at tree level through nontrivial cancelations. For this purpose, an essential role was played by the new fermionic couplings which emerged in the dualization process. Although these new modes apparently couple to the other sectors of the theory, these contributions are canceled by other terms which come from new graphs due to this nonrenormalizable quartic vertex. Finally, the unpolarized cross section for this process was obtained. Besides the result from ordinary QED with a Proca term, new contributions were obtained up to second order in the background vector b μ .