FACTORIZATION SIMPLIFIED Loopfest XIII June 19, 2014 Matthew - - PowerPoint PPT Presentation

factorization simplified
SMART_READER_LITE
LIVE PREVIEW

FACTORIZATION SIMPLIFIED Loopfest XIII June 19, 2014 Matthew - - PowerPoint PPT Presentation

June 19, 2014 Matthew Schwartz FACTORIZATION SIMPLIFIED Loopfest XIII June 19, 2014 Matthew Schwartz Harvard University Based on arXiv:1306.6341 with Ilya Feige and arXiv:1403.6472 with Ilya Feige June 19, 2014 Matthew Schwartz Main


slide-1
SLIDE 1

FACTORIZATION SIMPLIFIED

Loopfest XIII June 19, 2014

June 19, 2014 Matthew Schwartz

Matthew Schwartz Harvard University

Based on arXiv:1306.6341 with Ilya Feige and arXiv:1403.6472 with Ilya Feige
slide-2
SLIDE 2

Main result:

June 19, 2014 Matthew Schwartz

M{±} ⇠ = X

I

CI,{±}(Sij) ⇥ · · · hXi| ¯ ψiWi |0i±hi tr h0| Y †

i Wi |0i

· · · hXj| AµWj |0i±aj tr h0| Y†

j Wj |0i

· · · hXk| W †

kψk |0i±hk

tr h0| W †

kYk |0i

· · · ⇥ hXs| · · · (Y †

i T i I)hili · · · (Y† j T j I)lj−1ajlj+1 · · · (T k I Yk)lkhk · · · |0i

hX| O |0i ⇠ = C(Sij) hX1| ?W1 |0i h0| Y †

1 W1 |0i

· · · hXN| W †

N |0i

h0| W †

NYN |0i

hXs| Y †

1 · · · YN |0i

QCD:

