系列文章:Srednicki QFT 共 97 篇
第26节把未被分辨的粒子配置加在一起以后,截面中仍留下ln(s/m2)。当s≫m2时,这个大对数会使高阶圈修正变得重要。要理解它的来源,需要回到质量和耦合的定义:我们过去把m定义为传播子的极点质量,并在零动量处规定三点顶角等于g。这些条件将参数与低能物理直接联系起来,但用这组参数描述远高于质量的散射时,圈图中就会出现两个能标之比的对数。下面改变反项的有限部分,再通过同一物理量换算两组参数,看看怎样选择更适合高能计算的耦合定义。所需圈积分已在第14节和第16节求出,以下从这些积分的有限部分开始。
从极点条件到最小减除
仍取d=6−ϵ,并用第14节的尺度μ2=4πe−γμ2。为使两种方案的差别直接显现在反项中,先不指定它们的有限部分。置z=k2、a=x(1−x)、D=m2+az−i0,一圈自能写为
Π(z)=−[A+6α(ϵ1+21)]z−[B+α(ϵ1+21)]m2+2α∫01dxDlnμ2D+O(α2).(27.1)
反项系数A和B分别来自−21A(∂φ)2及−21Bm2φ2,所以它们在Π中带负号。极点的归一化还取决于自能的斜率。对z求导时,积分中的D及lnD都要微分,因此得到
Π′(z)=−A−6α(ϵ1+21)+2α∫01dxa(lnμ2D+1)+O(α2).(27.2)
这里Π的质量维数为2,Π′、A、B都是无量纲量。两个反项的有限部分分别调整自能的动量项和质量项,用来实现选定的极点位置与场归一化。式中1/2来自维数积分的有限展开,与1/ϵ极点应分别保留;改变减除方案所涉及的,正是有限部分怎样分配给反项。
以前采用的极点方案(on-shell scheme,简称OS)要求ΠOS(−m2)=ΠOS′(−m2)=0,分别将参数质量定在物理极点上,并把留数归一为一。用这两个条件确定有限反项后,第14节的结果为
ΠOS(z)=2α∫01dxDlnm2(1−a)D−12α(z+m2)+O(α2).(27.3)
取m→0而保持类空z>0,积分内出现azln(z/m2),表明这组归一化条件在小质量极限变得奇异。传播子的解析结构也说明了困难所在:单粒子极点在z=−m2,两粒子阈值在z=−4m2,它们在m=0时相遇。原来用来隔离单粒子态的间隔消失了,因而有质量时的孤立、单位留数极点条件不能直接延续到这里。
重整化仍允许我们在任意非零尺度μ处定义参数。为摆脱有限部分对物理极点的依赖,可以只要求反项消去维数调节中的发散,取
A=−6ϵα,B=−ϵα,C=−ϵα,(27.4)
这便定义了修正最小减除方案(modified minimal subtraction,MS)。这里的C用于三点顶角,稍后将与二点函数采用同一减除规定。结合上述尺度定义,式(27.4)消去了维数积分中的极点,以及原始尺度下与极点相伴的ln4π−γ。
两种最小减除的区别可以通过尺度换算写明。记p=ln4π−γ;若普通MS在gd=gνϵ/2下只减1/ϵ,那么在数值相同的ν=μ处,两种有限核之间有
ΠMS(z;ν)gV3,MS=ΠMS(z;μ=ν)−2αp(m2+6z),=gV3,MS+2αp.(27.5)
第一行的差来自∫Ddx=m2+z/6,第二行则利用了归一化费曼测度∫dF3=1。改取ν=μ=μe−p/2后,尺度对数中的常数恰好补偿这两个差,恢复前面采用的有限核。下面统一使用MS和μ,这一常数已经包含在尺度定义中。
将式(27.4)代回自能,极点项相消,余下有限部分:
Π(z)=−12α(z+6m2)+2α∫01dxDlnμ2D+O(α2).(27.6)
现在可以直接检查新核的无质量极限。在m=0、z>0处,对数的尺度由外动量给定;利用∫01adx=1/6及∫01alnadx=−5/18,把尺度对数和参数对数分别积分,得到
Π(z)m=0Π′(z)m=0=12αz(lnμ2z−38),=12α(lnμ2z−35).(27.7)
虽然zlnz→0,导数仍在z=0发散。新方案因此给出了有限的离壳归一化,但要将它用于物理截面,仍需结合上一节对共线粒子配置的处理。下面先保持m>0,利用孤立极点确定LSZ的外腿因子,再作高能展开。
物理质量和外腿留数
有限反项改动以后,拉格朗日量中的m不再直接等于实测质量;物理质量仍由完整传播子的极点定义。把它记为M=mph,极点方程及其附近的传播子便为
M2=m2−Π(−M2),Δ(z)=z+m2−Π(z)−i01≃z+M2−i0R,(27.8)
留数由逆传播子在极点附近的一阶系数确定:
R−1=1−Π′(−M2).(27.9)
具体地说,展开分母时先用极点方程消去常数项,余下(z+M2)[1−Π′(−M2)],所以逆留数中的减号随之确定。这里取的是关于k2的留数;若把传播子看成k0的函数,变量代换还会带来2k2+M2的雅可比。
谱表示将这个留数与场产生单粒子的振幅联系起来:对归一化单粒子态,有⟨0∣φ(0)∣k⟩=R。把场改为φOS=R−1/2φ,这个矩阵元才等于一。因此,LSZ修正同时涉及物理质量和场归一化:约化算符应在质量M处截腿,每个场再附加R−1/2。将这两个操作施加在同一条完整外传播线上,得到
R1i(z+M2)i1z+M2−i0R⟶R.(27.10)
由此,有n条外腿的物理振幅等于截腿图之和乘Rn/2。四点振幅含有R2,取模方时相应出现R4。内部自由线仍为−i/(k2+m2−i0),其中的质量是组织微扰展开的拉格朗日量参数;外动量则满足ki2=−M2,位置空间的约化算符相应为−∂2+M2。三价顶角仍为ig(1+C),二价反项仍为−i(Ak2+Bm2)。这样,内线和顶角继续按所选方案计算,外腿因子则将所得图核连接到归一化的物理粒子态。
接下来求出极点位置。一圈中M2−m2=O(αm2),而Π′=O(α),因此可以在自能中围绕参数质量展开:
Π(−M2)=Π(−m2)−(M2−m2)Π′(−m2)+⋯=Π(−m2)+O(α2m2).(27.11)
这一截断按α∣ln(μ2/m2)∣≪1使用;对数很大时,需要后面给出的跑动解重新组织展开。令Lμ=ln(μ2/m2)。在z=−m2处,D0=m2(1−a)>0,因而这里需要的都是阈值下的实积分。第14节的有限积分已经给出
J0J1=∫01dxln(1−a)=−2+3π,=∫01dxaln(1−a)=−1817+23π.(27.12)
质量方程所需的积分带有(1−a)权重,因此把这两个已知积分作差,并将尺度对数单独积分,便有
∫01dxD0lnμ2D0=m2[−65Lμ+J0−J1]=m2[−65Lμ−1819+23π].(27.13)
将这一积分乘上自能中的系数,再与式(27.6)中的−5αm2/12相加,极点方程化为
Π(−m2)=−125αm2(Lμ+c′),c′=1534−33π,M2=m2[1+125α(Lμ+c′)]+O(α2m2).(27.14)
常数c′由这些有限积分完全确定;给定减除方案后,它已经没有另行选择的自由。
留数可按同样的步骤求出。在式(27.2)中代入A后,积分中+1所给的贡献与显式−α/12相消,剩下的对数积分直接由前面的加权结果计算:
Π′(−m2)R−1=2α∫01dxa[−Lμ+ln(1−a)]=−12αLμ+2αJ1,=1+12α(Lμ+c′′)+O(α2),c′′=−6J1=317−33π.(27.15)
这里用−m2代替−M2,所引入的误差仍在二圈阶。两个有限常数c′和c′′分别来自质量条件与留数条件。
质量为什么随尺度变化
现在有了参数质量与物理质量的明确关系。物理质量M应当与任意选择的μ无关,因此参数本身的变化必须补偿圈图中显式的尺度变化。对式(27.14)取平方根再取对数,将这一条件写成便于求导的形式:
lnM=lnm+125α(lnmμ+2c′)+O(α2).(27.16)
为表示质量参数和耦合随尺度的变化,定义
γm(α)=dlnμdlnm,β(α)=dlnμdα,(27.17)
这两个导数都沿着同一裸理论取值,即改变减除尺度时保持所描述的物理体系不变。因此物理质量关系右边的m也随尺度变化,要与显式对数一起微分。保留所需阶数的完整链式法则,得到
0=γm+125[β(lnmμ+2c′)+α(1−γm)]+O(α2).(27.18)
稍后将从散射率得到β=O(α2),而上式本身给出γm=O(α)。于是括号中的β项和αγm项都进入下一阶,领先项便化为
γm=−125α+O(α2).(27.19)
增大μ时,m(μ)随之下降,正好补偿圈图中对数的变化,使M保持不变。这种由量子修正引起的尺度变化称为“反常量纲”(anomalous dimension);质量原有的质量维数1仍由单位制确定。
三点顶角和方案之间的有限换算
质量和场的归一化确定以后,还须用同一方案定义耦合。第16节三角图的归一化测度为dF3=2dxdydwδ(x+y+w−1),积分区域是x,y,w≥0。取D3=m2+xyk12+ywk22+wxk32−i0,并减去C=−α/ϵ,得到有限顶角及其零动量值
gV3(k1,k2,k3)=1−2α∫dF3lnμ2D3+O(α2),gV3(0,0,0)=1+2αLμ+O(α2).(27.20)
三角图的对称因子和参数积分沿用第16节的推导,变化只在有限减除。零动量时D3=m2,对数不再依赖参数,因而第二个结果由∫dF3=1直接得到。
这时可以比较两种方案对同一理论的描述。先将MS场写成φ=RφOS,使OS场的单粒子重叠归一为一。有效作用量中的每个场因子都带来R,所以各阶顶角和零动量耦合相应变为
Vn,OSgOS=V3,OS(0)αOS=Rn/2Vn,=R3/2V3(0)=g[1+83αLμ−8αc′′]+O(gα2),=α[1+43αLμ−4αc′′]+O(α3).(27.21)
其中R3/2=1−α(Lμ+c′′)/8+O(α2);其对数项与顶角的+αLμ/2相加,留下3αLμ/8。可见场的有限归一化和顶角的有限修正都参与耦合换算,两种方案中同写作g的参数一般并不取相同数值。
二点函数也随同一场变换而改变。由ΔOS=R−1Δ可知,逆核应乘R。再用M2=m2−Π(−m2)消去常数项,并保留到一圈,得到
ΠOS(z)=Π(z)−Π(−m2)−(z+m2)Π′(−m2)+O(α2).(27.22)
右边只需使用共同的领先m,g,其差异乘上一圈项后属于更高阶;完整OS参数则是M,gOS。式中的第二项将极点放在物理质量处,第三项把留数归一为一。代入对数积分,便恢复式(27.3),从而看出两种二点核怎样通过有限减除相互转换。
同一转换也可从裸量不变直接求出。两种方案都描述相同的裸场、裸质量和裸耦合,因此应固定
φB=Zφ1/2φ,mB2=ZφZmm2,gB=Zφ3/2Zggμϵ/2.(27.23)
记δA=AOS−AMS,其余反项的差作类似定义。把极点、导数及零动量顶角条件分别施加到新方案的核上,所需的有限反项差为
δAδBδC=−12α(Lμ+c′′),=−12α(6Lμ+c′′+5c′),=−2αLμ.(27.24)
例如,质量条件0=Π(−m2)+m2(δA−δB)与已求出的场反项差一起给出第二行。裸耦合不变则要求gOS/g=1−δC+23δA,代入后得到与式(27.21)相同的换算。场和参数必须一起改变,才能使两种图展开对应同一个散射过程。
重新计算高能散射
现在用新参数重做第26节的高能散射,取s≫M2,并保持t/s,u/s远离零。树振幅仍由三条交换道相加得到:
T0=−g2(s1+t1+u1).(27.25)
要找出各通道的共同对数,先看任意一条交换道。令交换动量平方为z,自能的大∣z∣部分可直接使用式(27.7)。对于该道的三点顶角,两个外宗量在领先质量阶为零,因此D3≃xyz,其中x,y是费曼参数。将尺度对数从参数积分中提出后,余下的对数积分可按单纯形几何计算:固定x时,剩余积分区间的长度为1−x,于是
∫dF3lnx=2∫01dx(1−x)lnx=2(−1+41)=−23,∫dF3ln(xy)=−3.(27.26)
沿费曼边界从z−i0连续取对数,并记ℓz=ln[(z−i0)/μ2],上述积分便把自能和顶角分别化为
zΠ(z)=12α(ℓz−38),gV3=1−2α(ℓz−3)(27.27)
这两式保留到一圈和领先质量阶。每条交换道含有两个三点顶角,传播子则按Δ=z−1(1+Π/z+⋯)展开。将三处的一圈贡献相加,该道相对于树图的修正为
2(gV3−1)+zΠ(z)=−1211αℓz+925α.(27.28)
共同系数11/12的大小由两次顶角的−1/2与自能的+1/12相加确定,整体符号为负。对于s道,ℓ−s=ln(s/μ2)−iπ;t,u道分别多出ln(−t/s)、ln(−u/s)。固定散射角时,这些差保持有限,可以与共同的硬尺度对数分开。第20节已经求出的三个箱图是紫外有限的,领先部分只依赖角度比值及其对数,因而不再贡献lnμ。三道相加并乘上外腿因子后,振幅为
T=R2T0[1−1211αlnμ2s+αFhard(t/s,u/s)+O(α2)].(27.29)
这里Fhard收集了式(27.28)中的常数、三道不同的有限对数以及第20节箱积分。它可以有虚部,但不依赖μ,也不含发散的质量对数;需要完整有限角函数时,可直接代入这些已求出的表达式。本节关注的是各道共有的尺度对数。以上各式略去了随m2/s及其对数趋零的质量修正,并在α∣ln(s/μ2)∣和α∣ln(s/m2)∣尚小时按固定阶展开。
还有一份质量对数来自外态的归一化。由式(27.15),R2=1−α(Lμ+c′′)/6+O(α2),将它乘入振幅并保留同一阶,得到
T0T=1−α[1211lnμ2s+61Lμ]+α(Fhard−6c′′)+O(α2).(27.30)
取模方时,一圈修正贡献其两倍实部,所以虚圈部分的两个大对数为−11αln(s/μ2)/6−αLμ/3。外腿修正由此进入事件概率,接下来还须加入给出同一探测读数的真实分裂。
采用第26节规定的初末态权重,四条腿的实分裂因子为
1+3α[lnm2δ2s+c−ln4]+O(α2),c=34−3π.(27.31)
这里使用两体质心系的K2=s/4,角分辨率满足m2/s≪δ2≪1。为与虚圈项逐项相加,把ln(δ2s/m2)写成ln(s/μ2)+Lμ+lnδ2;这样,真实与虚圈项中相反的Lμ系数就显现出来:
−611αlnμ2s−3αLμ+3α(lnμ2s+Lμ+lnδ2)=−α[23lnμ2s+31lnδ21].(27.32)
质量对数相消后,包容结果成为
∣T0∣2∣T∣obs2=1−α[23lnμ2s+31lnδ21]+αFobs(t/s,u/s)+O(α2).(27.33)
其中的有限函数为Fobs=2ReFhard−c′′/3+(c−ln4)/3,在本节近似精度内不依赖m,μ。这一相消使用了四条腿的共同权重;若固定两粒子纯初态,自动求和的只有两条出腿,式(27.31)的系数便应减半,仍留下入射共线质量对数。因此,式(27.33)的无质量极限与第26节的初态制备规定相联系。
还可以从旧方案的结果直接看出这一变化。旧方案的树率正比于αOS2,将耦合作有限换算后,它成为
αOS2=α2[1+23αLμ−2αc′′]+O(α4).(27.34)
将它乘上上一节的1−23αln(s/m2)+⋯,两处质量对数合为−23αln(s/μ2),有限项也随c′′一起换算。这就解释了为何改变耦合定义能够改写上一节留下的质量对数:描述同一过程的两种结果经过参数换算仍然相同。
从尺度独立性求出耦合的跑动
新的表达式中出现了任意选定的μ,物理截面却应与这个选择无关。既然式(27.33)显含μ,耦合g就必须随尺度变化,使显式和隐式的依赖相互抵消。为将这一条件写成无量纲的对数关系,先把∣T∣obs2除以固定的运动学因子,使树级结果为α2,记所得量为R。固定s,t,u,δ后,式(27.33)可写成
lnR=2lnα+3α[lnμ∗μ+C2]+O(α2).(27.35)
这里μ∗是固定参照尺度,C2收集有限角函数和探测角δ的依赖,因此它不随μ或α改变。若除去的运动学因子另选一个常数倍,右边只会增加一个与尺度无关的常数,不影响随后求出的尺度关系。
沿同一理论对lnμ求导时,树级的α2也随耦合变化,因此有
0=α2β+3α+3β[lnμ∗μ+C2]+O(α2).(27.36)
第一项须与O(α)的第二项相消,从而确定β=O(α2)。第三项对β的影响则进入下一阶,领先结果为
β(α)=−23α2+O(α3).(27.37)
这同时给出了前面求质量反常量纲时暂用的阶数。所得β在此阶不依赖探测角,因为δ只进入有限常数,求尺度导数时不参与领先相消。
裸参数提供了同一尺度关系的另一种写法。将式(27.4)代入裸质量和裸耦合,可得
mB2=m2(1−6ϵ5α)+⋯,gB=gμϵ/2(1−4ϵ3α)+⋯.(27.38)
在d=6−ϵ中,耦合的工程维数先给出经典变化βd=−ϵα+O(α2)。这一项与反项极点相乘,会在物理维数的极限留下有限贡献。固定gB,对第二式取对数再求导,得到
0=2ϵ+2αβd−4ϵ3βd+⋯.(27.39)
设βd=−ϵα+bα2+⋯,方程中有限的O(α)部分为bα/2+3α/4,于是b=−3/2。同样固定mB2,便有0=2γm−5βd/(6ϵ)+⋯,在此阶得到γm=−5α/12。这两次求导都需要先保留ϵ项,让它与极点相乘后取有限部分,最后才令ϵ趋于零。更高阶时各极点怎样配合,将在第28节继续讨论。
选择能标与渐近自由
重整化群方程使我们能够在不同能标之间换算耦合。只保留式(27.37)的首项,将未知量改为耦合的倒数,方程便化成
dlnμdα1=23.(27.40)
右边是常数,从μ1积分至μ2,再解出终点处的耦合,便有
α(μ2)1−α(μ1)1=23lnμ1μ2,α(μ2)=1+23α(μ1)ln(μ2/μ1)α(μ1).(27.41)
这是截断微分方程的完整解,将由同一领先系数产生的一串尺度对数求和起来。对于正耦合,增大μ会减小α,这种行为称为渐近自由(asymptotic freedom)。因而在散射能量s处取μ≃s,既可减小式(27.33)中的硬尺度对数,又能用较小的耦合组织高能展开。若δ极小,角分辨率对数仍会很大,需要另行处理;这里的跑动求和针对共同的硬尺度部分。
沿相反方向降低μ,耦合会逐渐增大。式(27.41)的分母在下面这个形式尺度处降为零:
Λformal=μ1exp[−3α(μ1)2](27.42)
耦合在接近这一尺度前已增至一的量级,高阶 β 项随之变得重要。Λformal 因而标记领先跑动解进入强耦合区的尺度。
对于有质量粒子的散射,实际两粒子阈值是s=4M2。领先阶可以用4m2代替,超出这一精度时则须区分m(μ)与M。当过程能量接近质量,通常在μ约为物理质量处使用保留质量的圈积分,或作低能匹配。这是一种为低能计算选择尺度的安排;MS采用质量无关的β函数,它本身并不会在μ=M自动变为零。只要该尺度的耦合仍小,有质量过程还可以作微扰计算;令m=0后,则没有相同的质量尺度截住向低能的演化,因而需要进一步研究强耦合物理。
本例的低能讨论还须结合第5节提出的真空问题。实φ3势及其导数为
V(φ)=21m2φ2−6gφ3,V′(φ)=φ(m2−2gφ).(27.43)
当m2>0时,φ=0是局部极小值,另一驻点φb=2m2/g满足V′′(φb)=−m2及V(φb)=2m6/(3g2),因此形成一个局部势垒。越过势垒,沿gφ>0方向势能向下无界;当m=0时,连这个局部势垒也消失了。本节对有质量情形所作的计算,采用的正是围绕局部真空的微扰展开。这里的真空判断来自势的形状,而负β描述的是弱耦合下的尺度变化,两种性质分别由各自的计算得到。
量子色动力学在高能处耦合变弱,低能激发用无色强子描述,第73节和第82节将讨论这种变化。若某理论在小正耦合处β>0,降低能标就使耦合减小,这称为红外自由(infrared freedom);沿相反方向提高能量,耦合则逐渐增大。第66节将计算量子电动力学的跑动。β还可能在非零耦合处出现零点,下一节将讨论这样的固定点。
质量与耦合的共同跑动
最后将质量方程与耦合方程一起求解。在正质量、正耦合的区间内,先写出一般的领先形式
dlnμdα=b1α2,dlnμdlnm=c1α,b1=0.
两式相除便消去任意尺度参数,得到 dlnm/dα=c1/(b1α)。从 μ1 对应的耦合积分到 μ2 对应的耦合,结果为
lnm(μ1)m(μ2)=b1c1∫α(μ1)α(μ2)αdα=b1c1lnα(μ1)α(μ2).
于是 m(μ)α(μ)−c1/b1 在这两个截断方程下保持不变。本节 b1=−3/2、c1=−5/12,其比值为 5/18,故
m(μ2)=m(μ1)[α(μ1)α(μ2)]5/18=m(μ1)[1+23α(μ1)lnμ1μ2]−5/18.
在括号为正且耦合仍小时,提高能标同时降低耦合和参数质量。将最后一行展开,首项为 m(μ1)[1−125α(μ1)ln(μ2/μ1)+⋯],与质量反常量纲的微分方程一致。
← 第 26 节 · 章节地图 · 第 28 节 →