Maximal Unitarity at Two Loops David A. Kosower Institut de Physique Théorique, CEA–Saclay work with Kasper Larsen; & with Krzysztof Kajda & Janusz Gluza.

Slides:



Advertisements
Similar presentations
Bill Spence* Oxford April 2007
Advertisements

Maximal Unitarity at Two Loops David A. Kosower Institut de Physique Théorique, CEA–Saclay work with Kasper Larsen & Henrik Johansson; & with Krzysztof.
Summing planar diagrams
N =4 Supersymmetric Gauge Theory, Twistor Space, and Dualities David A. Kosower Saclay Lectures Fall Term 2004.
1 Top Production Processes at Hadron Colliders By Paul Mellor.
Today’s algorithm for computation of loop corrections Dim. reg. Graph generation QGRAF, GRACE, FeynArts Reduction of integrals IBP id., Tensor red. Evaluation.
Lattice Spinor Gravity Lattice Spinor Gravity. Quantum gravity Quantum field theory Quantum field theory Functional integral formulation Functional integral.
Maximal Unitarity at Two Loops David A. Kosower Institut de Physique Théorique, CEA–Saclay work with Kasper Larsen & Henrik Johansson; & work of Simon.
Introduction to On-Shell Methods in Quantum Field Theory David A. Kosower Institut de Physique Théorique, CEA–Saclay Orsay Summer School, Correlations.
Maximal Unitarity at Two Loops David A. Kosower Institut de Physique Théorique, CEA–Saclay work with Kasper Larsen & Henrik Johansson; & work of Simon.
Maximal Unitarity at Two Loops David A. Kosower Institut de Physique Théorique, CEA–Saclay work with Kasper Larsen & Henrik Johansson; & work of Simon.
Maximal Unitarity at Two Loops David A. Kosower Institut de Physique Théorique, CEA–Saclay work with Kasper Larsen & Henrik Johansson; & work of Simon.
On-Shell Methods in Field Theory David A. Kosower International School of Theoretical Physics, Parma, September 10-15, 2006 Lecture IV.
On-Shell Methods in Field Theory David A. Kosower International School of Theoretical Physics, Parma, September 10-15, 2006 Lecture II.
On-Shell Methods in Field Theory David A. Kosower International School of Theoretical Physics, Parma, September 10-15, 2006 Lecture V.
On-Shell Methods in Field Theory David A. Kosower International School of Theoretical Physics, Parma, September 10-15, 2006 Lecture III.
Structure of Amplitudes in Gravity I Lagrangian Formulation of Gravity, Tree amplitudes, Helicity Formalism, Amplitudes in Twistor Space, New techniques.
Antonio RagoUniversità di Milano Techniques for automated lattice Feynman diagram calculations 1 Antonio RagoUniversità di Milano Techniques for automated.
Structure of Amplitudes in Gravity II Unitarity cuts, Loops, Inherited properties from Trees, Symmetries Playing with Gravity - 24 th Nordic Meeting Gronningen.
Recurrence, Unitarity and Twistors including work with I. Bena, Z. Bern, V. Del Duca, D. Dunbar, L. Dixon, D. Forde, P. Mastrolia, R. Roiban.
Results in N=8 Supergravity Emil Bjerrum-Bohr HP 2 Zurich 9/9/06 Harald Ita Warren Perkins Dave Dunbar, Swansea University hep-th/0609??? Kasper Risager.
Beyond Feynman Diagrams Lecture 3 Lance Dixon Academic Training Lectures CERN April 24-26, 2013.
Masses For Gauge Bosons. A few basics on Lagrangians Euler-Lagrange equation then give you the equations of motion:
Queen Mary, University of London Nov. 9, 2011 Congkao Wen.
New Methods in Computational Quantum Field Theory David A. Kosower Institut de Physique Théorique, CEA–Saclay Higgs Symposium University of Edinburgh January.
On-Shell Methods in Gauge Theory David A. Kosower IPhT, CEA–Saclay Taiwan Summer Institute, Chi-Tou ( 溪頭 ) August 10–17, 2008 Lecture III.
SQG4 - Perturbative and Non-Perturbative Aspects of String Theory and Supergravity Marcel Grossmann -- Paris Niels Emil Jannik Bjerrum-Bohr Niels Bohr.
Computational Methods in Particle Physics: On-Shell Methods in Field Theory David A. Kosower University of Zurich, January 31–February 14, 2007 Lecture.
The Harmonic Oscillator of One-loop Calculations Peter Uwer SFB meeting, – , Karlsruhe Work done in collaboration with Simon Badger.
N =4 Supersymmetric Gauge Theory, Twistor Space, and Dualities David A. Kosower Saclay Lectures, III Fall Term 2004.
Twistors and Perturbative QCD Yosuke Imamura The Univ. of Tokyo String Theory and Quantum Field Theory Aug.19-23, 2005 at YITP tree-level Yang-Mills 1.
Recursive Approaches to QCD Matrix Elements including work with Z. Bern, S Bidder, E Bjerrum-Bohr, L. Dixon, H Ita, D Kosower W Perkins K. Risager RADCOR.
On-Shell Methods in Gauge Theory David A. Kosower IPhT, CEA–Saclay Taiwan Summer Institute, Chi-Tou ( 溪頭 ) August 10–17, 2008 Lecture II.
Benedikt Biedermann | Numerical evaluation of one-loop QCD amplitudes | DESY 2011 Numerical Evaluation of one-loop QCD Amplitudes Benedikt Biedermann Humboldt-Universität.
Bootstrapping One-loop QCD Scattering Amplitudes Lance Dixon, SLAC Fermilab Theory Seminar June 8, 2006 Z. Bern, LD, D. Kosower, hep-th/ , hep-ph/ ,
1 On-Shell Methods in Perturbative QCD ICHEP 2006 Zvi Bern, UCLA with Carola Berger, Lance Dixon, Darren Forde and David Kosower hep-ph/ hep-ph/
Computational Methods in Particle Physics: On-Shell Methods in Field Theory David A. Kosower University of Zurich, January 31–February 14, 2007 Lecture.
Darren Forde (SLAC & UCLA). NLO amplitudes using Feynman diagram techniques The limitations. “State of the art” results. New techniques required Unitarity.
Twistors and Gauge Theory DESY Theory Workshop September 30 September 30, 2005.
N =4 Supersymmetric Gauge Theory, Twistor Space, and Dualities David A. Kosower Saclay Lectures, II Fall Term 2004.
Unitarity and Amplitudes at Maximal Supersymmetry David A. Kosower with Z. Bern, J.J. Carrasco, M. Czakon, L. Dixon, D. Dunbar, H. Johansson, R. Roiban,
UV structure of N=8 Supergravity Emil Bjerrum-Bohr, IAS Windows on Quantum Gravity 18 th June 08, UCLA Harald Ita, UCLA Warren Perkins Dave Dunbar, Swansea.
Darren Forde (SLAC & UCLA) arXiv: (To appear this evening)
On-Shell Methods in Gauge Theory David A. Kosower IPhT, CEA–Saclay Taiwan Summer Institute, Chi-Tou ( 溪頭 ) August 10–17, 2008 Lecture I.
Matrix Models and Matrix Integrals A.Mironov Lebedev Physical Institute and ITEP.
Computational Methods in Particle Physics: On-Shell Methods in Field Theory David A. Kosower University of Zurich, January 31–February 14, 2007 Lecture.
Computational Methods in Particle Physics: On-Shell Methods in Field Theory David A. Kosower University of Zurich, January 31–February 14, 2007 Lecture.
Benedikt Biedermann | Numerical evaluation of one-loop QCD amplitudes | ACAT 2011 Numerical Evaluation of one-loop QCD Amplitudes Benedikt Biedermann Humboldt-Universität.
Computational Methods in Particle Physics: On-Shell Methods in Field Theory David A. Kosower University of Zurich, January 31–February 14, 2007 Lecture.
Loop Calculations of Amplitudes with Many Legs DESY DESY 2007 David Dunbar, Swansea University, Wales, UK.
From Twistors to Gauge-Theory Amplitudes WHEPP, Bhubaneswar, India January 7 January 7, 2006.
1 Renormalization Group Treatment of Non-renormalizable Interactions Dmitri Kazakov JINR / ITEP Questions: Can one treat non-renormalizable interactions.
Twistor Inspired techniques in Perturbative Gauge Theories-II including work with Z. Bern, S Bidder, E Bjerrum- Bohr, L. Dixon, H Ita, W Perkins K. Risager.
NLO Vector+Jets Predictions with B LACK H AT & SHERPA David A. Kosower Institut de Physique Théorique, CEA–Saclay on behalf of the B LACK H AT Collaboration.
On-Shell Methods in QCD: First Digits for BlackHat David A. Kosower Institut de Physique Théorique, CEA–Saclay on behalf of the BlackHat Collaboration.
V +Jets at Next-to-Leading Order with BlackHat David A. Kosower Institut de Physique Théorique, CEA–Saclay on behalf of the BlackHat Collaboration Carola.
On-Shell Methods in Quantum Field Theory David A. Kosower Institut de Physique Théorique, CEA–Saclay LHC PhenoNet Summer School Cracow, Poland September.
Maximal Unitarity at Two Loops David A. Kosower Institut de Physique Théorique, CEA–Saclay work with Kasper Larsen & Henrik Johansson; & work of Simon.
On-Shell Methods in Quantum Field Theory David A. Kosower Institut de Physique Théorique, CEA–Saclay LHC PhenoNet Summer School Cracow, Poland September.
June 19, 2007 Manchester1 High-Energy Electroweak Physics Parallel Session Zoltan Kunszt, ETH, Zurich Unitarity Cuts and Reduction of Master Integrals.
Darren Forde (SLAC & UCLA) arXiv: [hep-ph], hep-ph/ , hep-ph/ In collaboration with Carola Berger, Zvi Bern, Lance Dixon & David.
Amplitudes from Scattering Equations and Q-cuts
Trees in N=8 SUGRA and Loops in N=4 SYM
Complete QCD Amplitudes: Part II of QCD On-Shell Recursion Relations
Unitarity Methods in Quantum Field Theory
On-Shell Meets Observation or, the Rubber Meets the Road
Modern Methods for Loop Calculations of Amplitudes with Many Legs
Analytic Results for Two-Loop Yang-Mills
Adnan Bashir, UMSNH, Mexico
Computation of Multi-Jet QCD Amplitudes at NLO
Presentation transcript:

