Newton versus Coulomb for Kaluza–Klein modes

We consider a set of elementary compactifications of D+1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$D+1$$\end{document} to D spacetime dimensions on a circle: first for pure general relativity, then in the presence of a scalar field, first free then with a non minimal coupling to the Ricci scalar, and finally in the presence of gauge bosons. We compute the tree-level amplitudes in order to compare some gravitational and non-gravitational amplitudes. This allows us to recover the known constraints of the U(1), dilatonic and scalar weak gravity conjectures in some cases, and to show the interplay of the different interactions. We study the KK modes pair-production in different dimensions. We also discuss the contribution to some of these amplitudes of the non-minimal coupling in higher dimensions for scalar fields to the Ricci scalar.


Introduction
Among the Swampland conjectures [1], one of the most popular and best tested is probably the Weak Gravity Conjecture (WGC).Its simplest formulation [2] considers the case of a D-dimensional U (1) gauge theory, with a coupling constant g, and requires the existence of at least one state of mass m and charge q which satisfies: where κ D is defined as with M P,D the reduced Planck mass in D dimensions.
This inequality implies, among others, that in the non-relativistic limit, the Newton force is not stronger than the Coulomb force.The particular states for which the equality in (1.1) is satisfied are said to saturate the WGC.In this work we will be interested in a particular case of them.
The present work is dedicated to the study of two different generalizations of the WGC: one that arises when the gauge interaction is complemented by a dilaton interaction [3,4], and another [5][6][7] that broadly requires the dominance of scalar interactions with respect to gravity in some scattering processes depending on the specific theory.We are interested in the modes that propagate in an extra dimension forming a tower of KK excitations [8][9][10][11].We will explicitly show that these modes undergo gravitational and non-gravitational interactions of equal intensity, which allows us to use them as probes for the conjectured inequalities generalizing the one mentioned above.They will also be useful to investigate the behavior of the scalar WGC under compactification.
Obviously, the KK excitations considered here saturate the inequalities conjectured only at the classical level, to which our study will be limited, since both terms of these inequalities are in general corrected by quantum effects.However, one has in mind that extending the theory with enough supersymmetries, the KK modes can be BPS states which saturate them even at the quantum level.
The fact that KK modes saturate the inequalities of the various conjectures is a known property, but we will give a derivation of it here in a simple form that we have not found in the existing literature.Our derivation of the various inequalities will be based on amplitude calculations, not for example on the conditions for decay of extremal black holes, and some of the explicit expressions for the amplitudes needed to make the comparisons seem to be either missing or scattered and hard to find, so we hope that presenting them altogether here might be useful.
This work is organized as follows.Section 2 reviews the well-known reduction of KK from D + 1 to D dimensions of the Hilbert-Einstein action and a massless scalar.It allows us to introduce our notations, presents the Lagrangian expansion needed to extract the Feymann rules for calculating amplitudes, and compute the numerical factor in the total derivative term, often misquoted in the literature, which will be useful in Section 5.The dilatonic WGC inequality is derived in Section 3, where we also calculate various KK pair production amplitudes.In Section 4, we consider adding a mass term for the scalar in D + 1 dimensions and we find our form of the scalar WGC.A nonminimal coupling to gravity is considered in section 5.The interactions due to the presence of higher dimensional gauge fields are discussed in section 6.Our conclusions are presented in section 7. Finally, some technical details about our calculations are gathered in appendices.

