arXiv:2002.11085v1 [hep-th] 25 Feb 2020 meu yasmnlrsl fWibr n16 [ 1965 in Weinberg of result seminal a by considerable received 1960’s impetus the of program boostrap The where nriigy n tep owiedw oa quantum local a down write to attempt any Intruigingly, phase. Aharonov-Bohm of associated contribution the the to of accounting the proper a orientation with [ resolved arbitrarily its chosen which since be string Dirac can invariance, a of Lorentz/gauge presence this the breaks theory, to field attributed of be cannot language can the monopoles In electric invariant. the and Lorentz be involving magnetic both amplitudes a of to mixing scattering leads perturbative [ however in that Weinberg theory by the documented already in existence paradox currents The magnetic charges. of magnetic and that electric duality property exchanges electric-magnetic the 4-dimensional the adding on focus of modern aim more the Weinberg’s of revisit with with we results letter, Armed landmark this statistics, in quantum the technology, was etc. rules, on-shell field that Feynman local symmetry, a S-matrix its anticipated of crossing as properties Lorentz-invariant was usual such the theory all it a yield to time, sufficient respectively. of two the and requirement at one General of Indeed, theories with Lorentz-invariant Einstein’s that unique massless demonstrate the and to are Relativity able electrodynamics was Maxwell’s he picture, interaction the of invariance Lorentz only S-matrix, demanding perturbative by There, S duality = n X H ∞ =0 ′ ( otels bv.Mr pcfial,w will we specifically, More above. list the to t ( steitrcinHmloini the in Hamiltonian interaction the is ) − yn sn h eetyfruae nseldaiytrans duality on-shell o invariant. rel formulated Lorentz if fully recently fully eliminated the the be compute using can we dyons it Finally, that transformations. showing Lorentz , monopole invari the (topological) Lorentz of Hooft-Polyakov be part ’t scatte cannot the that monopoles of states magnetic existence NUT which and or paradox, electric momentum gra Weinberg of angular the so-called either of the with part on solutions gravito-magnetic for to essential equivalent rise is an giving propagator is the there of d part that propagator magnetic the off-shell that scatterin the and on-shell that the ), that dual explicitly (and show We copy. double n i ! sn nselapiuemtos eepoe4-dimensiona explore we methods, amplitude on-shell Using ) n Z INTRODUCTION nSelEeti-antcDaiyadteDa Dual the and Duality Electric-Magnetic On-Shell −∞ ∞ dt 1 nvriyo aeTw,Rneoc,Cp on70,SuhA South 7700, Town Cape Rondebosch, Town, Cape of University dt . . . 2 , 1 ihEeg hsc,Csooy&Atohsc hoygroup Theory Astrophysics & Cosmology Physics, Energy High 3 n a,i rnil,be principle, in may, and ] n eateto ahmtc n ple Mathematics, Applied and Mathematics of Department [ T 2 H h aoaoyfrQatmGaiy&Strings & Quantum for Laboratory The ahnMoynihan Nathan ′ ( t 1 ) · · · H 1 ′ ,namely ], ( t n )] , 1 ]. 1 , 2 n e Murugan Jeff and hoydul oyt rvt [ gravity gauge to abelian copy the double in duality it solutions theory electric-magnetic Furthermore, monopole the magnetic how and component. understood an magnetic also both was a has which and propagator, electric the off-shell the in of encoded structure already dual propagator, the the x expose of fact in part does photon operation this that showing iigrs obt lcrcadmgeial charged and magnetically charge and the electric [ complexifying amplitudes both to thereby rise phase, giving a by fteda htn ehp ntefr fadual a of form the in copy double perhaps a photon, is there dual not the or whether of then is question that fact the factor to proportionality the back of x traced ratios invariant be group can fully little amplitudes invariance are gauge the own of lack in their this on On-shell, invariant. interacting Lorentz even on-shell sectors symmetry and same both Lorentz though the the breaks shares charged matter the particle involving dual-charged by a interactions view. of about from properties, dual known obscured the usually is is While graviton) but dual amplitudes, on-shell the cousin its twsrcnl hw htthese that shown recently the was It from is results invariance several Lorentz limits. appropriate that reproducing in literature showing and spin, arbitrary restored of dyons and two symmetry of mass this scattering relativistic that the fully the show for derive cross-section to we observable, order not In in is breaking discuss section. will next we the as transformations, Lorentz improper the potential: four-vector [ second photon a dual of introduction the theory field rto ntesneta hycnantefl tensorial full the contain they that sense the in -ratios aetosltos[ solutions two have etaeti aao otemagnetic the to paradox this trace We . mltdsko bu da’ ‘dual’ about know amplitudes g omto n hwta hsi always is this that show and formation tvsi rs-eto o rirr spin arbitrary for cross-section ativistic ul oist h rvtnpropagator graviton the to copies ouble h obecp ohl.W loshow also We hold. to copy double the io rpgtrwihi seta in essential is which propagator viton igapiue novn h mixing the involving amplitudes ring n,adwudse opeld the preclude to seem would and ant, ersrcst rprorthochronous proper to restricts ne lcrcMgei ult n its and duality Electric-Magnetic l without hre utemr,w comment we Furthermore, charge. 3 – 6 .W li htti ulpoo (and photon dual this that claim We ]. 2 ∗ ia tigsnuaiynecessitates singularity string Dirac a 8 .W xlr hsie further, idea this explore We ]. 7 ,crepnigt rprand proper to corresponding ], frica , x rto a edeformed be can -ratios 8 – 11 .Apertinent A ]. 2 graviton. To elucidate, we show explicitly that the We can write the little group invariant x-ratios as a trace off-shell graviton propagator is obtained as a double copy over proper velocities [8] of the photon propagator and that including the part of propagator is essential to manifesting x1 + ξ u1 q] q u2 ξ] = 2(ǫ u1)(ǫ− u2)= h | | h | | this. The graviton propagator we obtain contains x2 · · qξ [qξ] h i both gravito-electric (i.e. the usual de Donder gauge Tr (ξu1qu2) = − , (5) propagator) and gravito-magnetic components, and it is − 2q ξ precisely this gravito-magnetic component that gives rise · to gravitational physics beyond Schwarzchild, as can be where seen, for example, in the recent formulations of spinning solutions from scattering amplitudes [12–18], Tr (abcd)=2 (a b)(c d) (a c)(b d) ±  · · − · · as well as the Taub-NUT solution [8–10]. + (a d)(b c) iǫ(abcd) , (6) · · ±  PROPORTIONALITY FACTORS AND THE PROPAGATOR DOUBLE COPY and we have adopted the notation