Maximal Unitarity at Two Loops David A. Kosower Institut de Physique Théorique, CEA–Saclay work with Kasper Larsen; & with Krzysztof Kajda & Janusz Gluza & Amplitudes 2011 University of Michigan, Ann Arbor November 12, 2011

Amplitudes in Gauge Theories Explicit calculations in N =4 SUSY have lead to a lot of progress in discovering new symmetries (dual conformal symmetry) and new structures not manifest in the Lagrangian or on general grounds Basic building block for physics predictions in QCD NLO calculations give the first quantitative predictions for LHC physics, and are essential to controlling backgrounds: require one-loop amplitudes For some processes (gg  W + W −, gg  ZZ) two-loop amplitudes are needed For NNLO & precision physics, we also need to go beyond one loop

On-Shell Methods Use only information from physical states Use properties of amplitudes as calculational tools – Factorization → on-shell recursion ( Britto, Cachazo, Feng, Witten,… ) – Unitarity → unitarity method ( Bern, Dixon, Dunbar, DAK,… ) – Underlying field theory → integral basis Formalism Known integral basis: Unitarity On-shell Recursion; D-dimensional unitarity via ∫ mass

Knowledge of Integrals Master Integrals for Feynman-diagram based calculations – Not essential in principle – Don’t have to be algebraically independent – Required only to streamline calculations Process-dependent basis integrals – Needed for ‘minimal generalized unitarity’ calculations (just enough cuts to break apart process into trees) – Can be deduced as part of the unitarity calculation, on a process-by- process basis All-multiplicity results & Numerical applications of unitarity – Require a priori knowledge of algebraically independent integral basis