Expansion to Second Order in the Gravitational Field
We work with the signature (+, −, ..., −).The D + 1 dimensional quantities will be denoted with a hat.We use Latin and Greek letters for the D+1 and D-dimensional coordinates, respectively.We denote by x the D non-compact and by z ≡ z + 2πL the compact coordinates.We recall the steps of the simple dimensional reduction of a free real massless scalar field Φ coupled to General Relativity: where and S (D+1) Φ,0 The Ricci scalar R is computed from the metric ĝMN .In the simplest compactification from D + 1 to D dimensions it takes the form ĝMN = e 2αφ g µν − e 2βφ A µ A ν e 2βφ A µ e 2βφ A ν −e 2βφ (2.4) with φ, A µ and g µν D-dimensional fields independent of the z coordinate: where g is the determinant of the D-dimensional metric.A canonical D-dimensional Einstein-Hilbert action is obtained for (D − 2)α + β = 0. (2.6) and the canonical dilaton kinetic term fixes the constant α to be: Since all fields are independent of z, we can perform the integration over this coordinate to obtain, keeping only the zero modes,1  (2.8) We define the D-dimensional constant κ in terms of the (D + 1)-dimensional κ as In (2.4), the φ and A µ fields are dimensionless.Dimensional fields, that we denote φ and Ãµ , can be written as The action of the D-dimensional gauge and scalar fields, denoted as the graviphoton and the dilaton, respectively, reads: (2.11) In the following, with the exception of section 5, the second term in (2.11), being a total derivative, will be discarded and, for notational simplicity, we remove the tilde in our notation.
For simplicity, we restrict to the simplest case where the field Φ is periodic and single-valued on the compact dimension which leads to where we have chosen in (2.7) the positive root for α.The complex scalars ϕ n form the Kaluza-Klein (KK) tower and appear minimally coupled to the graviphoton.Around a generic background value φ 0 for the dilaton, the gauge coupling g is given by For each KK mode, the mass and charge read This shows that they are related through saturating the dilatonic WGC condition.This is expected as all the interactions unify to descend from the unique gravitational interaction of a free scalar field in higher dimensions.Useful for the rest of the manuscript is to derive this result proceeding instead with the expansion of the metric (2.4) to second order: ĝMN = ζMN + 2κ ĥMN + 4κ 2 fMN + o(κ 3 ) (2.17) where: is the background metric and κ2 fMN κĥ M N 1, for all M, N .We write the perturbation as The relation ĝMP ĝP where it is understood that the indices are raised and lowered with the background metric ζ, then where κ ≡ 2κ.With: Next, we identify fMN from the metric decomposition at second order: , then the second order interaction in the Lagrangian is given by This expression simplifies using the relation between β and α (2.6).In particular, the coefficients of φ 2 and φ h ρ ρ vanish.One obtains which shows how the gauge invariance of the graviphoton is recovered in this expansion at second order in κ and exhibits the minimal coupling of the graviphoton to the tower of scalars in κ.

Scattering Amplitudes and Weak Gravity Conjectures
In this section, we will compute diverse 2 → 2 amplitudes in the simple model defined above and compare two sets to be identified, one denoted as gravitational and the other as non-gravitational mediated interactions.
We expand the dilaton around its background value φ 0 as φ 0 + φ in the action (2.13) to obtain: where diverse interactions can be identified.For instance: • 3 and 4-point vertices for minimally-coupled scalars to graviphotons appear in the last line.We can identify the KK electric charges • In the third line, the m-th term (m = 0) in the sum gives a (2 + m)-point interaction with m dilatons and two KK scalars with coupling • The m-th term in the sum in front of F2 in the first line gives a coupling of m dilatons with two gauge fields Expansion of the metric around flat space-time g µν = η µν + 2κh µν gives the usual minimal couplings to gravity for both the matter fields (ϕ 0 , ϕ n ) and the massless mediators (φ, A µ ).

The Dilatonic WGC
Consider the tree-level 2 → 2 scattering 2,3 ϕ n (p 1 )ϕ n (p 2 ) → ϕ n (p 3 )ϕ n (p 4 ): where P is the usual massless spin-2 projector and we have separated the contributions from the exchanges of the gauge boson, the dilaton and the graviton, respectively.Taking the non-relativistic (NR) limit and expressing the charge in terms of the mass we obtain The relation between the charge and the mass (2.16) ensures the cancellation between the three forces.
It is straightforward to generalize this to see that dominance of the gauge interaction requires that a state with charge q and mass m satisfying the relation where α is the dilatonic coupling of the form e 2 √ 2ακφ F 2 , exists.We have therefore recovered in this explicit amplitude computation the Dilatonic Weak Gravity Conjecture that was derived in [3] (see also [4] for its generalization) from the study of the extremal Einstein-Maxwell-dilaton black hole solutions.In the absence of the massless dilaton field α = 0, one trivially retrieves the original WGC condition (3.10)

Amplitudes for Pair Production
Consider the production of a pair of matter states, here scalar KK states, of momenta p 3 , p 4 from massless particles of momenta p 1 , p 2 .We can split the production processes into two sets: • Non-gravitational production: a pair of KK scalar modes |ϕ n , ϕ * n can arise from a pair of photons γ, γ|, a pair of dilatons φ, φ|, or a dilaton and a photon φ, γ|.
• Gravitational production: this includes the presence of a graviton G in initial states as G, G|, G, γ| or G, φ|, but also gravitons as intermediate states in the production from γ, γ| or φ, φ|.
For later convenience, we further divide the gravitational production processes into purely gravitational (the G, G| production) and mixed (all the others).