: µνρσ µν : µνρσ We are interested in constructing the on-shell scattering ǫ(abcd) = ǫ aµbν cρdσ, and ǫ (ab) = ǫ aρbσ. amplitudes for two charged particles of mass m1 and It is not too difficult to see that the inverse of this ratio m2 with spin s1 and s2 respectively. We will use the is given by formalism developed in Ref. [19], where such amplitudes are constructed directly from three-particle amplitudes x2 Tr+ (ξu1qu2) according to their little group transformation properties. = . (7) x1 − 2q ξ The three-particle amplitudes themselves are built from · SL(2, C) invariants, and as such we must define a Using this result, we recognise this ratio as encoding basis that spans SL(2, C), using objects that live there: the tensorial structure of the off-shell propagator of the massless spinors, Levi-Cevita symbols or contractions internal particle, including the magnetic part [1, 20, 21] of momentum bi-spinors. For on-shell three-particle x1 µ ξµqν + qµξν ǫµν (ξq) ν amplitudes where two of the particles have the same mass = u ηµν + i u , (8) x 1  − q ξ q ξ  2 and one particle is a massless , a basis of linearly 2 · · independent massless spinors cannot be constructed, The null vector ξµ reflects the gauge dependence of since the basis spinors (u , v ) are necessarily parallel α α the propagator (in this case, the light cone gauge)1 In to one another. We can, however, define their constant this form, we can readily identify one source of Lorentz of proportionality x, given by [19] symmetry breaking, since the Levi-Civita contraction is a ˜ αα˙ ˜α˙ αα˙ pseudoscalar under Lorentz transformations: ǫ (abcd) = α λα˙ p1 λ p1 λα ′ xλ = , = , (1) detΛ ǫ(abcd), with detΛ = 1, and the choice of sign m1 x m1 corresponding to proper and± improper transformations where λ here is the spinor. This respectively. This implies that any mixing between x-factor carries the little group weight of the propagating electric and magnetic charges will always break Lorentz 2 massless particle, in that x t− x under the particle −→ invariance unless one discards improper transformations. momentum little group transformation of the form λq → It is precisely the magnetic part of this propagator that is tλq. For n> 3 particle amplitudes, the x factors enter as expected to give rise to monopole physics. We note also little group invariant ratios, and we can think of them as that the ratio of x’s double copies to give gravitational the internal particle polarization vectors contracted with µ pµ physics. Since the ratio encodes the details of the off-shell one of the massive particles proper velocities u = m , propagator, the latter must also double copy. Specifically, giving x 2 + 1 1 µ ν E B ρ σ x = √2(ǫ u ), = √2(ǫ u ). (2) = u u2 ∆µνρσ + i∆µνρσ u u2 , (9) 1 − 1 x  1 1 − · x − · 2  In spinor helicity notation we can write x as [q x q = [q u , | = q u . (3) 1 h | | 1 x h | 1 In the literature, this form of the propagator is described as being in a non-covariant gauge, since the choice of ξµ picks out Dotting in 1 or 1], we find that x can be used to convert a preferred direction that is constant in . On the other between angles| i and| squares, in the sense that hand, there are no ghosts floating around in such gauges and so we might have expected such a gauge choice to emerge from an x q1 = [q1], x q2 = [q2]. (4) on-shell approach. h i h i − 3

E where ∆ is the standard graviton propagator in the where we have defined ρ := u1 u2 and used the fact 2 2 · harmonic gauge (here thought of as the ‘gravito-electric’ that u1 = u2 = 1. Here we have made explicit the B part of the propagator) and ∆ the ‘gravito-magnetic’ fact that there are two possible solutions for ǫ(ξu1qu2) propagator. The latter contains an arbitrary four vector in eq. (14), reflecting the choice of proper orthochronous ξµ and connects one anti-symmetric tensor with one or improper Lorentz transformations. While we could symmetric. Explicitly, choose the positive solution here, corresponding to

E proper orthochronous transformations, we choose not ∆ = ηµν ηρσ + ηµρηνσ ηµσ ηνρ µνρσ − to, in order to show explicitly that it drops out of the ηµν ǫρσ(ξ, q) ηρσǫµν (ξ, q) observables. ∆B = + . µνρσ q ξ q ξ · · From this expression, we see that it is essential that DYON AMPLITUDES FROM DUALITY we retain the magnetic part of the photon propagator TRANSFORMATIONS in order to double copy it to the graviton propagator, since it is precisely this part that gives rise to the last two terms in the harmonic propagator, as shown in the The orientation of the can be attributed µ Appendix. This piece is usually obscured in simple to the choice of vector ξ in eq. (8) which, as we electric or gravitational scattering, since in the sum of the noted above, arises as the choice of gauge coming ratio and its inverse, the magnetic parts exactly cancel from the polarisation vector. Moreover, the propagator that emerges from the x-ratios is the lightcone gauge x1 x2 + =2u1 u2, (10) propagator, which is blind to the choice of gauge vector x2 x1 · ξµ. Conventionally, this is usually chosen to be a constant 2 2 x1 x2 2 null vector which breaks manifest Lorentz invariance, + = 2(u1 u2) . (11) µ x2  x1  · e.g. ξ = (1, 1, 0, 0). However, when computing on-shell amplitudes, it is common to choose ξµ to be a dynamical In order to expose the magnetic contribution we gauge vector, e.g. a momentum vector of a particle require a transformation of this ratio, of precisely the attached to a different vertex, restoring manifest Lorentz form discovered in [8] for charge duality or [12] for invariance. In this section we will argue that while it angular-momentum. It is interesting to note that in is possible to partially restore Lorentz invariance in this order to derive rotating black hole solutions from these way2, there will always be a source of minimal Lorentz amplitudes, it is essential to include the violation. By constructing them directly on-shell, we term, since it is this that gives rise to such solutions, e.g. will show that this can be seen already at the level 2 of the amplitudes, by taking spin-s electrically charged i2q a x1 ǫ(ξu1qu2) e · (u1 u2)q a particle amplitudes and relating them to spin-s dyon x  ∝− · · (q ξ) 2 · amplitudes, which carry both electric and magnetic ǫ(au1qu2) = (u1 u2) , (12) charges simultaneously [1]. Towards this end, consider − · (q a) 3 · the t-channel charged spin-s particle scattering as in Fig. which eventually leads to the Kerr solution and its 1, where particle 1 (2) has Q1 (Q2), mass various generalisations [12–18]. Considering the case m1 (m2) and spin s1 (s2). where q ui = 0, we find that the x-ratios are given simply ′ ′ by · 1 s1 2 s2

x1 ± ǫ(ξu1qu2) = u1 u2 i . (13) x2  · ± (q ξ) q · m1 m2 This can be written in a slightly simpler form by employing the Gram determinant ǫ(ξu qu )2 = 4!δµ δν δρδσ ξ u q u ξαuβqγ uδ 1 2 [α β γ δ] µ 1ν ρ 2σ 1 2 1s1 2s2 = (q ξ)2 (u u )2 (u u )(u u ) , − · 1 · 2 − 1 · 1 2 · 2 (14) FIG. 1. t-channel scattering of two particles of arbitrary spin in terms of which, x 1 = ρ ρ2 1, (15) 2 x2 ± p − Provided certain conditions are met. x 3 2 = ρ ρ2 1, (16) We don’t consider the u channel here since we are interested in distinguishable dyons x1 ∓ p − 4

The on-shell three-particle amplitudes are given by comparison, and to make contact with the literature, let’s define the constant vectors ki = (ei,gi) in charge 11 2s1 s s + √ ′ space. In order to write down a covariant expression with 3[1 , 1′ , q ]= 2Q1x1 h 2si 1 , (17) M m − ‘more’ Lorentz symmetry, we instead define a dynamical 1 µ 1 [11 ]2s1 four-vector ki , requiring that the following conditions are √ ′ 3[1, 1′, q−]= 2Q1 2s 1 , (18) met M x 1 m1 − ki ui =0, k1 k2 = e1e2 + g1g2. (23) where here, and in what follows, xi refers to the x · · variable of the ii′q vertex. When working in the centre of If these are satisfied, we can write mass frame, we will parametrise our external momenta µ µ ǫ(u1,u2, k1, k2) as pi = (Ei, p), pi′ = (Ei, p), for i = 1, 2 and the e1g2 e2g1 = , (24) − − − ρ2 1 factor of 1 reflects the fact that we are working in the − − p all-outgoing convention. With this, the energies of the in terms of which the amplitude reads 2 2 particles are given by Ei = Ei′ = mi + p , and the 2 2 2s1 2s2 usual Mandelstam variables t = (p1p+ p1′ ) = q and 4 11′ 22′ 2 2 − 4 = h si1 h s2 i (ρ(k1 k2) iǫ(u1,u2, k1, k2)) . s = (p1 + p2) = (E1 + E2) . We can then construct the 2 1 2 1 M tm1 − m2 − · ∓ four-particle amplitude (25) If the above conditions can be met, then the Lorentz 2s1 2s2 2Q1Q2 11′ 22′ x1 x2 symmetry breaking here is minimal, in the sense that 4 = 2hs1 1i 2sh2 1 i + , (19) M tm1 − m2 − x2 x1  one simply has to choose between proper and improper

′ Lorentz transformations. Despite this amplitude not 1 q 1 ] 11 11 h | | strictly where we have used the identity [ ′] = ′ + m1 being Lorentz invariant, it’s square always will along with eq. (4). This amplitude representsh i the be, since scattering of two electrically charged particles of spin 2 2 4 ρ (k1 k2) + det(G(u1,u2, k1, k2)) (26) s1 and s2. In order to endow these particles with a |M |∝ · magnetic charge, turning them into dyons, we will utilise With this in mind, we now move on to compute the cross the electric-magnetic duality transformation [8] given by section in the centre of mass (COM) frame, choosing our particles to be aligned along the z direction so that kµ = iθi i xi xie . (20) −→ (0,ei,gi, 0) and

