introduction to on-shell methods in quantum field theory
DESCRIPTION
Introduction to On-Shell Methods in Quantum Field Theory. David A. Kosower Institut de Physique Th é orique , CEA– Saclay Orsay Summer School, Correlations Between Partons in Nucleons Orsay , France July 2 , 2014. Tools for Computing Amplitudes. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/1.jpg)
Introduction toOn-Shell Methods
in Quantum Field Theory
David A. KosowerInstitut de Physique Théorique, CEA–Saclay
Orsay Summer School, Correlations Between Partons in Nucleons
Orsay, FranceJuly 2, 2014
![Page 2: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/2.jpg)
Tools for Computing Amplitudes
• New tools for computing in gauge theories — the core of the Standard Model
• Motivations and connections– Particle physics: SU(3) SU(2) U(1)– N = 4 supersymmetric gauge theories and
strong coupling (AdS/CFT)– Witten’s twistor string– Grassmanians– N = 8 supergravity
![Page 3: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/3.jpg)
Amplitudes• Scattering matrix elements: basic quantities in field
theory• Basic building blocks for computing scattering cross
sections
• Using crossing
• Primary interest: in gauge theories; can derive all other physical quantities (e.g. anomalous dimensions) from them
• In gravity, they are the only physical observables
MHV
![Page 4: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/4.jpg)
Traditional Approach• Feynman Diagrams
– Widely used for over 60 years– Heuristic pictures– Introduces idea of virtual or unphysical intermediate states– Precise rules for calculating amplitudes– Classic successes: electron g-2 to 1 part in 1010;
discovery of asymptotic freedom
• How it works– Pick a process– Grab a graduate student– Lock him or her in a room– Provide a copy of the relevant Feynman rules, or at least of
Peskin & Schroeder’s Quantum Field Theory book– Supply caffeine, a modicum of nourishment, and occasional
instructions– Provide a computer, a copy of Mathematica, a copy of FORM & a
C++ compiler
![Page 5: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/5.jpg)
A Difficulty• Huge number of diagrams in calculations of
interest — factorial growth with number of legs or loops
• 2 → 6 jets: 34300 tree diagrams, ~ 2.5 ∙ 107 terms
~2.9 ∙ 106 1-loop diagrams, ~ 1.9 ∙ 1010 terms
![Page 6: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/6.jpg)
• In gravity, it’s even worse
![Page 7: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/7.jpg)
Results Are Simple!• Parke–Taylor formula for AMHV
Parke & Taylor; Mangano, Parke, & Xu
![Page 8: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/8.jpg)
Even Simpler in N=4 Supersymmetric Theory
• Nair–Parke–Taylor formula for MHV-class amplitudes
![Page 9: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/9.jpg)
Answers Are Simple At Loop Level Too
One-loop in N = 4:
• All-n QCD amplitudes for MHV configuration on a few Phys Rev D pages
![Page 10: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/10.jpg)
On-Shell Methods• All physical quantities computed
– From basic interaction amplitude: – Using only information from physical on-shell states– Avoid size explosion of intermediate terms due to unphysical
states– Without need for a Lagrangian
• Properties of amplitudes become tools for calculating– Kinematics
Spinor variables
– Underlying field theory Integral basis
– Factorization On-shell recursion relations (BCFW) for tree-level amplitudes Control infrared divergences in real-emission contributions to
higher-order calculations
– Unitarity Unitarity and generalized unitarity for loop calculations
![Page 11: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/11.jpg)
We can now calculate large classes of amplitudes in gauge theories
Sometimes to infinite numbers of legs
A wealth of data for further study
A foundation for a new subfield
String Theory
Gauge Theory
Integrability
Amplitudes
![Page 12: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/12.jpg)
Spinor Variables
From Lorentz vectors to bi-spinors
2×2 complex matrices with det = 1
![Page 13: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/13.jpg)
Spinor Products
Spinor variables
Introduce spinor products
Explicit representation
where
![Page 14: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/14.jpg)
Properties of the Spinor Product
• Antisymmetry
• Gordon identity
• Charge conjugation
• Fierz identity
• Projector representation
• Schouten identity
![Page 15: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/15.jpg)
Spinor Helicity
Gauge bosons also have only ± physical polarizationsElegant — and covariant — generalization of circular
polarization
‘Chinese Magic’Xu, Zhang, Chang (1984)
reference momentum q
Transverse
Normalized
![Page 16: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/16.jpg)
Color Decomposition
With spinors in hand, we can write a color decomposition formula
![Page 17: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/17.jpg)
Integral Basis• At one loop
– Tensor reductions Brown–Feynman, Passarino–Veltman– Gram determinant identities– Boxes, triangles, bubbles, tadpoles
• At higher loops– Tensor reductions & Gram determinant identities– Irreducible numerators: Integration by parts Chetyrkin–
Tkachov– Laporta algorithm– AIR (Anastasiou,Lazopoulos), FIRE (Smirnov,Smirnov), Reduze
(Manteuffel, Studerus), LiteRed (Lee)– `Four-dimensional basis’: integrals with up to 4 L propagators
![Page 18: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/18.jpg)
BCFW On-Shell Recursion Relations
• Define a shift of spinors by a complex parameter z
• which induces a shift of the external momenta
and defines a z-dependent continuation of the amplitude A(z)
• Assume that as
Britto, Cachazo, Feng, Witten (2005)
![Page 19: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/19.jpg)
• Momenta are still on shell
• Momentum is still conserved
![Page 20: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/20.jpg)
A Contour Integral
Consider the contour integral
Determine A(0) in terms of other residues
![Page 21: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/21.jpg)
Using Factorization
Other poles in z come from zeros of z-shifted propagator denominators
Splits diagram into two parts with z-dependent momentum flow
![Page 22: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/22.jpg)
Exactly factorization limit of z-dependent amplitudepoles from zeros of
That is, a pole at
Residue
Notation
![Page 23: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/23.jpg)
On-Shell Recursion Relation
=
![Page 24: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/24.jpg)
• Partition P: two or more cyclicly-consecutive momenta containing j, such that complementary set contains l,
• The recursion relations are then
P
On shell
![Page 25: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/25.jpg)
Unitarity
• Basic property of any quantum field theory: conservation of probability. In terms of the scattering matrix,
In terms of the transfer matrix we get,
or
with the Feynman i
![Page 26: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/26.jpg)
Diagrammatically, cut into two parts using Cutkosky rule
Gedanken calculation
Some diagrams are missing one or both propagators surrounding K2:
® no contributionAlso fate of “off-shell” terms
![Page 27: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/27.jpg)
![Page 28: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/28.jpg)
Basic Unitarity
• Can reverse this approach to reconstruct amplitude from its discontinuities
• Look at all channels
• At one loop, each discontinuity comes from putting two propagators on shell, that is looking for all contributions with two specified propagators
![Page 29: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/29.jpg)
Unitarity Method
Formalism
Known integral basis:
Unitarity in D = 4 On-shell Recursion; D-dimensional unitarity via ∫ mass
Rational function of spinors
![Page 30: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/30.jpg)
Generalized Unitarity• Unitarity picks out contributions with two specified
propagators• Can we pick out contributions with more than two
specified propagators?• Yes — cut more lines
• Isolates smaller set of integrals: only integrals with propagators corresponding to cuts will show up
• Triple cut — no bubbles, one triangle, smaller set of boxes
![Page 31: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/31.jpg)
• Can we isolate a single integral?
• D = 4 loop momentum has fourcomponents
• Cut four specified propagators(quadruple cut) would isolate a single box
![Page 32: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/32.jpg)
Quadruple Cuts
Work in D=4 for the algebra
Four degrees of freedom & four delta functions
… but are there any solutions?
![Page 33: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/33.jpg)
A Subtlety
The delta functions instruct us to solve
1 quadratic, 3 linear equations 2 solutionsIf k1 and k4 are massless, we can write down the solutions explicitly
solves eqs 1,2,4;
Impose 3rd to find
or
![Page 34: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/34.jpg)
• Solutions are complex• The delta functions would actually give zero!Need to reinterpret delta functions as contour integrals around a global pole [other contexts: Vergu; Roiban, Spradlin,
Volovich; Mason & Skinner]Reinterpret cutting as contour modification
![Page 35: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/35.jpg)
• Global poles: simultaneous on-shell solutions of all propagators & perhaps additional equations
• Multivariate complex contour integration: in general, contours are tori
• For one-loop box, contours are T4 encircling global poles
![Page 36: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/36.jpg)
Two Problems
• Too many contours (2) for one integral: how should we choose the contour we use?
• Changing the contour can break equations:
is no longer true if we modify the real contour to circle only one of the poles
Remarkably, these two problems cancel each other out
![Page 37: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/37.jpg)
• Require vanishing Feynman integrals to continue vanishing on cuts
• General contour
![Page 38: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/38.jpg)
Box Coefficient
Go back to master equation
Apply quadruple cuts to both sides
Solve:
Britto, Cachazo, Feng
No algebraic reductions needed: suitable for pure numerics
A B
D C
![Page 39: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/39.jpg)
• Take a heptacut — freeze seven of eight degrees of freedom
• One remaining integration variable z • Six solutions,
for example S2:
• Performing the contour integrals enforcing the heptacut Jacobian
• Localizes z global pole need contour for z within Si
Planar Double Box
![Page 40: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/40.jpg)
• But: Solutions intersect at
6 poles 6 other poles are
redundant by Cauchy theorem (∑ residues = 0)
• Overall, we are left with 8 global poles (massive legs: none; 1; 1 & 3; 1 & 4)
• Connections to algebraic geometry
![Page 41: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/41.jpg)
• Two master integrals• 4 ε constraint equations• 2 IBP constraint equationsÞ Two master contours – one for each integral
![Page 42: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/42.jpg)
• Master formulæ for coefficients of basis integrals to O (ε0)
where P1,2 are linear combinations of T8s around global poles
More explicitly,
![Page 43: Introduction to On-Shell Methods in Quantum Field Theory](https://reader035.vdocument.in/reader035/viewer/2022062321/56813ad2550346895da30194/html5/thumbnails/43.jpg)
Summary
• Natural variables for kinematics: spinors• Factorization can be exploited to obtain on-shell
recursion relations• Unitarity can be generalized to analytic
structure, and exploited to compute loop amplitudes
Beyond the basics:• Differential equation and symbol techniques for
higher-loop integrals