Non gravitational amplitudes
The production from photons γγ → ϕ n ϕ * n occurs through the coupling to the U (1) gauge boson plus an s-channel term mediated by the dilaton, as depicted in the first line of figure 1.These give: We are interested in the threshold limit leading to We note that, in a U (1) gauge theory with no dilaton, the amplitude would be given by the first line of (3.11) only, that means in the threshold limit 4g 4 q 4 /(D − 2) for a state of charge q.
The production from a dilation pair φφ → ϕ n ϕ * n (second line of figure 1) is immediately recognized to give a null result in the limit of interest: Finally, the production from the pair photon-dilaton φγ → ϕ n ϕ * n receives contributions from the three s, t and u-channels (see the third line of figure 1) and this is easily verified to give a null contribution in the threshold limit.

Mixed amplitudes
We consider now the "mixed gravitational" processes: we start by computing the graviton s-channel mediation for γγ and φφ initial states, then the amplitudes with initial states γ G and φ G.We present hereafter the results for the particular case D = 4.When it will be of interest, we will show the results for a generic number of dimensions D.
The additional contribution to the γγ and φφ productions described in figure 2 respectively read and where i = (p i ).For the γγ → ϕ n ϕ * n amplitude, a (simpler) way to compute this is through projecting onto a specific basis for the polarizations (see Appendix B).
Working in the center of mass frame for the massive particles, we obtain the different components of the graviton mediated γγ → ϕ n ϕ * n as follows where the ± sign refers to the helicities of the incoming gauge bosons.In the threshold limit the graviton mediated contribution vanishes for both components.
In D dimensions, the whole M γγ amplitude reads for a generic U (1) gauge theory (i.e. when the dilaton is put to zero) and in the dilatonic theory we are studying here.Both the results for the U (1) and dilatonic theory ((3.13) and discussion below) are recovered in the limit κ → 0. It is instructive to note, from these equations, that the vanishing of the graviton mediated contribution to the production from a photon pair is specific to the case of D = 4 dimensions, and in D = 4 dimensions mixed terms of the form g 2 q 2 × κ 2 m 2 are generated.
For the φφ → ϕ n ϕ * n the amplitude reads This results in a non vanishing contribution in the limit of interest such that Concerning the mixed initial states, we have both γ G → ϕ n ϕ * n (see figure 3) and φ G → ϕ n ϕ * n (see figure 4).Each of these two processes receive contributions from four diagrams.
Starting with the graviton-photon production, the amplitude G(p 1 )γ(p 2 ) → ϕ n ϕ * n takes the form and so for the different choices of graviton and photon helicities: It is immediately verified that all these contributions vanish in the threshold limit where t → −m 2 n and u → −m 2 n .The same vanishing limit at threshold holds for the mixed graviton-dilaton production, where the amplitude is n the three-point φϕ n ϕ * n D = 4 coupling, and finally From the explicit results presented in Appendix B, it is also immediate to realize that the mixed contributions vanish at threshold for all D.

Gravitational production amplitudes
Finally, we discuss the purely gravitational production.The starting point for the expression of the amplitude is rather long.It receives in fact contribution from the four diagrams of figure 5, each one with vertices determined from a two-derivative interacting term (some details about two-derivative interactions are discussed in Appendix A).We prefer to give here a more compact expression that is obtained after some algebra: The complete results for each one of the four diagrams contributing to the amplitude are presented in Appendix B, together with the description of the helicity method.Using now the specific basis for Comparing this result with the one obtained from the γγ production in the case with no dilaton, we verify the factorization The corresponding factorization for the comparison between the gravitational Compton scattering Gϕ → Gϕ (with ϕ a generic scalar field) and the usual Compton scattering was found in [12,13] (see also [14]).
From the above results, in the threshold limit we have Note that the result |M GG | 2 → κ 4 m 4 /2, and more generally the "purely gravitational" pair production, is independent from the presence of the dilaton.This is easily generalized to the case of generic D (see again Appendix B for details) and leads in the threshold limit to (3.31)

