Srednicki §94 夸克与 θ 真空

26 年 9 月 14 日 星期一
7639 字
39 分钟
系列文章:Srednicki QFT 共 97 篇

上一节说明,纯杨–米尔斯理论的不同拓扑扇区带有相对相位einθe^{in\theta},真空能量因而可以依赖θ\theta。加入夸克后,轴旋转能够改变θ\theta项的系数。无质量夸克没有质量相位与之比较,θ\theta便可以消去;夸克有质量时,留下的是质量相位与真空角的差。这个相对相位进入低能π介子–核子作用,并产生中子的电偶极矩。

Minkowski度规取(+++)(-+++),色生成元的基本表示迹为Trc(tatb)=δab/2\operatorname{Tr}_c(t^at^b)=\delta^{ab}/2ϵ0123=+1\epsilon^{0123}=+1。所需的四个核子质量项已在第83节求出;下面保留它们的矩阵次序,展开非零真空角带来的新项。

轴变换怎样改变真空角

先考虑一个处在SU(3)SU(3)基本表示的无质量狄拉克夸克。把上一节的矩阵迹化成颜色分量,得

Z(θ)=DADΨDΨˉeid4xL,L=iΨˉΨ14FaμνFμνag2θ32π2F~aμνFμνa.(94.1)\begin{aligned} Z(\theta)&=\int\mathcal DA\,\mathcal D\Psi\,\mathcal D\bar\Psi\, e^{i\int d^4x\,\mathcal L},\\ \mathcal L&=i\bar\Psi\slashed D\Psi-\frac14F^{a\mu\nu}F^a_{\mu\nu} -\frac{g^2\theta}{32\pi^2}\widetilde F^{a\mu\nu}F^a_{\mu\nu}. \end{aligned} \tag{94.1}

这里暂不加费米外源,规范固定沿前章处理。经典作用量除矢量U(1)VU(1)_V外,还有轴U(1)AU(1)_A:前者给Ψ\PsiΨˉ\bar\Psi相反的相位,后者给它们同向的γ5\gamma_5旋转。将轴变换写成变量代换,

Ψold=eiαγ5Ψ,Ψˉold=Ψˉeiαγ5.(94.2)\Psi_{\rm old}=e^{-i\alpha\gamma_5}\Psi,\qquad \bar\Psi_{\rm old}=\bar\Psi e^{-i\alpha\gamma_5}. \tag{94.2}

第二式也可由第一式取伴随得到:γ0\gamma^0γ5\gamma_5反对易,将指数移过γ0\gamma^0后,相位再次变号。由于 eiαγ5γμ=γμeiαγ5e^{-i\alpha\gamma_5}\gamma^\mu=\gamma^\mu e^{i\alpha\gamma_5}, 常数α\alpha使两个指数在动能中相消。

量子测度却不保持不变。第77节的热核计算已经给出两个Berezin测度的雅可比。本节只需代入基本表示的半迹:

DΨoldDΨˉold=Jα[A]DΨDΨˉ,Jα[A]=exp[ig2α16π2d4xF~aμνFμνa].(94.3)\begin{aligned} \mathcal D\Psi_{\rm old}\mathcal D\bar\Psi_{\rm old} &=\mathcal J_\alpha[A]\,\mathcal D\Psi\mathcal D\bar\Psi,\\ \mathcal J_\alpha[A] &=\exp\left[-i\frac{g^2\alpha}{16\pi^2} \int d^4x\,\widetilde F^{a\mu\nu}F^a_{\mu\nu}\right]. \end{aligned} \tag{94.3}

在式(77.20)的表示迹中,半迹的1/21/2ϵFF=2F~F\epsilon FF=2\widetilde FF的2相消,便得到上式的系数。将这个指数与式(94.1)相乘,拓扑项中的θ\theta变成

θ=θ+2α,Z(θ)=Z(θ+2α).(94.4)\theta'=\theta+2\alpha,\qquad Z(\theta)=Z(\theta+2\alpha). \tag{94.4}

α\alpha可以任取,故无源真空泛函与θ\theta无关。比较带夸克插入的关联函数时,插入算符的相位也随变量改变;这正是第77节沃德恒等式中接触项的来源。对于这里的真空能量,没有这样的插入,结论便可直接使用。

固定拓扑背景中的零模

夸克作用量是二次型,格拉斯曼积分给出行列式。沿上一节的Euclid扇区记法,

Z(θ)=nZeinθAnDAeSYM[A]Zf[A],Zf[A]=detDE[A].(94.5)Z(\theta)=\sum_{n\in\mathbb Z}e^{in\theta} \int_{\mathcal A_n}\mathcal DA\,e^{-S_{\rm YM}[A]}Z_f[A], \qquad Z_f[A]=\det\mathscr D_E[A]. \tag{94.5}

DE\mathscr D_E为延拓后的无质量狄拉克二次型,不依赖θ\theta的整体归一已吸收在测度中。若每个非零nn背景的行列式都为零,便能直接解释刚才的θ\theta独立性。为判断这一点,在固定AA的积分中作同一次轴代换。Euclid雅可比为e2iαne^{2i\alpha n},而经典费米作用量不变,故

Zf[A]=e2iαnZf[A].(94.6)Z_f[A]=e^{2i\alpha n}Z_f[A]. \tag{94.6}

n0n\ne0时,总可以选一个使相位不等于1的α\alpha,于是Zf[A]=0Z_f[A]=0。这里始终使用未归一化积分,没有除以这个正要判断是否为零的行列式。仅仅知道规范场积分后的Z(θ)Z(\theta)为常数,只能推出非零Fourier系数的总和为零;固定背景的变量代换才给出逐个背景的结论。

还可以从狄拉克谱看见这个零。沿第77节取

Γ4=γ0,Γi=iγi,Γ5=Γ4Γ1Γ2Γ3=γ5,HE=iΓaDEa=HE,{HE,Γ5}=0.(94.7)\begin{gathered} \Gamma^4=\gamma^0,\qquad \Gamma^i=-i\gamma^i,\qquad \Gamma_5=\Gamma^4\Gamma^1\Gamma^2\Gamma^3=\gamma_5,\\ H_E=i\Gamma^aD_{Ea}=H_E^\dagger,\qquad \{H_E,\Gamma_5\}=0. \end{gathered} \tag{94.7}

先在紧致的平直Euclid空间中定义谱,例如四维环面上的光滑规范丛;非平凡丛的连接用相容的局部规范势拼接。这样没有物理边界项,谱离散,热核有定义。在非紧空间使用同一论证时,须取相应的衰减和谱边界条件。若HEϕλ=λϕλH_E\phi_\lambda=\lambda\phi_\lambda,则

2λϕλ,Γ5ϕλ=ϕλ,{HE,Γ5}ϕλ=0.(94.8)2\lambda\langle\phi_\lambda,\Gamma_5\phi_\lambda\rangle =\langle\phi_\lambda,\{H_E,\Gamma_5\}\phi_\lambda\rangle=0. \tag{94.8}

所以每一个非零本征态在带Γ5\Gamma_5的迹中贡献为零。零模子空间在Γ5\Gamma_5下封闭,可选手征本征基;记其正、负手征维数为N+,NN_+,N_-。由此

Tr(Γ5eHE2/M2)=N+N,N+N=g216π2Ed4xTrc(F~EμνFμνE)=n.(94.9)\begin{aligned} \operatorname{Tr}\left(\Gamma_5e^{-H_E^2/\mathcal M^2}\right) &=N_+-N_-,\\ N_+-N_- &=\frac{g^2}{16\pi^2}\int_Ed^4x\, \operatorname{Tr}_c(\widetilde F_E^{\mu\nu}F^E_{\mu\nu}) =n. \end{aligned} \tag{94.9}

第二行使用式(77.19)的热核系数,所需的取向转换尤其重要:第77节用ϵ774123=+1\epsilon_{77}^{4123}=+1,第93节则用ϵ931234=+1\epsilon_{93}^{1234}=+1,故ϵ77=ϵ93\epsilon_{77}=-\epsilon_{93}。该热核式前面的负号因此变成正号,再由ϵFF=2F~F\epsilon FF=2\widetilde FF得到本式。谱迹中的高能调节M\mathcal M不改变第一行;它只是让局域系数的求值有意义。

n0n\ne0时,至少有n|n|个零模。沿其中一个零模展开的格拉斯曼系数没有二次作用量,因而包含dc1=0\int dc\,1=0,这就使无质量、无插入的高斯积分消失。若关联函数插入了足够的费米场,积分可以改为dcc=1\int dc\,c=1,零模便能被饱和。因此瞬子扇区仍能出现在含费米子的关联函数中;消失的是此处的无源行列式贡献。

有质量夸克留下什么相位

现在加入质量,把一个狄拉克场写成两个左手场,

Ψ=(χξ),Lm=mχξmξχ,m=meiϕ.(94.10)\Psi=\begin{pmatrix}\chi\\ \xi^\dagger\end{pmatrix},\qquad \mathcal L_m=-m\chi\xi-m^*\xi^\dagger\chi^\dagger, \qquad m=|m|e^{i\phi}. \tag{94.10}

其中χ\chi属色3\mathbf3ξ\xi3ˉ\bar{\mathbf3},所以χξ\chi\xi是颜色单态。利用ΨˉPLΨ=χξ\bar\Psi P_L\Psi=\chi\xi及其共轭,

