Scattering Amplitudes LECTURE 1
Jaroslav Trnka Walter Burke Institute for Theoretical Physics, Caltech Center for Quantum Mathematics and Physics (QMAP), UC Davis
Asian winter school, Okinawa, January 2016 The first instance of this phenomenon is extremely simple and trivial. Consider an analog of the “factorization channel” diagram (2.22), but connecting two black vertices. Because these vertices require that all the ’s be parallel, it makes no physical di↵erence how they are connected. And so, on-shell diagrams related by, e
(2.28)
represent the same on-shell form. Thus, we can collapse and re-expand any chain of connected black vertices in anyway we like; the same is obviously true for white vertices. Because of this, for some purposes it may be useful to define composite black and white vertices with any number of legs. By grouping black and white vertices together in this way, on-shell diagrams can always be made bipartite—with (internal) edges only connecting white with black vertices. We will, however, preferentially draw trivalent diagrams because of the fundamental role played by the three-particle amplitudes. There is also a more interesting equivalence between on-shell diagrams that will play an important role in our story. We can see this already in the BCFW represen- tation of the four-particle amplitude given above, (2.20). The picture is obviously not cyclically invariant—as a rotation would exchange its black and white vertices. But the four-particle amplitude of course is cyclically invariant; and so there is another generator of equivalences among on-shell diagrams, the “square move”, [80]:
(2.29)
The merger and square moves can be used to show the physical equivalence of many seemingly di↵erentScattering on-shell diagrams. For amplitudes instance, the following two diagrams generate physically equivalent on-shell forms: 2
1 3 6 (2.30)
7 5
4
–16– Overview of lectures
✤ Review of scattering amplitudes Motivation On-shell amplitudes, kinematics Recursion relations, unitarity methods
✤ Geometric formulation Toy model: N=4 Super Yang Mills theory On-shell diagrams Amplituhedron Motivation Quantum Field Theory (QFT)
✤ Our theoretical framework to describe Nature
✤ Compatible with two principles
Special relativity Quantum mechanics Perturbative QFT (Dirac, Heisenberg, Pauli; Feynman, Dyson, Schwinger)
✤ Fields, Lagrangian, Path integral
iS(A, , ,J) = 1 F F µ⌫ + i D m A e 4 µ⌫ D D D L 6 Z ✤ Feynman diagrams: pictures of particle interactions Perturbative expansion: trees, loops Great success of QFT
✤ QFT has passed countless tests in last 70 years
✤ Example: Magnetic dipole moment of electron
Theory: ge =2 1928 Experiment: ge 2 ⇠ Great success of QFT
✤ QFT has passed countless tests in last 70 years
✤ Example: Magnetic dipole moment of electron
Theory: ge =2.00232 1947 Experiment: ge =2.0023 Great success of QFT
✤ QFT has passed countless tests in last 70 years
✤ Example: Magnetic dipole moment of electron
1957 Theory: ge =2.0023193
1972 Experiment: ge =2.00231931 Great success of QFT
✤ QFT has passed countless tests in last 70 years
✤ Example: Magnetic dipole moment of electron
Theory: ge =2.0023193044 1990 Experiment: ge =2.00231930438 Dualities
✤ At strong coupling: perturbative expansion breaks
✤ Surprises: dual to weakly coupled theory Gauge-gauge dualities (Montonen-Olive 1977, Seiberg-Witten 1994)
Gauge-gravity duality (Maldacena 1997) Incomplete picture
✤ Our picture of QFT is incomplete
✤ Also, tension with gravity and cosmology
If there is a new way of thinking about QFT, it must be seen even at weak coupling
✤ Explicit evidence: scattering amplitudes Colliders at high energies
✤ Proton scattering at high energies
LHC - gluonic factory
✤ Needed: amplitudes of gluons for higher multiplicities
gg gg . . . g ! Early 80s
✤ Status of the art: gg ggg !
Brute force calculation 24 pages of result
(k k )(✏ k )(✏ ✏ )(✏ ✏ ) 1 · 4 2 · 1 1 · 3 4 · 5 New collider
✤ 1983: Superconducting Super Collider approved
✤ Energy 40 TeV: many gluons!
✤ Demand for calculations, next on the list: gg gggg ! Parke-Taylor formula (Parke, Taylor 1985)
✤ Process gg gggg ! ✤ 220 Feynman diagrams, 100 pages of calculations ⇠ ✤ 1985: Paper with 14 pages of result
Parke-Taylor formula
✤ Process gg gggg ! ✤ 220 Feynman diagrams, 100 pages of calculations ⇠
Parke-Taylor formula
Parke-Taylor formula
✤ Within a year they realized Spinor-helicity variables 3 µ µ ˜ 12 p = aa˙ a a˙ 6 = h i (1) (2) 23 34 45 56 61 12 = ✏ a M h ih ih ih ih i h i ab b [12] = ✏ ˜(1) ˜(2) a˙ b˙ a˙ b˙ (Mangano, Parke, Xu 1987) Parke-Taylor formula
m Fermi National Accelerator Laboratory
FERMILAB-Pub-86/42-T March, 1986
✤ Within a year they realized AN AMPLITUDE FOR n GLUON SCATTERING
12 3 = h i Mn 23 34 45 ... n1 h ih ih i h i STEPHEN 3. PARKE and T. R. TAYLOR Fermi National Accelerator Laboratory P.O. Box 500, Batavia, IL 60510.
Abstract
A non-trivial, squared helicity amplitude is given for the scattering of an arbitrary number of gluons to lowest order in the coupling constant and to leading order in the number of colors.
*rated by Unlversitles Research Association Inc. under contract with the United States Department 01 Energy Birth of amplitudes
✤ New field in theoretical particle physics
New methods and Uncovering new effective calculations structures in QFT
“Road map”
Explicit New structure New method calculation discovered which exploits it What are scattering amplitudes Scattering process
✤ Interaction of elementary particles
✤ Initial state i and final state f | i | i
✤ Scattering amplitude if = i f M h | i
+ + + ✤ Example: e e e e or e e etc. ! ! 2 ✤ Cross section: = d ⌦ probability |M| Z Scattering amplitude in QFT
✤ Scattering amplitude depends on types of particles and their momenta = F (p ,s ) Mif i i ✤ Theoretical framework: calculated in some QFT
✤ Specified by Lagrangian: interactions and couplings = ( ,g ) L L Oj k ✤ Example: QED = e Aµ Lint µ Perturbation theory
✤ Weakly coupled theory = + g + g2 + g3 + ... M M0 M1 M2 M3 ✤ Representation in terms of Feynman diagrams
✤ Perturbative expansion = loop expansion tree 1 loop 2 loop = + + + ... M M M M Divergencies
✤ Loop diagrams are generally UV divergent 4 1 d ` log ⇤ ⇠ (`2 + m2)[(` + p)2 + m2] ⇠ Z 1
✤ IR divergencies: physical effects, cancel in cross section
✤ Dimensional regularization: calculate integrals in 4+✏ 1 dimensions Divergencies ⇠ ✏k Renormalizable theories
✤ Absorb UV divergencies: counter terms Finite number of them: renormalizable theory Infinite number: non-renormalizable theory ✤ Mostly only renormalizable theories are interesting
✤ Exceptions: effective field theories Example: Chiral perturbation theory - derivative expansion = + + + + ... L L2 L4 L6 L8 Different loop orders are mixed Analytic structure of amplitudes
✤ Tree-level: rational functions
g2 2 Only poles ⇠ (p1 + p2)
✤ Loops: polylogarithms and more complicated
log2(s/t) Branch cuts ⇠ Kinematics of massless particles Massless particles
✤ Parameters of elementary particles of spin S Spin s =( S, S) On-shell (physical) particle Mass m p2 = m2 Momentum pµ ✤ Massless particle: m =0 p 2 =0 spin = helicity: only two extreme values h = S, S { } Example: photon h =(+, ) s =0 missing Spin functions
✤ At high energies particles are massless Fundamental laws reveal there ✤ Spin degrees of freedom: spin function s=0: Scalar - no degrees of freedom s=1/2: Fermion - spinor u s=1: Vector - polarization vector ✏µ s=2: Tensor - polarization tensor hµ⌫ Spin functions
✤ At high energies particles are massless Fundamental laws reveal there ✤ Spin degrees of freedom: spin function s=0: Scalar - no degrees of freedom s=1/2: Fermion - spinor u s=1: Vector - polarization vector ✏µ s=2: Tensor - polarization tensor hµ⌫ Polarization vectors
✤ Spin 1 particle is described by vector ✏µ
2 degrees of freedom 4 degrees of freedom
✤ Null condition: ✏ ✏ ⇤ =0 3 degrees of freedom left ·
✤ We further impose: ✏ p =0 Identification · ✏ ✏ + ↵p Feynman diagrams depend on ↵ µ ⇠ µ µ gauge dependence Spinor helicity variables
✤ Standard SO(3,1) notation for momentum µ p =(p0,p1,p2,p3) pj R 2 ✤ We use SL(2,C) representation p + ip p + p p = µ p = 0 1 2 3 ab ab µ p p p ip ✓ 2 3 0 1 ◆ 2 On-shell: p =det(pab)=0
Rank (pab)=1 Spinor helicity variables
✤ We can then write pab = ab
✤ SL(2,C): dotted notation pab˙ = a b˙