Higher Loops Two kinds of integral bases – To all orders in ε (“D-dimensional basis”) – Ignoring terms of O ( ε ) (“Regulated four-dimensional basis”) – Loop momenta D-dimensional – External momenta, polarization vectors, and spinors are strictly four-dimensional Basis is finite – Abstract proof by A. Smirnov and Petuchov (2010)

Planar Two-Loop Integrals Massless internal lines; massless or massive external lines

Tools & Methods Tensor reduction  D-dimensional basis Brown and Feynman (1952); Passarino and Veltman (1979) Integration by parts (IBP)  D-dimensional basis Tkachov and Chetyrkin (1981); Laporta (2001); Anastasiou and Lazopoulos (2004); A. Smirnov (2008) Gram determinants vanish when p i or q i are linearly dependent  D- & four-dimensional basis

Planar Two-Loop Integrals Part A: Reduce to a finite basis Step 1. Tensor reduction: consider P n 1,n 2 [ℓ 1 ∙ v 1 ℓ 1 ∙ v 2 … ℓ 1 ∙ v n ] ( n 1 ≥4); re-express v 1 in terms of first four momenta (on ℓ 1 loop); reduce as at one loop Step 2. Reduce scalar integrals with ( n 1 >4) as at one loop, using Basis contains integrals with scalar numerators, reducible or irreducible numerators — new feature at two loops, ( example: ℓ 1 ∙ k 4 in double box )  Explicit finite basis