mPL+mPR=m(eiϕPL+eiϕPR)=meiϕγ5,Lm=mΨˉeiϕγ5Ψ.(94.11)\begin{aligned} mP_L+m^*P_R &=|m|\left(e^{i\phi}P_L+e^{-i\phi}P_R\right) =|m|e^{-i\phi\gamma_5},\\ \mathcal L_m&=-|m|\bar\Psi e^{-i\phi\gamma_5}\Psi. \end{aligned} \tag{94.11}

轴代换使χold=eiαχ\chi_{\rm old}=e^{i\alpha}\chiξold=eiαξ\xi_{\rm old}=e^{i\alpha}\xi,故质量双线性多出e2iαe^{2i\alpha}。与测度的变化合起来,

m=me2iα,θ=θ+2α,meiθ=meiθ.(94.12)m'=me^{2i\alpha},\qquad \theta'=\theta+2\alpha,\qquad m'e^{-i\theta'}=me^{-i\theta}. \tag{94.12}

α=ϕ/2\alpha=-\phi/2可把质量取为正实数,拓扑项却留下θϕ\theta-\phi。选另一个α\alphaθ\theta消掉,质量便带上同一个相对相位。两者不能同时消去,除非这个差本来就是零,模2π2\pi理解。

NfN_f个味,写Lm=Mijχiξj+h.c.\mathcal L_m=-M_{ij}\chi_i\xi_j+\mathrm{h.c.}。共同轴旋转作用在每一个质量矩阵元上,而测度的对数要对全部味求和,因此

