Chapter 4 Renormalization

advertisement
Chapter 4
Renormalization
Cut off dependence in a few basic quantities this into redefinition:
1
L = − t̄aµν0 t¯0aµν + ψ¯0 (ip0 m0 )ψ0
4
1
Aren. = √ A0
ZA
1
ψren. = � ψ0
Zψ
ZTψ̄ψA gren. ψ¯ren. γ µ ψren. Aµren. = g0 ψ¯0 γ µ ψ0 Aµ0
(4.1)
(4.2)
(4.3)
(4.4)
1
2
g0 Zψ ZA
ZTψ̄ψA
= ψ¯0 ψ0 m0
m 0 Zψ
=
Zψ̄ψ
gren. =
Zψ̄ψ ψ¯ren. ψren. mren.
mren.
(4.5)
(4.6)
(4.7)
The wave-function renormalizations are absorbed into normalizing the 1–particle
states. The renormalized couplings are physical particles matrix of renormalized
states. Indeed, these are the parameters define the theory, at least perturbatively.
We fix these to experiment. Then, other quantities must be expressed finite terms
using them (and we remove the cut off).
Notice that in a gauge theory, we must use a gauge-invariant regulator to get the
simplicity. Otherwise, there are A2 (no derivatives res is like), AσA, AAA, A4 , etc.
coupling appearing. We may set them to zero and entree conspiracies to record gauge
symmetry (throwing their a gauge invariant regulation).
30
31
3
gren.
ZA2
=
g0 vector 3 − pt.
ΓA 3
ZA
= √
g0 vector 4 − pt. ∝ g 2
ΓA 4
(4.8)
(4.9)
1
ZA2 Zψ
=
Γψ̄ψA
..
.
= Z
(4.10)
(4.11)
Za
= universal (W ard identity)
Zν̄mA
(4.12)
In Abelian theory are equal 1. In N.A. theory, not generally (+ gauge dependent).
Figure 4.1: Abelian Theory.
¯ ψ
To clarify this structure, let’s work an example. Correlation function of Bare ψ,
(inverse propagator).
bare =
+
Figure 4.2: Bare.
bare = −i(p/ − m) +
�
Λ
(−i)(i)γµ (p/ − k/ + m)γ µ
d4 k
2
(ie)
(2π)4
k 2 [(p − k)2 − m2 ]
(4.13)
32
CHAPTER 4. RENORMALIZATION
k0
k0= i kE
Figure 4.3: Bare Diagram.
Renormalized:
bare =
+
Figure 4.4: Bare.
bare = −iZ(p/ − mR ) + e2i (no cut − of f )
(4.14)
k
bare =
+
p
p−k
Figure 4.5: Renormalized.
bare = −i(p/ − m) + ie2
�
Λ
�
S3 = 2π 2
bare = −i(p/ − m) +
ie2
8π 2
d4 k γµ (p/ − k/ + m)γ µ
(2π)4 k 2 [(p − k)2 − m2 ]
�
Λ
��
new Eulidec
dΩdkk 3
�
/ + 4m
−2(p/ − k)
k 2 [(p − k )2 − m2 ]
(4.15)
(4.16)
(4.17)
We are going to keep only the divergent part. We shall subtract by normalizing
the log divergence (only) at µ.
linear + log divergent
(4.18)
33
log
�
:
Λ
dΩdkk 3
−2p/ + 4m
k 2 [(p − k)2 − m2 ]
dΩdkk 3
[−2p/ + 4m]
k4
= ln Λ[−2p/ + 4m]
� Λ
−2k/
drdkk 3 2
linear :
k [(p − k)2 − m2 ]
� Λ
−2k/
dΩdkk 3 2
=
k − 2pk + p2 + m2
� Λ
−2k/
dΩdkk 3
=
2
2pk 2
2
k (1 − ( k ) + kp2 +
=
=
�
dΩk/kµ =
=
�
Λ
dΩdkk 3
�
�
�
Λ
Λ
dΩdkk 3
(4.19)
(4.20)
(4.21)
(4.22)
(4.23)
m2
k2
−2k/
2pk
k6
dΩkµ kν γν
1 2
γk
4
(4.24)
(4.25)
(4.26)
(4.27)
� Λ
p/
−2k/
2pk
=
dkk 3 4
6
k
k
= p/ ln Λ
(4.28)
(4.29)
Putting it all together (as discussed):
bare = −i(p/ − m0 ) − i
Λ
e2
ln [−2p/ + 4m0 + p/]
2
µ
γπ
= iZψ (p/ − mr )
(4.30)
(4.31)
2
Zψ = 1 −
e
Λ
ln
2
8π
µ
(4.32)
Finite matrix d� t� at |p| = µ
mR (µ) = m0 [1 − 3
Λ
e2
ln ]
2
8π
µ
(4.33)
Check Ward identify:
(−ie)3 γν (p/ − k/)γµ (p/ − k/)γν (i2 )(−i)
bare = −ieγµ +
k 2 ((k − p)2 )2
�
ie3 Λ
−2k/γµ k/
= −ieγµ − 2
dΩdkk 3
k6
8π
�
Λ
(4.34)
(4.35)
34
CHAPTER 4. RENORMALIZATION
µ
p−k
p−k
k
p
p
Figure 4.6: Ward Identity.
= −ieγµ − ie
3
�
dk −2 k 5
γα γµ γ α
2
6
8π 4 k
ie3
γµ ln Λ
8π 2
Λ
e2
= 1 + 2 ln
8π
µ
2
e
Λ
= 1 − 2 ln
8π
µ
= −ieγµ −
ZT−1
ψ̄ψA
ZTψψA
¯
(4.36)
(4.37)
(4.38)
(4.39)
Check gauge-invariance of mR (µ):
Figure 4.7: Added Stuff.
d4 k αkµ kν γµ (p/ − k/ + m)γν
added stuf f ∝
(2π)4 k 2
k 2 (p − k)2
need ∝ p/ − m
�
Λ
:
2a
Λ
(4.41)
3
dkk 1
1
( (−2)p/ + 4m)
6
k
4
4
� Λ
/
dΩdkkµ kν (−)(γµ k γν (2pk)k 3 )
1
linear :
8π 2
k8
� Λ
1
dΩdk(−)k/(2pk)k 3 )
=
8π 2
k6
� Λ
1
(−2)pk
1
/ 3
4
=
dk
− p/ + m
8π 2
k4
log
1
8π 2
�
(4.40)
Effective mass: m�R (µ1 ) equivalent to m2R (µ2 ) if same m0 , Λ
(4.42)
(4.43)
(4.44)
(4.45)
35
m�R (µ1 )
Λ
e2
1 − 3 8π
2 ln µ
1
=
m2R (µ2 )
Λ
e2
1 − 3 8π
2 ln µ
2
(4.46)
2
Λ
e
1 − 3 8π
2 ln µ
m2R (µ2 )
1
=
Λ
e2
m�R (µ1 )
ln
1 − 3 8π
2
µ2
!
= 1−3
(4.47)
e2
µ2
ln
2
8π
µ1
e2
mR (µ)
= 3 2
∂ ln µ
8π
(4.48)
(4.49)
Renormalization group: N.B. : e2 µ too.
Physical significance:
1. With normalization at µ, no large loop for processes with parameter a ∼ µ.
2. Internally, not rotate for µ to Ω.
Anticipate:
dg(µ)
= −b0 g 3 (b0 > 0)
d ln µ
d g12
= 2t0
dt
1
1
µ
− 2
= 2b0 ln
2
g (µ) g (µ0 )
µ0
1
1
µ
e 2b0 g2 (µ) = e 2b0 g2 (µ0 )
µ0
1
(4.50)
(4.51)
(4.52)
(4.53)
1
µ = [µ0 e 2b0 g2 (µ0 ) ]e 2b0 g2 (µ)
(4.54)
Take µ → ∞, dimensional transmutation perturbative coupling.
Lattice: Given g21(µ) , determine µ ∝ a1 . Measure M
fixed, independent of µ as
µ
g → 0.
Good news: Check approach to continuous limit. Bad news: Decreasing g(µ)
required exponentially bigger lattice.
With opposite sign for b0 , coupling blows up as µ → ∞(a → 0), no limiting theory
guaranteed.
36
CHAPTER 4. RENORMALIZATION
Running coupling and dimensional transmutation:
Figure 4.8: Running Coupling
dg(µ)
= −b0 g 3 (b0 > 0)
d ln µ
d g12
= 2b0
d ln µ
1
1
µ
= 2
+ 2b0 ln
2
g (µ)
g (µ0 )
µ0
(4.55)
(4.56)
(4.57)
Bare charge → 0
1
1
µ
= e 2b0 g2 (µ) e 2b0 g2 (µ0 )
µ0
1
(4.58)
1
µ0 = e 2b0 g2 (µ) µe 2b0 g2 (µ0 )
(4.59)
Identify from µ → ∞ limit [finite].
More accurate:
dg
= −b0 g 3 + b1 g 5
d ln µ
d g12
1
= 2b0 − 2b1 1
d ln µ
g2
du
2b1
= 2b0 −
dt
u
u0 = 2b0 t
du
b1
= 2b0 −
dt
b0 t
b1
u � 2b0 t − ln t
b0
(4.60)
(4.61)
(4.62)
(4.63)
(4.64)
(4.65)
37
1
g 2 (µ)
ln µ0
µ0
µ
µ
b1
− ln ln
µ 0 b0
µ0
1
µ
b1
− ln
� 2b0 ln
µ0 b0 2b0 g 2
1
1
b1
+ 2 ln
= ln µ −
2
2b0 g
2b0 2b0 g 2
b1
1
1
−
2
� µe 2b0 g2 (µ) [ 2 ] 2b0 f inite as µ → ∞
g (µ)
� 2b0 ln
(4.66)
(4.67)
(4.68)
(4.69)
Relation to lattice (fundamental): Hold µ0 fixed (reference mass)
b1
1
− 1 2 1 2b2 1
2b0 g
a(g) ∼ ∼ e
(4.70)
[ 2] 0
µ
g
µ0
Small a corresponds to small g. N.B.: Exponential dependence. Test: Physical
masses stay constant as g → 0. Explicitly: Measures correlation fall-off e−λn , where
n is the lattice sparcing.
This is e−M L with L = an for M = λa .
λ
e−λn = e− a an
→ µ0 e
(4.71)
b1
2b2
1
[ 12 ] 0
2
2b0 g
g
λ
(4.72)
Fixing µ0 , we see λ → 0 as g → 0. Large correlation lengths, variating of lattice
artifacts. Alternatively, aM → 0 without asymptotic freedom we would be lost here,
in tertudation theory. Long correlation lengths can occur at critical points. To nail
things down let’s look at this more closely:
dg
d ln µ
ln(g − gC )
g(µ) − gC
g(µ0 ) − gC
so we have, g(µ) → gC
∼
= −b0 (g − gC )
(4.73)
= −b0 ln µ
µ0
= ( )b0
µ
g(µ) − gC b1
)0
µ = µ0 (
g(µ0 ) − gC
(4.74)
λ
e−nλ = e− a na
λ
M =
a
(4.75)
(4.76)
(4.77)
(4.78)
38
CHAPTER 4. RENORMALIZATION
β (g)
Fixed Point
g
Figure 4.9: Fixed Point
a(g(µ)) ∼
1
1 g(µ) − gC b1
∼ (
)0
µ
µ0 g(µ0 ) − gC
(4.79)
M = λa fixed ⇒ λ → 0, M1 � a. Alternatively, IR fixed points, but these do not
support non-zero masses.
Antiscreening as paramagnetism:
Vacuum polarization:
E.D ∝ �Foi F oi
B.H ∝ µ−1 Fij F ij
(4.80)
(4.81)
�µ = 1
(4.82)
In reality
either is varying g.
Antiscreening (� < 1) = paramagnetism (µ > 1) magnetism is easier to think
about, since particles do not get produced.
Eclass. =
1 2
B
2g 2
(4.83)
But zero point energies, 12 hω (Bose), − 21 hω (Fermi) would like to throw it out,
but it is field-dependent and cut off dependent.
Interpretation using running coupling:
Wilson approach: Contribution of modes between µ0 + µ (say µ > µ0 ) is
39
= −n ln
µ 2
B
µ0
1
E =
2g 2 (µ
�
0)
��
(4.84)
B2
�
(4.85)
cut of f at µ0
= (
1
2g 2 (µ)
�
− n ln
��
cut of f at µ
n = b0
µ
) B2
µ0
�
(4.86)
(4.87)
Result and physical interpretation:
n=
1
1
[3{−2T (R 1 + 8T (R1 ))}]
[−{T (R0 ) − 2T (R 1 + 2T (R1 ))}] +
2
2
2
96π
96π 2
(4.88)
To aid in physical interpretation, pick a particular direction (e.g., τ3 ) in internal
space for B, and pretend it is electromagnetism.
First term from orbital diamagnetism (Lambda). Note 2 for polarizations, − for
fermion.
N.B. This applies to 0–point energy of virtual particles. Real particles do not have
this.
Second term from spin paramagnetism (Pauli). Note g–factor 2 (also for vectors),
− for fermion, 13 ratio as in solid state.
S2
=4
S 21
(4.89)
2
AF comes from gluon paramagnetism. Reference: F. W., RMP 71 S85 (Ceturean
Issue).
Learning from QED: With these insights, we could extract the non-Abelian β
function from the Abelian one.
Numerical value:
QCD : T (R
1 ) = f
2
1
2
T (R1 ) = 3
1
f
f
[+2 − 2 × 3 + 3(−2 + 8 × 3)]
2
96π
2
2
1
1
2
=
[66 − 4f ] =
[11 − f ]
2
2
96π
16π
3
(4.90)
(4.91)
b0 =
(4.92)
40
CHAPTER 4. RENORMALIZATION
b0 > 0 for f ≤ 16. Gluons heavily dominate for f = 3.
Application for unified theories:
SU (3)
−8F + 66
SU (2)
F(
(4.93)
−4
����
f ermion f actor
= −8F + 44
4
����
number of doublets
Higgs
⎛
×
1
) + 44
2
����
Tdoublet
(4.94)
⎞
2
⎜
⎜
⎜
normalized charge : ⎜
⎜
⎜
⎝
U (1)
�
1
2
×
2
2
−3
1
1
q 2 = F ( + (3 × 42 + 6(−1)2 + 1(−6)2 ))
2 60
3
W.S.B.
= 2F −→ −8F −
Higgs
10
−3
⎟
⎟
⎟ 1
⎟√
⎟
⎟ 60
⎠
(4.95)
(4.96)
(4.97)
3 equations: constraint, tu , gu
1
1
= bi tu + 2
2
gu
gi
1
1
− 2 = (b3 − b2 )tu
2
g2
g3
(4.98)
(4.99)
Note: unchanged by complete multiplets (no F )
1
g22
1
g12
−
−
1
g32
1
g22
=
b 3 − b2
b 2 − b1
(4.100)
Fixing scale: note exponential dependence
tu =
1
=
g
u2
1
g22
b3
−
1
g32
b2
−
1
−
b2 g 2
2
1
b2
−
=
1
b3 g32
1
b3
1
=
−
1
=
b3 g32
b3 g12 −
b2 g12
2
3
b 3 − b2
b3 gu2
1
b2 gu2
−
1
b2 g22
(4.101)
1 1
1
1
b3 + b2 1
1
= ( 2 + 2) + 3
( 2 − 2 ) (4.102)
2
2 g2 g 3
2 b − b g 2 g3
4.1. SUSY MODIFICATIONS
4.1
41
SUSY Modifications
1. Gauge Modification
2R 1 − 2R1
(4.103)
2
−6R 1 − 24R1
(4.104)
2
R
1
=
2
11
����
group theory
66 → 54
44 → 36
× ����
2 ×
chialitic
9
1
⇒ f actor
2
11
����
(4.105)
majorna
(4.106)
(4.107)
2. Higgs Modification
2 doublets
f ermion partner
−1 → 2 × (−1 + �2 −
6) like 6 Higgs doublet
�� �
(4.108)
(4.109)
(4.110)
× 21
3. Matter Modification
×
3
by same reasoning
2
(4.111)
Example: N = 4 gauge field. 4 adjoint fermions. 6 Higgs.
diamagnetism : 2 −8
paramagnetism : 8 −8
(4.112)
Numerical aspects:
SUSY:
1
:
b3 −b2
22 + 12
b 3 − b2
=
b 2 − b1
44 − 12 +
3
10
18 + 62
b 3 − b2
=
b 2 − b1
36 + 6(− 12
+
=
3
)
10
75
� 0.514
146
=
35
� 0.604
58
(4.113)
(4.114)
42
CHAPTER 4. RENORMALIZATION
1
1
→
1
18 + 62
22 + 2
0.044 → 0.048
(4.115)
(4.116)
Raising scale looks small but appears in exponential (p–decay).
SUSY:
100 + 16F −
b3 + b2
=
3
2
b −b
22 + 12
1
2 F =3
=
62 −
22 +
1
2
1
2
=
41
� 2.73
15
90 + 24F − 3 F =3 3
b3 + b2
� 0.60
=
=
22 + 3
5
b 3 − b2
(4.117)
(4.118)
b2 : (very little remaining)
44 − 8F −
1
1
= 19 → 36 − 12F − 3 = −3
2
2
(4.119)
Other applications:
mb
→ 3 f rom minimal SU (5)
mτ
Vacuum instability and Colman–Weinberg:
ϕ
ϕ4 λ( )
µ
(4.120)
(4.121)
interpret as energy from extra nodes.
Too many fermions. moment µ, field strength ϕ (as in our magnetic calculation).
Weak Coupling Massless
Figure 4.10: Weak Coupling Massless
4.1. SUSY MODIFICATIONS
43
Table 4.1: Running of coupling
1
g2
2
1
g2
1
SU (3)b33
SU (2)b23
U (1)b10
1
g2
3
1
− 2
g
2
−
=
tu =
1
2
gu
=
b3 −b2
b2 −b1
1
− 12
g2
g
2
3
3
b −b2
1
b2 g 2
2
1
b2
1
b3 g 2
3
1
− 3
b
SM
66 − 8F
44 − 8F − 21
3
−8F − 10
M SSM
54 − 12F
36 − 12F − 3
−12F − 59
nearly flat
0.514
0.604
agrees with expectation
0.044
0.048
larger scale
important for p-decay
close to Planck scale
2.73
0.60
families and extra stuff
−
appear here
bigger coupling desirable?
Running of coupling – summary sheet
Other applications: N = 4 SUSY, glue, 4 Majorna fermions, 6 scalars. Dia: count
DOF. Para: 4 fermion, β = 0
Normal SU(5):
mb
= 1 at unif ication
mτ
(4.122)
mb
�3
mτ
(4.123)
Normalizes to
Vacuum instability
λ(
µ 4
ϕ
)ϕ negates (AF ) contribution → λ( )ϕ4 f rom f ermions
µ0
µ0
(4.124)
Variational interpretation?
< ϕ >← a+
k , ak
(4.125)
mix mode in |k|–dependent manner. C.F. our magnetic field calculation.
Colman-Weinberg:
Electroweak breaking through leavry sTop. t instability ulicrod when t̂ comes in.
PQCD:
Simplest case: e+ e− → hadrons
44
CHAPTER 4. RENORMALIZATION
Figure 4.11: Vacuum Instability
V(φ )
Weak Coupling
m=0
φ
pass through zero
Figure 4.12: Spontanous Symmetry Breaking
σ(p, g (µ) , µ)
= σ(λp, g(λµ), λµ)
σ(λp, g (µ) , µ)
1
=
σ(p, g(λµ), µ)
��
�
λ2 �
(4.126)
(4.127)
expand perturbutively
(
+
)
2
Figure 4.13: Expand Perturbatively.
Potential problem from soft and collisions divergence. They do not occur in in­
clusive qualities.
Jet phenomena: Observation, heuristic explanation, hard scattering, rate. StermanWeinberg comes, energy bite. Stiull no scale – same argument. Extremum pattern.
Hadmic gets over 6 nodes of reguitode.
4.1. SUSY MODIFICATIONS
45
Figure 4.14: W–Exchange.
OPE, DIS: W–exchange.
Nodes up to k 2 ∼ m2ω .
Simplify to
+
Different Q #s
Figure 4.15: Simplify.
Operator versions:
X small x �
) −→
Ci (x)Oi (o)
(4.128)
2
Singularities of C ordered by dimensions of Oi keep low dimensions. Ci (x, g, µ)
includes renormalization of O.
J(x)J(
Ci (x, g, µ) = [µ
−1
∂
∂
+ β(g) − γθ (λ)]Ci = 0
∂g
∂µ
−
Ci (λ x, g(µ0 ), µ0 ) = Ci (x, g(λµ0 ))e
� g1
g0
(4.129)
γθ dg
β
ḡ − c0
= Ci (x, g(λµ0 ))( ) b0
g
(4.130)
One can also have operators mixing. For DIS, light–cone singularities (tracing
quarks and glouns) are important.
x
x x2 →0 � (i) µνα1 ···αn
(0)xα1 ···xαn
J µ ( )J ν (− ) ≈
C(x) O
2
2
but not individual component.
(4.131)
46
CHAPTER 4. RENORMALIZATION
Twist ≡ dimension – spin
< O > → pµ pν · · · (symmetric)
∂
g
x →
or
∂g 2
g2
(4.132)
(4.133)
)2 is what appears.
( pq
q
2
Bj limit:
g2 → ∞
2pq
q2
(4.134)
finite (≡ x1 ).
QCD has twist–tor families of operators (respectively chirality).
↔
↔
g (L) γα1 �α2 · · · �αn q(L)
↔
↔
Gaµα1 �α2 · · · �αn−1 Gaαn µ
D = 3 + n − 1, J = n
(4.135)
D = 4 + n − 2, J = n
(4.136)
First family includes nonsinglets, currents. Tµν also appears (but not by itself).
Twist J governs J th moment of appropriate structure function.
Many testable predictions: Parton model sum rules and g 2 correlations. CG
relation and g 2 correlations. E: Max with oth order correlations. Bj scalar deviations.
Download