Professional Documents
Culture Documents
Effective Field Theories 1. (Aneesh Manohar)
Effective Field Theories 1. (Aneesh Manohar)
Lecture 1
Aneesh Manohar
Introduction
Reasons for using an EFT
Dimensional Analysis and Power Counting
Examples
Loops
Decoupling
Field Redefintions and the Equations of Motion
One-loop matching in a HQET example
SCET
The quark structure of the proton, weak interactions, GUTs, etc. are
irrelevant.
Charge radius, . . .
Weak interactions, . . .
q2
F (q 2 /M 2 ) → F (0) + F 0 (0) + ...
M2
though it looks like this at tree-level.
One can compute using it without ever referring to the full theory from
which it came.
The EFT has a different divergence structure from the full theory. The
renormalization procedure is part of the definition of a field theory, not
some irrelevant detail.
If you are given a full theory, can compute the EFT Lagrangian —
matching.
In some cases, one can compute the EFT from a more fundamental
theory (typically, if it is weakly coupled).
The Fermi theory of weak interactions is an expansion in p/MW ,
and can be computed from the SU(2) × U(1) electroweak theory
in powers of 1/MW , αs (MW ), α(MW ) and sin2 θ.
NRQCD/NRQED
SCET
But instead, hold high energy parameters such as α(µ) and αs (µ) fixed
at µ mt .
d 1 1
mt =−
dmt α 3π
µ
mt
so S is dimensionless.
D=0: 1
D=1: φ
D=2: φ2
D=3: φ3 , ψ̄ψ
D=4: φψ̄ψ, φ4
In d = 2,
In d = 6,
OD
LD =
M D−d
so in d = 4,
O5 O6
Left = LD≤4 + + 2 + ...
M M
An infinite number of terms (and parameters)
(a) (b)
α2
2
1 µν µν 2
µν
L = − Fµν F + 4 c1 (Fµν F ) + c2 Fµν F̃ .
4 me
(Terms with only three field strengths are forbidden by charge
conjugation symmetry.)
e4 from vertices, and 1/16π 2 from the loop.
1 7
c1 = , c2 = .
90 90
Scattering amplitude
α2 ω 4
A∼
me4
and 2
α2 ω 4 α4 ω 6
1 1 15568
σ∼ ∼ ×
me4 2
ω 16π 16πme 8 22275
1
A∝
me4
determined by the operator dimension.
qqql
L∼
MG2
This gives the proton decay rate p → e+ π 0 as
mp5
Γ∼
16πMG4
or 4
MG
τ∼ × 1030 years
1015 GeV
(HL)2
L∼
MS
v2
mν ∼
MS
p2
†
L = ψ i∂t − ψ + a03 ψ † ψ c1 E 2 + c2 B 2
2M
A ∼ ci a03 ω 2
σ ∝ a06 ω 4 .