arxiv: v3 [hep-th] 28 Nov 2017

Transcription

1 Prepared for submsson to JHEP arxv: v3 hep-th 28 Nov 2017 On the Symmetry Foundaton of Double Soft Theorems Zh-Zhong L a Hung-Hwa Ln a Shun-Qng Zhang a a Department of Physcs and Astronomy, Natonal Tawan Unversty, Tape 10617, Tawan E-mal: b @ntu.edu.tw, hunghwaln@gmal.com, e @gmal.com Abstract: Double-soft theorems, lke ts sngle-soft counterparts, arses from the underlyng symmetry prncples that constran the nteractons of massless partcles. Whle sngle soft theorems can be derved n a non-perturbatve fashon by employng current algebras, recent attempts of extendng such an approach to known double soft theorems has been met wth dffcultes. In ths work, we have traced the dffculty to two nequvalent expanson schemes, dependng on whether the soft lmt s taken asymmetrcally or symmetrcally, whch we denote as type A and B respectvely. The soft-behavour for type A scheme can smply be derved from sngle soft theorems, and are thus non-perturbatvely protected. For type B, the nformaton of the four-pont vertex s requred to determne the correspondng soft theorems, and thus are n general not protected. Ths argument can be readly extended to general mult-soft theorems. We also ask whether untarty can be emergent from localty together wth the two knds of soft theorems, whch has not been fully nvestgated before.

2 Contents 1 Introducton 2 2 Nonlnear Symmetry, Sngle Soft Theorems, and Four-pont vertex 2.1 Sngle Soft Theorems from Nonlnear Symmetry Path Integrals Nonlnear Symmetry Constrans Four-Pont Vertex 10 3 Double Soft Theorems from Sngle Soft Theorems Dfferent Expanson Schemes: Type A and Type B Type A Double Soft Theorems Type A double soft from non-vanshng sngle soft Type A double soft from vanshng sngle soft Type B Double Soft Theorems Dervng Type B from Type A Theorems Type B double soft theorems wth vanshng sngle soft lmts Type B double soft theorems for nonvanshng soft lmts 2 3. Loop Correcton of Double Soft Theorems Type A Type B 25 Extenson to Multple Soft Theorems 26.1 Type A Multple Soft Theorems 27.2 Type B Multple Soft Theorems 28 5 Fxng ampltudes by soft theorems Applyng sngle soft theorem to fx ampltudes DBI Dlaton Conformal DBI Soft theorem + Localty Untarty Applyng double soft theorems to fx ampltudes DBI Dlaton 35 6 Concluson and Outlook 36 1

3 A Type A and Type B Expansons for Pole Dagrams 38 A.1 s 2 terms 38 A.2 s 3 terms 3 1 Introducton Symmetry prncples of massless theores tend to manfest themselves as soft behavor of scatterng ampltudes, where one consders an expanson on small momenta for some of the external legs. Some classc examples are gauge symmetry manfested as Wenberg s soft theorem 1, and spontaneously broken symmetry reflected as Adler s zero 2. Many other theorems nvolvng photons and gravtons have been derved 3 8, ncludng some later works 9, 10. Recently, some new double soft theorems of hgher soft order has been derved for theores wth spontaneously broken symmetry, usng CHY representaton 11. Involved theores nclude nonlnear sgma model NLSM, Drac-Born-Infeld DBI theory, and specal Gallean sgal, to name a few. Snce the dervaton s vald only for tree ampltudes, whle underlyng symmetry prncple should persst nto loop order, t s worth nvestgatng whether these theorems wthstand loop correcton. Usng current algebra of the spontaneously broken symmetry and explct loop calculaton of specfc theores, some of these theorems have been reproduced and ther behavor under loop correcton dscussed 12, 13. One notable shortfall of 13 s that not all double soft theorems of 11 were derved. For example, DBI ampltudes has double soft theorem up to τ 3 11, where τ s the soft expanson parameter. Explct loop calculaton shows that theorems up to τ 2 are not modfed, ndcatng that they may be symmetry protected 13. However, current algebra has only reproduced theorems up to τ 1, leavng τ 2 unaccounted for. It s also unclear the orgn of τ 3. Second, the current algebra structure of conformal symmetry breakng s smlar to DBI, one reflectng the symmetry breakng due to a brane n AdS space whle the other, flat space. However, as opposed to DBI, up to now double soft theorems for dlaton only exsts up to τ 1 order. It s not clear whether further double soft theorems exst. If t does not, the dscrepancy seems dffcult to be explaned from the vew pont of current algebras. Furthermore, snce some theorems n partcular τ 2 of DBI are not derved, t s stll not clear whether or why and why not these theorems wll be modfed by loop correctons. We try to address these ssues n ths work. Frst, the dffculty n usng current algebra to derve exstng double soft theorems arses from ambguty of double soft expanson. There are actually two nequvalent ways to perform double soft expanson: ether parametrzng the soft-lmt by two ndependent, or wth a sngle parameter. We wll refer the former as type A scheme, and later type B scheme. Such dstncton has already been explored for gluon and gravton ampltudes e.g. 1 16, and s also famlar to phenomenologsts workng on soft physcs e.g. n soft-collnear effectve theory 17. Whle for well-behaved functons these two schemes are equvalent, scatterng ampltudes nvolve peces that become 2

4 sngular under double soft lmt, such as three-partcle factorzaton poles, whch wll lead to dscrepances. Therefore, current algebra, whch naturally gves type A theorems 16, cannot drectly reproduce the new double soft theorems n 11, whch are of type B. To crcumvent the problem, we establsh a procedure to derve double soft theorems, usng two relatons: Frst, type A double soft theorems for type A scheme can be drectly derved from sngle soft theorems 1, 15. Second, type B scheme can be obtaned from type A by addng nformaton of four pont vertex, known n SCET theory 17. Though these relatons are separately known n lterature, they have not been used together to address the dervaton and loop correcton of double soft theorems. We combne the two nto a general framework and fll out some explct computaton steps, borrowng some technques n 18. The result s a procedure that brngs us from sngle soft theorems to type A theorems, and eventually to type B double soft theorems. Our approach proves to be an effcent way to derve double soft theorems from symmetry prncple, and facltates defnte predcton on whether double soft theorems wll be modfed by loop correctons. Snce sngle soft theorems can be derved clearly from current algebra, soft-theorems for the A type should be protected from loop correctons. For soft-theorems of the B type, the modfcatons of whch can be unambguously dentfed from the four-pont vertex. We are able to derve the theorems left out n 13 as well a new double soft theorem for dlaton, and clarfy the behavor of those theorems under loop correcton. Though only sngle massless scalar theores are consdered here, ths can be generalzed to theores wth color or flavor group structure. Our analyss also clarfes the dstncton between spontaneous symmetry breakng, and the correspondng non-lnear realzaton on felds. In the usual dscusson of effectve feld theores EFT we only retan a subset of operators vald under certan approxmatons such as leadng dervatve or constant feld. The non-lnear realzaton of the broken symmetres s then only vald under such approxmatons, wth the understandng that hgher order correctons wll demand further modfcaton of the transformaton rules. However as we ve dscussed prevously, there are soft-theorems that are unversal and not subject to quantum correctons, and hence apply to the effectve feld theory rrespectve to whch order n the approxmaton one s consderng. Thus ths mples that part of the non-lnear transformaton has to be unversal. Indeed, the nonlnear transformaton of Goldstone bosons under spontaneously broken symmetres can often be splt nto feld ndependent and feld dependent parts. It has been shown that vanshng sngle soft theorems, whch s dervable from current algebra, only comes from the feld ndependent part 19, whch ndeed s expected to be unversal. The feld dependent part determnes or determned by the structure of the leadng four-pont operator, and thus cannot be unversal. 1 Therefore, n the above sense, type B double soft theorems contans addtonal nformaton, whle type A theorems are equvalent to sngle soft theorems. For theores wth non-vanshng sngle soft theorems, however, some techncalty prevents double soft theorems from fully ncorporatng nformaton from sngle soft theorems. 1 We are consderng the sngle scalar part of the EFT, for example the dlaton part of the effectve acton for broken CFTs. 3