Gravitational vs gauge amplitudes
When the dilaton is put to zero, the requirement gives the original U (1), D = 4 WGC bound √ 2gq ≥ κm.Using cross-symmetry on the results of [12][13][14], the authors of [7] observed that (3.32) leads to the WGC relation and proposed (3.32) as a possible alternative formulation of the WGC.In [7], the graviton-mediated diagram was not taken into account in the γ amplitude.Our calculation shows that in the threshold limit, the contribution of this additional diagram disappears.Therefore, in the four-dimensional U (1) gauge theory, we can safely compare, as in the (3.32), the γγ and GG productions without having to neglect any contribution.
Our calculation also shows that in D = 4 dimensions, the KK states saturate (3.32).In fact, we emphasize again that the gravitational amplitude M GG , here, does not care about the presence of the dilaton: whether the theory is a simple U (1) or a dilatonic U (1), the result for M GG is unchanged.On the other hand, the amplitude M γγ receives an additional contribution which changes the numerical coefficient in front of g 4 q 4 from 2 to 1/8.Since the M γφ and M φφ amplitudes both vanish in the threshold limit, the comparison of the pair production processes in this KK theory leads to and (2.16) shows that KK states saturate it.However, if, in the presence of the dilaton, we consider gravitationally mediated diagrams for γγ and φφ amplitudes, there is a non-vanishing contribution that comes from M G φφ in (3.22), and this would clearly spoil the saturation observed for the KK states.The inclusion of the mixed production channels Gγ (3.23) and Gφ (3.25) cannot restore the saturation property, since both do not contribute in the limit of interest.The dilatonic WGC will be recovered only if the contributions from graviton exchanges in γγ and φφ amplitudes are not included.
Note also that the pairwise production comparison does not reproduce the constraints of WGCs in more than 4 dimensions.The M γγ and M GG amplitudes lead, for any D, to compare √ 2gq and κm.For the case of a simple theory U (1), setting as quoted above the dilaton to zero in our calculations, the result for the production from a photon pair in D dimensions in the threshold limit is In Appendix B we learn that the purely gravitational production of pairs gives, in the same limit of interest, Similarly, the comparison of purely gravitational pair production and purely non-gravitational pair production in the KK theory we consider here amounts to a comparison of the results

Massive and Self-interacting Scalars
We next consider the presence of mass and self-interacting terms in the higher dimensional scalar theory.The KK scalar modes are no more extremal states of the WGC, but this set-up will allow us to retrieve Scalar Weak Gravity Conjectures which are postulated to constrain the relative strength of the additional terms.
We will consider the simple extension of (2.1) Here, m has mass dimension one, μ has dimension 3 − D+1 2 and λ has dimension 4 − (D + 1).Using the ansatz (2.12), it is straightforward to see that the action takes the form where we have kept the notation compact, but, in our perturbative analysis, the dilaton will again be expanded around a background value φ 0 as above.The couplings constants µ and λ are defined, from their higher dimensional counterpart, as

.3)
Figure 6: Feynman diagrams for the ϕ 0 ϕ 0 → ϕ 0 ϕ 0 scattering when a potential for the higher dimensional scalar, "parent" of ϕ 0 , has been turned o.n The tree-level masses for the zero mode ϕ 0 and the KK excitations are given by:

The Scalar Weak Gravity Conjecture
We start by computing the ϕ 0 ϕ 0 → ϕ 0 ϕ 0 amplitude.The diagrams intervening in the scattering are presented in the figure 6.The non-relativistic limit of the tree-level amplitude reads iM = ie where the different lines correspond to the contributions from the self-interaction, dilaton and graviton exchanges, respectively.Following [6], we compare the contributions to the amplitude at the energy scale given by the (massive) external states at rest.In the non-relativistic limit, we can further split (4.5) into contributions from short and long range interactions.We can identify an effective contact interaction: where in the first line we can identify the contributions from the scalar interaction for the first two terms, then from the dilaton and graviton, respectively.Using (2.9) and the (D + 1)-gravitational coupling κ = √ 2πL κ, the last term is recognized to be the gravitational s-channel contribution to the Φ Φ → Φ Φ scattering in D + 1 dimensions: The above equation illustrates the fact that constraining the scalar interactions of the field Φ to be dominant with respect to gravity in D + 1 dimensions is enough to ensure that the scalar interactions of the zero mode ϕ 0 are dominant with respect to the combination of gravitational and dilatonic contributions in D dimensions.In other words, the effective (tree-level) non-relativistic four-point function of the zero mode ϕ 0 that emerges in the reduced-dimensional theory is the same as the effective non-relativistic four-point coupling for the "parent" field Φ in the higher-dimensional theory.
Requiring that in such a contact term, the contributions of the Φ self-interactions are the dominant ones in the D + 1 dimensions automatically ensures that the same property holds for the ϕ 0 selfinteractions with respect to the set of interactions that appear in the D dimensional theory.
It is interesting to observe that the higher dimensional result is recovered here thanks to a cancellation, rather than an addition, between the graviton and dilaton mediated diagrams.This is dictated by the form of the D-dependent coefficient γ s (D) ≡ (D − 1)/(D − 2) appearing in front of the graviton-mediated amplitude in the s-channel which decreases with D: γ s (D + 1) < γ s (D).The dimension-dependent factor appearing in the t and u-channels, γ t,u (D) ≡ (D − 3)/(D − 2) vary in the opposite direction.In other words, the peculiar feature is that, for the contact terms, the spin-2 and spin-0 bosonic mediators give opposite contributions.This feature will also appear in the amplitudes computed with the non minimal coupling to gravity.As a consequence of particular interest in the case of a massive dilaton the higher dimensional sub-dominance of gravity does not imply that gravity by itself (i.e.without the dilaton) is subdominant in the lower dimensional theory too.This violation happens in the parametric region which is an interval of lenght κ2 m2 /(D − 1)(D − 2) inversely proportional to the dimension D.
The amplitude ϕ n ϕ n → ϕ n ϕ n provides a generalization in the presence of self-interacting terms of the computation done in section 3.1.The scattering amplitude receives contributions from gauge bosons, dilatons, gravitons in the t and u-channels, ϕ 0 exchange, from the s-channel exchange of a ϕ 2n particle and from a 4-point contact term.These are the diagrams that are presented in figure 7 and lead to with (4.10)