As we have seen, this transformation precisely exposes µ 1 µ 1 u1 = (E1, 0, 0,p), u2 = (E2, 0, 0, p) (27) the magnetic part of the propagator, which would m1 m2 − otherwise have cancelled out due to eq. (10). The electric In this particular frame, we can write charge ei is now given by the real part, and the magnetic charge gi by the imaginary part, i.e. (E1 + E2) p √s p ǫ(u1,u2, k1, k2)= | |(k1 k2)= | | (k1 k2), iθj m1m2 × m1m2 × Qj e = ej + igj. (21) (28) and we find the amplitude Consequently, the amplitude for two dyons of spin s1 and 2s1 2s2 s2 is given by 4 11 22 √s p ′ ′ k k k k 4 = h 2si1 1 h 2s2 i 1 ρ( 1 2) i | | ( 1 2) . 2s1 2s2 M tm1 − m2 −  · ∓ m1m2 ×  2Q1Q2 11′ 22′ x1 i(θ1 θ2) x2 i(θ1 θ2) 4 = h i h i e − + e− − (29) 2s1 1 2s2 1 4 M tm1 − m2 − x2 x1 The cross-section in the COM frame is given by 2s1 2s2 4 11′ 22′ = h i h i dσ 1 2 2s1 1 2s2 1 = 2 4 , (30) tm1 − m2 − dt 64πs p |M | | 1| 2 ρ(e1e2 + g1g2) i ρ 1(e1g2 e2g1) . where the square modulus of the amplitude is ×  ∓ p − −  (22) 2s1 2s2 16(2p p′ ) (2p p′ ) 2 = 1 · 1 2 · 2 4 2 2s1 1 2s2 1 2 It is interesting that the only source of Lorentz violation |M | t (m1 − m2 − ) 2 in this amplitude is the choice of sign, rather than the 2 2 s p 2 ρ (k1 k2) + |2 | 2 (k1 k2) . (31) presence of a constant (unphysical) vector which breaks ×  · m1m2 ×  spacetime isometry. We may eventually wish to take the non-relativistic limit where ρ 1, however before we do this we need to identify the−→ relevant terms that 4 This is related to dσ by πdt = |p ||p′ |dΩ. contribute to electric/magnetic mixing. To facilitate the dΩ 1 1 5