5 Therefore, double soft theorems contan less nformaton n such cases. The procedure we propose can be readly extended to multple soft theorems. Smlar to double soft theorems, type A multple soft theorems can be derved from sngle soft theorems drectly, hence symmetry protected. The dervaton of type B theorems s more cumbersome, snce there are more dagrams behavng dfferently when expanson scheme s changed. However, once up to m 1-soft theorems are known, m-soft theorem can stll be derved by addng nformaton from some hgher-pont vertces. We can thus recursvely construct type B theorems. They would be modfed by loop correctons, snce the explct vertces are used. We test our relaton numercally by usng both knds of theorems as constrants on explct ampltudes. We buld up an ansatz for the n-pont ampltude wth a set of Feynman propagators whose numerators satsfy power countng and the symmetry propertes dctated by the propagator, as well as polynomal terms. We analyze the strength of the soft-constrants by consderng how much the space of the ansatz s reduced. Note that snce we don t assume factorzaton for the numerators, ths allows us to ask to what extent does untarty factorzaton emerges from localty the presence of Feynman propagators and soft constrants. The latter has been proved correct on DBI ampltudes usng vanshng sngle soft theorems 20, 21, but not yet nvestgated for other cases. We found that for both DBI and dlaton ampltudes, double soft and sngle soft can enforce untarty from localty, but the coeffcent of factorzaton channels can only be fxed by type B double soft theorems. The remanng coeffcent can be completely fxed by both knds of double soft theorems for DBI and sngle soft theorems for both theores, but not by double soft theorems for dlaton. Ths ndcates that type B theorems ndeed contans addtonal nformaton, whle the nformaton from nonvanshng sngle soft theorems may not be fully ncorporated nto double soft theorems of ether type. Ths s consstent wth our analytcal results. Ths work s organzed as follows: In Secton 2, we dscuss how nonlnear symmetres nduced by spontaneously broken symmetry gve sngle soft theorems and constran fourpont vertex. Then n Secton 3, we clarfy the two dfferent schemes of soft expanson, show ther relaton wth sngle soft theorems, and dscuss the mplcaton on ther loop correcton. Unanswered questons n prevous works would be addressed here. In Secton 5 we dscuss how to use soft theorems as constrants on ampltudes, and compare the results gven by sngle and double soft theorems. Whle fxng the ampltudes, we dcuss the relaton among localty, soft theorem and untarty. Fnally, n Secton 6 we present our conclusons. Some techncal ssues of calculaton are dcussed n the appendces. 2 Nonlnear Symmetry, Sngle Soft Theorems, and Four-pont vertex The soft theorems we wll dscuss arse from spontaneously broken symmetry, whch nduce nonlnear symmetry transformaton on Goldstone bosons. Here, wthout referrng to the underlyng spontaneously broken symmetry, we dscuss how nonlnear symmetry leads to sngle soft theorems and constrans the four-pont vertex, snce these two ngredents wll be

6 used to derve double soft theorems. We wll see that part of the nformaton from symmetres s not ncorporated n sngle soft theorems, but shows up as constrants on four-pont vertces. 2.1 Sngle Soft Theorems from Nonlnear Symmetry The nonlnear symmetry transformaton nduced by spontaneously broken symmetres often takes the form φ φ+θ 0 +θ µ x 1 µ + µ1 φ, x + +θ µ m 1 µ 2 µ m x µ 1 x µ2 x µm + µ 1µ 2 µ m m φ, x 2.1 where µ 1µ 2 µ φ, x s lnear combnaton of local operators comprsed of φ. It has been shown that the constant shft symmetry δφ = θ 0 gves rse to Adler s zero 18, and the other part of the symmetry leads to hgher order vanshng soft theorems, rrespectve of the exact form of the varous µ 1µ 2 µ 19. Here we revew the entre statement and provde an alternatve dervaton for the hgher order soft theorems. The above symmetry can be rewrtten nto a combnaton of ndependent symmetres, where δ 0 φ = θ 0, The correspondng Noether currents are therefore j µ 0 = L µ φ, and current coservaton mples δφ = δ 0 φ + δ 1 φ + + δ m φ 2.2 δ φ = θ µ n 1 µ 2 µ x µ 1 x µ2 x µ + µ 1µ 2 µ φ, x. 2.3 for 0 m. For example, for DBI model, δφ DBI =θ 0 + θ µ 1 x µ F d φ µ φ for Galleon theory, j µ 0 = and for specal Galleon theory, jµµ 1µ 2 µ =j µ 0 x µ 1 x µ2 x µ + µ 1µ 2 µ φ, x, 2. L µ φ, µ j µµ 1µ 2 µ = jµν 1 =j µ 0 δφ Gal =θ 0 + θ 1 µ x µ j µ 0 = L µ φ, x ν F d φ ν φ 2.6 jµν 1 =j µ 0 xν 2.7 δφ sgal = θ 0 + θ µ 1 x µ + θ µν 2 α 2 x µ x ν µ φ ν φ j µ 0 = L µ φ, jµν 1 =j µ 0 x ν F d φ ν φ, j µνσ 2 = j µ 0 xν x σ G ν φ σ φ

7 Followng 18, we frst consder the Ward dentty of δ 0 φ and j µ 0, ν j ν 0 xφx 1 φx n = r δx x r φx 1 δ 0 φx r φx n 2.9 for the case n = 1 and performng Fourer transform wth respect to x 1, the Lehmann- Symanzk-Zmmermann LSZ reducton formula then mples leadng to µ 0 j µ 0 x φp 1 e p 1 x 0 j µ 0 x φ p 1 p µ e p 1 x Therefore, the Noether current for the constant shft symmetry creates a one-partcle state φ. Note that n ths dervaton we do not need to know that the current j µ 0 s assocated wth some spontaneously broken symmetry. For general n, performng Fourer transform on x and LSZ reducton on x 1 x n on 2.9, the RHS s zero snce δ 0 φ = θ 0 s not a physcal state, and the LHS can be expressed as LSZ dx e px j1 ν xφx 1 φx n =LSZ dx e px 0 j1 ν φp 1 p 2 φp T {φx 1 φx n } 0 + R ν = pν p 2 M n+1p; k 1,, k n + R ν Equatng wth RHS of 2.9 gves where we used M n+1 = p R 2.13 dx e px 0 j ν 0 φp = p ν 2.1 derved from 2.11, and LSZ = dx e p x p Snce R ν should be fnte at p = 0, we have M n+1 = p R = Op 2.16 gvng the famous Adler s zero. The above dervaton has been done n 18. Hgher order double soft theorems come from conservaton of the currents j µµ 1µ 2 µ, whch mpose further constrants on j µ 0. Frst, f the theory further satsfes δ 1φ = 0, current conservaton of j µν 1 gves µ j µν 1 = j0 ν µ ν 1 φ, x jµ 0 = 0,