Massive dilatons
Let us consider for our illustrative discussion a simple potential for the dilaton in a polynomial expansion of the form In the ϕ 0 ϕ 0 → ϕ 0 ϕ 0 scattering amplitude (4.5), the addition of a dilaton mass gives in the nonrelativistic limit iM(ϕ 0 ϕ 0 → ϕ 0 ϕ 0 ) = ie where the limit still needs to be implemented in the dilaton propagators according to its mass.We can thus follow the evolution of M with respect to m φ to better expand it.
For the ϕ n ϕ n → ϕ n ϕ n case, the scattering amplitude with the massive dilaton reads Putting all the analysis for both the ϕ 0 ϕ 0 → ϕ 0 ϕ 0 and ϕ n ϕ n → ϕ n ϕ n scattering amplitudes together, we give a brief overview of the results here.
When the mass m φ of the dilaton is less than that of the zero mode, m 0 , its mass can be neglected to first order in an expansion, in powers of m φ over the exchanged momentum, and requiring that the self-interactions of a scalar field dominate in D + 1 dimensions is sufficient to ensure that the same property is verified by its zero mode in D dimensions; a result that follows from the studies of the previous sections.As soon as the mass of the dilaton is comparable to that of the 0-mode, the massless dilaton approximation is no longer adequate and an appropriate discussion must be made for different denominators involving m φ , m 0 , m n and m 2n .The analysis can be done easily but it is cumbersome and not really illuminating.In short, there is no easy way to relate combinations appearing in D dimensions in this case with quantities already constrained, by assumption, in D + 1 dimensions.

Φ2 R interaction
Let us consider now the effect on the different D-dimensional amplitudes of the presence of a nonminimal coupling to gravity of the form with R the Ricci scalar (see for example [15]).We assume here that Φ = 0 as a non-vanishing vev would correspond to a redefinition of the Planck mass and a shift of the canonical fields.After compactification, one gets: This leads to new three-point couplings.First, using the linear expansion of the metric n of the graviton to the scalar matter fields.Then, the ∇ µ ∂ µ φ term, that we discard in previous sections as it takes the form of a total derivative, gives an additional three-point vertex between the dilaton and the matter fields and can enter, for example, in the computation of the dilatonic force in the non-relativistic limit.At first order in κ, we can write κ∇ µ ∂ µ φ = κ∂ µ ∂ µ φ + O(κ 2 ), the Christoffel symbols starting themselves at order κ.
The ϕ 0 ϕ 0 → ϕ 0 ϕ 0 amplitude resulting from the action (5.2), receives a contribution from the dilaton exchange (see Appendix A for some details on the Feynman rules for two-derivative vertices) and one from the graviton (5.4) Their sum gives This matches the result one would obtain for the Φ Φ → Φ Φ scattering in D + 1 dimensions.At this point, we have computed tree-level four point amplitudes where both vertices arise either from minimal or non-minimal couplings to gravity in D+1 dimensions.In order to compute the total ϕ 0 ϕ 0 → ϕ 0 ϕ 0 amplitude we need to compute the contribution from "mixed" diagrams involving one minimal and one non-minimal vertices.This mixed gravitational diagrams give in the s-channel and in the t-channel while the u channel can be obtained through the replacements t ↔ u and p 3 ↔ p 4 .After some simple algebra, their sum reads (5.8) The computation of the similar mixed diagrams with dilaton exchange gives where each channel contributes the same amount.Summing up all the contributions, the final result for the amplitude is as it is expected from the higher dimensional Lagrangian.Again, the higher dimensional gravitational contribution is obtained after a cancellation between the effective spin-2 and spin-0 mediators.From the two results obtained above, we see that the direct non-minimal coupling to gravity (5.1) contributes with a constant term in the ϕ 0 ϕ 0 → ϕ 0 ϕ 0 amplitude.If one takes the non-minimal coupling into account from the start and modifies the SWGC in D generic dimensions requiring the same property will be respected by the zero mode ϕ 0 in D − 1 dimensions with the replacement of hatted by unhatted quantities μ2 , In the ϕ 0 ϕ 0 → ϕ 0 ϕ 0 scattering, the four point amplitudes appear as a sum of the three channels s, t, u whose coefficients add-up to a factor s + t + u = 4m 2 0 .Therefore, the total amplitude does not increase with the exchanged momentum.This is not always the case as for example in the two examples of the ϕ n ϕ n → ϕ n ϕ n or ϕ n ϕ * n → ϕ n ϕ * n scattering amplitudes.The computation of the available channels, t and u in the first case, s and t in the second, proceeds as in the ϕ 0 case described above, but these contributions with two or one non minimal vertex do not close the sum s + t + u, as was the case in (5.4) and (5.8).