The cross section is then given by CONCLUSION

2 2s1 2 2s2 dσ (t 2m1) (t 2m2) In this paper, we have further explored the recent on-shell = − 2s1 −1 2s2 1 (32) dt 4πt2s p 2(m − m − )2 formulation of 4-dimensional electric-magnetic duality | | 1 2 2 2 2 2 and its double copy. More precisely, we have shown that (s m1 m2) 2 s p 2 − − (k1 k2) + | | (k1 k2) , the on-shell amplitudes of massive particles exchanging ×  4m2m2 · m2m2 ×  1 2 1 2 massless particles of helicity h = ( 1, 2) contain ± ± 2 2 2 that know of both photons (gravitons) and E1E2+ p s m1 m2 where we have used ρ = u1 u2 = | | = − − . dual photons (dual gravitons). Curiously, for the double · m1m2 2m1m2 Note also that for t m2 the kinematic spin dependence copy to hold, it is essential that the dual photons are ≪ i drops out of the cross section and we have included in the single copy, because without them the tensorial structure of the propagator is simply, and dσ 1 incorrectly, ∆µνρσ = ηµν ηρσ. The full de Donder = ( 2)2(s1+s2) (33) dt − 4πt2s p 2 gauge propagator is only recovered from the double t m2 ≪ | | copy of the dual photon, which gives the other two 2 2 2 2 (s m1 m2) 2 s p 2 terms, along with terms involving the dual graviton. − − (k1 k2) + | | (k1 k2) . ×  4m1m2 · m1m2 ×  Taking the double copy seriously, we see that it does in fact predict the existence of such a dual graviton In the high energy limit, we have that s m2 and p = (and, by extension, of an S-dual theory of gravity), ≫ i | | √s such that as predicted in many models of [24–27] 2 and a subject which has been intensely studied in its own right [28–34]. When considering rotating black dσ (t 2m2)2s1 (t 2m2)2s2 = − 1 − 2 holes, we argued that the is found 2 2s1 2s2 2 dt 2 4πt (m m ) by exposing the dual graviton part of the propagator, s m 1 2 ≫ and that without this no Kerr or Kerr-like solution 2 2 (k1 k2) + (k1 k2) , (34) would be found from the amplitudes. Specifically, we ×  · ×  found that exponential transformations of the on-shell three-particle amplitudes, whether of the soft factors [12] Choosing s1 = s2 = 0 exactly reproduces the result or a pure phase [8], exposed the dual photon or dual derived for scalar dyons in the non-perturbative Eikonal graviton contributions of the propagator that are usually limit [22]. We are also free to take the non-relativistic obscured. In many ways, electric-magnetic duality, limit, in which s (m + m )2 for small p . This gives → 1 2 | | innocuous as it might seem, was the seed for many of the cross section the remarkable developements in mathematical physics over the past half century, from the discovery of Seiberg dσ (t 2m2)2s1 (t 2m2)2s2 = 1 2 duality in supersymmetric quantum field theory to the − 2s1 1 −2s2 1 dt 4πt2(m − m − )2 s m2 1 2 recent progress in the geometric Langlands program ≃ 2 2 [35]. Most of these dicoveries were made with the use (k1 k2) (k1 k2) · + × (35) of conventional quantum field theory tools of Feynman × (m + m )2 p 2 m2m2  1 2 | | 1 2 diagrams and path integrals. However, as the surge of activity in the amplitudes program has demonstrated, We can again look at the s = s = 0 case for comparison 1 2 modern on-shell methods constitute an entirely new way with the literature, which gives of thinking about quantum field theory and gravity. Taken together with other remarkable developments like dσ 1 µ2 k k 2 k k 2 the numerical and conformal boostrap programs and the = 2 2 ( 1 2) + ( 1 2) , (36) dt 2 4πt  p · ×  Ryu-Takayanagi formula for entanglement entropy, it is s m | | ≃ clear that we stand on the precipice of an exciting new where µ = m1m2 is the reduced mass. Taking p 2 = era in . m1+m2 | | µ2v2 and t = 4E2 sin2 θ/2 = µ2v2 sin2 θ/2, reduces this to ACKNOWLEDGEMENTS dσ 1 (k k )2 1 = 1 · 2 + (k k )2 , We thank Daan Burger for many insightful discussions 4v4 v2 1 2 4 dt 2 4πµ  × sin (θ/2) and collaboration on related topics. JM is supported by s m ≃ (37) the NRF of South Africa under grant CSUR 114599. NM which agrees with the previously derived result [23] in is supported by funding from the DST/NRF SARChI in the small angle limit. Physical Cosmology. Any opinion, finding and conclusion or recommendation expressed in this material is that of the authors and the NRF does not accept any liability in this regard. 6