8 or j ν 0 = µ ν 1 φ, x jµ Pluggng ths nto the frst lne of 2.12 gves LSZ dx e px j1 ν xφx 1 φx n =LSZ dx e px µ ν 1 φ, x jµ 0 x φx 1 φx n =LSZ dx e px µ ν 1 φ, x jµ 0 xφx 1 φx n φx 1 ν 1 φ, x j0 0x, φx φx n δt t =LSZ dx e px µ ν 1 φ, x jµ 0 xφx 1 φx n φx 1 ν 1 φ, x, φx j0x 0 φx n δt t As long as ν 1 φ, x, φx j0 0 x does not generate a physcal state, whch s the case for DBI, Galleon and specal Galleon theores, the last term would not survve LSZ reducton, and we have LSZ dx e px j1 ν xφx 1 φx n =LSZ dx e px µ ν 1 φ, x jµ 0 xφx 1 φx n =p µ N µν = pν p µ p 2 Rµ + R ν 2.20 where 2.12 and 2.13 are used. Snce there s no 3-pont vertex and ν 1 φ, x jµ 0 x does not create physcal states, N µν cannot have k p or p 2 n the denomnator, so N µν can only be a polynomal. Thus, R µ = O p 1 by Then we arrve at a concluson that M n+1 = p R = Op 2, 2.21 gvng the vanshng subleadng sngle soft theorem. If the theory also satsfes δ 2 φ = 0, then current conservaton µ j µνσ 2 = 0 provdes further constrant on j µ 0, j0 σ = ν µ νσ 2 jµ 0 jσ 0 x ν

9 Pluggng back to 2.9 gves LSZ dx e px j0 σ xφx 1 φx n =LSZ dx e px ν µ νσ 2 jµ 0 jσ 0 x ν φx 1 φx n =LSZ dx e px ν µ νσ 2 jµ 0 φx 1 φx n LSZ dx e px φx 1 µ 0σ 2 jµ 0 x, φx φx n δt t + p p LSZ dx e px j0 σ xφx 1 φx n As n the prevous case, as long as µ 0σ 2 jµ 1 x, φx does not create physcal states, whch s the case for specal Galleon theory, for example, we have 1 p p LSZ dx e px j0 σ xφx 1 φx n =LSZ dx e px ν µ νσ 2 jµ 0 φx 1 φx n =LSZ dx e px ν µ νσ 2 jµ 0 φx 1 φx n LSZ φx 1 νσ 2 j0 0x, φx φx n δt t =LSZ dx e px ν dx e px ν µ νσ 2 jµ 0 φx 1 φx n, 2.2 or, from 2.12 and 2.13, 1 p p pσ p µ p 2 Rµ + R σ = p ν p µ N µνσ, 2.25 wth N µνσ a polynomal by the same argument. Ths pushes vanshng sngle soft theorem to the next order, M n+1 = p R = Op The dervaton can be readly extended to arbtrary order of δ φ = 0, whch would mply M n+1 = Op +1 From the dervaton, we see that sngle soft theorems can be derved from the nduced nonlnear symmetres wthout the knowledge of the underlyng spontaneously broken symmetry. Also, the dervaton does not depend on the feld-dependent part of the transformaton, µ 1µ 2 µ φ, x. Ths pece of nformaton s not ncluded n sngle soft theorems. 8

10 2.2 Path Integrals Actually, there exsts another dervaton of the vanshng sngle soft theorems above, usng path ntegrals. We wll do them for DBI model as an example. The dervaton for other models respectng shft symmetry together wth any hgher order of nonlnear symmetres should be a trval generalzaton of our example. Startng wth the generatng functonal ZJ = Dφ e S+ dx Jxφx, 2.27 we can easly get φx 1 φx n = 1 { } Z0 Jx 1 Jx n ZJ J=0 However, that our theorem has followng symmetry φ φ = φ + θ 0 + θ 1 µ x µ + µ suggests two other forms of ZJ: Z J = Dφ e S+ dx Jxφx+θ 0, 2.30 Z J = Dφ 1 + θ 1 µ µ 1 φ e S+ dx Jx φx+θ µ 1 x µ + µ 1, 2.31 whch gve us leadng and subleadng soft theorem at the end of day. Performng the same operaton on Z J nstead of ZJ, dentfyng them as the same, we have φx 1 φx n = φx 1 φx n + φx 1 φx 1 θ 0 φx +1 φx n That s, φx 1 φx 1 θ 0 φx +1 φx n = Dong LSZ reductons on the legs 2 to n elmnate all except the frst term n the summaton: n =2 dx e k x k 2 θ 0 φx 2 φx n = Note that we cannot nterpret θ 0 as a constant number here, or t gves us a physcally mpossble answer M n 1 k 2,, k n = 0,

11 for all k s. On the other hand, we should dentfy θ 0 as a one partcle state whch has zero momentum because at LSZ regon t = ±, the feld s effectvely free so that a feld wth zero momentum s a constant state. 2 Therefore, we have the vanshng leadng soft theorem lm M nk 1, k n = 0, 2.36 k 1 0 or by power expanson, M n k 1,, k n = Ok 1, 2.37 for k 1 0. Lkewse, dong the same trck for Z J gves us φx 1 φx 1 θ µ 1 x µ + φ µ 1 φ x + µ 1 x φx +1 φx n = Gven that nonlnear transformaton factor µ 1 conssts of more than one feld operators, after LSZ reducton on legs 2 to n, we are left wth n dx e k x k 2 θ µ 1 x µ 1 + φ µ 1 φ x 1 + µ 1 x 1 φx 2 φx n = =2 For DBI model, µ 1 = F d φ µ φ gves k 1 after Fourer transformaton, 3 so we have lm k 1 0 ξµ k µ 1 wth ξ µ an arbtrary constant. In expanson, t means M n k 1, k n = 0, 2.0 M n k 1,, k n = Ok 2 1, 2.1 for k 1 0. Lke the prevous subsecton, there s no need for the nonlnear shft symmetry to be a spontaneously broken one. 2.3 Nonlnear Symmetry Constrans Four-Pont Vertex Although the feld dependent part of nonlnear transformaton does not affect sngle soft theorem, t does constran the form of the four-pont vertex. To llustrate ths, consder DBI and Galleon theory, whch share the same sngle soft theorem, M n+1 p, p 0 = O p 2. Suppose we only consder sngle soft theorems, the s 2 vertex M 2 = s 2 + t 2 + u For free feld, φx = dp a p e px + a p e px, where a p and a p are constants. 3 For theorems respectng tradtonal shft symmetry φ φ + θ 0, ts nonlnear transformaton factor can have no more than one feld operator wthout, so there s at least one n. 10