Higher dimensional gauge theory
So far, we have considered gravitational and scalar interactions in the higher dimensional theory.We will discuss now the case with gauge interactions.We consider a charged scalar Φ of charge q and mass M minimally coupled to a U (1) gauge field BM with gauge coupling ĝ in D + 1 dimensions where Ĥ is the field strenght for the gauge field B and DM the D + 1 dimensional covariant derivative DM ≡ ∂ M − iĝ q BM , with ĝ the gauge coupling.For simplicity, we choose the following periodicities for the fields where q Φ is a putative charge of Φ under an internal symmetry.The compactification of the (kinetic term of the) gauge field gives the lagrangian , where h 0 ≡ B (0)z is a real scalar corresponding to the zero mode of the gauge field BM component along the compact dimension z and h n ≡ B (n)z are the complex scalars forming the KK tower of the same field.From the above action, each field h n is seen to generate a mass for the KK excitations B (n)µ of the non-compact components of the gauge field, that are then complex massive vectors, and to behave as the Goldstones in the Higgs mechanism (or in a Stuckelberg mechanism).Note that the relations B (−n)µ = B * (n)µ and h −n = h * n are valid, although the same cannot be said for the Fourier modes of the complex field Φ.The D-dimensional lagrangian obtained from the kinetic and mass term of the scalar field Φ reads where g q ≡ ĝ q/ √ 2πL and when acting on from which one can read the charge under the graviphoton.The h 0 term in this expression is a manifestation of the Aharonov-Bohm effect for the Wilson line of B z , z B z .
Here we are interested in comparing the different gravitational and non-gravitational long range classical interactions, which can be obtained from the t-channel amplitudes.The t-channel contribution to the ϕ n (p 1 )ϕ n (p 2 ) → ϕ n (p 3 )ϕ n (p 4 ) scattering amplitude is where we have omitted writing the gravitational contribution, to avoid lengthy expressions, only to reinsert it in the next step when we perform the non-relativistic limit.The mass of the nth KK state can be read from the first line of the action in (6.4) Let us first consider the simplest case where q Φ = h0 = M = 0.In the non-relativistic limit, for n = 0, the coefficient of 1 t in the t-channel amplitude takes the form where m 2 n in this case is simply m 2 n = e 2 D−1 D−2 κφ 0 n 2 /L 2 and the gravitational scattering has been reinserted.The vanishing amplitude results from the (expected) two by two cancellation of interactions for the massive KK modes: namely gravitational vs dilatonic and D-dimensional gauge vs scalar from the (D+1)-direction gauge field component.The n = 0 amplitude is different as the zero mode is massless with our specific choice.The non gravitational amplitude reads Let us now consider the case q Φ = 0.The zero mode is massive and the corresponding four-point amplitude is given by (again, we do not include here the gravitational contribution whose expression for generic exchanger momenta is long and not very illuminating) In the non-relativistic limit, the total amplitude obtained by adding the gravitational contribution to (6.11), cancels.The non-periodicity, which makes the zero mode massive, also generates couplings at h 0 and φ, whose exchanges cancel, respectively, the gauge and gravitational amplitudes of the zero mode.This is to be expected since integer values of q Φ reshuffle the KK states; what was the zero mode becomes one of the massive modes for which we have seen that the total amplitude disappears.It is immediate to verify that the same is true for generic n = 0, M n remains null, and the same thing happens if one turns on h0 , as can be easily verified.
We can now study the general case.It is immediately verified that, after some algebra, in the non-relativistic limit the scattering amplitude (6.6) simplifies to where one recognizes in the combination inside the parenthesis the D + 1 dimensional corresponding dependence.The q Φ and h0 dependences cancel out to leave this simple expression only in terms of the higher dimensional mass and charge.We conclude that the requirement that the state in D + 1 dimensions feels a repulsive long range force ensures that the KK modes in D dimensions also feel a repulsive long range force.The mapping of the D + 1 dimensional U (1) WGC into the D dimensional form of the conjecture with gauge and scalar fields was discussed in [3] from the requirement of extremal black holes and black p-branes decays, leading to the establishment of the dilatonic WGC, and in [16] for the special case of a five to four dimensional circle compactification retaining only the zero modes.The analysis presented here generalizes, from the standpoint of scattering amplitudes, the connection between these different forms of the conjecture to the case with several gauge and scalar fields with reasonings involving the whole Kaluza-Klein tower.