Appendix: Graviton Propagator as a Double Copy

In this section we give some details regarding the double copy of the propagator. To begin with, we will derive the propagators for the photon and its dual, then show explicitly that this is encoded in the x-ratios, and that it double copies to the graviton propagator with dual-graviton (gravito-magnetic) piece. ′ h h h h ′ Massless photon polarization vectors ǫµ(q), where h is the helicity, satisfy q ǫ (q) = 0 and ǫ (q) (ǫ (q))∗ = δhh . Dual photon polarization vectors are defined via the dual Faraday tensor · · −

µν [µ ν] µνρσ F˜ = ∂ A˜ = ǫ Fρσ, (38) from which we can easily derive their relation to the standard photon polarizations (in momentum space) via ǫµνρσξ q ǫ ǫ˜µ = i ν ρ h,σ , (39) h q ξ · where ξ is an arbitrary vector that must satisfy ξ ǫ(q) = 0 and ξ q = 0. The standard sum over helicities of the usual polarization is well known, and in the light-cone· gauge, is given· b6 y

h h ξµqν + qµξν ǫ (q)(ǫ (q))∗ = ηµν + , (40) µ µ − q ξ Xh · In order to include the dual photon, we must sum over its states too, meaning we need to evaluate

1 h h 1 h h h h ∆± = ǫ (q)(ǫ (q))∗ ǫ˜ (q)(˜ǫ (q))∗ ǫ˜ (q)(ǫ (q))∗. (41) µν 2 µ ν − 2 µ ν ± µ ν Xh Xh Xh This is due to the fact that the free Lagrangian for dual spin-1 particles is usually formulated as 1 = (F µν iF˜µν )2, (42) L 4 ± which accounts for the factor of i in eq. (39) and for the in eq. (41). The second term is equivalent to the first, up to a minus± sign, as expected by the duality. This can be seen by considering