12 seems permssble n both theores. However, f we examne the respectve Lagrangans e.g. 19, the four-pont nteracton terms gve dfferent fundamental vertces, M,DBI M 2 = s 2 + t 2 + u 2 M,Gal M 3 = s 3 + t 3 + u Indeed, the Lagrangans follow the symmetres 2.6 and 2.7 respectvely, wth dfferent µ 1µ 2 µ n x. In partcular, consder the DBI Lagrangan, L = 1 1 φ φ + 2 F d φ φ where we present the knetc term and the four-pont nteracton term. Under the transformaton 2.6, the x µ transformaton on φ φ 2 gves a three-pont operator. The knetc term under the transformaton µ x = F d φ µ φ wll also generate an dentcal three-pont operator. The two terms cancel, keepng the Lagrangan nvarant. Were t not for the term µ x = F d φ µ φ, ths three-pont operator cannot be canceled. Therefore, the feld dependent term s crucal to allow the four-dervatve nteracton term at four-pont, gvng the vertex s 2 +t 2 +u 2. For Galleon theory, µ x s zero, so s 2 vertex s not permssble. Ths example llustrates that the four-pont vertex ndeed contans nformaton of the feld dependent part of the transformaton. 3 Double Soft Theorems from Sngle Soft Theorems In ths secton, we show how double soft theorems are completely determned by sngle soft theorems and fundamental four pont vertex. Frst, we ntroduce the two dfferent schemes of double soft expanson present n lterature e.g. 1 17, callng them type A and type B. We then llustrate how type A double soft theorems can drectly mpled by sngle soft theorems, and how type B can be readly obtaned from type A usng nformaton of the four pont vertex. Though these two facts have been known separately n lterature e.g. 1 17, we connect them here nto a general dervaton procedure, from sngle soft theorem all the way to type B double soft theorem, and specfy the necessary computaton steps explctly. It s very general, ndependent of theores, although those wth vanshng sngle soft lmt possess some addtonal propertes. Apart from showng that type A theorems contan no further nformaton than sngle soft theorems, our procedure can also determne whether the double soft theorem wthstands loop correcton. We explctly compute the double soft operators of dlaton, DBI, and specal Galleon ampltudes to llustrate our results. 3.1 Dfferent Expanson Schemes: Type A and Type B A general double soft theorem can be expressed as an expanson over soft momenta, M n+2 τp, τq, τ=0 = S 0 + τs τ λ d S λ d M n + O τ λ d+1,

13 ndcatng that the ampltude M n+2 reduces to lower pont ampltude M n up to order λ d. Though ths seems unambguous, there are two schemes to expand an ampltude M n+2 p, q, n terms of soft legs p and q, as have been recognzed n the lterature 1, 15, 17. The frst one, denoted by type A here, s to gve the soft legs dstnct perturbaton parameters, τ p and τ q, and perform bvarate Taylor expanson. The second one, type B, s to assgn the same parameter, τ, to both soft legs, and perform sngle-varate Taylor expanson. More explctly, Type A: M n+2 τp, τq, type A = M n+2 τ p p, τ q q, τp=τ q=τ=0 =M n+2 0, 0, + τ p + τ q M n+2 τ p p, τ q q, τ p τ τp=τq=0 q 1 + τp 2 + τ p τ q + 1 τ 2 q M n+2 τ p p, τ q q, 2 τ p τ q 2 τp=τq=0 + + τ τ 2 p =M n+2 0, 0, + τ p p p 2 + Type B: + p 2 q M n+2 0, 0, q + p q p q τ 2 q q 2 q 2 M n+2 0, 0, 3.2 M n+2 τp, τq, type B = M n+2 0, 0, + τ τ M n+2 τp, τq, τ= τ 2 2 τ 2 M n+2 τp, τq, τ= Therefore, type A and B start to dffer from order τ 1. For example, f S 1 exsts n both expanson schemes, ts form wll lkely be dfferent. Sometmes τ s suppressed by absorbng t nto soft momenta p and q. In the orgnal proof of the double soft theorems of theores arsng from spontaneous broken symmetry, ncludng NLSM, DBI and specal Galleon 11, type B scheme was used, where a sngle parameter τ was assgned to both soft legs. On the other hand, type A scheme naturally arses from dervaton usng current algebra, the approach adopted n 13. That t s of type A has been recognzed n the lterature 16, but we llustrate t here usng DBI 12

14 theory, an example more relevant to us. Followng the approach n 13 to derve double soft theorem up to order τ 1, consder the followng correlaton functons J Pν x J Pν y φ x 1 φ x n JL0µ x J Pν y φ x 1 φ x n JPν x J L0µ y φ x 1 φ x n. 3. Currents of broken Poncare symmetres are related by so that, roughly, L 0µ, P ν = η µν P µ j µ L 0ν x ν µ j µ P After LSZ reducton and Fourer transform, the factor x ν becomes /p n momentum space, gvng subleadng factor n soft momentum, J Pν x J Pν y φ x 1 φ x n M n+2 0, 0, JL0µ x J Pν y φ x 1 φ x n p M n+2 p, 0, p=0 JPν x J L0µ y φ x 1 φ x n q M n+2 0, q, q=0, 3.7 where we assocate p wth x and q wth y. See 13 for detals. From these formulas t s clear that ths approach s of type A expanson scheme, as was the case for dlaton soft theorems derved there. The motvaton for ths alternatve dervaton was to nvestgate f double soft theorems can be modfed by loop correcton. We have performed numercal tests on explct ampltudes of DBI and dlaton, showng that the two schemes are ndeed nequvalent. It s thus mportant to specfy whch scheme s used. For example, usng current algebra to reproduce theorems derved from CHY representaton s bound to falure, as was the case for τ 2 and τ 3 double soft theorems for DBI ampltudes n 13, snce the expanson schemes nvolved are dfferent. Although t was clamed that the τ 1 theorem s reproduced, the nformaton of four-pont vertex s used n the proof, as straghtforward current algebra manpulaton shouldn t have produced type B expanson. We shall see, however, that the two schemes can be related. That s, for every type A double soft theorem, a type B theorem of the same soft order can always be derved. 3.2 Type A Double Soft Theorems Type A double soft theorems can be derved smply by applyng the sngle soft theorem twce, a fact recognzed for gluon and gravton ampltudes 1, 15. Here we show how ths can be carred out for a general theory. The procedure resembles the Pascal trangle produced by bnomal expanson, Fg.1. Suppose the ampltude of a theory has sngle soft theorems up to order λ, as n Fg.2a, M n+1 p, = S 0 + p S 1 + p µ p ν S 2µν + + p λ S λ M n + O p λ

