Abstract
We work out in the forward limit and up to order \(e^6\) in perturbation theory the collinear divergences. In this kinematical regime we discover new collinear divergences that we argue can be only cancelled using quantum interference with processes contributing to the gauge anomaly. This rules out the possibility of a quantum consistent and anomaly free theory with massless charges and long range interactions. We use the anomalous threshold singularities to derive a gravitational lower bound on the mass of the lightest charged fermion.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
For theories with long range gauge forces as QED the IR completion problem goes around the quantum consistency of a quantum field theory with massless charged particles in the physical spectrum. This is an old problem that has been considered from different angles along the years (see [1,2,3,4] for an incomplete list). As a matter of fact in Nature we don’t have any example of massless charged particles. In the Standard Model this is the case both for spin 1/2 as well as for the spin 1 charged vector bosons. In the particular case of charged leptons the potential inconsistency of a massless limit should imply severe constraints on the consistency of vanishing Yukawa couplings.
Technically the infrared (IR) origin of the problem is easy to identify. In the case of massless charged particles radiative corrections due to loops of virtual photons lead to two types of infrared problems. One can be solved, in principle, using the standard Bloch–Nordiesk-recipe [5] that leads to infrared finite inclusive cross sections at each order in perturbation theory depending on an energy resolution cutoff. In this case the infrared finite cross section is defined taking into account soft radiation. In the massless case we have in addition collinear divergences that contribute logarithmically to Weinberg’s B factor [5, 6].Footnote 1 The standard recipe used to cancel these divergences requires to include in the definition of the inclusive cross section not only soft emission but also collinear hard emission and absorption (i.e. photons with energy bigger than the energy resolution scale) and to set an angular resolution scale.
In [9] a unifying picture to the problem was suggested on the basis of degenerations. The idea is to define, for a given amplitude \(S_{i,f}\) associated with a given scattering process \(i\rightarrow f\) an inclusive cross section formally defined as
where D(i) is the set of asymptotic states degenerate with the asymptotic state i.
For the case of massless electrically charged particles the degeneration used in [9] for the case where the asymptotic state is a charged massless lepton with momentum p is a state with the lepton having momentum \(p-k\) and an additional on-shell photon with 4-momentum k collinear to p.Footnote 2
At each order in perturbation theory the KLN recipe demands us to sum over all contributions at the same order in perturbation theory that we can build using degenerate incoming and /or outgoing states. Among these are specially interesting the quantum interference effects with disconnected diagrams where the additional photon entering into the definition of a degenerate incoming state is not interacting. In particular these interference effects play a crucial role to cancel collinear divergences in processes where the incoming electron emits a collinear photon, see for instance [9,10,11].
The main target of this paper is to study the quantum consistency of the KLN prescription to define a quantum field theory of U(1) massless charged particles. At order \(e^4\) the KLN theorem cancels the excising collinear divergences (see for example [9, 10]). This is true because the kinematics at this order in perturbation theory is such that the photon momenta are equal, e.g. \(k=k'\). As one goes to the next order \(e^6\) one gets more possibilities for the kinematics of the photons. If we would look there at the same kinematics \(k=k'\) we would expect to see the cancelation of the collinear divergent terms as we did at order \(e^4\). If we however choose a kinematics where the electron is forwardly scattered the photon momenta are unequal \(k\ne k'\) which gives new collinear divergences that should be canceled. In trying to cancel these we summarize our findings in two main claims. First of all we provide substantial evidence about the existence of a KLN anomaly in the forward limit. We choose the name “anomaly” because later we compare the newly found collinear divergent term with the gauge anomaly diagrams. This anomaly is worked out up to order \(e^6\) in perturbation theory in “Appendices C and D” explicitly. Secondly we argue that canceling this KLN anomaly is only posible if there exists a non-vanishing gauge anomaly to the U(1) gauge theory. On one side we shall argue that the consistency of the KLN prescription in the forward regime implies the existence of a non vanishing gauge anomaly for the U(1) gauge theory. This rules out the possibility of the existence of a theory with massless charges and long range interactions satisfying both KLN cancellation and being anomaly free. Secondly combining the weak gravity conjecture [12] and anomalous thresholds for form factors, we derive a gravitational lower bound on the mass of the lighter massless charged fermion and a qualitative upper bound on the total number of fermionic species with the same charge as the electron.
2 The KLN-theorem: degeneracies and energy dressing
Let us briefly review the key aspect of the KLN theorem [9]. In order to do that let us consider scattering theory for a given Hamiltonian \(H=H_0+gH_{I}\) and let us assume the Hamiltonian depends on a parameter m. Assuming a well defined scattering theory, the hamiltonian H can be diagonalized using the corresponding Møller operators U. Let us denote \(E_i(g,m)\) the corresponding eigenvalues. If for some value \(m_c\) of the mass parameter we have degenerations i.e. \(E_i(g,m_c) = E_j(g,m_c)\) then the perturbative expansion of \(U_{i,j}\) becomes singular at each order in perturbation theory. However at the same order in perturbation theory the quantity \(\sum _a U_{a,i}U^{*}_{j,a}\) where we sum over the set of states degenerate with the state a is free of singularities in the limit \(m=m_c\) leading to the prescription (1) for finite cross sections. The former result is true provided \(\varDelta _{a}( g,m)= (H_0-E)_{aa}\) has a good finite limit for \(m=m_c\).
The quantum field theory meaning of \(\varDelta \) is the difference of energy between the bare and the dressed state. The theorem works if for fixed and finite UV cutoff the limit of this dressing effect is finite in the degeneration limit.
For the case of QED and for m the mass of the electron, degeneracies appear in the limit \(m_e\rightarrow 0\). As stressed in [9] in this case the limit of \(\varDelta \) for \(m_e\rightarrow 0\) and fixed UV cutoff is not finite. The problem is associated with the well known behavior of the renormalization constant Z for the photon field which goes as
The origin of the problem is well understood. Using Källen-Lehmann-representation to extract the value of Z from the imaginary part of the bubble amplitude i.e. \(\text {Im} D(k^2)\) for the photon propagator \(D(k^2)\), we get for massless electrons a branch cut singularity in the physical sheet for the threshold \(k^2=0\) where the on-shell photon can go into a collinear pair of on-shell electron and positron.
In [9] this problem was explicitly addressed and the suggested solution was to keep \(m_e=0\) but to add a mass scale in the definition of Z (see [13]) associated with some IR resolution scale let us say \(\delta \). The logic of this argument is to assume an IR correction of (2) where effectively \(m_e\) is replaced by \(\delta \) and to use this corrected Z to define a \(\varDelta \) non singular in the limit \(m_e\rightarrow 0\). This should also hold for the renormalization for the electric charge. How this potential solution of the singular limit of \(\varDelta \) will enter effectively in the KLN cancellation is not obvious and not worked out in [9]. The connection with the definition of charge in the forward limit (Thompson scattering ) is the main reason we choose in order to check the consistency of KLN theorem the forward kinematical regime relevant for the definition of the electric charge.
Note that the singular limit of Z in the massless limit is the IR version of the famous Landau pole problem for QED. In this case we are not considering the limit where we send the UV cutoff to infinity but instead the limit \(m_e\rightarrow 0\). In the massless limit there are contributions to the Källen–Lehmann-function coming from processes in which the on-shell photon with energy \(\omega \) produces a pair of electron positron both collinear and on-shell. Incidentally note that in principle we have contributions of amplitudes where the on-shell photon decays into a set of a large number n of electron–positron-pairs and photons where all of them are on-shell and collinear. The approach of the KLN program is to assume that after taking all these IR contributions into account the resulting Z, for fixed UV cutoff, is finite in the limit \(m_e\rightarrow 0\). This does not imply solving the UV problem or avoiding the standard Landau pole, that depends on the sign in (2) and that now will become dependent on the added resolution scale \(\delta \). It simply means that for fixed UV cutoff the limit \(m_e\rightarrow 0\) could be non singular. In section IV we will revisit the consistency of the limit \(m_e\rightarrow 0\) from a different point of view.
Can we check the consistency of the KLN proposal perturbatively? To the best of our knowledge the KLN program of finding a redefinition of Z where the cancellation can be defined in an effective way has not been developed. Thus we should expect that perturbative violations of the KLN theorem could appear whenever we work in the kinematical regime where originally appears the singularity responsible for the former behaviour of Z, namely in the forward regime \(q^2=0\).
In [11] the authors presented a different but equivalent procedure to cancel infrared and collinear (IRC) divergences, where one has to sum either over degenerate initial or final states. Briefly, the cut-method defines IRC finite S-matrices by cutting the IRC divergent amplitude square and identify then new amplitude squares at the same order in perturbation theory. After summing over all these cutted diagrams the IRC divergences cancel each other. Within this set of new amplitude squares there occur diagrams that are interference terms of purely disconnected and thus forward scattered particles with diagrams that ensure to have the correct order in coupling constant, most properly loop diagrams. Some of these interference terms are IRC divergent and hence contribute to the cancelation of the IRC divergences and some of them are IRC finite and therefore not contributing to the cancelation scheme. A key difference however is that in the forward scattering process we are looking at we have an additional constraint for the outgoing photon momenta, namely \(q^\mu +k^\mu =k'^\mu \). This constraint ensures, once integrate over the photon momentum, that we will only get a single \(\log (m_e)\) divergence.
3 Degeneracies and anomalous thresholds
In scattering theory the existence of anomalous thresholds for form factors of bound states is well known (see [14,15,16]). The idea is simply to consider the triangular contribution to the form factor of a particle A by some external potential. If the particle A can decay into a pair of particles N and B where only N interacts with the external potential we get the triangular amplitude depicted in Fig. 1. If we now impose all the internal lines to be on-shell we can find a critical transfer momentum for which the corresponding amplitude has a leading Landau singularity in the physical sheet. This transfer momentum defines the anomalous threshold. This leads to a logarithmic contribution to the amplitude and to a non vanishing absorptive part forbidden by standard unitarity. The simplest way to set when this singularity is physical is using the Coleman–Grossman-theorem [17] that dictates that the singularity is physical if the triangular diagram can be interpreted as a space-time physical process with energy momentum conservation in all vertices and with the internal lines on-shell i.e. as a Landau–Cutkosky-diagram.
Let us now consider the degenerations as formally representing the massless electron as a composite state of electron and collinear photon. In this case we can consider the triangular contribution in Fig. 2 to the form factor where the electron in the triangle interacts with the external potential. In this case it is easy to see that an anomalous threshold can appear only in the forward limit when the transfer momentum \(q^2\) is zero (see “Appendix A”).
From the KLN theorem point of view we can associate these kinematical conditions to the degeneration defined by the absorption and emission process of a collinear photon with the same value of the 4-momentum k and with k collinear to q. In this case the logarithmic divergence \(\log (m_e)\) of the anomalous threshold can be canceled with the corresponding KLN sum.
However the KLN prescription in this forward limit allows us to have different 4-momentum k and \(k'\) for the absorbed and emitted photon. If this amplitude is logarithmically divergent it cannot be trivially canceled by a one loop contribution to the form factor. Next we shall see that this is indeed the case and that the only possible cancellation leading to a consistent theory of massless charged particles is using quantum interference with processes controlled by the triangular graph defining the gauge anomaly of the underlying gauge theory.
Although in the case of massless QED we can still use Furry’s theorem. It should be noticed that in the massless case and using collinear external photons we have both helicity preserving and helicity changing amplitudes that nullifies the consequences of Furry’s theorem in the forward limit under study.Footnote 3
4 The KLN anomaly
In this section we shall consider the absorption emission process in the forward limit with \(k\ne k'\). Let us fix as data of the form factor scattering process the 4-momentum of the initial electron p and the exchanged energy-momentum that will denote q. Let us denote the amplitude S(p, q). For these data the KLN prescription requires to define the sum
where \(n_i\) and \(n_f\) denote the different degenerate states contributing to the process that are characterized by the number \(n_i\) of absorbed collinear photons attached to the incoming line and the number \(n_f\) of emitted collinear photons attached to the outgoing line. All of these photons are assumed to have energies bigger than the IR energy resolution scale set by the Bloch-Nordiesk-recipe. Generically each term in the sum (3) involves the integral over the 3-momentum of the collinear photons within a given angular resolution scale. The amplitudes in (3) contain internal lines with the corresponding propagators being on-shell.
In what follows we shall be interested in the forward corner of phase space characterized by vanishing transfer momentum, i.e.
In the forward regime the first absorption emission process contributing to the sum contains one absorbed photon and one emitted photon. This process is characterized by the following set of kinematical conditions \( p q\approx p k \approx p' k' \approx 0\). This implies that in this corner of phase space the two propagators entering into the amplitude are on-shell. This after integration leads to a collinear divergence. Moreover in these kinematical conditions we have
and, as mentioned, in the forward limit the outgoing electron has the same momentum as the in-coming one, i.e. \( p= p'\). Since for this amplitude both the absorbed and the emitted photons are collinear to the incoming and outgoing electron respectively, the KLN recipe indicates that this divergence should be canceled by the collinear contribution of virtual photons running in the loop.
These diagrams lead to a mass divergence once (1) is applied, with the kinematics \(k'=k+q\)
In what follows we shall show that in the forward limit emission absorption processes with \(k\ne k'\) lead to logarithmic divergences. The diagrams that lead to the collinear term are given in Fig. 3. We work in the chiral basis and choose the kinematics for the electron to run in z-direction. In the “Appendix B” we explain the details and the notations used in the calculation. We omit all terms that will not lead to a collinear divergence. In these conditions we get for the amplitudes for a forward scattered right-/left-handed electron
In order to use the KLN-theorem we need to perform the integration over photon momenta \(\int \frac{\mathrm {d}^3\mathbf {k}}{(2\pi )^3 2\omega }\), and taking into account the constraint \(k'=q+k\), coming from the conservation of energy and momentum. The interesting part of the integral is the one over the small angle \(\theta \), since there the collinear divergence shows up. In the collinear limit \({\omega '}={\omega _q}+\omega \) and \({\theta '}= \frac{{\omega _q}{\theta _q}}{\omega +{\omega _q}}\) (see “Appendix B”). Including these constraints, and integrating over the phase space \(\int \frac{\mathrm {d}^3\mathbf {k}}{(2\pi )^3 2\omega }\) with small angle \(\theta \) gives
where \(\delta \) is a small angular resolution scale. The details of the calculations can be seen in the “Appendix B”.
In summary for generic q and for emission absorption processes we get a double pole for \(k=k'\) that can interfere with a disconnected diagram where the photon is not interacting. For \(q^2=0\) we have a double pole on the kinematical sub manifold defined by \(k-k'=q\) that leads, for fixed q and after integration over k, to a collinear divergence that don’t interfere with disconnected diagrams where the photon is not interacting. Thus once we constraint the KLN sum by the forward condition \(p=p'\) we have obtained an additional collinear divergent contribution which is not canceled by any known loop factor. We will refer to this contributions as a KLN anomaly.
5 The KLN anomaly and the triangular anomaly
From a perturbative point of view a crucial ingredient of anomalies in four dimensions are triangle Feynman diagrams with currents inserted at the vertices. This is the case for the original ABJ anomaly [18, 19] as well as for gauge anomalies. The difference lies in the type of currents we insert in the vertices.
The analytic properties of triangular graph amplitudes were extensively studied in the early 60’s using Landau equations [20, 21] and Cutkosky rules [22]. As already mentioned it was first observed in [23] the existence, for triangular graphs, of singularities associated with non unitary cuts. These singularities are the anomalous thresholds [16] (see 1 for the relevant formulae).
In reference [24] it was first pointed out the connection of the anomaly with the IR singularities of the corresponding triangular graph amplitude. This approach was further developed in [17, 25] in the context of t’Hooft’s anomaly matching conditions [26].
Let us first briefly recall the analytic structure of anomalies. In a nutshell given a triangular amplitude \(\varGamma ^{\mu \nu \rho }\) for three chiral currents let us denote \(\varGamma (q^2)\) the invariant part of the amplitude for \(q^2\) the relevant transfer momentum (see Fig. 4). The anomaly is defined as the residue of \(\varGamma (q^2)\) at \(q^2=0\), i.e.
for \(\mathscr {A}\) the c-number setting the anomaly. Standard dispersion relations connect (9) with the imaginary part of \(\varGamma (q^2)\), namely
The physical meaning of the singularity underlying the anomaly requires to understand the analytic properties of the full amplitude.
As already mentioned for the triangular graph we can have normal threshold singularities as well as the anomalous threshold singularities that correspond to the leading Landau singularity. In the language of Landau equations the normal threshold corresponds to the reduced graph where the Feynman parameter \(\alpha \) of one of the three lines is equal to zero. In what follows we shall discuss the anomalous threshold.Footnote 4 This corresponds to put the three lines of the triangle on-shell. The threshold is determined by the value of transfer momentum \(q^2\) at which the corresponding diagram with all the internal lines on-shell and with external real photons is kinematically allowed. For massless particles running in the triangle this anomalous threshold exists and it is given by \(q^2 =0\). The corresponding discontinuity is determined by Cutkosky rules as
where the \(C_i\) are the physical values of the three amplitudes determined by the non unitary cut (see Fig. 4).Footnote 5 As shown in [17] the discontinuity of the triangular amplitude goes as
and it is non vanishing. Let us now look at this discontinuity as an anomalous threshold. The physical process associated with this discontinuity can be understood as a real incoming photon that for massless charges decays into a pair of collinear on-shell electron and positron. One piece of the pair interacts with the external potential with some transfer momentum and finally the pair annihilates giving rise to a massless photon. Note that the discontinuity for the anomaly graph relies on the fact that for massless charges the photon can decay into a pair of on-shell collinear charged particles. If we fix one chirality for the running electron this discontinuity gives us the anomaly. To cancel the gauge anomaly for U(1) we need to have real representations i.e. to add both chiralities in the loop.
The decay of the photon into a pair of collinear massless fermions can be formally interpreted as a degeneracy between the photon and a pair of collinear massless charged particles. From this point of view the anomaly is just the anomalous threshold associated with this formal compositeness of the photon. In more precise terms what makes the anomaly anomalous is the existence of an absorptive part of the triangular amplitude that is expected, from standard unitarity (only one cut), to vanish.Footnote 6
Let us now relate the KLN anomaly and the triangular anomaly. As discussed the KLN anomaly appears whenever \(k\ne k'\) with zero transfer momentum (4). From the KLN theorem point of view the contribution computed in the former section should cancel with some contribution to the form factor of the electron.
Since we are working at order \(e^6\) we need, in principle, to include all loop diagrams to this order in perturbation theory contributing to the form factor. The interference term of two-loop diagrams and the tree-level diagram and the interference term of a one-loop diagram with one incoming collinear photon and a tree-level diagram with also one incoming collinear photon are of order \(e^6\). We treat these diagrams and its collinear divergent contribution to the amplitude in the “Appendix C and D”. In “Appendix D” we show that the two-loop contribution goes like \(\log ^2(m_e)\) without any subleading \(\log (m_e)\) contribution and therefore can not cancel the KLN anomaly. The interference term treated in “Appendix C” is of order \(\log (m_e)\) but will not cancel the KLN anomaly as shown in “Appendix C”. Thus, the \(\log \)-divergent term in the amplitude square (8) can’t be canceled. This is intuitively clear from the fact that the KLN anomaly appears when \(k\ne k'\).
However, in this case we have the possibility of defining an interference term at this order in perturbation theory. Namely, we can think a diagram where we have the electron non interacting and where the companion collinear photon is interacting through the triangular graph with the external source. This allows \(k\ne k'\) in the forward limit where k and \(k'\) are both collinear to the momentum p of the electron. The role of the triangular graph is to account for the difference between k and \(k'\) and to provide the needed logarithmic singularity. Thus for \(k\ne k'\) the only possible contribution will come from the interference with the triangle diagram in Fig. 5. Therefore for fixed chirality of the electron in Fig. 3 the only possibility to cancel the KLN anomaly is to assume a non vanishing value for the triangular graph. However, this is only possible if the corresponding gauge theory is anomalous which cannot be the case. In fact once we sum over all chiralities in the triangle we get a zero contribution to a form factor with \(k\ne k'\). In summary we have shown that
The KLN anomaly can be only canceled if the gauge theory is anomalous i.e. ill defined.
Consequently we conclude that the the KLN anomaly can be only canceled effectively adding a mass for the charged fermions.
In summary the KLN anomaly in the forward limit with \(k\ne k'\) corresponds to an anomalous threshold in the form factor where it is the photon, the one that interacts with the external potential. This can only take place through the triangular graph and it is only non vanishing if the theory is anomalous with respect to the underlying gauge symmetry. In principle we could think we are missing some diagrams. In this respect we have not a full fledged no go theorem but just substantial amount of evidence on the impossibility to extend the KLN recipe to the forward regime without running into the quantum inconsistency associated with a gauge anomaly. Note that this is the case in QED but not in massless scalar QED where the problem is not appearing.Footnote 7
Before finishing this section let us make two brief comments that could help to clarify the argument. First of all note that in [9] processes as the ones in Fig. 3 were considered. For generic q this produces logarithmic divergences only in the case \(k=k'\) and these are compensated using a disconnected diagram where the companion photons is not interacting. In the particular case of \(q^2=0\) we have a collinear divergence even for \(k\ne k'\) and the corresponding disconnected diagram is now the one in Fig. 5 where we need to include the triangular anomaly in the photon line. The second comment concerns the recent discussion of symmetries in massless QED [28]. The first thing to be noticed is that in the collinear case the corresponding dressing using coherent states [29] is ill defined (see [8] for a brief discussion). In the symmetry language this could be interpreted as indicating that KLN recipe is violating these symmetries. Actually a potential way to interpret our result is that in the massless case the collinear dressing in the forward limit \(q^2=0\) is actually incompatible with non anomalous gauge invariance.Footnote 8
In case the origin of the transfer momentum is gravitational the situation is more interesting and richer. In fact in this case although we keep the same electromagnetic degeneration due to collinear electromagnetic radiation the external field, once it is assumed to be gravitational, can contribute to the form factor due to the graviton photon vertex. The analysis of this case is postponed to a future work.
6 A lower bound for the electron mass
In the former section we have argued that a quantum theory of massless charged fermions is inconsistent. The core of the argument is that consistency requires to cancel the KLN anomaly and that is only possible if the theory has non vanishing U(1) gauge anomaly i.e. if the theory is by itself inconsistent.
In what follows we shall put forward the following conjecture:
In a theory with minimal length scale L the minimal mass of a U(1) charged fermion, for instance the electron, is given by
where \(e^2\) is the corresponding coupling and \(\nu \) is the number of fermionic species with charge equal to the electron charge.
Before sketching the argument let us make explicit the logic underlying this conjecture. The bound (13) can be naively obtained from the perturbative expression (2) as the minimal mass of the electron consistent with pushing the perturbative Landau pole to \(\frac{\hbar }{L}\). To argue in that way will force us to assume that the perturbative result for Z already rules out the consistency of a theory of massless electrons. This will contradict the basic assumption of the KLN theorem of the potential redefinition of Z with a well defined \(m_e\rightarrow 0\) limit. Thus our approach to set a bound on the electron mass will consist in looking for some anomalous threshold singularity depending on the electron mass and to set the bound by analyzing the limit \(m_e\rightarrow 0\) of these contributions to form factors.
In order to look for the appropriated form factor we shall use the constraints on the charged spectrum coming from the weak gravity conjecture [12]. This conjecture is equivalent to say that in absence of SUSY extremal electrically charged black holes are unstable. This leads to the existence in the spectrum of a particle with mass satisfying
Once we accept the instability of charged black holes in absence of SUSY we can compute the effect of this instability to the form factor of the charged black hole in the presence of an external electric potential. Denoting \(m_e\) the mass of the minimally charged particle we have again the anomalous threshold contribution where the black hole interaction with the external potential is mediated by the charged particle through the corresponding triangular graph. Assuming all the particles in the process to be on-shell the anomalous threshold is given by
where we think the instability as the decay of a black hole of mass M and charge Q into a smaller black hole of mass \(M'\) and a particle with mass m and minimal charge e that we will call the electron (see Fig. 6).
As shown in “Appendix A” for the typical gravitational binding energy that we expect for a black hole the anomalous threshold contribution to the corresponding amplitude will go as
where we have used as UV cutoff the Planck mass.
The imaginary part of this amplitude can be interpreted as an anomalous threshold to the absorptive part of the form factor of the charged black hole in the presence of an external electromagnetic field. Now we have what we were looking for, namely a physical amplitude that depends on the electron mass in a way that is singular in the massless limit. In order to avoid the singular limit \(m_e\rightarrow 0\) we can impose, on the basis of unitarity, that the corresponding amplitude is smaller than one. If we do that we get
where C represents the physical decay amplitude of the black hole to emit an electron. If we assume this amplitude to be proportional to the electromagnetic coupling we get the lower bound above. Here \(\nu \) is the number of charged fermionic species with equal charge to the electron.Footnote 9 Taking seriously the former bound on the electron mass leads to an upper bound on the number of fermionic species with the electron charge of the order of 11 species.Footnote 10 The key point to be stressed here is that in deriving this bound we don’t use the perturbative Landau pole but instead the anomalous threshold singularity we get assuming the gravitational instability of RN extremal black holes.
A different way to understand the anomalous threshold is as follows. For the case of standard black holes with entropy N we should expect that the threshold for an absorptive part should be \(t_0 \sim O(1/N)\) in Planck units i.e. absorption of one information bit. The existence of massless charged particles pushes down this threshold to the anomalous value \(O(m_e^2)\) and therefore we could expect a lower information bound for the mass of the electron \(m_e \sim 1/N\) in Planck units for the largest possible black hole. Thus and using a cosmological bound for the largest black hole we could conclude that the lower bound on the mass of electrically charged fermions is given, in Planck units, by \(\frac{1}{\sqrt{N_{H}}}\) with \(N_{H}\) determined by the Hubble radius of the Universe as \(\frac{R_{H}^2}{L_P^2}\).
To end let us make a comment on (14). For equality this can be written as \(e^2 = \frac{m_e^2}{M_P^2}\). Thinking in a diagram representing an energetic Planckian photon decaying into a set of n on-shell pairs and estimating \(n \sim \frac{M_P}{m_e}\) the former relation (14) simply express the criticality condition [33] \(e^2 \sim \frac{1}{n}\) typical of classicalization.
Before ending we would like to make a very general comment on black hole physics intimately related with the former discussion. In [34] we put forward a constituent portrait of black holes. The most obvious consequence of this model is the prediction of anomalous thresholds in the corresponding form factors at small angle. On the other hand these anomalous thresholds define a canonical example of in principle observable quantum hair.
7 Final comment
It looks like that nature abhors massless charged particles whenever the charge is associated with a long range force as electromagnetism. This is not a serious problem for confined particles but it is certainly a problem for charged leptons. Taken seriously, it will means that the limit with vanishing Yukawa couplings should be quantum mechanically inconsistent. In string theory we count with a geometrical interpretation of Yukawa couplings in terms of intersections [35] and in some constructions based on brane configurations in terms of world sheet instanton contributions. It looks like that a consistency criteria for string compactifications should prevent the possibility of massless charged leptons and consequently of vanishing Yukawa couplings. The problem of a consistent massless limit of leptons is on the other hand related with the problem of naturalness in t’Hooft’s sense [26]. Naively the symmetry enhancement that will make natural the massless limit is chiral symmetry. What we have observed in this note can be read from this point of view. The IR collinear divergences, if canceled in the way suggested by the KLN-theorem, prevent the realization of this chiral symmetry indicating the unnatural condition of the massless limit of charged leptons. A hint in that direction was the observation of [9] about the existence for massless QED of non vanishing helicity changing amplitudes in the absence of any supporting instanton like topology. Thus, it looks that the existence of a fundamental lower bound on the mass of charged leptons is inescapable.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: All the data necessary are in the paper and don’t need any further data.]
Notes
For a recent discussion of the KLN theorem for QED see [10] and references therein.
We thank the referee for pointing out the potential relevance of Furry’s theorem in this context.
Normal thresholds are relevant for the study of chiral anomalies in two dimensions. In this case the leading singularity for the corresponding two point diagram represents the \(\eta '\) [27].
In (11) we have formally included in the \(C_i\) the propagator factors distinguishing bosons from fermions in the cuted lines.
The anomaly matching [26] reflects that the discontinuity of the triangular graph is the same for the IR and UV physical spectrum running in the triangle.
In principle we could think that the contribution of the anomalous triangle could be canceled by a pair production process with the photon in the final state replaced by a pair. However this possibility that we have not considered in this paper will not help to cancel the KLN anomaly. We thank the referee for pointing out this potential cancelation.
In [30] it is argued that non vanishing gravitational topological susceptibility implies the absence of massless fermions.
The role of electrically charged species is analogous to the one suggested originally by Landau [31] to lower the Landau pole.
Adding the effect of gravitational species [32] will multiply the former bound by a global suppression factor \(\frac{1}{\sqrt{N_g}}\).
The reader may have noticed that in Fig. 3 we omit two diagrams which are of the same topology. The reason is that these extra two diagrams have \(1/(pk')(pq)\) propagators which won’t lead to collinear divergence in this special corner of the phase space after applying the KLN theorem.
As it was the case in “Appendix B”, where we also had to put a regulator for the angle between the electron and the absorbed collinear photon connected to the external line of the electron.
Notice that the angles of \(\theta \) and \(\phi \) are the ones of the on-shell photon that runs in the loop with momentum k.
References
K.M. Case, S.G. Gasiorowicz, Can massless particles be charged? Phys. Rev. 125, 1055 (1962). https://doi.org/10.1103/PhysRev.125.1055
V.N. Gribov, Local confinement of charge in massless QED. Nucl. Phys. B 206, 103 (1982). https://doi.org/10.1016/0550-3213(82)90491-6
J. Frohlich, G. Morchio, F. Strocchi, Charged sectors and scattering states in quantum electrodynamics. Ann. Phys. 119, 241 (1979). https://doi.org/10.1016/0003-4916(79)90187-8
G. Morchio, F. Strocchi, Confinement of massless charged particles in QED in four-dimensions and of charged particles in QED in three-dimensions. Ann. Phys. 172, 267 (1986). https://doi.org/10.1016/0003-4916(86)90184-3
D.R. Yennie, S.C. Frautschi, H. Suura, The infrared divergence phenomena and high-energy processes. Ann. Phys. 13, 379 (1961). https://doi.org/10.1016/0003-4916(61)90151-8
S. Weinberg, Infrared photons and gravitons. Phys. Rev. 140, B516 (1965). https://doi.org/10.1103/PhysRev.140.B516
D. Kapec, M. Perry, A.M. Raclariu, A. Strominger, Infrared divergences in QED, revisited. Phys. Rev. D 96(8), 085002 (2017). https://doi.org/10.1103/PhysRevD.96.085002. arXiv:1705.04311 [hep-th]
C. Gómez, R. Letschka, S. Zell, The scales of the infrared. JHEP 1809, 115 (2018). https://doi.org/10.1007/JHEP09(2018)115. arXiv:1807.07079 [hep-th]
T.D. Lee, M. Nauenberg, Degenerate systems and mass singularities. Phys. Rev. 133, B1549 (1964). https://doi.org/10.1103/PhysRev.133.B1549
M. Lavelle, D. McMullan, Collinearity, convergence and cancelling infrared divergences. JHEP 0603, 026 (2006). https://doi.org/10.1088/1126-6708/2006/03/026. arXiv:hep-ph/0511314
C. Frye, H. Hannesdottir, N. Paul, M.D. Schwartz, K. Yan, Phys. Rev. D 99(5), 056015 (2019). https://doi.org/10.1103/PhysRevD.99.056015. arXiv:1810.10022 [hep-ph]
N. Arkani-Hamed, L. Motl, A. Nicolis, C. Vafa, The string landscape, black holes and gravity as the weakest force. JHEP 0706, 060 (2007). https://doi.org/10.1088/1126-6708/2007/06/060. arXiv:hep-th/0601001
V.G. Vaks, Electrodynamics of a zero mass spinor particle. Sov. Phys. JETP 13, 556 (1961)
R.J. Eden, P.V. Landshoff, D.I. Olive, J.C. Polkinghorne, The analytic S-matrix
S. Mandelstam, Unitarity condition below physical thresholds in the normal and anomalous cases. Phys. Rev. Lett. 4, 84 (1960). https://doi.org/10.1103/PhysRevLett.4.84
R.E. Cutkosky, Anomalous thresholds. Rev. Mod. Phys. 33, 448 (1961). https://doi.org/10.1103/RevModPhys.33.448
S.R. Coleman, B. Grossman, ’t Hooft’s consistency condition as a consequence of analyticity and unitarity. Nucl. Phys. B 203, 205 (1982). https://doi.org/10.1016/0550-3213(82)90028-1
S.L. Adler, Axial vector vertex in spinor electrodynamics. Phys. Rev. 177, 2426 (1969). https://doi.org/10.1103/PhysRev.177.2426
J.S. Bell, R. Jackiw, A PCAC puzzle: \(\pi ^0 \rightarrow \gamma \gamma \) in the \(\sigma \) model. Nuovo Cim. A 60, 47 (1969). https://doi.org/10.1007/BF02823296
L.D. Landau, On analytic properties of vertex parts in quantum field theory. Nucl. Phys. 13, 181 (1959). https://doi.org/10.1016/0029-5582(59)90154-3
S. Coleman, R.E. Norton, Singularities in the physical region. Nuovo Cim. 38, 438 (1965). https://doi.org/10.1007/BF02750472
R.E. Cutkosky, Singularities and discontinuities of Feynman amplitudes. J. Math. Phys. 1, 429 (1960). https://doi.org/10.1063/1.1703676
Y. Nambu, Dispersion relations for form factors. Nuovo Cim. 9, 610 (1958)
A.D. Dolgov, V.I. Zakharov, On conservation of the axial current in massless electrodynamics. Nucl. Phys. B 27, 525 (1971). https://doi.org/10.1016/0550-3213(71)90264-1
Y. Frishman, A. Schwimmer, T. Banks, S. Yankielowicz, The axial anomaly and the bound state spectrum in confining theories. Nucl. Phys. B 177, 157 (1981). https://doi.org/10.1016/0550-3213(81)90268-6
G. ’t Hooft, Naturalness, chiral symmetry, and spontaneous chiral symmetry breaking. NATO Sci. Ser. B 59, 135 (1980). https://doi.org/10.1007/978-1-4684-7571-5-9
E. Witten, Instantons, the Quark Model, and the 1/n expansion. Nucl. Phys. B 149, 285 (1979). https://doi.org/10.1016/0550-3213(79)90243-8
T. He, P. Mitra, A.P. Porfyriadis, A. Strominger, New symmetries of massless QED. JHEP 1410, 112 (2014). https://doi.org/10.1007/JHEP10(2014)112. arXiv:1407.3789 [hep-th]
P.P. Kulish, L.D. Faddeev, Asymptotic conditions and infrared divergences in quantum electrodynamics. Theor. Math. Phys. 4, 745 (1970). https://doi.org/10.1007/BF01066485[Teor. Mat. Fiz. 4 (1970) 153]
G. Dvali, Topological origin of chiral symmetry breaking in QCD and in gravity. arXiv:1705.06317 [hep-th]
L. Landau, Niels Bohr and the development of physics (Pergamon, London, 1955), p. 52
G. Dvali, Black holes and large N species solution to the hierarchy problem. Fortsch. Phys. 58, 528 (2010). https://doi.org/10.1002/prop.201000009. arXiv:0706.2050 [hep-th]
G. Dvali, C. Gomez, Black holes as critical point of quantum phase transition. Eur. Phys. J. C 74, 2752 (2014). https://doi.org/10.1140/epjc/s10052-014-2752-3. arXiv:1207.4059 [hep-th]
G. Dvali, C. Gomez, Black Hole’s quantum N-portrait. Fortsch. Phys. 61, 742 (2013). https://doi.org/10.1002/prop.201300001. arXiv:1112.3359 [hep-th]
A. Strominger, Yukawa couplings in superstring compactification. Phys. Rev. Lett. 55, 2547 (1985). https://doi.org/10.1103/PhysRevLett.55.2547
C. Gomez, R. Letschka, S. Zell, Eur. Phys. J. C 78(8), 610 (2018). https://doi.org/10.1140/epjc/s10052-018-6088-2. arXiv:1712.02355 [hep-th]
Acknowledgements
We want to thank Gia Dvali and Sebastian Zell for many inspiring discussions and relevant and helpful comments. This work was supported by the ERC Advanced Grant 339169 ”Selfcompletion” and the grant FPA2015-65480-P. ]
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Anomalous threshold kinematics
Let us consider the leading Landau singularity for the diagram in Fig. 1. This corresponds to have all the internal lines of the diagram on-shell satisfying energy momentum conservation in the three vertices. Following [16] the diagram is presented in Breit frame. The transfer momentum is given by \(-4\mathbf {p}^2\), the normal threshold is given by \(4M_2^2\) where \(M_2\) is the mass of the particle in the triangle interacting with the external source. The anomalous threshold associated with the leading Landau singularity is given by
where \(t_0=-4\mathbf {p}^2_{0}\). This is the minimum momentum where all the particles in Fig. 1 can be on-shell. Here also the scattering angles have to be below a small threshold which in our case refer to the resolution scale angle \(\delta \). Note that this anomalous threshold is independent on the energy of the process. The reason for calling it anomalous is that it is smaller than the normal threshold given by standard unitarity.
As discussed in the text the discontinuity associated with this singularity can be computed using the Cutkosky rules for the diagram. The corresponding amplitude contains a term proportional to \(\log \left( 1-\frac{t}{t_0}\right) \). For the diagram in Fig. 2 where we use the degeneration between the electron and a pair electron and collinear photon (both on-shell) the anomalous threshold gives the \(\log (m_e)\) terms in the amplitude.
In order to get a clearer picture of the underlying kinematics we can compute the relative velocity v between the two particles 1 and 2. This is given by the so called Källen-function
with \(A^2= M_0^4+M_1^4+ M_2^4 -2M_0^2M_1^2 -2M_0^2M_2^2-2M_1^2M_2^2\). In the degenerate case with \(M_0= M_2= m_e\) and \(M_1 =m_{\gamma }\) the mass of a photon we get the limit \(v= i\infty \) corresponding to particles 1 and 2 moving collinearly i.e. they remain coincident.
Introducing a binding energy as \(M_0+B = M_1+M_2\) we observe that for \(M_0<M_1+M_2\) the velocity u defined above is imaginary reaching collinearity in the limit \(B\rightarrow 0\). Moreover in the limit where \(M_1\) is much larger than \(M_2\) the anomalous threshold can be approximated by:
In the gravitational case \(t_0\) goes from zero in the limit \(B\rightarrow 0\) to the normal threshold \(4m_e^2\) in the limit of maximal gravitational binding energy.
Appendix B: Notation and calculation for the amplitudes
We set the kinematics of the forward scattered right- or left-handed electron in such way that the electrons runs with momentum \(\left| \mathbf {p} \right| \) along the z-axes, i.e. for the 4-momentum of the electron we have
where E is the energy of the electron. The Dirac spinor for the right-/left-handed electron in chiral representation is given by
In the limit where the mass \(m_e\) of the electron goes to 0
and
holds. We work in Weyl (chiral) basis where the \(\gamma \)-matrices are given by
with \(\sigma ^\mu = (1,\sigma ^i)\) and \(\bar{\sigma }^\mu = (1,- \sigma ^i)\), where \(\sigma ^i\) are the standard Pauli matrices.
We start with the first amplitude of the diagrams in Fig. 3. The notation will be \(\mathrm {i}M^R\)/\(\mathrm {i}M^L\) is the amplitude where the electron is right-/left-handed before and after the scattering. We keep the electrons helicity equal in the scattering process since we are not interested in helicity flipping processes. Then, writing the amplitudes in terms of 2x2 matrices Fig. 3 gives the amplitudes
and
where we omitted the terms proportional to the electron mass because they will give no collinear divergent term in the limit \(m\rightarrow 0\) and \(a\cdot b\) is the normal scalar product in 4d Minkowski space. The notation is \(\varepsilon ^\mu = \varepsilon ^\mu (\lambda ,\theta ,\phi )\), \({{\varepsilon '}}^\mu = \varepsilon ^\mu (\lambda ',{\theta '},{\phi '})\), \({\varepsilon _q}^\mu = \varepsilon ^\mu (\lambda _q,{\theta _q},{\phi _q})\) with
and \(k^\mu = k^\mu (\omega ,\theta ,\phi )\), \({k'}^\mu = k^\mu ({\omega '},{\theta '},{\phi '})\), \(q^\mu = k^\mu ({\omega _q},{\theta _q},{\phi _q})\) with
where \(\omega \) is the energy, \(\lambda \) the polarization and \(\theta \) and \(\phi \) the scattering angles of the corresponding photon. For example, a photon with polarization vector \(\varepsilon ^\mu \) and \(\lambda =+1\)/\(-1\) is an incoming right-/left-handed photon.
In the collinear limit the angles \(\theta \), \({\theta '}\) and \({\theta _q}\) appearing in the calculations are small, i.e. \(\cos \theta \approx 1-\frac{\theta ^2}{2}\), \(\cos {\theta '}\approx 1-\frac{{\theta '}^2}{2}\) and \(\cos {\theta _q}\approx 1-\frac{{\theta _q}^2}{2}\). So that together with (B.7) we can approximate
A simple Taylor expansion to first order in \(\theta \) and matrix multiplication shows that in general for the right-handed electron
holds and for the left-handed electron
holds. These identities (also see [9]) will be used in the amplitudes (B.9)–(B.16). Interesting is that there is no \(\phi \) or \({\phi '}\) dependence in the expressions (B.22)–(B.25). Furthermore, for a small arbitrary angle \(\theta \) we have
The amplitudes from (B.9) to (B.16) simplify then to
and
Notice that the amplitudes of the left-handed electron just differ by exchanging all polarizations of the photons to minus the polarizations, i.e.
Thus, apart from now we will write down only the amplitudes with the right-handed electron and get the amplitudes of the left-handed electron by this simple relation (B.35).
We are interested in a very special corner of the phase space where \({\theta '}\) and \({\theta _q}\) are very small but still bigger than \(\frac{m^2}{E^2}\), i.e. \({\theta '}\gg \frac{m^2}{E^2}\) and \({\theta _q}\gg \frac{m^2}{E^2}\).Footnote 11 On the other side we allow \(\theta \) to be of the order of \(\frac{m^2}{E^2}\). Thus, \({\theta '}\gg \theta \) and \({\theta _q}\gg \theta \) holds as well. Furthermore, the phase space gets more restricted by the fact that the electron is forward scattered, i.e. \(p^\mu _\text {in}= p^\mu _\text {out}\). The constraint from energy and momentum conservation is then \({k'}^\mu = q^\mu +k^\mu \). This constraint in the collinear limit gives
The constraint \({\phi '}={\phi _q}\) isn’t important since these angles don’t appear in the amplitudes (B.27)–(B.34). Inserting the constraints and using the special corner of phase space one gets for the amplitudes
where we only kept the terms that will lead to collinear divergent terms after the phase space integration \(\int \frac{\mathrm {d}^3\mathbf {k}}{(2\pi )^3 2\omega }\) of the incoming collinear photon. Then summing up the amplitudes gives
Clearly the collinear divergence comes from when one integrates the amplitude square over the \(\theta \) since this is proportional to \(\int _0^\delta \mathrm {d}\theta \,\theta \frac{\theta ^2}{\left( \theta ^2+\frac{m^2}{E^2}\right) ^2}\propto \log \left( \frac{E\delta }{m_e}\right) \). We are interested in the full amplitude \(\mathrm {i}M\), where we want to sum over the electron polarizations. In general holds for a generic amplitude \(\bar{u}'^s \mathscr {M} u^r\) with an outgoing electron with spinor \({u'}\) and spin s and an ingoing electron with spinor u and spin r
The last two terms of Eq. (B.42) are the spin-flipping processes of the amplitude or the helicity-flipping processes in the collinear limit. Helicity-flipping processes don’t possess collinear divergences, see e.g. [9]. Thus interesting for us are the first two terms of (B.42). Then, the unpolarized amplitude that will produce collinear divergences is given by
where \(\mathrm {i}M^L = \sum _{i=1}^4\mathrm {i}M_i^L\).
Now we can apply the KLN-theorem and integrate over the phase space of the incoming photon \(\int \frac{\mathrm {d}^3\mathbf {k}}{(2\pi )^3 2\omega }\), which is in the collinear limit given by \(\int \frac{\mathrm {d}\omega \mathrm {d}\theta \mathrm {d}\phi \,\omega ^2\sin \theta }{(2\pi )^32\omega }=\int \frac{\mathrm {d}\omega \,\omega }{(2\pi )^2}\int _0^\delta \mathrm {d}\theta \,\theta \), where we integrated \(\int _0^{2\pi }\mathrm {d}\phi =2\pi \) since the amplitudes do not depend on \(\phi \). Then the collinear part of the unpolarized amplitude is
which is the result we present in (8).
Appendix C: One-loop amplitude interfered with tree-level amplitude
An other term that contributes to the order \(e^6\) in perturbation theory is the interference of the amplitudes in Figs. 7 and 8. The process in Fig. 7 describes an electron that scatters with two incoming photons, one with momentum \(q^\mu \) which is the transfer momentum and of course \(q^2=0\) holds as before and one with momentum \(k^\mu \) which is a collinear photon. In order to possibly contribute to the cancelation process of the KLN anomaly in Sect. 5 the electron has to be forward scattered, thus \(p^\mu _\text {in}=p^\mu _\text {out}\). Then from the conservation of energy and momentum we get the constraint \(q^\mu =-k^\mu \), which means in the notation of ““Appendix B”: \({\omega _q}=-\omega \), \({\theta _q}=\theta \) and \({\phi _q}=\phi \). The same constraint holds also for the amplitudes in the diagrams of Fig. 8. The amplitudes from Fig. 8 are one-loop diagrams with a collinear incoming photon. We will change from now on the notation a little bit and name the amplitudes now \(\mathrm {i}A\) instead of \(\mathrm {i}M\) in order to keep it easier to distinguish but nevertheless keep the rest of the notations in “Appendix B” the same. Of course when ever a photon runs in a loop it is no longer on-shell, i.e. \(k_\text {loop}^2\ne 0\). Other than in the appendix above we will write down the following amplitudes non-approximatively, i.e. not in collinear limit, and just later when apply the KLN theorem we will Taylor expand the amplitudes in the collinear limit.
1.1 Appendix C.1: The tree-level amplitude at order \(e^2\)
At this point we want to anticipate that the relation (B.35) holds here and in the following as well, which can’t be seen directly but was found during the calculations for this appendix with the program Mathematica, i.e.
So we begin with the amplitude \(\mathrm {i}A_1^R\) which is given by the diagrams in Fig. 7 and gives
![](http://media.springernature.com/lw479/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ63_HTML.png)
for the amplitude where a right-handed electron is forward scattered.
Then the matrix multiplication in Eq. (C.46) can be done by hand or using Mathematica and gives
The amplitude for the left-handed electron is the same as the for the right-handed one, i.e. \(\mathrm {i}A_1^L=\mathrm {i}A_1^R\), since we have a multiplication of two polarizations \(\lambda {\lambda _q}\). This is the first amplitude of the interference term that could cancel the KLN anomaly.
1.2 Appendix C.2: One-loop amplitudes
The one-loop amplitudes of the diagrams in Fig. 7 are given by
![](http://media.springernature.com/lw506/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ65_HTML.png)
![](http://media.springernature.com/lw506/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ66_HTML.png)
![](http://media.springernature.com/lw469/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ67_HTML.png)
![](http://media.springernature.com/lw469/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ68_HTML.png)
![](http://media.springernature.com/lw506/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ69_HTML.png)
![](http://media.springernature.com/lw505/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ70_HTML.png)
The denominator of the type pk vanish in the collinear limit if \(k^2\) is zero. So the interesting part of the one-loop amplitude is the one coming from the poles \(pk'=0\) (collinearly) with \(k'^2=0\). The pole \(1/k'^2\) gives a contribution \(\mathrm {i}\pi \delta (k'^2)\). As in [5, 6] shown the integral of \(\int \mathrm {d}{\omega '}^0\) in the amplitudes (C.48)–(C.53) sets the loop-photon with momentum \(k'\) on-shell. We use the standard \(\gamma \)-matrices identity \(\gamma ^\mu \gamma ^\alpha \gamma ^\beta \gamma ^\nu \gamma _\mu = -2\gamma ^\nu \gamma ^\beta \gamma ^\alpha \) and for the amplitudes \(\mathrm {i}A_{2,3}\) and \(\mathrm {i}A_{2,4}\) we use a formula that can be easily can verified and only holds for the specific choice of spinors (B.6) and using \(\gamma ^\mu \) in Weyl representation: \(\bar{u}_p^{R/L} \, \gamma ^\mu [...] \gamma _\mu \, u_p^{R/L} = -2 \bar{u}_p^{L/R} [...] u_p^{L/R}\), where [...] stands for any set of \(\gamma \)-matrices.
Then the amplitudes (C.48)–(C.53) are given by
![](http://media.springernature.com/lw462/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ71_HTML.png)
![](http://media.springernature.com/lw462/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ72_HTML.png)
![](http://media.springernature.com/lw466/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ73_HTML.png)
![](http://media.springernature.com/lw466/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ74_HTML.png)
![](http://media.springernature.com/lw462/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ75_HTML.png)
![](http://media.springernature.com/lw462/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ76_HTML.png)
Comment on the amplitudes \(\mathrm {i}A_{2,3}^R\) and \( \mathrm {i}A_{2,4}^R\): The formulas (C.56) and (C.57) for the amplitudes \(\mathrm {i}A_{2,3}^R\) and \( \mathrm {i}A_{2,4}^R\) show that the incoming photon with momentum \(k^\mu \) is non-IR absorption in these two amplitudes, since this photon is attached to an internal line so that there is no propagator with 1/pk in the amplitudes (see for example [5, 6, 36]).
1.2.1 Appendix C.2.1: Symmetries between the amplitudes \(\mathrm {i}A_{2,i}^{R/L}\)
If one takes a closer look to the amplitudes (C.54)–(C.59) one can manifest some symmetries between them. \(\mathrm {i}A_{2,3}\) and \(\mathrm {i}A_{2,4}\) are related to each other as well as the other 4 amplitudes. In the following we will omit the right-/left-labelling of the amplitudes to keep it shorter. Writing the amplitudes as functions of the polarisations of the photons \(\lambda \), \(\lambda _q\) and the energy of the incoming collinear photon \(\omega \) then
holds for \(\mathrm {i}A_{2,4}\). For the other amplitudes one can show that
holds. We want to anticipate that the integrals in (C.54)–(C.59) are real, which can’t be seen directly since the numerators have terms proportional to \(\text {e}^{\pm \mathrm {i}n (\phi '-\phi )}\), with \(n=0,1,2\), but this showed up during the calculations for this appendix.
Together with relation (C.45) one only has to calculate \(\mathrm {i}A_{2,1}^R\) and \(\mathrm {i}A_{2,3}^R\) to get the complete amplitude \(\mathrm {i}A_2^{R/L} = \sum _{i=1}^6 \mathrm {i}A_{2,i}^{R/L}\). There are two other symmetry in this amplitude. The first is changing \(\lambda \rightarrow -\lambda \), \(\lambda _q\rightarrow -\lambda _q\) and \(\omega \rightarrow -\omega \), which is nothing else but having outgoing photons in Fig. 8. The second is changing \(\lambda \rightarrow -\lambda _q\) and \(\lambda _q\rightarrow -\lambda \), which is exchanging the ingoing photon with momentum \(k^\mu \)/\(q^\mu \) to an outgoing photon with momentum \(q^\mu \)/\(k^\mu \). In other words, the amplitudes of the diagrams with outgoing photons instead of ingoing once are the same as the amplitudes in Fig. 8. This is the same behaviour as already seen for the IR case in [6, 9, 10]. The symmetries can be seen in
where the last two lines are related by (C.60) and (C.61).
The two determining amplitudes are (C.54) and (C.56) which can be simplified to
We can now move forward to perform the integral \(\int \frac{\mathrm {d}^3k'}{\omega '} = \int \mathrm {d}\omega '\mathrm {d}\theta '\mathrm {d}\phi ' \omega '\sin \theta '\), where we will see that in fact the amplitudes \(A_{2,i}\) are real after the integration.
1.2.2 Appendix C.2.2: Details of the \(\int _0^{2\pi }\mathrm {d}\phi '\) integral
In the denominator \(\phi '\) appears only in the \(kk'=k\cdot k'\), where k and \(k'\) are on-shell. The nominators of \(\mathrm {i}A_{2,1}^R\) and \(\mathrm {i}A_{2,3}^R\) are calculated by Mathematica and have terms that go like \(\text {e}^{\pm \mathrm {i}n (\phi '-\phi )}\), with \(n=0,1,2\). Then there are integrals of the form
where a and b are independent of \(\phi '\) and \(\phi \). All integrals including \(\sin (n (\phi '-\phi ))\) vanish, as well as the one with \(n=0\), i.e. the one with a constant term. The non-vanishing integrals are
In the integration the variables are \(a=-2pk'+2pk-\omega \omega '(1-\cos \theta \cos \theta ')\) and \(b=2\omega \omega ' \sin \theta \sin \theta '\). We won’t write down the amplitudes \(\mathrm {i}A_{2,1}^R\) and \(\mathrm {i}A_{2,3}^R\) after the \(\int _0^{2\pi }\mathrm {d}\phi '\) integration, since these terms are quite long and there is no greater benefit from knowing these formulas. So that we go on to the next integration.
1.2.3 Appendix C.2.3: Details of the \(\int \mathrm {d}\theta ' \) integral
The next step is the \(\int \mathrm {d}\theta '\) integral, where the \(\log (m_e)\) divergences will appear. In the following we will keep terms that are finite after the \(\int \mathrm {d}\theta '\) integration and the terms that are logarithmic divergent. What we will omit are terms that go as the mass of the electron \(m_e\) since they will vanish in the collinear limit where \(m_e\rightarrow 0\). In the logarithmic divergent terms we will have to use an angle regulator \(\delta \) which is a small angle between the electron and the collinear photon in the loop.Footnote 12 In the finite terms we can perform the full integration, meaning integrate over \(\theta '\) from 0 to \(\pi \). In the following we will skip some intermediate steps and write down the amplitude \(\mathrm {i}A_2^R\) after the two angle integrations \(\int \mathrm {d}{\theta '}\mathrm {d}\phi '\sin {\theta '}\), since the formula for the full amplitude \(\mathrm {i}A_2^R\) is shorter than all the single amplitudes \(\mathrm {i}A_{2,i}^R\). Then the integrals are performed by Mathematica and give the result
The first two lines come from \(\mathrm {i}A_{2,1}^R+\mathrm {i}A_{2,2}^R+\mathrm {i}A_{2,5}^R+\mathrm {i}A_{2,6}^R\), which can be seen from the factor \(pk=\omega (E-\left| \mathbf {p} \right| \cos \theta )\) in the denominator, and the third line comes from \(\mathrm {i}A_{2,3}^R + \mathrm {i}A_{2,4}^R\). What also can be seen is that there is no IR divergence in the one-loop amplitude after performing the \(\int \mathrm {d}\omega '\) integration, which is conform with [5, 6] since the B-factor vanishes in the forward scattering.
1.3 Appendix C.3: The interference term
In order to see if there is a cancelation with (8) to the order \(e^6\) one has to apply the KLN theorem to the unpolarized interference term of the amplitude \(\mathrm {i}A_1\) and \(\mathrm {i}A_2\), i.e. \(\mathrm {i}A_1^R \left( \mathrm {i}A_2^R\right) ^*+\mathrm {i}A_1^L \left( \mathrm {i}A_2^L\right) ^*+\text {h.c.}\), where we used (B.43). The contribution is given by
In the following we again just calculate the contribution coming from the \(\mathrm {i}A_1^R \left( \mathrm {i}A_2^R\right) ^*\) since we can apply the relation (C.45) to get the contribution coming from the amplitude with the left-handed electron.
1.3.1 Appendix C.3.1: Small angle approximation
A Taylor expansion for small \(\theta \) of the expressions in (C.47) and (C.71) gives
where as usual in the collinear limit (see [9]) \(2pk = 2\omega (E-\left| \mathbf {p} \right| \cos \theta ) \approx \omega E (\theta ^2+m^2/E^2)\).
From the Taylor expansion of the two amplitudes we can see that once the KLN theorem is applied the interference term will have collinear divergences coming from the term proportional to \(\theta ^2/(\theta ^2+m^2/E^2)^2\). And there will be terms that are collinearly divergent coming only from the loop integration from the previous “Appendix C.2.3”.
The interference term of \(\mathrm {i}A_1^R\) and \(\left( \mathrm {i}A_2^R\right) ^*\) involves the following multiplication of terms with the polarisations of the photons
where \(\lambda ^2=1\) and \(\lambda _q^2=1\) is used. The integral of interest is then
Then one can use the following identities
to simplify the interference term
which is more simplified
The first \(\log \) term in the second line of (C.84) is coming from the phase space integration \(\int \mathrm {d}^3\mathbf {k}/\omega \). There are no \(\log ^2\) terms and the IR divergent term is coming from the \(\int \mathrm {d}\omega /\omega \) integration not from the loop integral \(\int \mathrm {d}\omega '\). This is conform with [5, 6, 36], since the IR term comes from the interference term of the amplitudes \(\mathrm {i}A_1\) and \(\mathrm {i}A_{2,1}+\mathrm {i}A_{2,2}+\mathrm {i}A_{2,5}+\mathrm {i}A_{2,6}\), which are the amplitudes where the incoming photon is attached to a external electron line.
1.3.2 Appendix C.3.2: Full interference term
The unpolarized contribution is given by (C.72) which is now
The collinear divergent part is given by
This term does not cancel the KLN anomaly in Eq. (8).
Appendix D: Two-loop amplitude
There are also possible cancelation with two-loop diagrams, since an interference term of an amplitude of order e and the two-loop amplitude in Fig. 9 (order \(e^5\)) is again of order \(e^6\).
1.1 Appendix D.1: Amplitude \(\mathrm {i}A_{3,1}\)
From the diagram in Fig. 9 one can read off
![](http://media.springernature.com/lw523/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ104_HTML.png)
To simplify the amplitude we use the same steps and identities of “Appendix C.2”. Then the amplitude \(\mathrm {i}A_{4,1}^{R/L}\) is simplified to
![](http://media.springernature.com/lw450/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ105_HTML.png)
As before we will look first at the \(\int _0^{2\pi }\mathrm {d}\phi '\) integration. The integration is a bit different since the denominator is of the form \(\left[ a+b\cos (\phi '-\phi )\right] ^2\), where a and b are again independent of \(\phi \) and \(\phi '\). Mathematica calculates the nominator inside the integrals of the amplitude (D.88) and what we get are terms proportional to the exponential functions \(\text {e}^{\pm \mathrm {i}(\phi -\phi _q)}\), \(\text {e}^{\pm \mathrm {i}(\phi '-\phi _q)}\), \(\text {e}^{\pm \mathrm {i}(\phi '-\phi )}\) and \(\text {e}^{\pm \mathrm {i}(2\phi -\phi '-\phi _q)}\).Footnote 13 The amplitude \(\mathrm {i}A_{3,1}^{R/L}\) vanishes, since
Thus, there can only be a contribution from the other diagram in Fig. 9.
1.2 Appendix D.2: Amplitude \(\mathrm {i}A_{3,2}\)
From the Fig. 9 one can read off that the amplitude is given by
![](http://media.springernature.com/lw519/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ110_HTML.png)
Notice the difference to (D.87). The two last \(\gamma \)-matrices are exchanged and in the denominator there is a propagator pk. This differences makes it impossible to directly apply the identities of “Appendix C.2”. Before using them we will apply an other \(\gamma \)-matrix identity, \(\gamma ^\mu \gamma ^\nu \gamma ^\rho = \eta ^{\mu \nu }\gamma ^\rho + \eta ^{\nu \rho }\gamma ^\mu - \eta ^{\mu \rho }\gamma ^\nu -\mathrm {i}\varepsilon ^{\sigma \mu \nu \rho }\gamma _\sigma \gamma ^5\), where \(\eta ^{\mu \nu }\) is the metric tensor in Minkowski spacetime, \(\varepsilon ^{\sigma \mu \nu \rho }\) is the Levi–Civita symbol in 4d. With that we rewrite the middle part of the nominator to
![](http://media.springernature.com/lw379/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ111_HTML.png)
The term with the Levi–Civita symbol is zero since there is a summation of 2 equal terms, i.e. \(\varepsilon ^{\alpha \beta \mu \nu }a_\alpha a_\beta b_\mu c_\nu = 0\). Once this identity is used one can also apply the identities of “Appendix C.2”. Putting all together then the amplitude (D.93) is
![](http://media.springernature.com/lw460/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ112_HTML.png)
where in the second line one \(-2pk'-2pk+2kk'\) propagator is canceled by the \((p-k'-k)^2=-2pk'-2pk+2kk'\) term in the identity (D.94). Now we use the identities \(\gamma ^\mu \gamma ^\alpha \gamma ^\beta \gamma ^\nu \gamma _\mu = -2\gamma ^\nu \gamma ^\beta \gamma ^\alpha \) and \(\gamma ^\mu \gamma ^\alpha \gamma ^\beta \gamma _\mu = 4\eta ^{\alpha \beta }\) to get
![](http://media.springernature.com/lw317/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08478-7/MediaObjects/10052_2020_8478_Equ113_HTML.png)
A small matrix calculation by hand or using Mathematica for the nominators gives
The \(\int _0^{2\pi }\mathrm {d}\phi \int _0^{2\pi }\mathrm {d}\phi '\) integration of the first integral of (D.97) will make this term 0. This can be seen by the following integrals, where as before the denominator is of the form \(a+b\cos (\phi '-\phi )\):
What is left over is the second line of (D.97) as result for the two-loop amplitude \(\mathrm {i}A_{4}\):
where we performed the angular integration of \(\mathrm {d}^3k\,\mathrm {d}^3k'\) and we abbreviate \(\int \mathrm {d}\omega \int \mathrm {d}\omega ' = \left( \int \mathrm {d}\omega \right) ^2\). Thus, there is again no cancelation of the KLN anomaly in Eq. (8).
This means that the two-loop amplitude \(\mathrm {i}A_3\) from the diagrams in Fig. 9 has only a \(\log ^2(m_e)\) divergence. Notice that this result (D.101) is neither IR divergent, which is conform with [6], because in the forward limit the B-factor is 0, nor there are single \(\log (m_e)\) divergent terms.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Gómez, C., Letschka, R. Masses and electric charges: gauge anomalies and anomalous thresholds. Eur. Phys. J. C 80, 946 (2020). https://doi.org/10.1140/epjc/s10052-020-08478-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-08478-7