ρ σ α β 1 h h 1 ǫµρσλξ q ǫναβδξ q λ δ 1 ξµqν + qµξν ǫ˜ (q)(˜ǫ (q))∗ = ǫ (q)(ǫ (q))∗ = ηµν + . (43) 2 µ ν −2 (q ξ)2 h h −2 − q ξ  Xh · Xh · The third term is more interesting, since it somehow encodes both electric and magnetic information simultaneously. Evaluating this, we find that it gives

ρ σ ρ σ h h ǫµρσλξ q λ ǫµνρσξ q ǫ˜ (q)(ǫ (q))∗ = i ǫ (q)(ǫ (q))∗ = i (44) µ ν q ξ h ν,h q ξ Xh · Xh · and thus we find that the full propagator is

ξµqν + qµξν ǫµν (ξq) ∆± = ηµν + i , (45) µν − q ξ ± q ξ · · which matches the propagator in eq. (8) that we found encoded in the on-shell amplitudes. We see then that what we usually evaluate as the propagator is actually formulated as

1 + ξµqν + qµξν ∆ + ∆− = ηµν + (46) 2 µν µν − q ξ  · if and that a consistent way to expose the dual photon propagator is to transform ∆µν± e± ∆µν± , where f is any function. → Finally, we consider the double copy, in which the propagator is encoded into the x-ratio via