15 p % p # q # q % τ # τ % p & p &% q &% q & τ &% τ & Fgure 1: The Pascal trangle of sngle and double soft expanson. τ denotes the double soft order where p S s a short hand of p µ1 p µ S µ 1 µ, and we absorb τ nto the soft momentum p. The operators S k generally do not vansh. Performng an addtonal sngle soft expanson as n Fg.2b gves the double soft as M n+2 p, q, type A = S 0 n+1 + p S1 n pλ S λ n+1 M n+1 q, + O p λ+1 = S 0 n+1 + p S1 n+1 + pλ S λ n+1 S n 0 + q S n 1 + q λ S n λ M n + S 0 n+1 + p S1 n+1 + pλ S λ O q λ+1 + O p λ+1 = S 0 n+1 S0 n + q µ S 0 n+1 S1 n,µ + p µ S 1 n+1,µ S0 n + + p λ S λ n+1 q λ S n λ M n = where S m + S 0 d + S 1 d + + S λ d d M n s an order p or q operator actng on an m pont ampltude, and S m d are double soft operators. Collectng terms nto S m d accordng to 3.2 gves type A double soft theorems, as llustrated n Fg.2c. Navely, 3.9 mples that M n+2 reduces to M n for orders p, q j, 0, j λ, wth soft factor p S n+1 q j S n j. It s thus temptng to dentfy S m d = m =0 p S n+1 q m S n m, whch wll gve double soft theorem up to order λ d = λ. However, the factor p S n+1 q j S n j may contan addtonal peces wth order dfferent from p, q j, p S n+1 q j S n j O p q j 3.10 snce S n+1, whch operates on M n+1 q,, may contan factors or dervatves of q. Ths can modfy the soft order n q of peces followng t. For example, t s possble that p S n+1 q λ+1 not only contrbutes to p, q λ+1 but also to p, q λ, M q λ+1 n+1 hence to double soft order λ. However, q λ+1 M q λ+1 n+1 cannot be expressed n terms of M n snce sngle soft theorem n q only exsts up to order q λ, so double soft theorem at order 1

16 λ cannot be obtaned. Therefore, double soft theorems may only exst up to a smaller order λ d λ. It would be more accurate to explctly work out all the soft factors and group them nto approprate double soft orders, as wll be done for dlaton ampltudes below. Snce the dervaton of type A double soft theorems only requres sngle soft theorems, t obvously does not contan further nformaton than sngle soft theorems. Moreover, snce we cutoff at double soft order λ d λ for techncal reasons shown above, the terms p S n+1 gven by sngle soft theorems wth, j λ but + j > λ are dscarded, as llustrated n Fg.2c. Therefore, type A double soft theorem may actually contan less nformaton. We llustrate these ponts by explct examples. q j S j n Type A double soft from non-vanshng sngle soft An example wth non-vanshng sngle soft theorems s dlaton ampltudes. theorems exst up to p λ wth λ = 1 22, Its sngle soft M n+1 p, = S 0 + p S 1 M n + O p 2 n S 0 = k + D 2 + D k =1 2 n S µ 1 = k ν 2 k ν k µ 2 kµ 2 k ν k ν + D 2 2 =1 k µ Navely, ths drectly gves us expanson terms of p 0, q 0, p 0, q 1, q 0, p 1, and p 1, q 1, wth soft operators p S n+1 q j S n j of correspondng order. However, the operator S 1 n+1 contans dervatves wth respect to q, n S 1 n+1,µ = k ν 2 k νkµ =1 k µ 2 2 k ν k ν + D 2 2 k µ q ν 2 q ν q µ q µ 2 Therefore, a term followng t wll have ts order of q reduced by 1. For example, q ν q ν + D 2 2 q µ S 1 n+1,µ qν = D 2 δµ ν and ts operaton on hgher order of q would be more complcated. Thus the term p S 1 n+1 q S n 1 actually contans a term of order p 1, q 0, n addton to order p 1, q 1. Ths problem does not exst for S 0 n+1 snce ts q dependence s q q, whch does not change the order of q. After takng care of ths, and notng that q M n = 0 and S 0 M n s smply a number, the leadng For some cases such as gluon ampltude, the expanson order of p and q matters. One should thus further specfy the choce of order, or ncorporate both knd ofpossbltes, as n 1, 16. In any case, ambgutes can be resolved by specfyng one s choce, and the procedure here can stll be used

17 % S "#$ S % % $ S "#$ S $ % S % $ & S "#$ S & % S $ $ S % & O p ' O q ' ' S "#$ S ' % S '$ $ S $ '$ S % ' S ' $ S $ ' S ' ' S '$ ' a Frst sngle soft expanson. b Second sngle soft expanson, n q, also up to order O q λ. S % % τ % S $ % S % $ τ $ S & % S $ $ S % & τ & S ' % S '$ $ S $ '$ S % ' τ ' S ' $ S $ ' S '#$ % S '#$ % τ '#$ S ' ' S '$ ' c Collectng double soft factors. Fgure 2: Dervng type A double soft from sngle soft theorems. The coordnate follows the Pascal trangle n Fg.1. a Frst sngle soft expanson, n p, up to order O p λ. b Second sngle soft expanson, n q, also up to order O q λ. c For double soft order hgher than τ λ+1, there are terms that cannot be derved from sngle soft theorems e.g. the ones n gray. Therefore, only the terms n the dashed trangle can be ncorporated nto double soft theorems. The remanng terms would be dscarded. and subleadng double soft theorem n 13 can be reproduced from 3.9, D 2 M n+2 p, q, type A = n D + D 2 k n + 1 D k M n + p + q µ D 2 + k,µ k,µ 2 n + 1 D 2 D + k M n hgher order 3.13

18 O p $ % S "#$ S % % O q $ S % % τ % $ S "#$ S $ % S % $ S $ % S % $ τ $ a Frst sngle soft expanson. S $ $ b Second sngle soft expanson. S ' % S $ $ S % ' c Collectng double soft orders. τ ' Fgure 3: A specal case of Fg.2 for dlaton ampltudes, wth nonvanshng sngle soft theorem and λ = 1. For double soft order λ + 1 = 2, there are terms unattanable from sngle soft expanson. Therefore, double soft theorem only exsts up to order λ = 1, and the nformaton of p S 1 n+1 q S 1 n s dscarded. where t s obvous that the zeroth order corresponds to S 0 n+1 S0 n and the frst order to S 0 n+1 S1 n. The result exactly matches that n 13, ndcatng that the expanson scheme used there s of type A. These soft operators are dmensonless, relatng the s m terms of M n+2 to s m terms of M n. We can also comment on the exstence of subsubleadng double soft theorem. Snce the sngle soft theorems for dlaton only exst up to frst order, the terms p 0, q 2 and q 0, q 2 cannot be obtaned. Ths obstructs a fully second order type A double soft theorem,.e. the τ 2 terms of 3.2, as have been dscussed for general λ. Whle t s temptng to consder a restrcted theorem concernng only the term p 1, q 1 snce p S 1 n+1 q S n 1 does contan a pece of ths order, t s ncomplete snce p S 1 n+1 can modfy the order of q, as dscussed above. Thus, the term p S n+1 2q2 M q 2 n+1 q, also contrbutes, whereas q= q2 M q 2 n+1 q, cannot be expressed n terms of M n snce subsubleadng sngle soft q=0 theorem does not exst. Therefore, there s no subsubleadng double soft theorem, even f only the pece of order p 1, q 1 s consdered. Ths pece of nformaton s thus dscarded, so that double soft theorems of dlaton contan less nformaton than sngle soft theorems Type A double soft from vanshng sngle soft For ampltudes wth vanshng sngle soft theorems, M n+1 p, = λ =1 p S M n + O p λ wth all S = 0. DBI and specal Galleon ampltudes are examples wth λ =1, 2, respectvely 19. Snce the sngle soft lmt vanshes, M n+2 p, q, = 0 + O p λ