Part B: Reduce to independent basis Step 3. Tensor reductions: remove reducible numerators as at one loop Step 4. Use integration by parts to arrive at a set of master integrals: generically, (ℓ 1 ∙ k 4 ) 2 is reducible by IBP even when ℓ 1 ∙ k 4 isn’t This is the D -dimensional basis As at one loop, Gram determinant identities give additional equations to O ( ε ), and thence the regulated four-dimensional basis

Honing Our Tools Standard IBP  lots of unwanted integrals, huge systems of equations Doubled propagators Can we avoid them? First idea: choose v such that But this is too constraining Sufficient to require for all propagators simultaneously (σ = 0,1; u j arbitrary polynomial in the symbols with ratios of external invariants treated as parameters)

Solving for IBP-Generating Vectors Write a general form for the vectors v 1,2 c i are f(independent invariants) Organize equations Use Grobner bases to solve these Buchberger (1965) “textbook” material, for appropriate choice of textbook columns correspond to propagators rows correspond to coeffs

Double box example

Examples Massless, one-mass, diagonal two-mass, long-side two-mass double boxes : two integrals Short-side two-mass, three-mass double boxes: three integrals Four-mass double box: four integrals Massless pentabox : three integrals All integrals with n 2 ≤ n 1 ≤ 4, that is with up to 11 propagators  This is the D -dimensional basis

O ( ε ) Gram dets give no new equations for double boxes Reduce three integrals for the pentabox to one Reduce all double pentagons to simpler integrals Eliminate all integrals beyond the pentabox, that is all integrals with more than eight propagators  Regulated four-dimensional basis, dropping terms which are ultimately of O ( ε ) in amplitudes

Unitarity-Based Calculations Bern, Dixon, Dunbar, & DAK, ph/ , ph/ Replace two propagators by on-shell delta functions  Sum of integrals with coefficients; separate them by algebra

Isolate a single integral D = 4  loop momentum has four components Cut four specified propagators (quadruple cut) would isolate a single box Britto, Cachazo & Feng (2004)

Quadruple Cuts Work in D=4 for the algebra Four degrees of freedom & four delta functions … but are there any solutions?

A Subtlety The delta functions instruct us to solve 1 quadratic, 3 linear equations  2 solutions If k 1 and k 4 are massless, we can write down the solutions explicitly solves eqs 1,2,4; Impose 3 rd to find or

Solutions are complex The delta functions would actually give zero! Need to reinterpret delta functions as contour integrals around a global pole Reinterpret cutting as contour deformation

Two Problems We don’t know how to choose the contour Deforming the contour can break equations: is no longer true if we deform the real contour to circle one of the poles Remarkably, these two problems cancel each other out

Require vanishing Feynman integrals to continue vanishing on cuts General contour  a 1 = a 2

Box Coefficient Go back to master equation Deform to quadruple-cut contour C on both sides Solve: No algebraic reductions needed: suitable for pure numerics Britto, Cachazo & Feng (2004) A B DC

Massless Planar Double Box [Generalization of OPP: Ossola & Mastrolia (2011)] Here, generalize work of Britto, Cachazo & Feng, and Forde Take a heptacut — freeze seven of eight degrees of freedom One remaining integration variable z Six solutions, for example

Need to choose contour for z within each solution Jacobian from other degrees of freedom has poles in z: overall, 14 solutions aka global poles Note that the Jacobian from contour integration is 1/J, not 1/|J|

Two basis or ‘master’ integrals: I 4 [1] and I 4 [ ℓ 1 ∙ k 4 ] Want their coefficients

Picking Contours A priori, we can deform the integration contour to any linear combination of the 14; which one should we pick? Need to enforce vanishing of all total derivatives: – 5 insertions of ε tensors  4 independent constraints – 20 insertions of IBP equations  2 additional independent constraints Seek two independent “projectors”, giving formulæ for the coefficients of each master integral – In each projector, require that other basis integral vanish

Master formulæ for basis integrals To O ( ε 0 ); higher order terms require going beyond four- dimensional cuts

Contours

More explicit form

Summary First steps towards a numerical unitarity formalism at two loops Knowledge of an independent integral basis Criterion for constructing explicit formulæ for coefficients of basis integrals Four-point example