2 x1 µ ν + ρ σ µ ν + + ρ σ = u1 u2 ∆µνρσu1u2 = u1 u2∆µν ∆ρσ u1u2 , (47) x2  7

We can therefore determine ∆± , where we will ignore any terms that vanish by q ui = 0, giving µνρσ ·

ξµqν + qµξν ǫµν (ξ, q) ξρqσ + qρξσ ǫρσ(ξ, q) ∆± = ηµν i ηρσ i (48) µνρσ  − q ξ ± q ξ   − q ξ ± q ξ  · · · · ǫµν (ξ, q)ǫρσ (ξ, q) ηµν ǫρσ(ξ, q) ηρσǫµν (ξ, q) = ηµν ηρσ i i (49) − (q ξ)2 ± q ξ ± q ξ · · · ηµν ǫρσ(ξ, q) ηρσǫµν (ξ, q) = ηµν ηρσ + ηµρηνσ ηµσηνρ i i (50) − ± q ξ ± q ξ · · = ∆E i∆B (51) µνρσ ± µνρσ where we have used the fact that

λχ λ χ α β γ δ ǫµν (ξ, q)ǫρσ (ξ, q)= ηλµηχν ǫ (ξ, q)ǫρσ(ξ, q) = 4!ηλµηχν δ[ρδσ δγ δδ]ξ ξαq qβ (52) 2 = (q ξ) (ηµρηνσ ηµσ ηνρ) . (53) − · − E B We recognise ∆µνρσ as being the usual de-Donder gauge graviton propagator, and ∆µνρσ as a dual graviton contribution, which gives rise to physics beyond Schwarzchild (or Reissner-Nordstrom) in the gravitational sector. We see then that this is exactly the part of the propagator that is exposed by the duality transformation proposed in Ref. [8], which would otherwise vanish in the sum of x-ratios. We observe that the Lorentz violation discussed in section 1 also double copies, and is a reflection of the so-called wire singularities usually found in the Taub-NUT metric. Taking the double copy seriously, we also see that it predicts a dual graviton of the form ǫµρστ ξ q hν h˜µν (q)= i ρ σ τ , (54) q ξ · which does indeed give rise to the full graviton/dual-graviton propagator if we consider the same procedure as for the photon. This relationship can be easily derived by considering the dual Riemann tensor contracted with two arbitrary µ µ ρ vectors that satisfy ξ h = 0, i.e. ξ ξ R˜µνρσ and comparing the linearized dual h˜µν with the graviton, where · 1 R˜ = ǫ Rαβ. (55) µνρσ 2 µναβ ρσ We leave the intriguing study of such a dual graviton to the future.

[13] M.-Z. Chung, Y.-T. Huang, J.-W. Kim, and S. Lee, JHEP 04, 156 (2019), arXiv:1812.08752 [hep-th].