19 the subsequent expanson 3.9 of the second soft momentum q s trval, as Fg.b llustrates. It s vald up to arbtrary order, not restrcted by the order λ of sngle soft theorems. Ths gves us vanshng double soft lmts of order up to p λ, q. Of course, the potental problem of shfted order of q, present n dlaton, does not arse here. Smlarly, double soft lmts vansh up to order q λ, p, as n Fg.c. Ths gves us vanshng type A double soft lmt up to order λ d = 2λ + 1, snce all the terms needed, p, q λ d, can be evaluated, as n Fg.d. That s, M n+2 p, q, type A = 0 + O p, q j ; + j = 2λ For example, λ d = 3, 5 for DBI and specal Galleon, respectvely. The order of double soft theorem s hgher than cases wth non-vanshng sngle soft lmts, where λ d λ. Ths explans, for example, why DBI double soft theorem exsts up to τ 3 but dlaton only to τ 1, whle both are assocated wth two knds of spontaneously broken symmetres that are dervatvely related. It s smply because the vanshng sngle soft lmt of DBI facltates further expanson. Also, snce no term needs to be dscarded as n the case of non-vanshng sngle soft theorem, double soft theorems here should contan equvalent nformaton as do vanshng sngle soft theorems. 3.3 Type B Double Soft Theorems Snce type B double soft lmt requres expanson n terms of dentcal perturbaton parameter for both soft legs, t cannot be obtaned from sngle soft lmts drectly. However, t can be derved from type A double soft theorems, as the dstncton of the two expanson schemes only affects certan knds of dagrams. Takng care of the changes on such dagrams, we can go from type A to type B soft theorems. Our approach here s a modfcaton of dervatons n 18, where double soft theorems of NLSM are derved from sngle soft theorems. Our verson llustrates more clearly the dstncton between the two schemes Dervng Type B from Type A Theorems For an ampltude M n+2 p, q,, we sngle out the dagrams where both soft legs are attached to the same four pont vertex, denotng them as pole dagrams and the rest as gut dagrams, M n+2, p, q = M pole, p, q + N, p, q Fg.6 shows the form of pole dagrams and some possble gut dagrams 5. Ths dstncton s the classc approach n the dscusson of Wenberg soft theorems, also used n 18 on whch we based our proof. However, our dervaton s dfferent n that we do not need the full nformaton of pole and gut dagrams. Instead, we only focus on pole dagrams, whch can be expressed explctly as M pole, p, q = M k, p, q 1 l 2 M n, l, In the orgnal usage, a gut dagram has soft legs are attached to nner propagators. Here t smply denotes anythng that s not a pole dagram. 18

20 a Frst sngle soft expanson. b Second sngle soft expanson. c Reversed orderng. d Collectng double soft factors. Fgure : Dervng double soft theorems from vanshng sngle soft theorems. a Frst sngle soft expanson, n p, vanshes up to order O p λ. b Second sngle soft expanson, n q, does not stop at order O q λ but contnues to arbtrary order. c Expandng frst n q and then n p gves smlar result. d Vanshng sngle soft gves more hgher order terms, so double soft theorems can be obtaned up to order τ 2λ+1. Note the comparson wth non-vanshng sngle soft lmt, gven n Fg.2c, whch stops at order τ λ. where the nternal propagator s l = k + p n+1 + p n+2 wth l 2 = 2 k p + q + p q 3.19 and M m denotes off-shell ampltudes whch goes on-shell after takng double soft lmt. Snce 0 as p and q vansh, pole dagrams develop sngularty under double soft lmt. Thus, l 2 19

21 O p $ 0 0 O q $ O p $ O q $ a Frst sngleb Second sngle soft expanson. soft expanson. c Reversed expanson order. O p % O q 0 % τ 0 0 τ % τ * τ + 0 0? 0 0 τ d Collectng double soft order. Fgure 5: A specal case of Fg. for DBI ampltudes, wth vanshng sngle soft theorem and λ = 1. Compared wth Fg.3, more expanson terms can be derved, hence hgher order double soft theorems. they may behave dfferently under type A and type B expansons. Gut dagrams, on the other hand, have the two soft legs attached ether to dfferent vertces, to the same hgher pont vertex n >, to an nner propagator, or smply to a sngle contact term wthout propagators. In all possble cases, they are well-behaved ratonal functons under double soft lmt, snce no propagator would be put on-shell, as can be verfed by computng the propagators l n Fg.6. The expanson on them s thus the same under both schemes. More explctly, M pole type B M pole type A N type B = N type A As a result, the dstncton between type B and type A double soft theorems only comes from pole dagrams, so that, usng 3.17 and 3.20, M n+2 type B M n+2 type A = M pole type B M pole type A = M pole type B M pole type A + N type B N type A

22 k % q p p q ll k & ll k $ k # a A pole dagram. k ll b A gut dagram wth p and q on dfferent sde of a propagator. k ll p q k ' k % ll k # k ll c A gut dagram wth p and q attached to ad A gut dagram nvolvng only a contact term. hgher pont vertex. Fgure 6: Pole dagrams and gut dagrams. or M n+2 type B = M n+2 type A + M pole type B M pole type A 3.22 Fortunately, pole dagrams are already reducble to the lower pont ampltude M n. Ther expanson n both schemes can be evaluated and compared up to arbtrary order. Therefore, we can derve a correspondng type B theorem from each type A theorem usng For practcal computaton, we llustrate the steps for a generc sngle scalar theory 6. Its four pont vertex has the form M k 1, k 2, k 3, k = c 2 s 2 + t 2 + u 2 + c 3 s 3 + t 3 + u where c m n ndcates the coeffcent of s m term n n pont ampltude, whch may or may not vansh. Alternatve representatons such as st + tu + us may be used, whch only adds a normalzaton factor to c m. We splt pole dagrams nto peces nvolvng dfferent terms of four pont vertex, M pole = M pole,s 2 + M pole,s Other theores wth spn, color etc wll ntroduce more complcated terms nto the four pont vertex M. After ncorporatng those terms, the computaton s smlar. 21