M=e2iαM,θ=θ+2Nfα,detM=e2iNfαdetM,(detM)eiθ=(detM)eiθ,θˉθargdetM.(94.13)\begin{gathered} M'=e^{2i\alpha}M,\qquad \theta'=\theta+2N_f\alpha,\\ \det M'=e^{2iN_f\alpha}\det M,\qquad (\det M')e^{-i\theta'}=(\det M)e^{-i\theta},\\ \bar\theta\equiv\theta-\arg\det M . \end{gathered} \tag{94.13}

质量项与拓扑项的号固定后,θˉ\bar\theta的这一定义也随之确定。质量矩阵的正奇异值仍是独立参数,总轴相位则与θ\theta合并。若有一个严格无质量味,argdetM\arg\det M本身无定义,应回到式(94.4),只旋转那个无质量味即可消去θ\theta

谱结构也能核对这个相位。对非零λ\lambda,选{ϕλ,Γ5ϕλ}\{\phi_\lambda,\Gamma_5\phi_\lambda\}为二阶子空间;其中HE=λσ3H_E=\lambda\sigma_3Γ5=σ1\Gamma_5=\sigma_1。略去不依赖ϕ\phi的常量归一,质量二次型可取

Dλ=(mcosϕ+iλimsinϕimsinϕmcosϕiλ),detDλ=λ2+m2.(94.14)\mathscr D_\lambda= \begin{pmatrix} |m|\cos\phi+i\lambda&-i|m|\sin\phi\\ -i|m|\sin\phi&|m|\cos\phi-i\lambda \end{pmatrix}, \qquad \det\mathscr D_\lambda=\lambda^2+|m|^2. \tag{94.14}

行列式的交叉项相消,两个sin2ϕ\sin^2\phicos2ϕ\cos^2\phi项合成m2|m|^2。正、负手征零模则分别给meiϕ|m|e^{-i\phi}meiϕ|m|e^{i\phi},所以总质量相位为

eiϕ(N+N)=einϕ,einθeinϕ=ein(θϕ).(94.15)e^{-i\phi(N_+-N_-)}=e^{-in\phi},\qquad e^{in\theta}e^{-in\phi}=e^{in(\theta-\phi)}. \tag{94.15}

这与变量代换得到的结果一致,也说明为什么质量一旦非零,原先被零模消去的真空扇区又能有贡献。

两味低能理论的真空取向

为了计算强子效应,以下从实正的mu,mdm_u,m_d与一个真空角θ\theta出发。对两味共同取α=θ/4\alpha=-\theta/4,显式拓扑项便消失,全部相位移入

M=M0eiθ/2,M0=diag(mu,md),mu,md>0.(94.16)M=M_0e^{-i\theta/2},\qquad M_0=\operatorname{diag}(m_u,m_d),\qquad m_u,m_d>0. \tag{94.16}

因此这里的θ\theta就是质量已取实基中的物理强相位。第83节给出的最低阶有效拉格朗日量现在写成

Leff=fπ24Tr(μUμU)+v3Tr(MU+MU)+iNˉ∂̸NmNNˉ(UPL+UPR)Ni2(gA1)Nˉγμ(UμUPL+UμUPR)N+δLM.(94.17)\begin{aligned} \mathcal L_{\rm eff} ={}&-\frac{f_\pi^2}{4}\operatorname{Tr}(\partial^\mu U^\dagger\partial_\mu U) +v^3\operatorname{Tr}(MU+M^\dagger U^\dagger)\\ &+i\bar N\slashed\partial N -m_N\bar N(U^\dagger P_L+UP_R)N\\ &-\frac{i}{2}(g_A-1)\bar N\gamma^\mu (U\partial_\mu U^\dagger P_L+U^\dagger\partial_\mu UP_R)N +\delta\mathcal L_M . \end{aligned} \tag{94.17}

其中 PL,R=(1γ5)/2P_{L,R}=(1\mp\gamma_5)/2。把质量矩阵视为按手征变换规律变化的外参数,在无导数、只含一次 MMMM^\dagger 的阶数,核子质量修正可写成四项:

δLM=c1Nˉ(MPL+MPR)Nc2Nˉ(UMUPL+UMUPR)Nc3Tr(MU+MU)Nˉ(UPL+UPR)Nc4Tr(MUMU)Nˉ(UPLUPR)N.\begin{aligned} \delta\mathcal L_M={}&-c_1\bar N(MP_L+M^\dagger P_R)N\\ &-c_2\bar N(U^\dagger M^\dagger U^\dagger P_L+UMUP_R)N\\ &-c_3\operatorname{Tr}(MU+M^\dagger U^\dagger) \bar N(U^\dagger P_L+UP_R)N\\ &-c_4\operatorname{Tr}(MU-M^\dagger U^\dagger) \bar N(U^\dagger P_L-UP_R)N. \end{aligned}

前两项直接将质量矩阵插入核子双线性,后两项先对味指标取迹,再乘核子双线性。取实系数 cic_i 时,各项均厄米;最后一行的两个因子各在厄米共轭下变号,因此它们的乘积也厄米。由 [M]=1[M]=1[NˉN]=3[\bar NN]=3 可知 cic_i 无量纲。下面代入式(94.16),并在计算 CP 奇量时保留 θ\theta 的一次项。

展开点由真空能量的极小值确定。均匀纯介子构型的能量密度为

V(U)=v3Tr(MU+MU)=2v3ReTr(MU).(94.18)V(U)=-v^3\operatorname{Tr}(MU+M^\dagger U^\dagger) =-2v^3\operatorname{Re}\operatorname{Tr}(MU). \tag{94.18}

t=θ/2t=\theta/2s=mu+mds=m_u+m_dd=mumdd=m_u-m_d。利用SU(2)矩阵的实参数形式,写U=a0I+iajσjU=a_0I+ia_j\sigma^ja02+a2=1a_0^2+\boldsymbol a^2=1,则

ReTr(MU)=scosta0+dsinta3.(94.19)\operatorname{Re}\operatorname{Tr}(MU) =s\cos t\,a_0+d\sin t\,a_3. \tag{94.19}

右边是四维单位球面上的线性泛函。由Cauchy–Schwarz不等式,它的最大值是系数向量的长度RR,在两向量同向时达到。因此,在R>0R>0时,

R(θ)=mu2+md2+2mumdcosθ,a0=scostR,a3=dsintR,a1=a2=0,U0=diag(eiφ,eiφ),Vmin(θ)=2v3R(θ).(94.20)\begin{gathered} R(\theta)=\sqrt{m_u^2+m_d^2+2m_um_d\cos\theta},\\ a_0=\frac{s\cos t}{R},\qquad a_3=\frac{d\sin t}{R},\qquad a_1=a_2=0,\\ U_0=\operatorname{diag}(e^{i\varphi},e^{-i\varphi}),\qquad V_{\min}(\theta)=-2v^3R(\theta). \end{gathered} \tag{94.20}

这个解给出对角的真空矩阵,并选定极小值的分支。代入U0U_0,势成为

V(U0)=2v3[mucos(φθ/2)+mdcos(φ+θ/2)],0=12v3Vφ=scostsinφdsintcosφ,tanφ=dstant.(94.21)\begin{aligned} V(U_0)&=-2v^3\left[ m_u\cos(\varphi-\theta/2)+m_d\cos(\varphi+\theta/2)\right],\\ 0=\frac1{2v^3}\frac{\partial V}{\partial\varphi} &=s\cos t\sin\varphi-d\sin t\cos\varphi,\\ \tan\varphi&=\frac{d}{s}\tan t . \end{aligned} \tag{94.21}

最后一行的反正切须结合上一式的a0,a3a_0,a_3取值使用。只写tanφ\tan\varphi会同时包含极大分支。当mu=mdm_u=m_dθ=π\theta=\pi时,R=0R=0,这一阶势退化,不能沿用唯一U0U_0的公式。以下研究θ=0\theta=0附近,不遇到这个退化点。

θ\theta展开给φ=dθ/(2s)+O(θ3)\varphi=d\theta/(2s)+O(\theta^3)。两个对角元分别为

(MU0)11=mu[1+i(d2s12)θ]+O(θ2)=muiθmumds+O(θ2),(MU0)22=md[1i(d2s+12)θ]+O(θ2)=mdiθmumds+O(θ2).(94.22)\begin{aligned} (MU_0)_{11} &=m_u\left[1+i\left(\frac{d}{2s}-\frac12\right)\theta\right] +O(\theta^2) =m_u-i\theta\frac{m_um_d}{s}+O(\theta^2),\\ (MU_0)_{22} &=m_d\left[1-i\left(\frac{d}{2s}+\frac12\right)\theta\right] +O(\theta^2) =m_d-i\theta\frac{m_um_d}{s}+O(\theta^2). \end{aligned} \tag{94.22}

两味不同的实质量留下完全相同的虚部。定义约化质量(reduced mass)

m~=mumdmu+md,QMU0=M0iθm~I+O(θ2).(94.23)\widetilde m=\frac{m_um_d}{m_u+m_d},\qquad Q\equiv MU_0=M_0-i\theta\widetilde m I+O(\theta^2). \tag{94.23}

任一味质量趋零时,m~\widetilde m也趋零,预示所有这里的一次强CP作用都将消失。真空能量本身是θ\theta的偶函数,需展开到二次才能看到其曲率:

Vmin(θ)=2v3s+v3m~θ2+O(θ4),χtopVmin(0)=2v3m~.(94.24)V_{\min}(\theta) =-2v^3s+v^3\widetilde m\,\theta^2+O(\theta^4), \qquad \chi_{\rm top}\equiv V_{\min}''(0)=2v^3\widetilde m. \tag{94.24}

这个曲率称拓扑磁化率(topological susceptibility)。它稍后直接决定轴子的质量。

围绕新真空重写核子作用量

πa=0\pi^a=0放在U0U_0处,取

u02=U0,u=eiπaTa/fπ,U~=u2,U=u0U~u0,N=BN,B=u0uPL+u0uPR,Nˉ=NˉBˉ,Bˉ=γ0Bγ0=uu0PL+uu0PR.(94.25)\begin{gathered} u_0^2=U_0,\qquad u=e^{i\pi^aT^a/f_\pi},\qquad \widetilde U=u^2,\qquad U=u_0\widetilde Uu_0,\\ N=B\mathcal N,\qquad B=u_0uP_L+u_0^\dagger u^\dagger P_R,\\ \bar N=\bar{\mathcal N}\bar B,\qquad \bar B=\gamma^0B^\dagger\gamma^0 =uu_0P_L+u^\dagger u_0^\dagger P_R. \end{gathered} \tag{94.25}

u0u_0为常量,但一般不与u(x)u(x)对易,所以伴随场中的次序不能省略。这种对称放置把常真空因子和局部涨落分开,在质量项中尤其方便:

(uu0)U(u0u)=uu0(u0u2u0)u0u=I,(uu0)U(u0u)=I.(94.26)(uu_0)U^\dagger(u_0u) =uu_0(u_0^\dagger u^{\dagger2}u_0^\dagger)u_0u=I, \qquad (u^\dagger u_0^\dagger)U(u_0^\dagger u^\dagger)=I . \tag{94.26}

因此mNm_N项成为mNNˉN-m_N\bar{\mathcal N}\mathcal N。介子动能的常量u0u_0同样在迹中相消;核子动能只对u(x)u(x)求导,给第83节已算出的复合场

vμ=i2[uμu+uμu],aμ=i2[uμuuμu].(94.27)v_\mu=\frac i2\left[u^\dagger\partial_\mu u+u\partial_\mu u^\dagger\right], \qquad a_\mu=\frac i2\left[u^\dagger\partial_\mu u-u\partial_\mu u^\dagger\right]. \tag{94.27}

消去常量因子后,动能与额外gA1g_A-1项的相加逐项沿用第83节的场重定义计算

剩下的一次质量项要保留矩阵次序。因为M,u0M,u_0同为对角矩阵,u0Mu0=MU0=Qu_0Mu_0=MU_0=Q。令C=uQuC=uQu,则c1c_1结构的左右手块为(C,C)(C,C^\dagger)c2c_2结构为(C,C)(C^\dagger,C)。代入PL,R=(1γ5)/2P_{L,R}=(1\mp\gamma_5)/2便得

c1(CPL+CPR)c2(CPL+CPR)=c+2(C+C)+c2(CC)γ5,c±=c1±c2.(94.28)\begin{aligned} -c_1(CP_L+C^\dagger P_R)-c_2(C^\dagger P_L+CP_R) &=-\frac{c_+}{2}(C+C^\dagger) +\frac{c_-}{2}(C-C^\dagger)\gamma_5,\\ c_\pm&=c_1\pm c_2. \end{aligned} \tag{94.28}

两个迹结构中的核子矩阵分别化成IIPLPR=γ5P_L-P_R=-\gamma_5,所以原来的c4-c_4变成+c4+c_4。结合所有项,得到

Leff=fπ24Tr(μU~μU~)+v3Tr(QU~+QU~)+iNˉ∂̸NmNNˉN+NˉγμvμNgANˉγμaμγ5Nc+2Nˉ(C+C)N+c2Nˉ(CC)γ5Nc3Tr(QU~+QU~)NˉN+c4Tr(QU~QU~)Nˉγ5N.(94.29)\begin{aligned} \mathcal L_{\rm eff}={}& -\frac{f_\pi^2}{4}\operatorname{Tr}(\partial^\mu\widetilde U^\dagger \partial_\mu\widetilde U) +v^3\operatorname{Tr}(Q\widetilde U+Q^\dagger\widetilde U^\dagger)\\ &+i\bar{\mathcal N}\slashed\partial\mathcal N-m_N\bar{\mathcal N}\mathcal N +\bar{\mathcal N}\gamma^\mu v_\mu\mathcal N -g_A\bar{\mathcal N}\gamma^\mu a_\mu\gamma_5\mathcal N\\ &-\frac{c_+}{2}\bar{\mathcal N}(C+C^\dagger)\mathcal N +\frac{c_-}{2}\bar{\mathcal N}(C-C^\dagger)\gamma_5\mathcal N\\ &-c_3\operatorname{Tr}(Q\widetilde U+Q^\dagger\widetilde U^\dagger) \bar{\mathcal N}\mathcal N\\ &+c_4\operatorname{Tr}(Q\widetilde U-Q^\dagger\widetilde U^\dagger) \bar{\mathcal N}\gamma_5\mathcal N . \end{aligned} \tag{94.29}

每一个QQ都来自同一个质量矩阵替换。于是提取一次θ\theta项只需在QQ中取iθm~I-i\theta\widetilde m I,在QQ^\dagger中取相反号:

δθ(C+C)=iθm~(U~U~),δθ(CC)=iθm~(U~+U~).(94.30)\begin{aligned} \delta_\theta(C+C^\dagger) &=-i\theta\widetilde m(\widetilde U-\widetilde U^\dagger),\\ \delta_\theta(C-C^\dagger) &=-i\theta\widetilde m(\widetilde U+\widetilde U^\dagger). \end{aligned} \tag{94.30}

SU(2)矩阵的两个本征值互为共轭,故其迹为实数, Tr(U~U~)=0\operatorname{Tr}(\widetilde U-\widetilde U^\dagger)=0。这使纯介子质量项和c3c_3项的一次θ\theta贡献消失。余下

Lθ=iθm~[c+2Nˉ(U~U~)N+c2Nˉ(U~+U~)γ5N+c4Tr(U~+U~)Nˉγ5N].(94.31)\begin{aligned} \mathcal L_\theta=-i\theta\widetilde m\Big[ &-\frac{c_+}{2}\bar{\mathcal N} (\widetilde U-\widetilde U^\dagger)\mathcal N\\ &+\frac{c_-}{2}\bar{\mathcal N} (\widetilde U+\widetilde U^\dagger)\gamma_5\mathcal N\\ &+c_4\operatorname{Tr}(\widetilde U+\widetilde U^\dagger) \bar{\mathcal N}\gamma_5\mathcal N\Big]. \end{aligned} \tag{94.31}

U~=eiπaσa/fπ\widetilde U=e^{i\pi^a\sigma^a/f_\pi}展开,差为2iπaσa/fπ+O(π3)2i\pi^a\sigma^a/f_\pi+O(\pi^3),和为2I+O(π2)2I+O(\pi^2),和的迹为4+O(π2)4+O(\pi^2)。因此

Lθ=iΔNˉγ5NgˉπaNˉσaN+,Δ=θm~(c+4c4),gˉ=θc+m~fπ.(94.32)\begin{gathered} \mathcal L_\theta=-i\Delta\,\bar{\mathcal N}\gamma_5\mathcal N -\bar g\,\pi^a\bar{\mathcal N}\sigma^a\mathcal N+\cdots,\\ \Delta=\theta\widetilde m(c_-+4c_4),\qquad \bar g=\frac{\theta c_+\widetilde m}{f_\pi}. \end{gathered} \tag{94.32}

这里[Δ]=1[\Delta]=1[gˉ]=0[\bar g]=0。第一项只是核子质量的一次赝标量相位,可以用常量场重定义移走。具体地,取

Nold=eiαNγ5N,αN=Δ2mN,mNNˉoldNold=mNNˉN+2imNαNNˉγ5N+O(Δ2/mN).(94.33)\begin{aligned} \mathcal N_{\rm old}&=e^{-i\alpha_N\gamma_5}\mathcal N, & \alpha_N&=\frac{\Delta}{2m_N},\\ -m_N\bar{\mathcal N}_{\rm old}\mathcal N_{\rm old} &=-m_N\bar{\mathcal N}\mathcal N +2im_N\alpha_N\bar{\mathcal N}\gamma_5\mathcal N +O(\Delta^2/m_N). \end{aligned} \tag{94.33}

正的第二项恰好消去iΔ-i\Delta。还可以精确完成这个旋转:主质量和赝标量质量合起来,变换后的矩阵为

(mN+iΔγ5)e2iαNγ5=mNcos2αN+Δsin2αN+iγ5(Δcos2αNmNsin2αN),tan2αN=ΔmN,mphys=mN2+Δ2=mN+Δ22mN+O(Δ4/mN3).\begin{aligned} (m_N+i\Delta\gamma_5)e^{-2i\alpha_N\gamma_5} ={}&m_N\cos2\alpha_N+\Delta\sin2\alpha_N\\ &+i\gamma_5(\Delta\cos2\alpha_N-m_N\sin2\alpha_N),\\ \tan2\alpha_N&=\frac{\Delta}{m_N},\qquad m_{\rm phys}=\sqrt{m_N^2+\Delta^2} =m_N+\frac{\Delta^2}{2m_N}+O(\Delta^4/m_N^3). \end{aligned}

取接近零的αN\alpha_N分支,赝标量系数消失。因为Δ\Delta含一次轻夸克质量,主质量的改变从二次开始。

其余作用可按旋量矩阵分成两类。动能与vμ,aμv_\mu,a_\mu作用满足

eiαNγ5γμeiαNγ5=γμ,eiαNγ5γμγ5eiαNγ5=γμγ5,e^{-i\alpha_N\gamma_5}\gamma^\mu e^{-i\alpha_N\gamma_5} =\gamma^\mu,\qquad e^{-i\alpha_N\gamma_5}\gamma^\mu\gamma_5e^{-i\alpha_N\gamma_5} =\gamma^\mu\gamma_5,

所以常量旋转严格保持这三类项。纯介子项也不变。四个质量结构则可统一写成NˉSN\bar{\mathcal N}\mathsf S\mathcal NNˉPγ5N\bar{\mathcal N}\mathsf P\gamma_5\mathcal N,其中味矩阵S,P=O(M)\mathsf S,\mathsf P=O(M)γ5\gamma_5对易。它们变为

NˉoldSNold=NˉSN2iαNNˉSγ5N+O(αN2M),NˉoldPγ5Nold=NˉPγ5N2iαNNˉPN+O(αN2M).\begin{aligned} \bar{\mathcal N}_{\rm old}\mathsf S\mathcal N_{\rm old} &=\bar{\mathcal N}\mathsf S\mathcal N -2i\alpha_N\bar{\mathcal N}\mathsf S\gamma_5\mathcal N +O(\alpha_N^2M),\\ \bar{\mathcal N}_{\rm old}\mathsf P\gamma_5\mathcal N_{\rm old} &=\bar{\mathcal N}\mathsf P\gamma_5\mathcal N -2i\alpha_N\bar{\mathcal N}\mathsf P\mathcal N +O(\alpha_N^2M). \end{aligned}

每个新项都是O(αNM)=O(θM2/mN)O(\alpha_NM)=O(\theta M^2/m_N),而uu的展开不改变轻夸克质量的幂数。这就逐类验证了:在目前的一次质量阶,留下的主要新作用是式(94.32)的第二项。若加入电磁外源下的其他局域算符,其系数也随场重定义转换。

这个顶角把赝标量π\pi场与标量核子双线性相乘,因而为宇称奇。按第83节的时间反演变换,它也为时间反演奇;在满足CPT条件的局域洛伦兹理论中,这就是强作用中的CP奇耦合。下面将它与通常的CP偶π–核子耦合各取一次,计算电偶极矩。

从重子质量差估计c+c_+

先确定新顶角中的低能常数。令θ=πa=0\theta=\pi^a=0,式(94.29)c+c_+项分别给质子和中子c+muc_+m_uc+mdc_+m_d的质量移位,c3c_3项则给共同移位。因此

(mpmn)strong=c+(mumd).(94.34)(m_p-m_n)_{\rm strong}=c_+(m_u-m_d). \tag{94.34}

采用中译本的数值mpmn=1.3MeVm_p-m_n=-1.3\,\mathrm{MeV}mu=1.7MeVm_u=1.7\,\mathrm{MeV}md=3.9MeVm_d=3.9\,\mathrm{MeV},暂忽略电磁贡献,得到c+0.59c_+\simeq0.59。核子质量差中的电磁部分与强作用贡献相当,所以还需用含奇夸克的重子作另一估计。

这里补出后一关系所需的三味近似。将低能重子取为味SU(3)八重态,以无迹矩阵表示:

B=(Σ0/2+Λ0/6Σ+pΣΣ0/2+Λ0/6nΞΞ02Λ0/6).(94.35)\mathsf B= \begin{pmatrix} \Sigma^0/\sqrt2+\Lambda^0/\sqrt6&\Sigma^+&p\\ \Sigma^-&-\Sigma^0/\sqrt2+\Lambda^0/\sqrt6&n\\ \Xi^-&\Xi^0&-2\Lambda^0/\sqrt6 \end{pmatrix}. \tag{94.35}

这一步采用三味近似的重子分类;矩阵中的1/2,1/61/\sqrt2,1/\sqrt6使Tr(BˉB)\operatorname{Tr}(\bar{\mathsf B}\mathsf B)给每个场通常的双线性归一。真空中BVBV\mathsf B\mapsto V\mathsf BV^\dagger,质量伪场M=diag(mu,md,ms)\mathsf M=\operatorname{diag}(m_u,m_d,m_s)同样按共轭变换。无导数且一次质量的迹可把M\mathsf M放在Bˉ,B\bar{\mathsf B},\mathsf B的两种相对位置,另有单态迹项:

δL8=bDTr(Bˉ{M,B})bFTr(Bˉ[M,B])b0TrMTr(BˉB).(94.36)\delta\mathcal L_8 =-b_D\operatorname{Tr}\bigl(\bar{\mathsf B}\{\mathsf M,\mathsf B\}\bigr) -b_F\operatorname{Tr}\bigl(\bar{\mathsf B}[\mathsf M,\mathsf B]\bigr) -b_0\operatorname{Tr}\mathsf M\, \operatorname{Tr}(\bar{\mathsf B}\mathsf B). \tag{94.36}

这里Bˉ\bar{\mathsf B}的味指标随矩阵伴随倒置,故Tr(BˉMB)\operatorname{Tr}(\bar{\mathsf B}\mathsf M\mathsf B)中,分量Bij\mathsf B_{ij}取左指标质量mim_i;另一种次序取mjm_j。略去所有重子相同的b0b_0项及手征极限质量,便有

δmij=bD(mi+mj)+bF(mimj),δmpδmn=(bD+bF)(mumd),δmΞ0=(bD+bF)ms+(bDbF)md,δmΣ0=bD(mu+md).(94.37)\begin{aligned} \delta m_{ij}&=b_D(m_i+m_j)+b_F(m_i-m_j),\\ \delta m_p-\delta m_n&=(b_D+b_F)(m_u-m_d),\\ \delta m_{\Xi^0}&=(b_D+b_F)m_s+(b_D-b_F)m_d,\\ \delta m_{\Sigma^0}&=b_D(m_u+m_d). \end{aligned} \tag{94.37}

最后一行来自矩阵中两个Σ0/2\Sigma^0/\sqrt2分量;在同位旋极限,它不与Λ0\Lambda^0混合。与式(94.34)匹配,c+=bD+bFc_+=b_D+b_F。再取mu=md=mm_u=m_d=m_\ell,得到

mΞ0mΣ0=c+(msm),m=mu+md2.(94.38)m_{\Xi^0}-m_{\Sigma^0} =c_+(m_s-m_\ell),\qquad m_\ell=\frac{m_u+m_d}{2}. \tag{94.38}

这条估计采用最低阶SU(3)质量展开,并在较大的奇夸克质量差中忽略同位旋破缺和电磁修正。若在式(94.37)中保留mumdm_u-m_d,还会出现(bDbF)(mdmu)/2(b_D-b_F)(m_d-m_u)/2,这给出所略去的同位旋修正。

以下采用这组质量数值:

c+122MeV76MeV(1.7+3.9)MeV/21.671.7.(94.39)c_+\simeq \frac{122\,\mathrm{MeV}} {76\,\mathrm{MeV}-(1.7+3.9)\,\mathrm{MeV}/2} \simeq1.67\simeq1.7. \tag{94.39}

这些示例夸克质量按MS\overline{\mathrm{MS}}方案、μ=2GeV\mu=2\,\mathrm{GeV}理解。低能常数随质量的定义相应改变,而c+m~c_+\widetilde m才是进入当前顶角的组合。下面取c+=1.7c_+=1.7,保留这一低能估计的精度。

电偶极形状因子与两张圈图

通常的π–核子作用来自式(94.29)的轴连接。将uu展开到一次π,得到

LπNN=gAfπμπaNˉTaγμγ5N.(94.40)\mathcal L_{\pi NN} =\frac{g_A}{f_\pi}\partial_\mu\pi^a\, \bar{\mathcal N}T^a\gamma^\mu\gamma_5\mathcal N. \tag{94.40}

若两端核子在壳,可作分部积分。由i∂̸N=mNNi\slashed\partial\mathcal N=m_N\mathcal N及伴随方程,

μ(Nˉγμγ5N)=(μNˉ)γμγ5NNˉγ5γμμN=imNNˉγ5N+imNNˉγ5N=2imNNˉγ5N,LπNNigAmNfππaNˉσaγ5N.(94.41)\begin{aligned} \partial_\mu(\bar{\mathcal N}\gamma^\mu\gamma_5\mathcal N) &=(\partial_\mu\bar{\mathcal N})\gamma^\mu\gamma_5\mathcal N -\bar{\mathcal N}\gamma_5\gamma^\mu\partial_\mu\mathcal N\\ &=im_N\bar{\mathcal N}\gamma_5\mathcal N +im_N\bar{\mathcal N}\gamma_5\mathcal N =2im_N\bar{\mathcal N}\gamma_5\mathcal N,\\ \mathcal L_{\pi NN} &\longrightarrow-i\frac{g_Am_N}{f_\pi}\, \pi^a\bar{\mathcal N}\sigma^a\gamma_5\mathcal N. \end{aligned} \tag{94.41}

第二行的2抵消Ta=σa/2T^a=\sigma^a/21/21/2,分部积分给最后一行的负号。下面先用这个赝标量顶角计算,再说明在所取圈图中与导数形式的关系。

中子的电磁响应由小转移动量的顶角表示。定义

TEDM=2iD(q2)εμ(q)uˉs(p)Sμνqνiγ5us(p),q=pp.(94.42)T_{\rm EDM} =-2iD(q^2)\varepsilon_\mu^*(q) \bar u_{s'}(p')S^{\mu\nu}q_\nu i\gamma_5u_s(p), \qquad q=p'-p. \tag{94.42}

这里的光子是外电磁探针;D(q2)D(q^2)为CP奇形状因子(form factor)。在q0q\to0时,对应局域项

LEDM=D(0)FμνnˉSμνiγ5n.(94.43)\mathcal L_{\rm EDM} =D(0)F_{\mu\nu}\bar nS^{\mu\nu}i\gamma_5n. \tag{94.43}

Aμ=εμeiqxA_\mu=\varepsilon_\mu^*e^{iqx}代入, Fμν=i(qμενqνεμ)eiqxF_{\mu\nu}=i(q_\mu\varepsilon_\nu^*-q_\nu\varepsilon_\mu^*)e^{iqx}; 利用SμνS^{\mu\nu}的反对称性,两项合成2iεμSμνqν-2i\varepsilon_\mu^*S^{\mu\nu}q_\nu。 因此式(94.43)确实给出式(94.42)TT,费曼图中的整个顶角再乘ii。这与第64节的Pauli顶角匹配完全采用同一振幅约定。

为何这个算符描述电偶极矩?当前Clifford代数给

Sμνiγ5=12ϵμνρσSρσ,LEDM=D(0)F~μνnˉSμνn.(94.44)S^{\mu\nu}i\gamma_5 =-\frac12\epsilon^{\mu\nu\rho\sigma}S_{\rho\sigma}, \qquad \mathcal L_{\rm EDM}=-D(0)\widetilde F_{\mu\nu}\bar nS^{\mu\nu}n. \tag{94.44}

例如S01=iγ0γ1/2S^{01}=i\gamma^0\gamma^1/2(γ0γ1)2=1(\gamma^0\gamma^1)^2=1,故 S01iγ5=iγ2γ3/2=S23S^{01}i\gamma_5=-i\gamma^2\gamma^3/2=-S^{23}。 其余互补指标对由同样的反对易交换确定;交换μ,ν\mu,\nuρ,σ\rho,\sigma各给一次负号,六对分量便组成上面的epsilon式。这也固定了对偶张量关系的整体负号。

对偶磁场满足B~=E\widetilde{\mathbf B}=-\mathbf E,所以静止电场中的第二式给 2D(0)EnˉSn2D(0)\mathbf E\cdot\bar n\boldsymbol S n。第64节的非相对论归一把它变成

HEDM=D(0)nNRσEnNR,dn=D(0).(94.45)\mathcal H_{\rm EDM} =-D(0)\,n_{\rm NR}^\dagger\boldsymbol\sigma\cdot\mathbf E\,n_{\rm NR}, \qquad d_n=D(0). \tag{94.45}

自旋平行、反平行于电场的能量因而相差2dnE2d_n|\mathbf E|。电场为极向量,自旋为轴向量,这个能量项与前面的P、T破坏相符。

现在展开带电π的味结构:

πaσa=(π02π+2ππ0),π±=π1iπ22.(94.46)\pi^a\sigma^a= \begin{pmatrix} \pi^0&\sqrt2\,\pi^+\\ \sqrt2\,\pi^-&-\pi^0 \end{pmatrix}, \qquad \pi^\pm=\frac{\pi^1\mp i\pi^2}{\sqrt2}. \tag{94.46}

G=gAmN/fπG=g_Am_N/f_\pi,并沿式(94.32)gˉ=θc+m~/fπ\bar g=\theta c_+\widetilde m/f_\pi,则两种带电作用为

Leven=i2G(π+pˉγ5n+πnˉγ5p),Lodd=2gˉ(π+pˉn+πnˉp),iVeven=2Gγ5,iVodd=i2gˉ.(94.47)\begin{aligned} \mathcal L_{\rm even} &=-i\sqrt2G\,(\pi^+\bar p\gamma_5n+\pi^-\bar n\gamma_5p),\\ \mathcal L_{\rm odd} &=-\sqrt2\bar g\,(\pi^+\bar pn+\pi^-\bar np),\\ iV_{\rm even}&=\sqrt2G\gamma_5,\qquad iV_{\rm odd}=-i\sqrt2\bar g . \end{aligned} \tag{94.47}

最后一行是ii乘拉格朗日量系数;两个2\sqrt2分别来自一个非对角味矩阵元。中子沿开放费米线变为质子再变回中子,光子接在带电π线上。CP奇顶角可以在左端,也可以在右端,故有两张图:

光子接在带电π线上,CP奇顶角分别位于两端的两张圈图

叉号表示一次CP奇顶角;两图的核子箭头连续向右。

核子线是开放的,因此没有闭费米圈的负号;两种顶角位置也没有额外的对称因子。本节eeπ+\pi^+的正电荷,若与第64节比较,则e=eelectron>0e=-e_{\rm electron}>0。采用两图共用的对称动量路由:

pˉ=p+p2,P=+pˉ,kL=+q2,kR=q2.(94.48)\bar p=\frac{p+p'}2,\qquad P=\ell+\bar p,\qquad k_L=\ell+\frac q2,\qquad k_R=\ell-\frac q2 . \tag{94.48}

左、右端分别满足p+kL=Pp+k_L=PP=p+kRP=p'+k_R,光子顶角满足kR+q=kLk_R+q=k_L。所以标量电磁顶角为ie(kL+kR)μ=ie2μie(k_L+k_R)^\mu=ie\,2\ell^\mu

内部质子和两段π线的对称动量路由

两图共用的动量路由。光子动量流入,π箭头方向按正电荷流向取定。

从完整振幅到软π积分

把三条传播子的1/i1/i、光子顶角和两个π–核子顶角依次相乘,先只看不含狄拉克矩阵的常数:

(1i)3(ie)(2G)(i2gˉ)=2ieGgˉ.(94.49)\left(\frac1i\right)^3(ie)(\sqrt2G)(-i\sqrt2\bar g) =2ieG\bar g . \tag{94.49}

DN=P2+mN2i0,DL=kL2+mπ2i0,DR=kR2+mπ2i0.(94.50)\begin{aligned} \mathscr D_N&=P^2+m_N^2-i0,\\ \mathscr D_L&=k_L^2+m_\pi^2-i0,\qquad \mathscr D_R=k_R^2+m_\pi^2-i0 . \end{aligned} \tag{94.50}

内部质子的传播子分子为+mN-\slashed P+m_N。两张图的差别只在γ5\gamma_5位于它的哪一侧,因此振幅为

iT=2ieGgˉεμd4(2π)42μuˉN5uDNDLDR,N5=(+mN)γ5+γ5(+mN).(94.51)\begin{aligned} iT&=2ieG\bar g\,\varepsilon_\mu^* \int\frac{d^4\ell}{(2\pi)^4} \frac{2\ell^\mu\,\bar u'\mathsf N_5u} {\mathscr D_N\mathscr D_L\mathscr D_R},\\ \mathsf N_5&=(-\slashed P+m_N)\gamma_5 +\gamma_5(-\slashed P+m_N). \end{aligned} \tag{94.51}

这里没有提前令内部核子在壳。先用{γμ,γ5}=0\{\gamma^\mu,\gamma_5\}=0,两个动量分子恰好相消:

(+mN)γ5+γ5(+mN)=2mNγ5.(94.52)(-\slashed P+m_N)\gamma_5+\gamma_5(-\slashed P+m_N) =2m_N\gamma_5. \tag{94.52}

去掉振幅两边共同的ii,得到

T=4eθgAc+m~mN2fπ2εμuˉγ5ud4(2π)42μDNDLDR.(94.53)T=\frac{4e\theta g_Ac_+\widetilde m m_N^2}{f_\pi^2} \varepsilon_\mu^*\bar u'\gamma_5u \int\frac{d^4\ell}{(2\pi)^4} \frac{2\ell^\mu}{\mathscr D_N\mathscr D_L\mathscr D_R}. \tag{94.53}

系数中的一个mNm_N来自通常π–核子顶角,另一个来自两条开放链相加。系数4已包含两个带电顶角的味因子,以及两条开放链的相加。

在这里使用赝标量顶角也可由导数形式直接检查。由于kL=Ppk_L=P-p

Lγ5=(+mN)γ5+γ5(+mN)2mNγ5.(94.54)\slashed k_L\gamma_5 =(\slashed P+m_N)\gamma_5 +\gamma_5(\slashed p+m_N)-2m_N\gamma_5. \tag{94.54}

外腿在壳使中间项消失;末项是分部积分所得的赝标量顶角。第一项乘内部传播子分子,利用 (+mN)(+mN)=P2+mN2(-\slashed P+m_N)(\slashed P+m_N)=P^2+m_N^2, 便取消内部核子分母。右端有相同的关系,剩下的接触型积分具有

d4(2π)42μ[(+q/2)2+mπ2i0][(q/2)2+mπ2i0]=0.(94.55)\int\frac{d^4\ell}{(2\pi)^4}\, \frac{2\ell^\mu} {[(\ell+q/2)^2+m_\pi^2-i0][(\ell-q/2)^2+m_\pi^2-i0]}=0. \tag{94.55}

分母在\ell\mapsto-\ell时交换两因子,分子变号,故对称调节下积分为零。所画两图中,导数顶角与赝标量顶角的差因而消失。

现在提取qq的一次项。等质量外腿满足 (+mN)u=0(\slashed p+m_N)u=0uˉ(+mN)=0\bar u'(\slashed p'+m_N)=0,因而

uˉγ5u=uˉγ5uuˉγ5u=2mNuˉγ5u,uˉγ5u=qμ2mNuˉγμγ5u=O(q).(94.56)\begin{aligned} \bar u'\slashed q\gamma_5u &=\bar u'\slashed p'\gamma_5u-\bar u'\slashed p\gamma_5u =-2m_N\bar u'\gamma_5u,\\ \bar u'\gamma_5u &=-\frac{q_\mu}{2m_N}\bar u'\gamma^\mu\gamma_5u=O(q). \end{aligned} \tag{94.56}

这对不同的自旋标签也成立。因此先保持mπ>0m_\pi>0,在式(94.53)的其余平滑因子中取q=0q=0,不会改变所求的一次项。由p2=p2=mN2p^2=p'^2=-m_N^2pˉ2=mN2q2/4\bar p^2=-m_N^2-q^2/4

DN=2pˉ+2q24i02pi0.(94.57)\mathscr D_N =2\bar p\cdot\ell+\ell^2-\frac{q^2}{4}-i0 \longrightarrow 2p\cdot\ell-i0. \tag{94.57}

第二步进一步保留软动量/mN|\ell|/m_N的领头阶。对数可在 mπmN,Λχm_\pi\ll|\ell|\ll m_N,\Lambda_\chi的窗口中提取,Λχ\Lambda_\chi为手征有效理论的高能尺度。用一个中间尺度μs\mu_s隔开软、硬区,软区给log(μs2/mπ2)\log(\mu_s^2/m_\pi^2),硬区的匹配补出不依赖小mπm_\pi的部分。重核子展开用于软区,接近Λχ4πfπ\Lambda_\chi\sim4\pi f_\pi的贡献则归入匹配系数。

这时振幅化为

Tsoft=4eθgAc+m~mN2fπ2εμuˉγ5uJμ,Jμ=d4(2π)4μpi01(2+mπ2i0)2.(94.58)\begin{aligned} T_{\rm soft} &=\frac{4e\theta g_Ac_+\widetilde m m_N^2}{f_\pi^2} \varepsilon_\mu^*\bar u'\gamma_5u\,J^\mu,\\ J^\mu&=\int\frac{d^4\ell}{(2\pi)^4} \frac{\ell^\mu}{p\cdot\ell-i0}\, \frac1{(\ell^2+m_\pi^2-i0)^2}. \end{aligned} \tag{94.58}

吸收正的2不改变i0i0处方。下一步需要求这个矢量积分。取核子静止系p=(mN,0)p=(m_N,\mathbf0),三个空间分量都对相应i\ell^i为奇,积分为零;时间分量用分布恒等式x/(x+i0)=1x/(x+i0)=1,得到

Ji=0,J0=1mNIπ,Iπ=d4(2π)41(2+mπ2i0)2,Jμ=pμp2Iπ=pμmN2Iπ.(94.59)\begin{gathered} J^i=0,\qquad J^0=-\frac1{m_N}I_\pi,\qquad I_\pi=\int\frac{d^4\ell}{(2\pi)^4} \frac1{(\ell^2+m_\pi^2-i0)^2},\\ J^\mu=\frac{p^\mu}{p^2}I_\pi =-\frac{p^\mu}{m_N^2}I_\pi . \end{gathered} \tag{94.59}

这里保持与静止系对称性相容的调节;协变写法随后恢复一般pp。由于分母本身含一个pp\cdot\ell,结果没有另一个1/41/4。先处理这个极点分布,再对剩余的IπI_\pi作Wick转动,可以避免把有极点的四维“角积分”误当成实球上的普通平均。

最后需要把pμuˉγ5up^\mu\bar u'\gamma_5u写成偶极结构。令 P5=uˉγ5uP_5=\bar u'\gamma_5uA5μ=uˉγμγ5uA_5^\mu=\bar u'\gamma^\mu\gamma_5u。 Clifford关系{γμ,}=2pμ\{\gamma^\mu,\slashed p\}=-2p^\mu及外腿方程分别给

uˉγμγ5u=mNA5μ2pμP5mNA5μ=2pμP5,uˉγμγ5u=mNA5μmNA5μ2pμP5=2pμP5.(94.60)\begin{aligned} \bar u'\gamma^\mu\slashed q\gamma_5u &=m_NA_5^\mu-2p'^\mu P_5-m_NA_5^\mu =-2p'^\mu P_5,\\ -\bar u'\slashed q\gamma^\mu\gamma_5u &=m_NA_5^\mu-m_NA_5^\mu-2p^\mu P_5 =-2p^\mu P_5 . \end{aligned} \tag{94.60}

两行相加就是uˉ[γμ,]γ5u\bar u'[\gamma^\mu,\slashed q]\gamma_5u。又因Sμν=i[γμ,γν]/4S^{\mu\nu}=i[\gamma^\mu,\gamma^\nu]/4,乘上i/4i/4及右边的ii后,有精确关系

uˉSμνqνiγ5u=pˉμuˉγ5u,pμuˉγ5u=uˉSμνqνiγ5u+O(q2).(94.61)\bar u'S^{\mu\nu}q_\nu i\gamma_5u =\bar p^\mu\bar u'\gamma_5u, \qquad p^\mu\bar u'\gamma_5u =\bar u'S^{\mu\nu}q_\nu i\gamma_5u+O(q^2). \tag{94.61}

第二式只用pˉp=q/2\bar p-p=q/2及式(94.56)。将它和式(94.59)放回振幅,mN2m_N^2相消,得到

Tlog=4eθgAc+m~fπ2εμuˉSμνqνiγ5uIπ.(94.62)T_{\log} =-\frac{4e\theta g_Ac_+\widetilde m}{f_\pi^2} \varepsilon_\mu^*\bar u'S^{\mu\nu}q_\nu i\gamma_5u\,I_\pi . \tag{94.62}

现在自旋结构已与式(94.42)相同,剩下的工作是把标量积分算完。

手征对数、有限项与强CP问题

费曼分母2+mπ2i0\ell^2+m_\pi^2-i0的正能极点在实轴下方,负能极点在上方。按前面各圈积分所用的轮廓把0\ell^0转到虚轴,测度给ii,分母成为正定的L2+mπ2L^2+m_\pi^2。为把保留的对数与有限项分开,暂取Euclid径向截止L<ΛL<\Lambda

Iπ(Λ)=i2π2(2π)40ΛL3dL(L2+mπ2)2=i16π20Λ2sds(s+mπ2)2.(94.63)I_\pi(\Lambda) =i\frac{2\pi^2}{(2\pi)^4} \int_0^\Lambda\frac{L^3\,dL}{(L^2+m_\pi^2)^2} =\frac{i}{16\pi^2} \int_0^{\Lambda^2}\frac{s\,ds}{(s+m_\pi^2)^2}. \tag{94.63}

2π22\pi^2是单位三球面的面积,s=L2s=L^2L3dL=sds/2L^3dL=s\,ds/2。将被积函数拆为 s/(s+mπ2)2=(s+mπ2)1mπ2(s+mπ2)2s/(s+m_\pi^2)^2=(s+m_\pi^2)^{-1}-m_\pi^2(s+m_\pi^2)^{-2}, 原函数与上下限评价为

sds(s+mπ2)2=logs+mπ2μ02+mπ2s+mπ2,Iπ(Λ)=i16π2[log(1+Λ2mπ2)+mπ2Λ2+mπ21]=i16π2[logΛ2mπ21+O(mπ2/Λ2)].(94.64)\begin{aligned} \int\frac{s\,ds}{(s+m_\pi^2)^2} &=\log\frac{s+m_\pi^2}{\mu_0^2} +\frac{m_\pi^2}{s+m_\pi^2},\\ I_\pi(\Lambda) &=\frac{i}{16\pi^2}\left[ \log\left(1+\frac{\Lambda^2}{m_\pi^2}\right) +\frac{m_\pi^2}{\Lambda^2+m_\pi^2}-1\right]\\ &=\frac{i}{16\pi^2} \left[\log\frac{\Lambda^2}{m_\pi^2}-1 +O(m_\pi^2/\Lambda^2)\right]. \end{aligned} \tag{94.64}

原函数中的参照质量μ0>0\mu_0>0在上下限相减时消去,定积分只留下质量比。当mπ0m_\pi\to0时,对数是增强的非解析部分;完整的截止积分还含有限的1-1。改变调节或硬区匹配会改变这类解析常数,不改变当前非解析对数的系数。

比较式(94.62)与式(94.42)4-4i/(16π2)i/(16\pi^2)再除以2i-2i,得到

dnlog=eθgAc+m~8π2fπ2logΛ2mπ2.(94.65)d_n^{\log} =\frac{e\theta g_Ac_+\widetilde m}{8\pi^2f_\pi^2} \log\frac{\Lambda^2}{m_\pi^2}. \tag{94.65}

两条轻π传播子与软核子分母、顶角分子合在一起,给出dL/L\int dL/L的窗口,从而产生这两图的红外增强。顶角动量和重粒子分母共同决定积分的红外阶数。

低能拉格朗日量本身也允许式(94.43)的局域系数。把同阶有限圈项和这个系数并入dnloc(μs)d_n^{\rm loc}(\mu_s),更完整的写法是

dn=Kθlogμs2mπ2+dnloc(μs)+高阶项,Kθ=eθgAc+m~8π2fπ2,ddnlocdlogμs=2Kθ在当前阶次.(94.66)\begin{aligned} d_n&=K_\theta\log\frac{\mu_s^2}{m_\pi^2} +d_n^{\rm loc}(\mu_s)+\text{高阶项},\\ K_\theta&=\frac{e\theta g_Ac_+\widetilde m}{8\pi^2f_\pi^2}, \qquad \frac{d\,d_n^{\rm loc}}{d\log\mu_s}=-2K_\theta \quad\text{在当前阶次}. \end{aligned} \tag{94.66}

尺度依赖在两项之间抵消。领头对数给出非解析部分,其余有限系数还须匹配。在下面的估计中,对数约为4.2,有限项未必小到可以忽略。

取以下数值作领头对数估计:fπ=92.4MeVf_\pi=92.4\,\mathrm{MeV}gA=1.27g_A=1.27c+=1.7c_+=1.7m~=1.2MeV\widetilde m=1.2\,\mathrm{MeV}和对数4.2,得到

dnlogeθ1.27×1.7×0.00128π2(0.0924)24.2 GeV10.0161 GeV13.2×1016 cm.(94.67)\begin{aligned} \frac{d_n^{\log}}{e\theta} &\simeq\frac{1.27\times1.7\times0.0012} {8\pi^2(0.0924)^2}\,4.2\ \mathrm{GeV}^{-1}\\ &\simeq0.0161\ \mathrm{GeV}^{-1} \simeq3.2\times10^{-16}\ \mathrm{cm}. \end{aligned} \tag{94.67}

最后一步使用自然单位换算c0.197327GeVfm\hbar c\simeq0.197327\,\mathrm{GeV\,fm}, 即1GeV11.97327×1014cm1\,\mathrm{GeV}^{-1}\simeq1.97327\times10^{-14}\,\mathrm{cm}。 质量只出现一次,而fπ2f_\pi^2在分母,故长度量纲也正确。

再用中译本引用的实验上限dn<6.3×1026ecm|d_n|<6.3\times10^{-26}\,e\,\mathrm{cm},与这个主导对数估计比较,

θ  6.3×10263.2×10162.0×1010.(94.68)|\theta|\ \lesssim\ \frac{6.3\times10^{-26}}{3.2\times10^{-16}} \simeq2.0\times10^{-10}. \tag{94.68}

这是在给定上限下的示例推限,依赖上述强子估计,并假定未知有限项没有显著抵消它。其意义是:QCD允许一个无量纲的强CP相位,所算出的强子响应却要求它极小。这个小参数为何如此特殊,就是强CP问题(strong CP problem)。

原书接着讨论三种机制。若有一个严格无质量的上夸克,轴重定义已足以消去θ\theta,但强子谱须由包含高阶质量项的理论解释。若基本理论施加CP,再让弱CP破坏来自自发破缺,还需计算破缺和量子修正对θˉ\bar\theta的影响。第三种机制把相位变成动力学场,让强作用真空能量决定它的平均值。下面具体构造这个轴子模型。

Peccei–Quinn对称性与轴子

在理论中加入一对色表示为3,3ˉ\mathbf3,\bar{\mathbf3}的左手Weyl场χ,ξ\chi,\xi和一个色单态复标量Φ\Phi,并取

LY=yΦχξ+yΦξχ,V=V(ΦΦ).(94.69)\mathcal L_Y=y\Phi\chi\xi+y^*\Phi^\dagger\xi^\dagger\chi^\dagger, \qquad V=V(\Phi^\dagger\Phi). \tag{94.69}

把这个作用写成通常的负质量项时,质量参数为yΦ-y\Phi

经典不变性与量子反常

给三场赋予PQ荷+1,+1,2+1,+1,-2,常数α\alpha的变换为

χeiαχ,ξeiαξ,Φe2iαΦ.(94.70)\chi\mapsto e^{i\alpha}\chi,\qquad \xi\mapsto e^{i\alpha}\xi,\qquad \Phi\mapsto e^{-2i\alpha}\Phi. \tag{94.70}

Yukawa项中三个相位相乘为1,其共轭同样不变。通常的协变动能只含场与其共轭,常量相位不受导数作用;ΦΦ\Phi^\dagger\Phi也不变,所以势保持不变。这证明了经典整体U(1)PQU(1)_{\rm PQ}对称性。

两个左手场可组成一个基本狄拉克场ΨQ=(χ,ξ)T\Psi_Q=(\chi,\xi^\dagger)^T,其PQ变换正是 ΨQeiαγ5ΨQ\Psi_Q\mapsto e^{-i\alpha\gamma_5}\Psi_Q。复标量的常量相位变换在实二维场空间中是行列式1的旋转,测度无额外相位;费米测度则给式(94.3),故作PQ变量代换后,作用量参数重写为

θ=θ+2α.(94.71)\theta'=\theta+2\alpha. \tag{94.71}

所以PQ是有反常的整体对称性。

重夸克质量和轴子相位

若势在Φ=f/2|\Phi|=f/\sqrt2处最低,取f>0f>0并写成极坐标,

Φ=f+ρ2eia/f,mQ(a)=yf2eia/f,mQ=yf2.(94.72)\Phi=\frac{f+\rho}{\sqrt2}e^{ia/f},\qquad m_Q(a)=-\frac{yf}{\sqrt2}e^{ia/f},\qquad |m_Q|=\frac{|y|f}{\sqrt2}. \tag{94.72}

第二式通过Lm=mQχξ+h.c.\mathcal L_m=-m_Q\chi\xi+\mathrm{h.c.}定义;其负号来自Yukawa项的正号。只有y0y\ne0时,新夸克才有非零质量。常量PQ变换使aa2fαa\mapsto a-2f\alpha,径向场ρ\rho不变。

先取轻夸克质量实正,把y-y的常量相位通过一次轴重定义移入 θ0=θarg(y)\theta_0=\theta-\arg(-y)。剩下的重质量相位为a/fa/f。为在固定标量背景中消去它,只对费米场作局域变量代换

χold=eia/(2f)χ,ξold=eia/(2f)ξ,α(x)=a(x)2f.(94.73)\chi_{\rm old}=e^{-ia/(2f)}\chi,\qquad \xi_{\rm old}=e^{-ia/(2f)}\xi,\qquad \alpha(x)=-\frac{a(x)}{2f}. \tag{94.73}

两个费米相位相乘消去eia/fe^{ia/f}。雅可比将拓扑系数改成

Θ(x)=θ0a(x)f.(94.74)\Theta(x)=\theta_0-\frac{a(x)}f . \tag{94.74}

这个结果也可直接由不变量θargdetM\theta-\arg\det M得到:重夸克的质量相位是arg(y)+a/f\arg(-y)+a/f,所以减去它恰好给本式。

轴子在Θ\Theta中的负号由其在Φ\Phi中的正指数固定。若另定义aalt=aa_{\rm alt}=-a,标量指数同时变成eiaalt/fe^{-ia_{\rm alt}/f},有效角便写成Θ=θ0+aalt/f\Theta=\theta_0+a_{\rm alt}/f。两套记号给出同一物理相位;下面继续使用aa

由于代换是局域的,动能还产生一个导数耦合。将 ΨQ,old=eiα(x)γ5ΨQ\Psi_{Q,\rm old}=e^{-i\alpha(x)\gamma_5}\Psi_Q代入,有

iΨˉQ,oldΨQ,old=iΨˉQΨQ+(μα)ΨˉQγμγ5ΨQ=iΨˉQΨQμa2fjA,Qμ.(94.75)i\bar\Psi_{Q,\rm old}\slashed D\Psi_{Q,\rm old} =i\bar\Psi_Q\slashed D\Psi_Q +(\partial_\mu\alpha)\bar\Psi_Q\gamma^\mu\gamma_5\Psi_Q =i\bar\Psi_Q\slashed D\Psi_Q -\frac{\partial_\mu a}{2f}j_{A,Q}^\mu. \tag{94.75}

中间的正号来自动能的ii乘微分指数的i-i。标量动能则直接给

μΦμΦ=12(ρ)212(1+ρf)2(a)2.(94.76)-\partial_\mu\Phi^\dagger\partial^\mu\Phi =-\frac12(\partial\rho)^2 -\frac12\left(1+\frac{\rho}{f}\right)^2(\partial a)^2. \tag{94.76}

两个混合项互为相反的纯虚数,故相消。在能量远低于径向质量与yf/2|y|f/\sqrt2时,可以积分掉新重场;令ρ=0\rho=0的领头阶留下标准动能(a)2/2-(\partial a)^2/2。两味强子理论中,把前面M=M0eiθ/2M=M_0e^{-i\theta/2}θ\theta换成Θ(x)\Theta(x)。若再作随位置变化的轻场重定义,产生的导数作用也应保留;求均匀真空与零动量势时,这些导数项为零。

真空怎样消去强CP相位

把式(94.74)代入式(94.20)的两味真空能,

Veff(a)=2v3(mu+md)24mumdsin2Θ(a)2.(94.77)V_{\rm eff}(a) =-2v^3 \sqrt{(m_u+m_d)^2-4m_um_d\sin^2\frac{\Theta(a)}2}. \tag{94.77}

对于mu,md>0m_u,m_d>0,根号内的量在sin[Θ/2]=0\sin[\Theta/2]=0时最大,因而势最低。局部分支可选

Θ=0,a=fθ0,U=I;a 按 2πf 等价.(94.78)\Theta=0,\qquad a_*=f\theta_0,\qquad U_*=I; \qquad a_*\ \text{按}\ 2\pi f\ \text{等价}. \tag{94.78}

这是正指数定义下的真空位置。若用aalta_{\rm alt},同一个最低点写为aalt,=fθ0a_{{\rm alt},*}=-f\theta_0。最低点的有效强相位为零,前面所算的CP奇π–核子顶角及其电偶极矩随之消失。这个最低点恢复了所讨论强作用的P和CP。

轴子质量与中性π的混合

a=aaa'=a-a_*,则Θ=a/f\Theta=-a'/f,并记s=mu+mds=m_u+m_d。由式(94.24)

Veff=V0+v3m~a2f2+O(v3sa4/f4),ma2=2v3m~f2[1+O(fπ2/f2)].(94.79)\begin{aligned} V_{\rm eff}&=V_0+v^3\widetilde m\,\frac{a'^2}{f^2} +O(v^3s a'^4/f^4),\\ m_a^2&=\frac{2v^3\widetilde m}{f^2} \left[1+O(f_\pi^2/f^2)\right]. \end{aligned} \tag{94.79}

这里的势已经对π场取极小值。要看清这一步以及所列修正,回到尚未对齐的中性场,取U=exp(iπ0σ3/fπ)U=\exp(i\pi^0\sigma^3/f_\pi)。将两个余弦各展开到二次,得

V(2)=v3[s(π0)2fπ2+s4Θ2dπ0Θfπ],s=mu+md,d=mumd.(94.80)V^{(2)}=v^3\left[ s\frac{(\pi^0)^2}{f_\pi^2} +\frac{s}{4}\Theta^2-d\frac{\pi^0\Theta}{f_\pi}\right], \qquad s=m_u+m_d,\quad d=m_u-m_d . \tag{94.80}

在未移去π0\pi^0的变量中,两场的二次动能都为标准归一,故基(a,π0)(a',\pi^0)中的质量平方矩阵是

H=(v3s/(2f2)v3d/(ffπ)v3d/(ffπ)2v3s/fπ2)(ABBC).(94.81)\mathsf H= \begin{pmatrix} v^3s/(2f^2)&v^3d/(ff_\pi)\\ v^3d/(ff_\pi)&2v^3s/f_\pi^2 \end{pmatrix} \equiv\begin{pmatrix}A&B\\B&C\end{pmatrix}. \tag{94.81}

交叉项为正,因为Θ=a/f\Theta=-a'/f;对mu<mdm_u<m_d,矩阵元BB本身为负。两个本征质量平方为

m±2=A+C±(CA)2+4B22.(94.82)m_\pm^2=\frac{A+C\pm\sqrt{(C-A)^2+4B^2}}2. \tag{94.82}

ffπf\gg f_\pi时,A/C=O(fπ2/f2)A/C=O(f_\pi^2/f^2)B/C=O(fπ/f)B/C=O(f_\pi/f),展开较轻根得到

m2=AB2C+O(Cfπ4/f4)=v32f2(sd2s)+O(v3sfπ2/f4)=2v3mumdsf2+O(v3sfπ2/f4).(94.83)\begin{aligned} m_-^2&=A-\frac{B^2}{C}+O(Cf_\pi^4/f^4)\\ &=\frac{v^3}{2f^2}\left(s-\frac{d^2}{s}\right) +O(v^3s f_\pi^2/f^4) =\frac{2v^3m_um_d}{s f^2} +O(v^3s f_\pi^2/f^4). \end{aligned} \tag{94.83}

利用s2d2=4mumds^2-d^2=4m_um_d便得到式(94.79)。等价地,先由V(2)/π0=0\partial V^{(2)}/\partial\pi^0=0π0\pi^0,再代回势,就是Schur补AB2/CA-B^2/C;重方向随轴子缓慢改变,所以轻方向的曲率由AB2/CA-B^2/C决定。

mπ2=2v3s/fπ2m_\pi^2=2v^3s/f_\pi^2,结果也可写成

ma2=mπ2fπ2f2mumd(mu+md)2[1+O(fπ2/f2)].(94.84)m_a^2=m_\pi^2\frac{f_\pi^2}{f^2} \frac{m_um_d}{(m_u+m_d)^2} \left[1+O(f_\pi^2/f^2)\right]. \tag{94.84}

在同位旋极限d=0d=0,两场不混合,轻质量直接为AA,与本式的质量比1/41/4一致。任一轻夸克质量为零时,ACB2=0AC-B^2=0,精确轻根为零,和无质量味可消去强相位的论证相合。对正质量,A,C>0A,C>0ACB2>0AC-B^2>0,两个小振动方向都稳定。

ff极限

固定yy和轻强子参数,式(94.72)使新夸克质量按ff增长,而式(94.84)使轴子质量按1/f1/f下降。在已经积分掉重夸克和径向场的有效理论中,轴子由Θ=θ0a/f\Theta=\theta_0-a/fμa/f\partial_\mu a/f进入。围绕最低点,每取一个轴子涨落,就从这些函数的Taylor展开取得一个1/f1/f

Lhad(Θ)=Lhad(0)afLhadΘ0+a22f22LhadΘ20+.(94.85)\mathcal L_{\rm had}(\Theta) =\mathcal L_{\rm had}(0) -\frac{a'}f\left.\frac{\partial\mathcal L_{\rm had}}{\partial\Theta} \right|_0 +\frac{a'^2}{2f^2} \left.\frac{\partial^2\mathcal L_{\rm had}}{\partial\Theta^2} \right|_0+\cdots. \tag{94.85}

例如前面求得的CP奇π–核子项成为 +(c+m~/fπf)aπaNˉσaN+(c_+\widetilde m/f_\pi f)a'\pi^a\bar{\mathcal N}\sigma^a\mathcal N, 其中一轴子顶角确有1/f1/f。中性π与轴子的混合角也由 B/C=O(fπ/f)B/C=O(f_\pi/f)压低。低能强子作用中的轴子顶角因此在大ff时受抑制。直接的重夸克Yukawa耦合mQ/f=y/2|m_Q|/f=|y|/\sqrt2在固定yy时保持常量,但这些重夸克已不在所讨论的低能自由度中。


← 第 93 节 · 章节地图 · 第 95 节 →

文章标题:Srednicki §94 夸克与 θ 真空

文章作者:Whitney

文章链接:https://phymani.me/posts/srednicki-94[复制]

最后修改时间:


商业转载请联系站长获得授权,非商业转载请注明本文出处及文章链接,您可以自由地在任何媒体以任何形式复制和分发作品,也可以修改和创作,但是分发衍生作品时必须采用相同的许可协议。
本文采用CC BY-NC-SA 4.0进行许可。