On-Shell Methods and Effective Field Theory
by
Callum R. T. Jones
A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Physics) in the University of Michigan 2020
Doctoral Committee: Professor Henriette Elvang, Chair Professor Ratindranath Akhoury Associate Professor David Baker Professor Finn Larsen Assistant Professor Joshua Spitz Callum R. T. Jones [email protected] ORCID ID: 0000-0002-1325-9244
© Callum R. T. Jones 2020 ACKNOWLEDGEMENTS
I would like to take this opportunity to acknowledge all of the incredible people that I been privileged to know over the past five years. My outstanding collaborators: Henriette Elvang, Steve Naculich, Marios Hadjiantonis, Shruti Paranjape, Brian McPeak, Jim Liu, Sera Cremonini and Laura Johnson. With such diverse expertise, together you have helped me learn about and contribute to areas of physics that alone would have seemed impossible. I hope that we can continue to learn and argue and discover new and amazing things for years to come. Henriette Elvang in particular will forever have my gratitude for agreeing to be my PhD advisor. As I took a chance on a new life, in a new country, you took a chance on me. More than just an outstanding researcher and mentor, the conscientiousness with which you approach all aspects of academic life has given me an unparalleled role model, the example of whom I will carry with me for the rest of my professional life. Moving to Ann Arbor, tens of thousands of kilometres from every person I have ever known and loved, was the most difficult thing I have ever experienced. It would have been unbearable I hadnt found the most wonderful group of friends. Michael Viray, Brian McPeak, Shruti Paranjape, Noah Steinberg, Joshua Foster, Steve Novakov, Brandon and Kate Berg, Joe and Alissa Kleinhenz, you will never know how much your friendship means to me. Most of all, I want to acknowledge Rachel Hyneman, I don’t have the words to express how your love and support has impacted my life over these years, so these will have to do, thank you for everything.
ii TABLE OF CONTENTS
Acknowledgements ...... ii
List of Figures ...... vii
List of Tables ...... ix
List of Appendices ...... x
Abstract ...... xi
Chapter
1 Introduction ...... 1
1.1 On-Shell Methods and Feynman Diagrams ...... 1 1.2 The Landscape of Low-Energy Effective Field Theories ...... 10 1.2.1 Bottom-up Constraints: Low-Energy Theorems ...... 15 1.2.2 Top-down Constraints: Weak Gravity Conjecture ...... 18 1.3 Overview of this Thesis ...... 21
2 Singular Soft Limits in Gauge Theory and Gravity ...... 24
2.1 Systematics of the Soft Expansion ...... 25 2.2 Master Equation for Singular Soft Limits ...... 26 2.3 Soft Limit Consistency Conditions ...... 30 2.3.1 Charge Conservation and the Equivalence Principle ...... 30 2.3.2 No-Go for Massless Higher Spin ...... 33 2.4 Soft Limits and Effective Field Theory ...... 35 2.4.1 Higher-Derivative Corrections to Soft Photon Theorem ...... 35 2.4.2 Higher-Derivative Corrections to Soft Graviton Theorem ...... 37
3 Vanishing Soft Limits and the Goldstone S-Matrix ...... 40
iii 3.1 Overview of Goldstone EFTs ...... 40 3.1.1 Structure of the Effective Action ...... 42 3.2 Subtracted Recursion Relations ...... 44 3.2.1 Review of Soft Subtracted Recursion Relations ...... 44 3.2.2 Validity Criterion ...... 46 3.2.3 Non-Constructibility = Triviality ...... 49 3.2.4 Implementation of the Subtracted Recursion Relations ...... 51 3.3 Soft Bootstrap ...... 54 3.3.1 Pure Scalar EFTs ...... 54 3.3.2 Pure Fermion EFTs ...... 57 3.3.3 Pure Vector EFTs ...... 58 3.4 Soft Limits and Supersymmetry ...... 60 3.4.1 N = 1 Supersymmetry Ward Identities ...... 60 3.4.2 Soft Limits and Supermultiplets ...... 61 3.4.3 Example: Low-Energy Theorems in Supergravity ...... 64 3.5 Supersymmetric Non-linear Sigma Model ...... 65 1 3.5.1 N = 1 CP NLSM ...... 67 1 3.5.2 N = 2 CP NLSM ...... 69 3.6 Galileons ...... 76 3.6.1 Supersymmetric Galileons ...... 78 3.6.2 Supersymmetric Galileon Bootstrap I ...... 79 3.6.3 Supersymmetric Galileon Bootstrap II ...... 82 3.6.4 Vector-Scalar Special Galileon ...... 84 3.6.5 Higher Derivative Corrections to the Special Galileon ...... 85 3.6.6 Comparison with the Field Theory KLT Relations ...... 87
4 Born-Infeld and Electromagnetic Duality at One-Loop ...... 92
4.1 Review of Born-Infeld Electrodynamics ...... 92 4.2 Overview of Method ...... 95 4.2.1 Generalized Unitarity and Supersymmetric Decomposition ...... 95 4.2.2 Massive Scalar Extension of Born-Infeld ...... 101
4.3 Calculating mDBI4 Tree Amplitudes ...... 105 4.3.1 General Structure ...... 105 4.3.2 T-Duality and Low-Energy Theorems ...... 107
iv 4.3.3 Alternative Approach to Contact Terms: Massive KLT Relations ... 112 4.4 All Multiplicity Rational One-Loop Amplitudes ...... 120 4.4.1 Diagrammatic Rules for Constructing Loop Integrands ...... 120 4.4.2 Self-Dual Sector ...... 122 4.4.3 Next-to-Self-Dual Sector ...... 126 4.5 Quantum Electromagnetic Duality ...... 133
5 The Black Hole Weak Gravity Conjecture with Multiple Charges ...... 137
5.1 Multi-Charge Generalization of the Weak Gravity Conjecture ...... 137 5.2 Extremality Shift ...... 138 5.2.1 No Correction from Three-Derivative Operators ...... 139 5.2.2 Four-Derivative Operators ...... 140 5.2.3 Leading Shift to Extremality Bound ...... 143 5.3 Black Hole Decay and the Weak Gravity Conjecture ...... 144 5.3.1 Examples ...... 146 5.3.2 Unitarity and Causality ...... 149 5.4 Renormalization of Four-Derivative Operators ...... 153 5.4.1 Non-Renormalization and Electromagnetic Duality ...... 153 5.4.2 RG Flow and the Multi-Charge Weak Gravity Conjecture ...... 159
6 Higher-Derivative Corrections to Entropy and the Weak Gravity Conjecture in Anti-de Sitter Space ...... 162
6.1 Weak Gravity Conjecture and Black Hole Entropy ...... 162 6.2 Corrections to the Geometry ...... 163 6.2.1 The Zeroth Order Solution ...... 164 6.2.2 The First Order Solution ...... 164 6.2.3 Asymptotic Conditions and Conserved Quantities ...... 166 6.3 Mass, Charge, and Entropy from the geometry shift ...... 169 6.3.1 Mass, Charge, and Extremality ...... 169 6.3.2 Wald Entropy ...... 173 6.3.3 Explicit Results for the Entropy Shifts ...... 175 6.4 Thermodynamics from the On-Shell Euclidean Action ...... 176 6.4.1 Two-Derivative Thermodynamics ...... 179 6.4.2 Four-Derivative Corrections to Thermodynamics ...... 181 6.5 Constraints From Positivity of the Entropy Shift ...... 184
v 6.5.1 Thermodynamic Stability ...... 186 6.5.2 Constraints on the EFT Coefficients ...... 188 6.5.3 Flat Space Limit ...... 190 6.6 Holography and the Shear Viscosity to Entropy Ratio ...... 191 6.7 Weak Gravity Conjecture in AdS ...... 193
Appendices ...... 196
Bibliography ...... 238
vi LIST OF FIGURES
FIGURE
1.1 (Left): a representation of a Wilsonian UV complete quantum field theory as an RG flow from a UV CFT to an IR CFT. (Right): many models may flow to the same IR Gaussian fixed point defined by a collection of non-interacting massless degrees-of- freedom. The low-energy EFT of these massless modes captures universal aspects of this class of models...... 13
4.1 Some key-properties of BI amplitudes at tree-level, in particular the double-copy construction and 4d electromagnetic duality. The idea behind the T-duality constraint [1] is that when dimensionally reduced along one direction, a linear combination of the photon polarizations become a scalar modulus of the compactified direction,. i.e. it is the Goldstone mode of the spontaneously broken translational symmetry and as such it must have enhanced O(p2) soft behavior...... 93
5.1 (Left): an extremality curve that naively violates the WGC as it does not enclose the unit circle. (Right): the convex completion of the extremality curve does enclose the unit circle, hence the WGC is satisfied. For this to be possible the extremality surface must be somewhere locally non-convex, which is shown in Appendix J to be impossible in the perturbative regime...... 145 5.2 (Left): the corrections to the extremality curve are everywhere positive, hence the WGC is satisfied. (Right): the corrections to the extremality curve are not every- where positive; large extremal black holes cannot always decay to intermediate mass black holes, whether or not the WGC is satisfied cannot be decided in the low-energy EFT...... 149
6.1 Blue represents the regions of parameter space where each quantity is positive. .. 187 6.2 Blue regions are allowed after imposing that the entropy shift is positive. (Left): Allowed region after imposing that extremal black holes have positive entropy shift (Right): Allowed region after imposing that all stable black holes have positive en- tropy shift ...... 190 6.3 The blue regions are allowed in flat space and the orange in AdS– note that the AdS regions are a subset of those from flat space...... 191
K.1 Allowed regions for AdS5 EFT coefficients...... 229
vii K.2 Allowed regions for AdS6 EFT coefficients...... 231
K.3 Allowed regions for AdS7 EFT coefficients...... 232
viii LIST OF TABLES
TABLE
1.1 Summary of the models studied in Chapters 2, 3 and 4. The physical properties of the models which are manifest or guaranteed by construction in the on-shell approach used are indicated, as are the physical properties which are hidden or non-manifest and must be verified by a detailed calculation...... 9
σ 3.1 The table lists soft weights σ associated with the soft theorems An → O( ) as → 0 for several known cases. The soft limit is taken holomorphically in 4d spinor helicity, see Section 2.1 for a precise definition...... 41 3.2 Holomorphic soft weights σ for the N = 8 supermultiplet. Note that the soft weights in this table follow from taking the soft limit holomorphically, |ii → |ii for all states, inde- pendently of the sign of their helicity. At each step in the spectrum, the soft weight either changes by 1 or not at all. Note that one could also have used the anti-holomorphic definition |i] → |i] of taking the soft limit; in that case the soft weights would just have reversed, to start with σ = −3 for the negative helicity graviton, but no new constraints would have been obtained on the scalar soft weights. In N = 8 supergravity, the 70 scalars are Goldstone bosons of the coset E7(7)/SU(8) and hence σ = 1. Including higher-derivative corrections may change this behavior to σ = 0 depending on whether the added terms are compatible with the coset structure...... 65
4.1 Kinematic configuration of momenta and polarizations of BI6 defining mDBI4 and for YM6 defining (YM + mAdj)4...... 103
4.2 Kinematic configuration of momenta and polarizations of BI6 defining the 3d di- mensional reduction of mDBI4. The 3-direction will be T-dualized, mapping the polarization of the photon labeled n − 1 to a brane modulus...... 108
ix LIST OF APPENDICES
APPENDIX
A Manifestly Local Soft Subtracted Recursion ...... 196
B Explicit Expressions for Amplitudes ...... 198
C Recursion Relations and Ward Identities ...... 202
D Structure of Contact Terms ...... 205
E T-Duality Constraints on 8-point Amplitudes ...... 207
F Evaluating Rational Integrals ...... 211
G EFT Basis and On-Shell Matrix Elements ...... 217
H Corrections to Maxwell Equation ...... 223
I Variations of Four-Derivative Operators ...... 225
J Proof of Convexity of the Extremality Surface ...... 226
K Entropy Shifts from the On-Shell Action ...... 228
L Another Proof of the Entropy-Extremality Relation ...... 233
x ABSTRACT
Effective field theory methods are now widely used, in both formal and phenomenological con- texts, to efficiently study universal aspects of low-energy physics. In many cases, the computa- tional complexity associated with constructing appropriate Wilsonian effective actions and calcu- lating observables using the traditional Feynman diagram expansion, produces a barrier to what is practically calculable. In this thesis I use a variety of modern quantum field theory approaches, including on-shell methods, to efficiently calculate physical observables in EFTs in a variety of physical contexts. Results include: 1) A systematic analysis of soft theorems for photons and gravitons incorporating the effects of generic effective operators. Consistency with spacetime lo- cality is used to prove that the recently discovered subleading soft graviton theorem is universal in generic EFTs. 2) The development of the numerical soft bootstrap algorithm incorporating Gold- stone modes with spin and linearly realized supersymmetry. 3) The use of generalized unitarity methods to calculate two infinite classes of electromagnetic duality violating one-loop ampli- tudes in Born-Infeld electrodynamics. It is explicitly demonstrated that the duality violation can be removed by the addition of finite local counterterms, providing strong evidence that duality is unbroken by quantization. 4) The extension of the black hole Weak Gravity Conjecture to low-energy EFTs of quantum gravity with asymptotically flat boundary conditions and arbitrary numbers of U(1) gauge fields. Using on-shell methods we give a novel proof of a one-loop non-renormalization theorem in Einstein-Maxwell and use it to extend a recently given renormal- ization group argument for the WGC. 5) A systematic analysis of the leading higher-derivative corrections to the thermodynamic properties of charged black holes with asymptotically AdS boundary conditions in arbitrary dimensions. We generalize a recent conjecture for the positivity of the leading correction to the microcanonical entropy of thermodynamically stable black holes and demonstrate that this implies the positivity of c − a in a dual CFT.
xi CHAPTER 1
Introduction
1.1 On-Shell Methods and Feynman Diagrams
One of the most important and successful experimental avenues to investigate physics at sub- atomic scales is the study of particle scattering. Too small for real-time collection of experimental data, often the best we can do is prepare sub-atomic particles into a known initial state at some macroscopically early time, collide them together, and then measure the resulting final state at some macroscopically late time. What happens in between is not measured directly, but by re- peating the experiment over-and-over a coherent picture of interactions at sub-atomic scales may emerge. Since interactions at this scale are intrinsically quantum mechanical, formally the above collision process is described as the probabilistic transition between an initial quantum state |ii at time ti and a final quantum state hf| at time tf . The probability density assigned to any particular final state is given by the square of the absolute value of the transition amplitude
2 P(i → f) = |hf|U(tf , ti)|ii| , (1.1.1)
where U(tf , ti) is the unitary time-evolution operator. The difficulty of describing real-time dy- namics is overcome in practice by the approximation of macroscopically early/late times as the infinite past/future. The formal transition amplitude describing the scattering of such asymptotic states is the so-called S-matrix or scattering amplitude
A(i → f) ≡ hf|U(∞, −∞)|ii. (1.1.2)
Furthermore, due to the presence of massless elementary particles such as the photon, or the de- sire to describe scattering of particles with kinetic energies which are large compared to their rest mass, sub-atomic scattering is intrinsically relativistic. The dual requirements of quantum mechanics and special relativity have a unique synthesis in the framework of relativistic quantum
1 field theory. The task of the phenomenologically inclined theoretical high-energy physicist, in the context of collider physics experiments, is then twofold: first to explore and classify the rich landscape of models of quantum field theory, and second to use the knowledge of this landscape to engineer models and calculate observables that may then be compared with real-world experi- mental data. By more deeply exploring the landscape of models and adjusting their constructions to agree more closely with ever more precise experimental measurements, the project of describ- ing sub-atomic particles as a quantum field theory has grown into one of the most mature and quantitatively successful branches in all of science. One of the great triumphs of theoretical high-energy physics, that made this progress possible in the second half of the twentieth century, was the development of a systematic perturbative expan- sion for calculating physical observables in quantum field theory including scattering amplitudes. Key technical innovations during this period of activity included: the development of the Feyn- man diagrammatic expansion [2], the method of dimensional regularization, and the understand- ing of a self-consistent approach to perturbative renormalization of gauge theories [3]. In parallel with these developments was a growing capacity for the construction of elaborate models of el- ementary particle physics. By 1973 [4–6], the Standard Model of Particle Physics (a relatively complicated, spontaneously broken, non-Abelian, chiral gauge theory) could be consistently for- mulated in the language of Lagrangian quantum field theory. At least in the perturbative regime, physically observable scattering cross-sections and decay rates could in principle be calculated to arbitrary accuracy1. Over the following decades it became clear that various technical obstacles were preventing many such calculations from being carried out in practice. Such problems included an enormous prolif- eration of Feynman diagrams and inefficient algorithms for reducing high-rank tensor integrals. This theoretical deficiency had the potential for a serious disruption of future experimental high- energy physics programs2. The seriousness of the problem for the calculation of background processes for the coming experimental program at the Large Hadron Collider was recognized at the program “Les Houches Physics at TeV Colliders 2005”, with the informal development of a prioritized wish list of NLO (next-to-leading order) calculations for processes in perturbative QCD [9]. This focusing of attention and energies during the so-called NLO revolution, brought forward many new ideas and approaches to calculations in perturbative quantum field theory such as the use of spinor-helicity variables [10], on-shell recursion as a tool for calculating high- multiplicity tree-level parton amplitudes [11], supersymmetric decomposition of one-loop am-
1There is the well-known caveat to this statement, that the perturbative Dyson series is only asymptotic and will cease to give an improving approximation at some finite but very high order in the expansion, indicating the need to include non-perturbative effects [7]. At energy scales for which the gauge couplings are sufficiently small this happens at such a high order as to practically irrelevant. 2For a clear discussion of the problems associated with the relatively few completed NLO calculations circa 1996, a good reference is the introduction to the TASI lecture notes Calculating scattering amplitudes efficiently delivered by Lance Dixon [8].
2 plitudes in QCD [12], the widespread use of generalized unitarity methods for the construction of loop integrands [13], and the development of efficient numerical integrand reduction algo- rithms [14]. This phenomenological impetus, combined with purely formal developments at the same time, in particular the discovery by Witten [15], building on similar ideas of Nair [16], of a deep connection between perturbative gauge theory amplitudes and models of twistor-strings, and has developed into a vibrant and self-sustaining research subject of scattering amplitudes. A primary motivation of this type of research has been the search for more efficient approaches to traditionally difficult, or even intractable, calculations in perturbative quantum field theory. A priori there is no obvious reason to think that the traditional methods are particularly inefficient; it would seem reasonable to assume that calculations are difficult and complicated because nature is described by quantum field theories that are difficult and complicated. If this were the case, then only marginal improvements to efficiency would be possible and real progress can only come from automation and increasingly powerful computational resources. A strong clue that the traditional approaches are genuinely inefficient is given by the apparent discrepancy between the degree of complexity of the explicit symbolic expressions for tree-level scattering amplitudes in non-Abelian gauge theory as calculated using Feynman diagrams and the final expressions obtained after simplification. As an illustrative example consider the color-ordered 5-point gluon scattering amplitude as calculated using planar Feynman diagrams [17]
− + − + + − + − + + − + − + + N1[1 , 2 , 3 , 4 , 5 ] N2[1 , 2 , 3 , 4 , 5 ] A5 1 , 2 , 3 , 4 , 5 = + + C(1, 2, 3, 4, 5), s12s45 s12 (1.1.3) where +C(...) indicates a sum over the 4 additional cyclic permutations for a total of 10 terms, each corresponding to a single planar color-ordered Feynman diagram, and the Mandelstam in- 2 variants are defined as sij ≡ (pi + pj) . The numerators are local functions of the external momenta and polarization vectors, explicitly √ − + − + + − + − + + − N1[1 , 2 , 3 , 4 , 5 ] = 2 2 (1 · 2 )p1µ1 + (1 · p2)2µ1 − (2 · p1)1µ1