23 where M pole,s 2, p, q = c2 s 2 + t 2 + u 2 1 M l 2 n, l, etc. We then evaluate each term wth dfferent order of s separately. Type B expanson can be performed straghtforwardly, whle type A nvolves some ssues of mxed dervatves. We lst the results here, wth the calculaton detals relegated to Appendx A. For order s 2, denotng the perturbaton parameter as τ, we evaluate up to double soft order τ 3, wth M pole,s 2 type B M pole,s 2 type A =0 τ 0 +c 2 k p q 2 + k p + q M n, p, τ 1 k p + q +2c 2 { 2 k p k q k p + q 2 p q + k p q k p + q +2c 2 p q2 + k p + q { p µ q ν J µν 2 pµ q ν J µν + k p + q k p + q k p q 2 k p + q 2 } M n k, τ 2 } M n, k,. τ These soft operators are of order s 1, whch s obvous from countng the dmensons of M,s 2 and the propagator 1/l 2. Also, the effect of M pole,s 2 starts to contrbute at order τ 1. For order s 3, we evaluate up to order τ 5, M pole,s 3 type B M pole,s 3 type A =0 τ 0, τ 1, τ 2 +3c 3 p q k p q 2 M n k, τ 3 k p + q +6c 3 p q { k p q k p + q pµ q ν J µν +2 k } pk qp q k p + q 2 + k p + q M n k, τ { +6c 3 p µ q ν J µν 2 p q k p + q + 2k pk qp q k p + q 2 p + q k } p q2 + 1 k p + q 2 + k p q 2 2 k p + q 2 M n k,. τ These operators are of order s 2, agan obvous from dmenson countng. However, ts soft order starts at τ 3, whle nave power countng for both type A and type B expanson for 22

24 M pole,s 3 gves τ 2. Somehow the two schemes at ths order are dentcal. Terms hgher than s wll not contrbute untl τ 3. All these terms can then be added nto the type A expanson, leadng to type B soft theorems, M n+2 type B = M n+2 type A + M pole,s 2 type B M pole,s 2 type A + M pole,s 3 type B M pole,s 3 type A We demonstrate these results usng examples from the last subsecton Type B double soft theorems wth vanshng sngle soft lmts Here we start wth theores wth vanshng sngle soft lmts snce they are smpler. As ther type A double soft lmts vansh, the type B lmts are smply the dfferences comng from pole dagrams. The expanson can be determned from 3.27 to be λ d M n+2 τp, τq, type B = τ S M n + O τ λ d+1, λ d = 2λ =0 snce M n+2 type A expanson s vald up to order 2λ + 1, M n+2 type A = 0 + O τ λ d+1. λ d = 2λ For DBI, the tree-level four-pont ampltude only contans s 2 terms. Therefore, at tree level, M n+2 type B = M n+2 type A + M pole,s 2 type B M pole,s 2 type A = M pole,s 2 type B M pole,s 2 type A + O τ 3.30 because of vanshng type A double soft lmt, M n+2 type A = 0 + O τ λ d+1, λ d = 2λ + 1 = Ths leads to soft operators up to τ 3, S 0 DBI =0 S 1 DBI =c2 S 2 DBI =2c2 S 3 DBI =2c2 k p q 2 + k p + q, k p + q { 2 k p k q k p + q 2 p q + k p q k p + q { p µ q ν J µν 2 k p + q p q2 3 + k p + q 2 + k p q 2 k p + q 2 } pµ q ν J µν + k p + q }

25 After some rearrangements, these operators reduce to the ones derved n 11 except for factors of c 2. Snce the soft theorems here relate sm terms n M n+2 to s m 1 terms n M n, the couplng constant s essental for consstency of mass dmenson. Ths ssue would be more promnent for type B theorems wth nonvanshng sngle soft lmts. For tree-level ampltudes of specal Galleon, the four pont vertex only contans s 3 terms. Thus, only M pole,s 3 needs to be consdered, gvng S 0 sgal =S1 sgal = S2 S 3 sgal =3c3 p q S sgal =6c3 p q S 5 sgal =6c3 p q sgal = 0 k p q 2 + k p + q, k p + q { 2 k p k q k p + q 2 p q + k p q k p + q { p µ q ν J µν 2 k p + q p q2 3 + k p + q 2 + k p q 2 k p + q 2 } pµ q ν J µν + k p + q } These soft operators match the results n 11 as well, agan up to the factors of c Type B double soft theorems for nonvanshng soft lmts For theores wth nonvanshng soft lmts, λ d M n+2 τp, τq, type B = τ S M n + O τ λ d, λ d = λ 3.3 =0 where the dfference of pole dagrams and the orgnal type A double soft lmt both contrbute. For dlaton, wth λ = 1, the s 2 vertex adds an addtonal term to the orgnal type A operator, gvng S 1 cdbi = p + D 2 qµ + k,µ k,µ 2 n + 1 D 2 D + k 2 + c 2 k p q 2 + k p + q k p + q Note that ths operator mxes terms wth dfferent mass dmensons. Therefore, the couplng constant c 2, omtted n results n 11, 13, s crucal here to produce sensble result. To our knowledge ths soft theorem has not been derved elsewhere. We have performed numercal tests on, 6, 8 pont ampltudes of s 2 and s 3 orders to verfy the result. 3. Loop Correcton of Double Soft Theorems Attempts has been made elsewhere to determne whether loop correcton wll modfy double soft theorems by usng current algebra e.g. 13. However, as the dfferent expanson schemes 2

26 were not dstngushed, t was dffcult to dentfy whch of the theorems wll be modfed by loop correcton. Our formulaton provdes a clear way to address ths ssue. Type A theorems would be protected from loop correcton by symmetry, whle the fate of type B depends on the new vertces generated by loop correctons, as we dscuss below Type A Our dervaton of type A double soft theorems only reles on sngle soft theorems, whch are drectly mpled by symmetry. It does not nvolve the explct form of any vertex. Therefore, as long as the symmetry s not anomalous, type A theorems should be vald even f loop correctons are consdered, regardless of soft order. As an example, consder the ampltude of bosonc strng dsucssed n 13, whch follows the same broken symmetry and soft theorems 3.16 of DBI. At tree level, ts four pont vertex contans s 2, but one loop correcton gves an addtonal s 3 term, M,s 3 = c 3 s 3 + t 3 + u 3. If we follow tradtonal approach of Wenberg soft theorems, the pole dagrams, M,s 3 k, p, q 1 l Mn, l,, seems to modfy order τ 2 and τ 3 double soft theorems, by dmenton countng. However, those theorems are symmetry-protected and wll not be modfed. Ths means that symmetry forces the loop correcton from pole and gut dagrams cancel each other. Ths would be the case for all other type A theorems, e.g. that of dlaton and specal Galleon ampltudes. To nvestgate the theorems dscussed n 11, 13, we must consder type B scheme nstead Type B As opposed to type A theorems, type B theorems depend on the explct form of four pont vertces. Therefore, loop correctons that ntroduce new terms to four pont vertex may modfy type B soft theorems. 3.25, 3.26 and smlar expressons for M pole,s m ndcates on whch order the modfcaton would occur. Also, note that loop correcton only modfes double soft theorems nstead of destroyng t. That s, M n+2 can stll be reduced to lower pont ampltude M n, only wth modfed soft operators. We agan consder the ampltude of bosonc strng dscussed n 13, and the type B theorems n Snce loop correcton generates an s 3 four-pont vertex among hgher order of s, the type B double soft theorem s no longer gven by 3.30, but by M n+2 type B = M n+2 type A + M pole,s 2 type B M pole,s 2 type A + M pole,s 3 type B M pole,s 3 type A where M pole,s 3 type B M pole,s 3 type A and hgher order terms are loop correctons of type B theorems. Nave power countng also ndcates that the term M pole,s 3 type B M pole,s 3 type A 25