C(S C(S

  • Two different amplitudes in QCD are equal at leading power in
  • We prove this rigorously to all orders in perturbation theory

pi · pj Q2

slide-3
SLIDE 3

Perturbative QCD

  • Why is perturbative QCD useful at all?
June 19, 2014 Matthew Schwartz

Asymptotic freedom

  • αs is small at high energy
  • Perturbation theory works

β = µ d dµαs < 0

Determined by UV properties of QCD Factorization dσ =[PDFs] x [hard process] x [soft/collinear radiation] x [hadronization] Universal Perturbative (Re)summable Small Determined by IR properties of QCD

slide-4
SLIDE 4
  • 1. Non-perturbative effects
  • To show factorization up to or
  • No access to non-perturbative scales in perturbation theory
  • 2. Perturbative effects
  • 3. Hard even to formulate theorem

Why is proving factorization so hard?

June 19, 2014 Matthew Schwartz
  • Infrared singularities (pinch surfaces) complicated
  • Gauge dependence subtle
  • Off-shell modes (Glauber gluons)
mP Q ΛQCD Q
  • Precisely what is supposed to hold?
  • Gauge-invariant and regulator-independent formulation?
slide-5
SLIDE 5

Historically, four approaches

June 19, 2014 Matthew Schwartz
  • 1. OPE approach
  • 2. Pinch surface approach
  • 3. Amplitude approach
  • 4. Effective field theory

approach

slide-6
SLIDE 6

Approach 1: Operator Products

June 19, 2014 Matthew Schwartz P k q ↓ k′

ge Q . In mom Since ω = 2P ·q

Q2

(i.e.

Deep inelastic scattering

Photon momentum
  • Use OPE around ω=0 to expand at large Q2
  • Physical region has ω>1
ω Re(ω) Im(ω) −1 1 The hadronic tensor µν is determined by re

analytic analytic analytic analytic

  • OPE is possible because we can analytically continue
  • We know analytic structure because
  • 1. Inclusive over final states
  • 2. Analytic structure of two-point function known exactly
  • Analytic structure for more complicated processes not known exactly

{Jµ(x)Jν(0)}|

slide-7
SLIDE 7

J . C . C

  • l

l i n s , D . E . S

  • p

e r / B a c k

  • t
  • b

a c k j e t s

407 shown in fig. 4.1. A typical diagram contributing to fig. 4.1 is the one shown in fig. 5.7, where now we imagine that the gluon with momentum q" is coupled to the initial quark with a square vertex of fig. 4.2. Each such graph can be decomposed according to the garden formula (5.18). It is useful to rewrite eq. (5.18) by grouping together all gardens that have the same largest tulip. Thus G = GR q-~, S(T) { 1 +

T

Y

i n e q u i v a l e n t g a r d e n s Tn=T;N>I

(-1) N iS(T1)''" S(Tn-1)]G.

(6.1) Consider now a particular term in the sum over largest tulips T. The tulip T can be considered to be a Feynman graph in its own right, and we can define a subtracted version of T by TR = T+

  • (-1)N-IS(T1) "' •

S ( T n

  • 1

) T .

(6.2)

i n e q u i v a l e n t g a r d e n s T,,=T;N>I

Let us denote by t~ the graph that is left over from the complete graph G if its subgraph T and all of the gluons leaving T are erased. The T term of eq. (6.1) is a particular insertion of TR into (~ in the soft approximation. We now sum over all "soft" insertions of Ta into G. From the discussion of subsect. 5.3 it is evident /"

I

k

m

J

  • Fig. 6.1. The fate of fig. 5.7. After making the soft approximation on the gluons leaving each tulip in
  • fig. 5.7 and summing over attachments of the four gluons leaving the larger tulip, one obtains this

diagram, as well as several others.

Approach 2: Pinch surfaces

June 19, 2014 Matthew Schwartz .L
  • C. Collins, D.E. Soper
/ Back-to-back jets 401
  • Fig. 5.6. Eikonal rotation matrix next to a collinear three-gluon vertex. The "'soft" q~' and q~' are
neglected in the expression for the vertex. (The 8 here signifies that the octet SU(3) representation matrices appear on the eikonal line.) Thus we can adopt the convention that k"+q~+q~ is replaced by k" at the three-gluon vertex in the "soft" approximation. In coordinate space with the vertex at x ", this amounts to saying that the O/Ox" at the vertex does not differentiate the eikonal rotation matrix U(x ; A) that appears at the end of the collinear gluon line. 5.5. A BOTANICAL CONSTRUCTION Consider a cut Feynman diagram G contributing to (OldJ(k')a+(P)a(P)× T{A(q)d~(k)}[O), as illustrated in fig. 5.7. When the gluon A(q) is coupled to the 21 I 2 k I ~ ~ ~ k ~ I x ./ q I
  • Fig. 5.7. A two-tulip garden.
404 J.C. Collins, D.E. Soper / Back-to-back jets S

\ A_.~" ,¢~.;_B

A A d
  • Fig. 5.10. Adding tulip B to the garden produces a cancellation.
the finger of TA enters S. There the boundary of TB follows the boundary of S. Of course it is supposed that the finger of which we have been speaking has no subfingers interior to it; if it does, we apply the argument to the smallest subfinger. If the garden contains several tulip fingers extending from S into J, there is an independent cancellation for each finger. There are also (independent) cancellations when the exterior of a tulip has a finger that extends from J into S. The cancellations for a three tulip garden of reasonably complicated geometry are illustrated in fig. 5.11. This argument shows that GR-- 0 when soft and collinear integration regions are taken into account. We now extend this argument to cover ultraviolet momenta, proceeding in two stages. In the first stage, imagine that ultraviolet loop momenta in vertex and self-energy subgraphs are allowed provided that no soft gluon from the upper soft subgraph S in fig. 4.3a ends on an ultraviolet line in J. Upon rereading the original argument for GR--0, one discovers that no change in the argument is required to cover this case. I 2 :5
  • Fig. 5.11. Cancellations for a complicated garden. The shaded area is the soft subgraph. The solid lines
are tulip boundaries. Addition of tulips with new boundary portions along one or more of the dashed
  • r dotted lines produces cancellations.
Collins & Soper, 1981

Collins, Soper, Sterman: pinch surfaces factorize

slide-8
SLIDE 8

Approach 2: Pinch surfaces

June 19, 2014 Matthew Schwartz
  • All momenta zero or exactly proportional to some external momentum
  • Sidesteps soft/collinear overlap region (zero bin)
  • More work needed to factorize finite-momentum amplitudes
  • Factorizes hard from jet/soft – does not factorize jet from soft
  • Do not provide operator definitions

pµ = 0

Soft region: all particles have Jet regions: all particles have

Hard region (drawn as points)

i = cipµ

slide-9
SLIDE 9

Approach 3: Amplitudes

June 19, 2014 Matthew Schwartz

Primary goal is practical formulas (e.g. for subtractions): Tree-level

DGLAP splitting functions (1977) Pqq (z) = CF
  • 1 + z2
1 1 − z
  • +
+ 3 2δ (1 − z)
  • ion
is known as a DGLAP splitting function, afte mitting a photon, so all that changes is a group factor ij gets = pi − → pi + k pi k = eikonal factor is now . As in QED, this factor is ind

M → M × Pab

  • Leading order splitting functions universal
(process independent)
  • Splitting functions for PDF evolution defined to all orders
p1 p2 q , p1 p2 q , p1 p2 q p1 p2 q ↑ k ↑ k p1 p2 q , G ⌘ p1 p2 q

One-loop

  • IR divergent at 1-loop
  • Relevant diagrams
are gauge and process-dependent
  • Bern and Chalmers (1995): collinear universality proven at 1-loop
  • Kosower (1999): universality proven to all orders at leading color (large N)
  • No all-orders proof in QCD (until now)

Collinear

slide-10
SLIDE 10

Approach 3: Amplitudes

June 19, 2014 Matthew Schwartz

Soft

=

x =

Y † j (x) = exp ✓ ig Z ∞ ds nj · A(xµ + s nµ j ) e−"s

0i hk1 · · · k`| Y †

1 · · · YN |0i Soft gluons see hard particles as classical sources Wilson lines

  • Wilson line picture does not disentangle soft from collinear
  • Universal soft current conjecture (Catani & Grassini 2000)
a | M(q, p1, . . . , pm) ≃ εµ(q) Ja µ(q, ) | M(p1, . . . , pm)
  • 1 + O(g4
S)
  • ,

Computed in dim reg at 1-loop (Catani & Grassini 2000)

q i k j i j k q i j q l i j i k j k+q
  • k
q (a) (b) (c) (d) (e) + +
  • J(0)(q)
  • Soft current computed in dim reg at 2-loop (Duhr & Gehrmann 2013, Zhu & Li 2013)
  • Required for NNLO subtractions and automation
  • No operator definition of J
q i j q i j q i j q i j q i j i j (a) (b) (c) (d) (e) (f) + + +
  • J(0)(q)
  • all orders universality unproven (until now)
slide-11
SLIDE 11

Approach 4: Soft-Collinear Effective Theory

June 19, 2014 Matthew Schwartz
  • Assigns scaling behavior to fields
  • Expand Lagrangian to leading power
L = X ˜ p,˜ p0 ei(˜ p0˜ p)·x¯ ⇠n,˜ p0 h in · Ds + p2 ? ¯ n · p i/ ¯ n 2⇠n,˜ p + X ˜ p,˜ p0,˜ q ei(˜ p0˜ p˜ q)·x¯ ⇠n,˜ p0 h gn · An,˜ q + g / A ? n,˜ q / p? ¯ n · p + / p0 ? ¯ n · p0g / A ? n,˜ q / p0 ? ¯ n · p0gn · An,˜ q / p? ¯ n · p i/ ¯ n 2⇠n,˜ p + 2-gluon + 3-gluon + . . . + O() (

L = i ¯ ψ6Dψ

  • Feynman rules messy
  • Field scaling is gauge-dependent and unphysical
  • Zero-bin subtraction frustrates true continuum limit
  • How do we know that modes aren’t missing?
  • (soft-collinear messenger modes? Glauber modes?)
  • Clarifies universality
  • Employs powerful renormalization group methods
  • Parameterizes power corrections

Advantages Disadvantages

slide-12
SLIDE 12

FACTORIZATION SIMPLIFIED

June 19, 2014 Matthew Schwartz
slide-13
SLIDE 13

A precise statement of factorization:

June 19, 2014 Matthew Schwartz

M{±} ⇠ = X

I

CI,{±}(Sij) ⇥ · · · hXi| ¯ ψiWi |0i±hi tr h0| Y †

i Wi |0i

· · · hXj| AµWj |0i±aj tr h0| Y†

j Wj |0i

· · · hXk| W †

kψk |0i±hk

tr h0| W †

kYk |0i

· · · ⇥ hXs| · · · (Y †

i T i I)hili · · · (Y† j T j I)lj−1ajlj+1 · · · (T k I Yk)lkhk · · · |0i

hX| O |0i ⇠ = C(Sij) hX1| ?W1 |0i h0| Y †

1 W1 |0i

· · · hXN| W †

N |0i

h0| W †

NYN |0i

hXs| Y †

1 · · · YN |0i

QCD:

C(S C(S

  • Two different amplitudes in QCD are equal at leading power in finite kinematic ratios
  • We prove this rigorously to all orders in perturbation theory

pi · pj Q2

slide-14
SLIDE 14

| i h | Mfi ⇠ = Ccihj(Sij)hX1| ψ∗W1 |0ih1c1 h0| Y †

1 W1 |0i

· · · h0| W

† Nψ |XNihNcN

h0| W

† NY N |0i

hXf

s | Y † 1 · · · Y N |Xi si c1···cN

June 19, 2014 Matthew Schwartz
  • Scaling of external momenta is physical
  • No discussion of field scaling is required
Matrix element in QCD
  • Gauge and regulator independent
  • Soft, Collinear and Soft-Collinear factorization rigorously proven at amplitude level
  • Combines pinch analysis (reduced diagrams), amplitudes and SCET

Advantages of this approach:

Leading power in momentum scaling Operator definition of zero-bin subtraction Finite hard amplitude Soft amplitude Jet amplitudes

Simplifies derivation of SCET Applies to entire amplitude, not just IR divergent regions

pi · pj Q2

slide-15
SLIDE 15

Jµ = Jµ

ahh0 = h✏µ(p); a| Y † 1 Y2 |0ihh0

CAtr h0| Y †

1 Y2 |0i

Connection to amplitudes

June 19, 2014 Matthew Schwartz

|Mf0ii ⇠ = Ja

µ|Mfii

| i h | Mfi ⇠ = Ccihj(Sij)hX1| ψ∗W1 |0ih1c1 h0| Y †

1 W1 |0i

· · · h0| W

† Nψ |XNihNcN

h0| W

† NY N |0i

hXf

s | Y † 1 · · · Y N |Xi si c1···cN

|Mfii = C(s12) hp1| ∗W1 |0i h0| Y † 1 W1 |0i hp2| W † 2 |0i h0| W † 2Y2 |0i
  • Gives operator definition of soft current and matrix element
  • Gauge invariant and regulator independent
  • Previous results only in Feynman gauge with dimensional regularization
Soft factorization
  • Generalizes Kosower’s large N proof to finite N
  • Gauge invariant and regulator independent
  • Operator definition of splitting functions for any process
Collinear factorization 1 soft emission Normalized to 0 emissions
slide-16
SLIDE 16

Connection to SCET

June 19, 2014 Matthew Schwartz

hX1| ¯ ψ1W1|0i · · · hXm|W †

mψm|0ihXs|Y1 · · · Y † m|0iLQCD

hX1 · · · XmXs| ¯ ψ1 · · · ψm|0iLQCD ⇠

  • Give any state in |Xj> the quantum number “j”
  • Give any state in |Xs> the quantum number “s”
  • Introduce gluon and quark fields which can create and destroy these states

Leff ≡ L1 + · · · Lm + Ls

Identical copies of QCD Lagrangian Then

hX1 · · · XmXs| ¯ ψ1W1Y1 · · · YmW †

mψm|0iLeff

= Now a single operator in an effective theory

  • This formulation is most similar to Luke/Freedman SCET (2011)
  • Equivalent to label SCET [Bauer et al 2001] and multipole SCET [Beneke et al 2002]

at leading power

  • Provides operator definition of zero-bin subtraction

b Zi ⌘ 1 Nc tr h0| W †

i Yi |0i
slide-17
SLIDE 17

Outline of proof

June 19, 2014 Matthew Schwartz
  • 1. Establish power counting
  • 2. Separate soft-sensitive gluons from soft-insensitive ones
  • 3. Prove “reduced diagram” structure at leading power in physical gauges
  • 4. Prove soft collinear decoupling
  • 5. Prove gauge-invariant formulation
t as the sum of a set of reduced diagrams, each of which can be dra hX1 · · · XN; Xs| O |0i
  • gen. r
⇠ = X J3 S J1 JN J2 · · · · · · · · · · · · · · · H any rs
  • gen. rc
⇠ = J3 J1 JN J2 · · · H0 ⇥ hXs| Y † 1 · · · YN |0i h0| Y † 1 |0i · · · h0| YN |0i hX1 · · · XN; Xs| O |0i

| i h | Mfi ⇠ = Ccihj(Sij)hX1| ψ∗W1 |0ih1c1 h0| Y †

1 W1 |0i

· · · h0| W

† Nψ |XNihNcN

h0| W

† NY N |0i

hXf

s | Y † 1 · · · Y N |Xi si c1···cN

Momenta unrestricted
slide-18
SLIDE 18

Summary

June 19, 2014 Matthew Schwartz
  • Matrix elements of states with only soft and collinear momenta factorize:
  • Generalizes Collins-Soper-Sterman pinch analysis
  • Works for amplitudes with nonsingular momenta
  • In addition, soft and collinear modes factorized
  • Defines and proves factorization of amplitudes
  • gauge-invariant and regulator-independent definition for Catani-Grassini soft current.
  • Collinear factorization proven to all orders
  • Soft-collinear factorization proven to all orders
  • Easily written with an effective Lagrangian:
  • Equivalent to SCET Lagrangian at leading power
  • Avoids having to fix a gauge
  • Avoids having to assign scaling behavior to unphysical fields
  • Operator definition of zero-bin subtraction

Leff ≡ L1 + · · · Lm + Ls

hX1 · · · XmXs| ¯ ψ1W1Y1 · · · YmW †

mψm|0iLeff

hX1 · · · XmXs| ¯ ψ1 · · · ψm|0iLQCD ⇠

| i h | Mfi ⇠ = Ccihj(Sij)hX1| ψ∗W1 |0ih1c1 h0| Y †

1 W1 |0i

· · · h0| W

† Nψ |XNihNcN

h0| W

† NY N |0i

hXf

s | Y † 1 · · · Y N |Xi si c1···cN

b Zi ⌘ 1 Nc tr h0| W † i Yi |0i
slide-19
SLIDE 19 a b 2c 2c k2 ∼ k · pb k2 ∼ k · pb k2 ∼ k · pa k2 ∼ k · pa k · p a ∼ k · p b k a k b ∼ k 2 ⊥ pb−collinear − → − → − → − → pa−collinear soft Glauber
  • n
− s h e l l June 19, 2014 Matthew Schwartz

Future directions

  • Proofs of factorization dramatically simpler
  • Can forward scattering be understood the same way?
  • Add Glauber modes to reduced diagrams?
  • Possible with our off-shell reduced diagrams
  • Cleaner understanding of BFKL
  • Leading power derivation, to all orders?
  • More exclusive observables?
  • Universality of PDFs?
  • Practical applications
  • Jet physics at subleading power?
  • Resummation of subleading power corrections has never been done
  • Universal formulas for coefficients of soft divergences (anomalous dimensions)?
  • Simpler subtraction schemes for NNLO or NNNLO calculations?
  • We have a factorized expression which agrees in all soft or collinear limits