系列文章:Srednicki QFT 共 97 篇
上一节已经给出了计算圈图所需的规则。现在要回答的问题是:杨—米尔斯耦合常数
怎样随能标改变?在电动力学中,电子场与顶角的重整化因子相消,电荷的运行由
光子自能决定。非阿贝尔理论多出规范场的自相互作用,这个相消关系随之改变。
先求夸克场和夸克—胶子顶角的反项,再计算胶子自能,
最后把三个结果组合成同一个裸耦合。
计算取费曼规范和MS方案,时空维数为d=4−ϵ,标度约定为μ2=4πe−γEμ2。
以下CR=C(R)、CA=T(A),生成元归一由第70节固定;
先考虑一个简单规范群因子,以及nF个属于同一不可约表示R的狄拉克味。
可约物质按不可约块分开计算,最后相加。圈积分简记为
∫ℓ=∫ddℓ/(2π)d,鬼场记为c,cˉ。
从各个顶角回到同一个耦合
把上一节的每一类动能和相互作用分别乘以重整化因子。
为简化书写,这一式暂在四维记号中列出;延拓时每个g都带
μϵ/2:
L=21Z3Aμa(gμν∂2−∂μ∂ν)Aνa+2ξ1Aμa∂μ∂νAνa−Z3ggfabcAμaAνb∂μAcν−41Z4gg2fabefcdeAμaAνbAcμAdν−Z2′∂μcˉa∂μca+Z1′gfabcAμc(∂μcˉa)cb+iZ2Ψˉi∂Ψi−ZmmΨˉiΨi+Z1gAμaΨˉiγμTijaΨj.(73.1)
这里Z1′,Z2′中的撇号用来区分鬼场与夸克,并非导数。看似各处都有不同的
耦合,实际上它们应当来自同一个裸杨—米尔斯作用量。先用动能定义裸场和裸质量:
A0μa=Z31/2Aμa,Ψ0=Z21/2Ψ,m0=mZ2Zm,c0=(Z2′)1/2c,cˉ0=(Z2′)1/2cˉ,ξ0=Z3ξ.(73.2)
最后一个选择使裸规范固定项
−(∂⋅A0)2/(2ξ0)正好成为
−(∂⋅A)2/(2ξ),所以它在式(73.1)
中不用再乘一个Z。纵向传播核保持原来的形式,规范参数的变化则包含在
ξ0=Z3ξ之中。下面会直接检查本次一圈自能的横向性。
以夸克顶角为例,裸作用量中g0Ψˉ0γμA0μΨ0
的系数变为g0Z2Z31/2,必须等于
gμϵ/2Z1。鬼顶角有两个鬼场和一个规范场,
三胶子顶角有三个规范场,四胶子顶角则有四个。分别数出这些场因子,有
g0Z2Z31/2g0Z33/2=gμϵ/2Z1,=gμϵ/2Z3g,g0Z2′Z31/2g02Z32=gμϵ/2Z1′,=g2μϵZ4g.(73.3)
将前三式平方并除去场因子,便得到各个顶角必须满足的关系:
g02=g2μϵZ22Z3Z12=g2μϵ(Z2′)2Z3(Z1′)2=g2μϵZ33Z3g2=g2μϵZ32Z4g.(73.4)
这段代数说明同一个裸耦合要求哪些关系。量子反项能否同时满足它们,
还需要非阿贝尔的Slavnov–Taylor恒等式及无规范异常的条件,其根据见
第74节。先以这一量子关系为条件,任选一个顶角就能
确定g0。夸克顶角可复用第62节的大部分积分,因而这里只需求Z1,Z2,Z3。
夸克自能的颜色因子
下图左边只有一条内部胶子线。
它把两个生成元的颜色指标相接,留下
∑a(TaTa)ij=CRδij。其余的动量与伽马矩阵运算
同电子自能完全一样。
夸克自能与局部反项。
实线箭头从j到i,两顶点间带p+ℓ;
上方胶子从右向左带ℓ。叉号包括动能和质量反项。
具体地,把式(62.25)中的e2换成g2CR,并取零胶子质量。
平移q=ℓ+xp后,奇的q项积分为零,于是
iΣij(p)=−g2CRδijμϵ∫01dx∫(2π)dddq[q2+xm2+x(1−x)p2−i0]2(d−2)(1−x)p+dm−iδij(δZ2p+δZmm)+O(g4).(73.5)
为提取UV极点,可以在欧氏离壳动量或m>0下进行。第62节的主积分极部为
i/(8π2ϵ),与参数质量无关。极点系数中令d=4,再用
∫01(1−x)dx=1/2,便得到
ΣijpoleZ2=−δij[8π2ϵg2CR(p+4m)+δZ2p+δZmm],=1−8π2ϵCRg2+O(g4),Zm=1−8π2ϵ4CRg2+O(g4).(73.6)
第一行的两个独立矩阵结构分别确定动能和质量反项。
质量项还将用于夸克质量的尺度演化。
这里保留的是MS极部。第62节为满足壳上质量和留数条件
加入的有限项,不能一同带到本节。
两幅夸克顶角图
延拓到d维后,整个三点顶角有一个与树顶角相同的
μϵ/2。以下将它共同提出,只在每一圈积分中保留
μϵ,这样反项系数可直接同四维记号比较。
下图左边是已经算过的电动力学顶角图。
但沿有向费米线依次相乘的颜色矩阵为TbTaTb,中间的Ta
一般不能移到求和外。由TaTb=TbTa+ifabcTc,有
b∑TbTaTb=CRTa+ifabcTbTc=CRTa+2ifabc[Tb,Tc]=CRTa−21fabcfbcdTd=(CR−21CA)Ta.(73.7)
第二行用f在b,c下反对称,使反对易部分消失;最后一行将
fbcd=fdbc后,用第70节的伴随迹
fabcfdbc=CAδad。这将有序的三个生成元约化为一个生成元。
把第62节已求出的顶角极部乘上这个颜色因子,
第一幅图给
iVijaμQED type, pole=(CR−21CA)8π2ϵg2igTijaγμ.(73.8)
第62节计算中,两个费米传播子的分子产生
(d−2)2q2γμ/d,带q2的三分母积分的极部为
i/(8π2ϵ);费曼参数的总权重为1。
本次只改变有序颜色链和耦合,故没有新的自旋迹或味数因子。
费米线仍是开链,也没有闭圈负号。
夸克—胶子顶角的两种一圈修正。
外胶子为(a,μ)。左图的内部胶子颜色为b;
右图两胶子的颜色为b,c,它们在下方三胶子顶角会合。
右图按零外动量标记,内部费米线带ℓ,三胶子端的两个内部出动量为ℓ,−ℓ。
右图含有三胶子顶角,是本节第一个新的积分。它的UV发散度为零,
局部发散项因而不能含外动量。取m>0并令外动量为零,就能直接取出该系数;
保留m也使约分后的积分在红外可积。无质量理论可先保留非零离壳动量
或一个辅助红外尺度,UV减除后再去掉它。
图中左、右端的内部洛伦兹指标标为ρ,ν;
下面的积分将这两个虚指标同时互换,所有出现都随之换名。
沿有向费米线依次读取矩阵,两个夸克顶角给(ig)2TcTb,
三胶子顶角给gfabc,三条内线各给1/i。因此
iVNAaμ(0,0)Nμ=(ig)2gfabcTcTb(i1)3μϵ∫(2π)dddℓ(ℓ2−i0)2(ℓ2+m2−i0)Nμ,=γρ(−ℓ+m)γν(2ℓμgνρ−ℓνgρμ−ℓρgμν).(73.9)
两条内部胶子接在有向费米线的两个不同端点上,交换它们会改变色矩阵次序;
这幅顶角图的对称因子为1。先化简颜色:
fabcTcTb=21fabc[Tc,Tb]=2ifabcfcbdTd=−2iCATa.(73.10)
最后一个负号来自fcbd=−fdbc。再看分子:含m的部分对ℓ为奇,
在共同的维数积分中为零;其余部分用
ℓσℓμ⟶ℓ2gσμ/d作角平均。
由{γμ,γν}=−2gμν,
γνγν=−d、
γνγμγν=(d−2)γμ,所以
Nμ⟶−dℓ2(2γνγμγν−γμγνγν−γργργμ)=−dℓ2[2(d−2)+d+d]γμ=−d4(d−1)ℓ2γμ=−[3+O(ϵ)]ℓ2γμ.(73.11)
这就完成了分子的伽马缩并。因为现在只求简单UV极点,
O(ϵ)的分子只改变有限项,取系数3已经足够。
它同时约掉原分母中的一个ℓ2。把常数相乘,
(ig)2(1/i)3=−ig2,再乘颜色的−iCA/2和分子的−3,
总系数成为+3g3CA/2:
iVNAaμ∣pole=23CAg3Taγμ[μϵ∫(2π)dddℓ(ℓ2−i0)(ℓ2+m2−i0)1]pole.(73.12)
分子约去一个ℓ2以后,剩下的Im在四维具有零质量维数,
紫外径向行为为∫∞dℓ/ℓ,正是决定顶角反项的对数积分。
利用两分母的费曼参数公式,有
Im:=μϵ∫ℓ(ℓ2−i0)(ℓ2+m2−i0)1=∫01dx(4π)d/2iΓ(ϵ/2)μϵ(xm2−i0)−ϵ/2=16π2iΓ(ϵ/2)(m24πμ2)ϵ/21−ϵ/21=8π2i[ϵ1−21lnμ2m2+21]+O(ϵ).(73.13)
第三行用了∫01x−ϵ/2dx=(1−ϵ/2)−1。
威克旋转、径向Gamma积分及μ的换算均与式(62.15)相同。
所以Im的极点为i/(8π2ϵ)。式中虽列出Im的有限项,
完整顶角的有限部分还会接收式(73.11)中
O(ϵ)系数的贡献;求反项只取这里的极点。
将两幅图与树顶角相加,极部的系数为
iVijaμZ1Z1−Z2=igTijaγμ[Z1+(CR−21CA+23CA)8π2ϵg2]+有限圈项,=1−(CR+CA)8π2ϵg2+O(g4),=−CA8π2ϵg2+O(g4).(73.14)
多出的CA正是规范场自相互作用的结果。
在电动力学中,沃德恒等式使Z1=Z2;这里规范固定及鬼作用量同时含普通导数
和协变导数,不能只从物质动能的形式照搬那个结论。
本节使用的是式(73.4)的各比值相等,
它容许单独的Z1,Z2不同。下面还需求出其中的Z3。
胶子自能:两个三胶子顶角的缩并
胶子二点函数包含胶子蝌蚪、胶子泡、鬼泡、夸克泡和局部反项,
如下图所示。先看蝌蚪:四胶子顶角不含导数,
圈内只有一个无质量传播子,因此它正比于∫ℓ1/ℓ2。
这个无尺度积分在维数正规化中为零。其径向形式也说明了这里的含义:
引入任意分界尺度M,分别延拓低端和高端积分,
∫0Mdrrd−3∫M∞drrd−3∫0∞drrd−3=d−2Md−2,=−d−2Md−2,=0(两部分的共同亚纯延拓).(73.15)
前两行原来分别在Red>2和Red<2收敛;
延拓后的和不依赖M。这沿用第65节的无尺度积分约定。
后面的泡图含外动量k,不能按同样理由消去;先取k2>0的欧氏区域。
胶子二点函数的一圈图及反项。
上排为四胶子蝌蚪和胶子泡,下排为鬼泡、夸克泡及反项。
两条外线的动量k均向右,内部泡的上支带ℓ+k、下支带ℓ。
鬼泡的点线和夸克泡的实线均有连续箭头;胶子泡的两条无向内线可交换。
胶子泡的两条内部胶子连接同一对顶点,可以彼此交换,故有对称因子1/2。
也可以从收缩计数得到这一因子:两个有标签的外端分配到两顶点有2!种,
各顶点选择外腿插槽有3种,剩下两内腿的配对有2!种。
除以微扰展开的2!及两只对称三价顶角的(3!)2,
得到2!322!/[2!(3!)2]=1/2。
两只结构常数缩并为facdfbcd=CAδab。
按上一节的全部出顶规则,把两只三胶子顶角相乘,得到
iΠG,abμν(k)NμνVμρσL=21g2CAδab(i1)2μϵ∫ℓ(ℓ2−i0)[(ℓ+k)2−i0]Nμν,=−VμρσVνρσ,=Lμgρσ−Bρδσμ−Cσδρμ,=2ℓ+k,B=ℓ−k,C=ℓ+2k,L=B+C.(73.16)
第二个顶角的全部出动量与第一个相反,三胶子顶角对动量为奇,
所以分子前出现负号;两传播子的(1/i)2=−1仍另列在第一行。
第一只顶角的内部指标统一置下,第二只统一置上,
使每个内部指标以一上一下的方式缩并。
将三个分量逐项相乘,得到下面九项。行对应第一只V的三项,
列对应第二只V的三项;此表尚未乘N前的总负号。
Lμgρσ−Bρδσμ−CσδρμLνgρσdLμLν−BμLν−CμLν−Bρgνσ−LμBνB2gμνCνBμ−Cσgνρ−LμCνBνCμC2gμν(73.17)
例如第一项用gρσgρσ=d;
第二行第三列把ρ置为ν、σ置为μ,因而是BνCμ。
四个带L的交叉项合为
−Lμ(B+C)ν−(B+C)μLν=−2LμLν。
乘回总负号后,九项缩并成为
Nμν=−[(d−2)LμLν+(B2+C2)gμν+BμCν+CμBν].(73.18)
现在合并分母,让第二个分母占权重x,有
(1−x)ℓ2+x(ℓ+k)2qiΠG,abμνL=(ℓ+xk)2+x(1−x)k2,=ℓ+xk,D=x(1−x)k2,ddℓ=ddq,=−21g2CAδabμϵ∫01dx∫q(q2+D−i0)2Nμν,=2q+(1−2x)k,B=q−(1+x)k,C=q+(2−x)k.(73.19)
平移的雅可比因子为1。把最后一行代入式(73.18),
奇的q项积分为零。qμqν的系数由
4(d−2)+2=4d−6给出;其余偶项为
Nμν⟶−2q2gμν−(4d−6)qμqν−[(1+x)2+(2−x)2]k2gμν−[(d−2)(1−2x)2−2(1+x)(2−x)]kμkν.(73.20)
含(1−2x)的两个交叉项可用1−2x=(2−x)−(1+x)合并,
给出−2(1−2x)2;它与d(1−2x)2相加,产生上式的d−2。
在取d=4以前,维数依赖的每一项都须保留。
本次仍使用第62节已经求出的两个径向积分,记
I2(D)J(D):=μϵ∫q(q2+D−i0)21=(4π)d/2iμϵΓ(2−d/2)(D−i0)d/2−2=8π2i[ϵ1−21lnμ2D−i0]+O(ϵ),:=μϵ∫q(q2+D−i0)2q2=−d−2dDI2(D).(73.21)
J的关系来自式(62.13):先在固定D>0、0<Red<2
的收敛域积分总导数∂qμ[qμ/(q2+D)],再延拓到d=4−ϵ。
具体地,若I1=μϵ∫q(q2+D)−1,
则dI1=2J且J=I1−DI2,消去I1就得到最后一行。
因而将J写成I2时,系数为(2/d−1)−1D,在极点系数中成为−2D。
这个负号来自维数积分的延拓。
为了取简单极点,先在式(73.20)中用
qμqν→q2gμν/4,并令d=4。三个系数分别算为
−2−(16−6)/4=−9/2、
−(1+x)2−(2−x)2=−5+2x−2x2和
−2(1−2x)2+2(1+x)(2−x)=2+10x−10x2,所以
Nμν⟶−29q2gμν−(5−2x+2x2)k2gμν+(2+10x−10x2)kμkν.(73.22)
在二次分母的积分内,将q2项换成−2D=−2x(1−x)k2;
它给度规项增加9x(1−x)k2。于是积分内剩下的张量成为
Nμν(x)=−(5−11x+11x2)k2gμν+(2+10x−10x2)kμkν,(73.23)
其中帽号表示径向积分已经约化到I2。乘上其极点并对x积分:
∫01(5−11x+11x2)dx∫01(2+10x−10x2)dxiΠG,abμνpole=5−211+311=619,=2+5−310=311,=−16π2ϵig2CAδab[−619k2gμν+311kμkν].(73.24)
两个张量的系数绝对值不相等,
单独这幅图的纵向缩并尚不为零。鬼圈将补上缺少的部分。
鬼圈与横向性
鬼泡与胶子泡的分母相同,分子只有两只导数顶角给出的动量。
按图中的连续箭头排列颜色矩阵与动量,得到
iΠH,abμν=(−1)g2facdfbdc(i1)2μϵ∫ℓ(ℓ2−i0)[(ℓ+k)2−i0](ℓ+k)μℓν=−g2CAδabμϵ∫ℓ(ℓ2−i0)[(ℓ+k)2−i0](ℓ+k)μℓν.(73.25)
这里有三个负号:闭鬼圈的−1、
facdfbdc=−CAδab及两传播子的(1/i)2=−1。
它们相乘仍为负。鬼线有方向,不能交换两内线而保持全部有序顶角,
所以没有胶子泡的1/2。
使用相同的q=ℓ+xk,分子变为
[q+(1−x)k]μ(q−xk)ν。
奇项消失后,在任意d下约化为
μϵ∫q(q2+D−i0)2(ℓ+k)μℓν=dgμνJ(D)−x(1−x)kμkνI2(D)=−x(1−x)[d−2k2gμν+kμkν]I2(D).(73.26)
在极点系数中取d=4,再用
∫01x(1−x)dx=1/6,得到
iΠH,abμνpolei(ΠG+ΠH)abμν∣pole=−8π2ϵig2CAδab[−121k2gμν−61kμkν],=8π2ϵig2CAδab[(1219+121)k2gμν+(−611+61)kμkν]=8π2ϵig2CAδab35(k2gμν−kμkν).(73.27)
鬼场的闭圈负号和颜色次序在这里共同发挥作用。它补足了胶子泡的两个系数,
使发散部分具有规范动能的张量形式,因而可由一个Z3吸收。
保留维数后的一圈横向性
还要考察整个一圈自能的横向性。只比较极点不足以确定有限部分是否横向,不过前面的计算已经保留了所需的d维分子,只须再作一次参数积分。
令u=x(1−x),将式(73.20)中的
qμqν换成gμνq2/d,并用式(73.21)
的精确关系。胶子泡的度规系数是
−5+(8d−10)u/(d−2),kμkν系数是6−d+(4d−6)u。
在共同前因子−g2CA/2下,鬼泡须加两倍式(73.26),
于是
i(ΠG+ΠH)abμνGd(x)Gd+Hd=−21g2CAδab∫01dxI2(uk2)[Gd(x)k2gμν+Hd(x)kμkν],=−5+d−24(2d−3)u,Hd(x)=6−d+4(d−2)u,=−(d−1)+d−24(d−1)2u.(73.28)
所有x依赖的权重为I2(uk2)∝ud/2−2。
记a=d/2−2,用欧拉贝塔函数B(p,q)=∫01dxxp−1(1−x)q−1=Γ(p)Γ(q)/Γ(p+q)表示这两个单参数积分,其归一加权平均为
⟨u⟩a∫01dxI2(uk2)(Gd+Hd)=∫01dx[x(1−x)]a∫01dx[x(1−x)]a+1=B(a+1,a+1)B(a+2,a+2)=(2a+3)(2a+2)(a+1)2=4(d−1)d−2,=0.(73.29)
第二行只用了Γ(z+1)=zΓ(z)。这个平均值也可直接由分部积分求出:对Rea>−1,ua+1(1−2x)在两个端点均为零,故
0⟨u⟩a=∫01dxdxd[ua+1(1−2x)]=∫01dxua[(a+1)−(4a+6)u],=4a+6a+1=4(d−1)d−2.(73.41)
将此值代入式(73.28),
常数项与u项正好抵消。这些参数积分可先在
2<Red<4、k2>0下建立,再与先前完成的径向亚纯函数
一同延拓。于是kμ(ΠG+ΠH)μν=0对完整的一圈函数成立,
并沿同一i0取到物理区域。径向张量积分的平移及分部积分沿用此前的维数延拓。
夸克闭圈与胶子反项
剩下的夸克泡可复用第62节的完整横向分子。
旋量迹仍为4,但颜色迹独立给
TrR(TaTb)=T(R)δab。
每一味可分别围成闭圈,因此还要对味求和。
将式(62.14)中的2x(1−x)和四伽马迹的4一并保留,得到
iΠF,abμν(k)iΠF,abμνpole=−8g2nFT(R)δab(k2gμν−kμkν)∫01dxx(1−x)I2(m2+x(1−x)k2),=−6π2ϵig2nFT(R)δab(k2gμν−kμkν).(73.30)
第二行的1/6来自参数积分,极点不依赖m。
若各味质量不同,第一行分别使用mf再求和,极点系数依旧按味数计。
颜色迹已经包含一味的全部色分量,不能在T(R)之外再乘一个D(R)。
闭费米圈的负号与第62节一致。
由规范动能反项产生的插入是
−iδZ3δab(k2gμν−kμkν)。
将它同式(73.27)和式(73.30)相加,
得到圈图与反项之和:
Πabμν(k)Π(k2)poleZ3=δab(k2gμν−kμkν)Π(k2),=−δZ3+[35CA−34nFT(R)]8π2ϵg2,=1+[35CA−34nFT(R)]8π2ϵg2+O(g4).(73.31)
横向结构已分别由规范场加鬼场的参数积分、以及夸克泡的径向恒等式得到。
一个Z3因而足以减去本次胶子二点函数的UV极部;
无质量蝌蚪按同一维数方案为零,没有留下质量反项。
至此,求规范耦合所需的三个因子都已确定。
简单极点怎样决定贝塔函数
先汇总夸克动能、夸克顶角和胶子动能的反项:
Z1Z2Z3=1−(CR+CA)8π2ϵg2+O(g4),=1−CR8π2ϵg2+O(g4),=1+[35CA−34nFT(R)]8π2ϵg2+O(g4).(73.32)
这三个因子各自依赖场的归一和规范选择。规范耦合所要求的组合则是
Z12/(Z22Z3)。同第66节一样,改用正的无量纲变量
α=g2/(4π),并定义α0=g02/(4π),有
α0lnZ22Z3Z12lnα0=αμϵZ22Z3Z12,=n≥1∑ϵnGn(α),=lnα+ϵlnμ+n≥1∑ϵnGn(α).(73.33)
Gn是极点展开的系数,不是另一个物理耦合。
对有量纲的裸量取对数时,可先用一个固定单位除去其量纲;该单位在尺度微分中
不出现。用ln(1+δZ)=δZ+O(g4),简单极点为
G1(α)=[−2(CR+CA)+2CR−35CA+34nFT(R)]2πα+O(α2)=−b02πα+O(α2),b0:=311CA−34nFT(R).(73.34)
第一行依次来自2lnZ1,−2lnZ2,−lnZ3。
开放夸克线的CR项在这里相消;闭夸克圈的T(R)则留下来。
因而用哪一种夸克顶角定义耦合,并不会给规范部分引入一个额外的外腿卡西米尔。
现在固定裸参数,令t=lnμ。由于μ与μ只差固定倍数,
dlnμ/dt=1。保留d维工程项,写
Bα=dα/dt=−ϵα+βα。
对式(73.33)求导,按极点次数整理:
0=ϵ+αBα+Bαn≥1∑ϵnGn′(α)=αβα−αG1′+n≥1∑ϵnβαGn′−αGn+1′.(73.35)
这里的撇号才表示对α求导。第一行的显式ϵ与
Bα/α的工程项抵消;工程项再乘G1′/ϵ,留下有限的
−αG1′。更高极点的次数则降低一级,所以第二行出现n+1。
这正是第28节的固定裸量分析在本次耦合上的应用。
若暂保留Gn对规范参数的依赖,链式法则还要加入
Bξ∑n(∂ξGn)/ϵn;ξ没有工程量纲,
这些项进入极点抵消关系,不改变此处的有限项。
有限部分给βα=α2G1′,代入式(73.34),
便得到贝塔函数:
βα=−[311CA−34nFT(R)]2πα2+O(α3).(73.36)
最后改回g。由α=g2/(4π),
βα=gβg/(2π),所以
βg=g2π[−2πb0(4πg2)2]+O(g5)=−[311T(A)−34nFT(R)]16π2g3+O(g5).(73.37)
分母16π2来自两次变量转换,不能把本节
ϵ=4−d的1/(8π2ϵ)直接替成使用4−2ϵ时的写法。
阿贝尔极限中CA=0,若生成元在一个电荷空间上为t,
再用gt=e,便恢复一味狄拉克电动力学的结果
βe=e3/(12π2),即电荷大小随能标增加。纯规范部分的符号则相反。
从渐近自由到低能问题
对QCD代入第70节的T(A)=3、T(R)=1/2,有
b0=11−32nF,βg=−(11−32nF)16π2g3+O(g5).(73.38)
当整数味数nF≤16时,b0>0;在弱耦合区域,提高能标使规范耦合变小。
这称为渐近自由。为了看清这一结论的尺度含义,
保留一圈项并在味数不变的区间积分:
dlnμdα(μ)1α(μ)1α(μ)=2πb0,=α(μ0)1+2πb0lnμ0μ,=1+2πb0α(μ0)ln(μ/μ0)α(μ0).(73.39)
向高能走,分母增加,原来由小耦合控制的圈展开越来越可靠;
向低能走,分母减小,更高圈项逐渐不能忽略。
将积分常数改记为一个质量尺度,可以写成
Λ=μ0exp[−b0α(μ0)2π],α(μ)=b0ln(μ/Λ)2π.(73.40)
这是本次一圈运行所引出的尺度。公式适用于α(μ)足够小的区域;
靠近Λ时,解所显示的增长提示微扰方法已到边界。
在MS完整理论中,重味不会自动从b0消失。
若跨越物质质量后采用较低能的有效理论,应按第66节的阈值办法重新匹配,
再在各自味数固定的区间使用此式。
低能强耦合引出了色禁闭的问题。夸克、胶子用于描述短距离过程,
而可孤立制备的强子按色单态组织;没有观察到孤立带色粒子,是这一物理图像的经验动机。
将有限能量物理态的整体色不变性作为禁闭的表述,还需要非微扰动力学来支持。
上面的圈积分建立了高能渐近自由,并说明向低能推进时微扰展开为何失去控制,
却不能在失去控制的区域继续用一圈解证明禁闭。
复标量和多种物质表示也会改变贝塔函数。下面继续计算这些贡献,并从已有的极点求质量与场的反常维数。
一个复标量的贡献
把第72节的复标量顶角接成圈。取Dμ=∂μ−igdAμaTRa,其中gd=gμϵ/2,所有标度导数都固定裸参数。沿用一胶子的动量和式顶角、两胶子的反对易子接触顶角。
规范场二点函数有两种标量图:两只三价顶角连成的泡图,以及一只四价顶角上闭合标量线的接触图。泡图的色指标沿闭线求和,接触图则对反对易子取迹,分别给出
i,j∑(TRa)ij(TRb)jiTrR{TRa,TRb}=TrR(TRaTRb)=T(R)δab,=2T(R)δab.(73.42)
与标量电动力学比较,两幅图都只需把e2换成g2T(R)δab。第二行的2正是阿贝尔海鸥顶角已有的2,不再增加一次。标量是复玻色场,没有闭费米圈的负号,也不再把反粒子单独计成另一个复场。
第65节已经将这两幅图相加,利用参数移位和径向分部积分得到横向结果。这里没有内部规范场线,所以移用这一标量圈结果不涉及把朗道规范的物质场因子换成费曼规范。把它按上述色因子改写为
Πμν,sab(k)Πs(k2)D=δab(k2gμν−kμkν)Πs(k2),=−ig2T(R)∫01dx(1−2x)2J2(D),=ms2+x(1−x)k2−i0,J2(D)=μϵ∫(2π)dddℓ(ℓ2+D)21.(73.43)
这里Πs只含圈图,一粒子不可约插入是iΠμν,sab。提取紫外极点时可先保留ms>0并取欧氏型离壳外动量,以免混入无标度积分的红外零点。第65节的积分公式和这里的色因子给
J2(D)∫01(1−2x)2dxΠs(k2)pole=16π2i[ϵ2−lnμ2D+O(ϵ)],=[x−2x2+34x3]01=31,=−24π2ϵg2T(R).(73.44)
圈积分的i与式中1/i相消。规范动能反项对横向标量系数的贡献为−δZ3,所以新增的标量极点由
ΔsZ3=−24π2ϵg2T(R)=−31T(R)8π2ϵg2(73.45)
消去。符号Δs表示加入这个标量后的一圈增量。
接下来要从场的反项得到公共规范耦合的反项。使用式(73.4)中不同顶角给出同一个裸耦合的Slavnov–Taylor关系。其无规范反常及相容重整化条件见第74节;仅用标量电动力学中的Z1=Z2不足以代替这一非阿贝尔关系。选择鬼—鬼—胶子顶角定义公共耦合,有
g0=μϵ/2gZg,Zg=Z2′Z3Z1′.(73.46)
撇号标一粒子不可约鬼顶角和鬼动能的重整化因子。鬼没有直接的标量顶角;要在鬼二点或一粒子不可约鬼三点图中加入标量闭圈,至少需要两圈。外胶子腿上的一圈标量自能则属于Z3。因此新增物质在一圈只改变这个比值中的Z3,从而
ΔslnZg=−21ΔsZ3=48π2ϵg2T(R).(73.47)
把它加到上面求得的纯杨—米尔斯结果,便有
lnZga(g)=ϵa(g)+更高圈极点,=−16π2g2bs,bs=311T(A)−31T(R).(73.48)
最后在固定非零g的定号区间,对ln∣g0∣求导。由本节的d维运行式Bg:=dg/dt=−ϵg/2+βg,
00一圈有限βg=gBg+2ϵ+ϵa′(g)Bg+⋯,=gβg−2ga′(g),=2g2a′(g)=−[311T(A)−31T(R)]16π2g3+更高圈.(73.49)
第二行保留了工程项−ϵg/2与简单极点相乘得到的有限贡献。量子βg再作用于一圈极点属于更高圈,须与那一阶的极点一起组织。贝塔函数在g=0处由最后的多项式连续延拓。
这里的计数单位是一个复标量。若表示允许施加与规范变换相容的实条件,同一表示中的一个复场可写成φ=(φ1+iφ2)/2,其动能分成两份各带1/2的实场动能。每份实场的高斯积分给(detK)−1/2,两份相乘才是复场的(detK)−1。因此一个实标量的系数为T(R)/6,一个复标量的系数为T(R)/3。真复表示上的复场不能直接施加该实条件;若改用实化表示,其迹指标为T(RR)=2T(R),故T(RR)/6=T(R)/3,最终计数相同。
不同表示的物质场
现在令Ψi为表示Ri中的狄拉克场,φj为表示Rj′中的复标量。指标i,j在这里列举物质多重态,同一个表示出现多次就列多次。各个闭圈只能沿着同一种场闭合,所以不同场的贡献相加;每个圈的群因子分别为T(Ri)或T(Rj′)。
狄拉克圈的闭圈负号和旋量迹已经包含在第66节的参数权重中。与复标量并列,它们是
wF=∫018x(1−x)dx=34,ws=∫01(1−2x)2dx=31.(73.50)
这里wF对应一个完整狄拉克场,ws对应一个复标量,已经分别计入旋量分量与两种标量荷支。把这些权重乘上各自的表示迹,再与胶子和鬼圈相加,费曼规范下的规范场因子为
Z3=1+[35T(A)−34i∑T(Ri)−31j∑T(Rj′)]8π2ϵg2+更高圈.(73.51)
一圈鬼顶角比值仍没有新增的物质圈,因此与单个复标量的计算相同,每个物质项只通过−21lnZ3进入lnZg。定义
b0lnZg=311T(A)−34i∑T(Ri)−31j∑T(Rj′),=−16π2ϵb0g2+更高圈极点.(73.52)
在式(73.49)中以b0代替bs,得到
βgβα=−16π2g3[311T(A)−34i∑T(Ri)−31j∑T(Rj′)]+更高圈,=2πgβg=−2πb0α2+更高圈,α=4πg2.(73.53)
第一行中若有nF个相同的狄拉克表示R而没有标量,便恢复式(73.37);若没有狄拉克场而只有一个复标量,便恢复单个复标量的结果。也可把颜色因子换成阿贝尔电荷因子T(A)=0、T(Ri)=Qi2、T(Rj′)=Qj2,于是
βe=12π2e3(i∑Qi2+41j∑Qj2)+更高圈.(73.54)
这与第66节的结果一致。在其e<0的荷号约定下,βe<0而βα>0,物质贡献仍使电荷的绝对值随能标增大。
式(73.53)属于给定场内容的MS理论。由于简单极点与物质质量无关,重粒子不会在这条公式里自行退耦;若能标降到某些质量以下,要另作有效理论匹配并改变求和的场内容。对于弱耦合的高能区,b0>0给出渐近自由,物质场的增加则减小b0。
质量、夸克场和胶子场的反常维数
现在回到只含狄拉克物质的理论:nF个狄拉克场都处在表示R中,不另加标量。m指其中一个夸克的重整化质量,取m>0以便使用对数导数。式(73.2)已经给出m0=mZm/Z2及两个裸场的平方根因子。沿第66节的约定,定义
γmdtdΨΨ0=dtdlnm,=−γΨΨ,γΨdtdAμaA0=21dtdlnZ2,=−γAAμa.γA=21dtdlnZ3,(73.55)
场的运行式有负号,来自固定裸场后对平方根求导。γm定义中的m是有量纲的质量;若考察m/μ,其对数导数才是γm−1。
由式(73.6),Zm中的质量极点系数为4CR,Z2中的动能极点系数为CR,所以ln(Zm/Z2)=−3CRg2/(8π2ϵ)+O(g4)。
对于一圈简单极点lnZ=a(g)/ϵ+⋯,让本节的d维运行式dg/dt=−ϵg/2+βg中的工程项作用于它,可得
dtdlnZ一圈有限=ϵ1(−2ϵg)dgda=−2gdgda.(73.56)
规范参数在固定裸规范参数时也有量子运行,但其导数作用于一圈极点的贡献从更高圈开始。因此可将所需一圈系数直接在ξ=1处评价。
把式(73.6)的Z2代入,得到
γΨ=−41gdgd(−8π2C(R)g2)=16π2C(R)g2+O(g4)=4πC(R)α+O(α2).(73.57)
胶子因子取式(73.32)中的Z3。它既含纯规范圈,又含nF个狄拉克圈,所以
γA=−41gdgd{[35T(A)−34nFT(R)]8π2g2}=−[35T(A)−34nFT(R)]16π2g2+O(g4).(73.58)
这两个场反常维数依赖规范选择,以上数值对应费曼规范。它们描述重整化场随标度的归一变化,不能直接当作某个规范不变可观测量的标度指数。
质量的导数再由m0固定给出:
0=dtdlnm0dtdlnZ2Zmγm=γm+dtdlnZ2Zm,=−2gdgd(−8π23C(R)g2)+O(g4)=8π23C(R)g2+O(g4),=−8π23C(R)g2+O(g4)=−2π3C(R)α+O(α2).(73.59)
因此在上述反常维数定义下,弱耦合区的MS夸克质量随能标升高而减小。无质量点用βm=γmm表达这一乘法运行。若将T(A)设为零并取一个单位电荷狄拉克场,式(73.57)、(73.58)和(73.59)分别还原第66节的γΨ=e2/(16π2)、γA=e2/(12π2)与γm=−3e2/(8π2),质量的负号和场的平方根因子由此相互吻合。
下一节将从规范固定后的BRST对称性出发,说明共同裸耦合关系所需的量子条件。
← 第 72 节 · 章节地图 · 第 74 节 →