27 wll modfy τ 2 theorem, as stated n 13. However, 3.26 states that modfcaton starts at τ 3, snce M pole,s 3 type B M pole,s 3 type A = O τ 3. More explctly, contrbuton of M pole,s 3 at order O τ 2 s dentcal for type B and type A, thus protected by symmetry. Ths explans why τ 2 theorem s ntact. Clearly, ths result comes from the structure of s 3 vertex tself, that s, M pole,s 3 type B M pole,s 3 type A. It s not smply a result of symmetry as conjectured n 13. Our consderaton also predcts that τ 3 theorem wll be modfed, { p µ q ν J µν 2 S 3 DBI =2c2 + 3c 3 p q p q2 + k p + q k p + q k p q 2 k p + q k p q 2 } k p + q 2 M n k, as has been confrmed by explct computaton of loop correcton n 13. The above procedure provdes an effectve way to predct the behavor of type B theorems aganst loop correcton. In general, loop correcton modfes type B theorems by addng further terms of M pole,s m type B M pole,s m type A n These terms can be computed, as n 3.25 and 3.26, whch may not contrbute untl a certan order. Thus, type B theorems pror to ths order are stll free from modcaton of loop correctons. As a further example, consder the type B theorem for dlaton n The soft operators are only of τ 0 and τ 1 order, whle the lowest possble order of loop correcton, comng from s 3 vertces, starts at τ 3. Therefore, these type B double soft theorems would be protected from any loop correcton, as has been verfed by explct loop calculatons 13. As for specal Galleon ampltudes, we would need to compute M pole,s type B M pole,s type A and beyond. Extenson to Multple Soft Theorems Our formulaton can be readly extended to multple soft theorems, that s, the momenta of more than two legs are taken to vansh. In the followng, we denote multple soft theorems wth m soft legs as m-soft theorem. Type A m-soft theorems can be derved drectly from sngle soft theorems as before, and type B theorems can be derved from type A m-soft theorems, double to m 1-soft type B and type A theorems, and vertces up to m + 2-pont. As n the case for double soft theorems, type A are symmetry protected, whereas type B would be modfed by loop correctons. 26

28 .1 Type A Multple Soft Theorems For an n+m pont ampltude M n+m wth m external momenta taken soft, the type A m-soft expanson s smply m-varate Taylor expanson, M n+m τp 1,, τp m, k 1,, k n type A = M n+m τ 1 p 1,, τ m p m, k 1,, k n τ1 = =τ m=τ=0 =M n+2 0, 0, + τ τ 1 +, τ m M n+m τ 1 p 1,, τ m p m, k 1,, k n τ τ1 = =τ m=τ=0 m.1 where p 1 through p m are the soft momenta, and k 1 through k n are the remanng hard momenta. The order τ expanson would be r 1 + +r m= r 1 r m τ r1 τ r 1 1 r 2 τ r 2 2 rm τ rm m M n+m τ 1 p 1,, τ m p m, k 1,, k n τ1 = =τ m=τ=0..2 For non-vanshng sngle soft theorems up to order λ, type A m-soft theorems can be derved by applyng sngle soft theorems m tmes, M n+m p 1,, p m, k 1,, k n type A = S 0 n+m 1 + p 1 S 1 n+m pλ 1 S λ n+m 1 = S 0 n+m 1 + p 1 S 1 n+m pλ 1 S λ n+m 1 = M n+m 1 p 2, + O S n 0 + p m S n 1 p λ p λ m S λ n M n + S 0 n+m 1 S0 n+m 2 S0 n + p µ 1 S1 n+m 1 S0 n+m 2 S0 n + p µ 2 S1 n+m 1 S1 n+m 2 S0 n + M n + = S 0 d + S 1 d + + S λ d d M n +,.3 as n 3.9 for double soft theorems. For smlar reasons, multple soft theorems exst up to order λ d = λ. Ths can be seen from.2, where n each ndvdual terms, none of the expanson orders r 1 through r m can exceed λ. Thus, terms S r1 S r2 S rm obtanable from sngle soft but wth r r m > λ wll also be left out from multple soft theorems, so that multple soft theorems wll contan less nformaton than sngle soft theorems. For vanshng sngle soft theorems, the frst expanson n p 1 gves zero up to order λ, M n+m p 1,, p m, k 1,, k n = 0 + O,. so subsequent expanson n p 2 through p m s trval and can be done up to arbtrary order. Ths wll gve us expanson terms up to order p λ 1 p 2 p m. Smlarly, expandng frst n pj gves expanson terms up to order p 1 pλ j p m. That s, a term r 1 r τ r τ r rm 2 τ rm M n+m n 2 m p λ

29 .2 can be obtaned f at least one of the exponents r j does not exceed λ, or that mn{r j } λ. Therefore, type A m-soft theorem can be obtaned up to order λ d = m λ + 1 1, or M n+m τp 1,, τp m, k 1,, k n type A =0 + O τ mλ+1.5 At ths order, all possble terms that can be obtaned from m consecutve sngle soft theorems would be ncluded, so the multple soft theorems contan equvalent nformaton as vanshng sngle soft theorems. As s the case for double soft theorems, type A multple soft theorems are drectly derved from sngle soft theorems, so that they are protected from loop correctons by underlyng symmetry..2 Type B Multple Soft Theorems Type B multple soft expanson s obtaned from sngle varable Taylor expanson usng dentcal expanson parameter τ, M n+m τp 1,, τp m, k 1,, k n type B =M n+m 0,, 0, k 1,, k n + τ τ M n+m τp 1,, τp m, k 1,, k n τ= τ 2 2 τ 2 M n+m τp 1,, τp m, k 1,, k n τ= Ths would be the natural scheme f, for example, CHY representaton s used for dervaton. For multple soft theorems there also exst other schemes, where only some of the expanson parameters s taken dentcal. For example, for quadruple soft theorems we may use two expanson parameters, τ and ɛ, M n+m τp 1, τp 2, ɛp 3, ɛp, k 1,, k n τ=ɛ=0 =M n+m 0, 0, 0, 0, { } + τ τ M n+m τp 1, τp 2, 0, 0, + τ=0 ɛ M n+m 0, 0, ɛp 3, ɛp, ɛ=0 +.7 Here we wll not consder such cases. Instead we only focus on the type B expanson scheme.6, whch would naturally arse from methods such as CHY representaton. To derve type B m-soft soft theorems, we agan need ts dfference from type A theorems, M n+m type B M n+m type A..8 28