Effective potential for h 0
Finally, we comment on the confrontation of the effective one-loop potential for the Wilson line with the scalar WGC of [6].The potential is generated by the integration of the KK excitations 4 .In the case of a circle compactification from five to four dimensions, the potential takes the simple form where the symbols Li n denote the usual Polylogarithm functions defined as For the Wilson line to satisfy the Scalar WGC inequality of [6] around a generic background value h0 (we indicate with η the excitations around it, h 0 = h0 + η), one then needs where x is defined to be x ≡ 2πg q h0 L, to be respected for m 2 η > 0, while the inequality is trivially verified for m 2 η < 0, but this case is of no interest.In the inequality (6.15), the factor inside the square parenthesis on the right hand side is periodic and reaches a maximal value around 0.6 − 0.7 in the regions of parameters where m 2 η > 0. Taken to be approximately an order one, the gravitational sub-dominance is then realized around any background value h0 if5 which means that the compactification length cannot be parametrically smaller than the Planck's one as expected.From (6.3) and (6.4), it is immediate to observe that the self-couplings induced by radiative corrections are not the only ones that can appear in the 4-point function ηη → ηη.A first contribution may come from the kinetic term of h 0 , coupled to the dilaton as in (6.3).This gives a two derivative vertex that would then induce contributions to the four point function proportional to the scalar product of external momenta (p 1 • p 2 × p 3 • p 4 in the s-channel, and so on).For the effective four point non relativistic coupling, this only accounts for a shift of the gravitational contribution, the second term in (6.16).In particular, the numerical coefficient 3/2 should be changed with 5 in (6.16) and all the subsequent inequalities.

Conclusions
An extra dimension for our space-time was originally introduced to unify gravity with electromagnetism: [8][9][10][11].From the point of view of a lower dimensional observer, this unification makes the KK modes undergo attractive gravitational plus scalar interactions and repulsive electric interactions with the same intensity.This motivated the use of the KK states interactions in this work to extract the form of the inequalities that appear when one is interested in comparing gravitational interactions to other types of interactions.
Taking into account the scalar interaction due to the presence of a dilaton, the calculation of four-point amplitudes allowed us to find the inequalities of the Dilatonic WGC.Our observations go further, with the extension of the construction to include interactions in the higher dimension, and we have shown how the Scalar WGC is found as well as the behavior of these conjectures under dimensional reduction.Meanwhile, we have also computed a number of scattering amplitudes for the pair production of KK states and have been able to compare the contributions of the different channels for spacetime dimensions D ≥ 4.

A Lagrangians with derivative interactions
One subtlety that we wish to address here is related to the nature and the use of derivative interactions in perturbation theory.The perturbative expansion is an expansion of the exponential e −i d D xH I in powers of H I , the interaction hamiltonian in the interaction picture.When the lagrangian presents derivative interactions, one should be careful to correctly construct H I before announcing the Feynman rules.Interactions containing more than one derivative of fields can generate new genuine additional Feynman rules [19].The analog of this result was found, in the path integral formalism, in [20].We illustrate this in two simple examples closely related to the cases studied.