∗ [14] A. Guevara, A. Ochirov, and [email protected], jeff[email protected] J. Vines, Phys. Rev. D100, 104024 (2019), [1] S. Weinberg, Phys. Rev 138 (1965), 10.1103/PhysRev.138.B988. arXiv:1906.10071 [hep-th]. [2] C. R. Hagen, Phys. Rev. 140, B804 (1965). [15] N. Arkani-Hamed, Y.-t. Huang, and D. O’Connell, [3] D. Zwanziger, Phys. Rev. D3, 880 (1971). JHEP 01, 046 (2020), arXiv:1906.10100 [hep-th]. [4] N. Cabibbo and E. Ferrari, Nuovo Cim. 23, 1147 (1962). [16] N. Moynihan, JHEP 01, 014 (2020), [5] D. Zwanziger, Phys. Rev. 176, 1489 (1968). arXiv:1909.05217 [hep-th]. [6] R. A. Brandt and F. Neri, Phys. Rev. D18, 2080 (1978). [17] D. J. Burger, W. T. Emond, and N. Moynihan, (2019), [7] S. Caron-Huot and Z. Zahraee, JHEP 07, 179 (2019), arXiv:1910.11618 [hep-th]. arXiv:1810.04694 [hep-th]. [18] M.-Z. Chung, Y.-T. Huang, and J.-W. Kim, (2019), [8] Y. T. Huang, U. Kol, and D. O’Connell, arXiv:1911.12775 [hep-th]. arXiv:1911.06318. [19] N. Arkani-Hamed, T.-C. Huang, and Y.-t. Huang, [9] A. Luna, R. Monteiro, D. O’Connell, and (2017), arXiv:1709.04891 [hep-th]. C. D. White, Phys. Lett. B750, 272 (2015), [20] K. Colwell and J. 1603. J. Terning, (2016), arXiv:1507.01869 [hep-th]. arXiv:1510.07627. [10] R. Alawadhi, D. S. Berman, B. Spence, and [21] J. Terning and J. 1903. C. B. Verhaaren, (2019), D. Peinador Veiga, (2019), arXiv:1911.06797 [hep-th]. arXiv:1809.05102. [11] A. Banerjee, E. Colgain, J. A. Rosabal, and [22] L. P. Gamberg and K. A. Milton, H. Yavartanoo, (2019), arXiv:1912.02597 [hep-th]. Rev. D 61 (2000), 10.1103/PhysRevD.61.075013. [12] A. Guevara, A. Ochirov, and J. Vines, [23] J. S. Schwinger, K. A. Milton, W.-y. Tsai, L. L. DeRaad, JHEP 09, 056 (2019), arXiv:1812.06895 [hep-th]. Jr., and D. C. Clark, Annals Phys. 101, 451 (1976), 8

[,550(1976)]. arXiv:hep-th/9910049 [hep-th]. [24] P. C. West, Class. Quant. Grav. 20, 2393 (2003), [31] X. Bekaert, N. Boulanger, and arXiv:hep-th/0212291 [hep-th]. M. Henneaux, Phys. Rev. D67, 044010 (2003), [25] C. M. Hull, Nucl. Phys. B583, 237 (2000), arXiv:hep-th/0210278 [hep-th]. arXiv:hep-th/0004195 [hep-th]. [32] J. Q. Shen, Annalen Phys. 13, 532 (2004), [26] C. M. Hull, JHEP 09, 027 (2001), arXiv:gr-qc/0312099 [gr-qc]. arXiv:hep-th/0107149 [hep-th]. [33] M. Henneaux and C. Teitelboim, [27] H. Nicolai, in 100 Years Of Relativity: space-time structure: EinsteinPhys. an Rev.d beyondD71,, 024018 (2005), edited by A. Ashtekar (2005) pp. 39–75, arXiv:gr-qc/0408101 [gr-qc]. arXiv:gr-qc/0506031 [gr-qc]. [34] C. W. Bunster, S. Cnockaert, M. Henneaux, and [28] S. Deser and R. I. Nepomechie, R. Portugues, Phys. Rev. D73, 105014 (2006), Phys. Lett. A97, 329 (1983). arXiv:hep-th/0601222 [hep-th]. [29] H. Garcia-Compean, O. Obregon, and [35] A. Kapustin and E. Witten, C. Ramirez, Phys. Rev. D58, 104012 (1998), Commun. Num. Theor. Phys. 1, 1 (2007), arXiv:hep-th/9802063 [hep-th]. arXiv:hep-th/0604151 [hep-th]. [30] J. A. Nieto, Phys. Lett. A262, 274 (1999),