A.1 Interactions with derivatives of a gauge field
We first present the case of the theory defined by We have singled out here only the part of interest to us to highlight the interaction between the dilaton φ and derivatives of the graviphoton A µ .We will work in the usual radiation gauge A 0 = 0, ∇ • A = 0. Computation of the canonical conjugate momenta give us The fact that Π A 0 = 0 is, of course, what we should expect in a canonical formalism.The Heisenberg picture hamiltonian is obtained as The transition to the interaction picture is done making the following replacements: Some simple algebra finally get us to the interaction picture hamiltonian in the form Careful construction of the interaction hamiltonian reveals the presence of an additional term to the naive expectation, to the extent that with the new term sharing the same structure with the one found in the model of [19].Combining this result with the two derivative propagator6 we finally have the explicit form of the non standard Feynman rules we should consider in the minimally coupled (i.e. with ξ = 0) dimensionally reduced theory.The additional term consists in an infinite series in powers of κφ starting at order 2 and defining a vertex with two gauge bosons.As such, it will not enter any of the computations we have performed, but certainly need to be considered, alongside with the propagator corrections, even at tree level, when looking at different physical processes, like φφ → γγ and φγ → φγ ones.

A.2 Toy model for the two-derivative interaction of the non-minimal coupling
The second model we present here aims to capture the main properties of the new vertices brought in by the non-minimal coupling to gravity.We explicitly show, with the simplest toy model, that the different additional pieces due to such derivatives cancel each other, allowing the use of naive perturbation theory.
Let us take, for definiteness, the following lagrangian: (A.8) where a and b are dimensionless constants.In keeping the parallel with the cases discussed in the text, one should think of φ as a massless mediator and ϕ the matter field.The addition of a mass term for ϕ does not change the computations.The conjugate momenta are and, inverting the relations, we obtain (A.10) Following the steps described above, the interaction picture hamiltonian is obtained: Expanding to second order in κ, to match the usual contributions to the ϕϕ → ϕϕ or φφ → ϕϕ amplitudes from (A.8), we get We recognize, in the first line, the sum H free − L I that is usually found in perturbation theory with no derivative interactions.The operator in the second line, as well as all the higher orders ones that can For the case of the pair production, the in-going states relevant here are either photons or gravitons, while the outgoing ones are massive particles.We perform here the computations in the center of momentum frame.
Starting from the D = 4 case, we write the momenta The scalar products appearing in the amplitudes can now be explicitly performed in this particular basis and the results can then be rewritten in terms of the Mandelstam variables using the following relations: At this point, we need to separate the contributions coming from different helicities.For definiteness, we refer now to the amplitude in (3.11), that we report here for the reader's convenience A great simplification comes when we deal more directly with the amplitudes components.We can in fact use the property 7 (p) • p = 0.With our choice of basis, we also have (p 1 ) • p 2 = (p 2 ) • p 1 = 0, so that, for the purposes of the calculation with the helicity method, we can use the following expression for the amplitude We denote with M ±± the different contributions, with the ± referring to the helicities of the polarization.We have then where we have introduced a factor γ d in front of the term arising from the dilaton such that we retrieve the result for our KK theory when γ d = 1 and the usual result for a U (1) gauge theory when γ d = 0. To compute the total amplitude, we average over the in-going polarizations and obtain in the threshold limit 2 (gq n ) 4 .(B.6) 7 When using the usual shortcut pol µ (p) ν (p) = −g µν this simplification cannot be used.
The same procedure can now be used to extract the different components of the purely gravitational amplitude of section 3.2.3.The four diagrams contribute in the amount M seagull = 2κ As in the previous case, it is again easily verified that in the threshold limit only the diagonal M ii terms are non-vanishing and that they all give the same result.In terms of the above amplitude, such non-vanishing contribution is given by the ( 1 • 2 ) 2 term that results in It is now straightforward to obtain, from these considerations, the result for the squared amplitude in D generic dimensions:

Figure 1 :
Figure 1: Feynman diagrams for the non-gravitational production of a pair of matter states ϕn, ϕ * n from two photons (first line), two dilatons (second line) and a dilaton and a photon (third line).

Figure 3 :
Figure 3: Feynman diagrams for the mixed pair production from a graviton and a photon.

Figure 4 :
Figure 4: Feynman diagrams for the mixed pair production from a graviton and a dilaton.

Figure 5 :
Figure 5: Feynman diagrams for the production of a pair of matter states from two gravitons.

Figure 7 :
Figure 7: Feynman diagrams for the ϕnϕn → ϕnϕn scattering in the t-channel.
.35) By comparing (3.34) and (3.35), it is immediate to observe that requiring |M γ | 2 ≥ |M GG | 2 , one does not reproduce the WGC bound .37) Using(2.16), it is immediate to realize that the KK states saturate the (3.32) (or an equivalent generalization of it to include the M φφ contribution which disappears here) only for D = 4.The results of section 3.2.2show that the addition of mixed contributions does not change this.