习题 94.2 - 解答
习题 94.2 分析与解答
a) 证明拉格朗日量在 Peccei-Quinn 变换下的不变性
先分析模型中各场在 Peccei-Quinn (PQ) 变换 U ( 1 ) PQ \text{U}(1)_{\text{PQ}} U ( 1 ) PQ 下的变换规则:
χ → e i α χ , ξ → e i α ξ , Φ → e − 2 i α Φ \chi \rightarrow e^{i\alpha} \chi, \quad \xi \rightarrow e^{i\alpha} \xi, \quad \Phi \rightarrow e^{-2i\alpha} \Phi χ → e i α χ , ξ → e i α ξ , Φ → e − 2 i α Φ
拉格朗日量包含动能项、汤川耦合项 L Yuk \mathcal{L}_{\text{Yuk}} L Yuk 和标量势 V ( Φ ) V(\Phi) V ( Φ ) 。
动能项 :外尔费米子的动能项形式为 i χ † σ ˉ μ ∂ μ χ i\chi^\dagger \bar{\sigma}^\mu \partial_\mu \chi i χ † σ ˉ μ ∂ μ χ 。由于 χ → e i α χ \chi \rightarrow e^{i\alpha}\chi χ → e i α χ 且 χ † → e − i α χ † \chi^\dagger \rightarrow e^{-i\alpha}\chi^\dagger χ † → e − i α χ † ,相位因子相互抵消,动能项不变。ξ \xi ξ 同理。标量场动能项 − ∂ μ Φ † ∂ μ Φ -\partial^\mu \Phi^\dagger \partial_\mu \Phi − ∂ μ Φ † ∂ μ Φ 中,Φ † → e 2 i α Φ † \Phi^\dagger \rightarrow e^{2i\alpha}\Phi^\dagger Φ † → e 2 i α Φ † ,相位同样抵消。
汤川耦合项 :
L Yuk = y Φ χ ξ + h.c. → y ( e − 2 i α Φ ) ( e i α χ ) ( e i α ξ ) + h.c. = y Φ χ ξ + h.c. \mathcal{L}_{\text{Yuk}} = y \Phi \chi \xi + \text{h.c.} \rightarrow y (e^{-2i\alpha} \Phi) (e^{i\alpha} \chi) (e^{i\alpha} \xi) + \text{h.c.} = y \Phi \chi \xi + \text{h.c.} L Yuk = y Φ χ ξ + h.c. → y ( e − 2 i α Φ ) ( e i α χ ) ( e i α ξ ) + h.c. = y Φ χ ξ + h.c.
变换后相位完全抵消,该项保持不变。
标量势 :已知 V ( Φ ) V(\Phi) V ( Φ ) 仅依赖于 Φ † Φ \Phi^\dagger \Phi Φ † Φ ,而 Φ † Φ → ( e 2 i α Φ † ) ( e − 2 i α Φ ) = Φ † Φ \Phi^\dagger \Phi \rightarrow (e^{2i\alpha}\Phi^\dagger)(e^{-2i\alpha}\Phi) = \Phi^\dagger \Phi Φ † Φ → ( e 2 i α Φ † ) ( e − 2 i α Φ ) = Φ † Φ ,故势能项不变。
综上所述,整个拉格朗日量在 U ( 1 ) PQ \text{U}(1)_{\text{PQ}} U ( 1 ) PQ 变换下是不变的。
b) 证明全局 U ( 1 ) PQ \text{U}(1)_{\text{PQ}} U ( 1 ) PQ 对称性反常,及 θ \theta θ 的平移
为了看清反常性质,可将两个外尔费米子 χ \chi χ (处于 3 \mathbf{3} 3 表示)和 ξ \xi ξ (处于 3 ˉ \mathbf{\bar{3}} 3 ˉ 表示)组合成一个狄拉克费米子 Q = ( χ ξ † ) Q = \begin{pmatrix} \chi \\ \xi^\dagger \end{pmatrix} Q = ( χ ξ † ) 。
在 PQ 变换下,左手部分 Q L = χ → e i α Q L Q_L = \chi \rightarrow e^{i\alpha} Q_L Q L = χ → e i α Q L ,右手部分 Q R = ξ † → e − i α Q R Q_R = \xi^\dagger \rightarrow e^{-i\alpha} Q_R Q R = ξ † → e − i α Q R 。这等价于对狄拉克场作手征变换(轴矢变换):
Q → e i α γ 5 Q Q \rightarrow e^{i\alpha \gamma_5} Q Q → e i α γ 5 Q
根据 QCD 的手征反常,对应于该全局对称性的 Noether 流 J PQ μ J^\mu_{\text{PQ}} J PQ μ 不守恒,其散度由规范场的拓扑项给出:
∂ μ J PQ μ = g s 2 16 π 2 G μ ν a G ~ a μ ν \partial_\mu J^\mu_{\text{PQ}} = \frac{g_s^2}{16\pi^2} G^a_{\mu\nu} \tilde{G}^{a\mu\nu} ∂ μ J PQ μ = 16 π 2 g s 2 G μν a G ~ a μν
在路径积分表述中,费米子测度的变换会产生一个雅可比行列式,导致有效作用量改变:
δ S = ∫ d 4 x α ∂ μ J PQ μ = ∫ d 4 x α g s 2 16 π 2 G μ ν a G ~ a μ ν = ∫ d 4 x ( 2 α ) g s 2 32 π 2 G μ ν a G ~ a μ ν \delta S = \int d^4x \, \alpha \partial_\mu J^\mu_{\text{PQ}} = \int d^4x \, \alpha \frac{g_s^2}{16\pi^2} G^a_{\mu\nu} \tilde{G}^{a\mu\nu} = \int d^4x \, (2\alpha) \frac{g_s^2}{32\pi^2} G^a_{\mu\nu} \tilde{G}^{a\mu\nu} δ S = ∫ d 4 x α ∂ μ J PQ μ = ∫ d 4 x α 16 π 2 g s 2 G μν a G ~ a μν = ∫ d 4 x ( 2 α ) 32 π 2 g s 2 G μν a G ~ a μν
QCD 拉格朗日量中原有的 θ \theta θ 项为 L θ = θ g s 2 32 π 2 G μ ν a G ~ a μ ν \mathcal{L}_\theta = \theta \frac{g_s^2}{32\pi^2} G^a_{\mu\nu} \tilde{G}^{a\mu\nu} L θ = θ 32 π 2 g s 2 G μν a G ~ a μν 。比较可知,PQ 变换等效于将 θ \theta θ 参数平移:
θ → θ + 2 α \boxed{\theta \rightarrow \theta + 2\alpha} θ → θ + 2 α
c) 证明标量场真空期望值赋予新夸克质量
当标量势 V ( Φ ) V(\Phi) V ( Φ ) 在 ∣ Φ ∣ = f / 2 |\Phi| = f/\sqrt{2} ∣Φ∣ = f / 2 处取得极小值时,标量场发生自发对称性破缺。将 Φ \Phi Φ 替换为其真空期望值 ⟨ Φ ⟩ = f / 2 \langle \Phi \rangle = f/\sqrt{2} ⟨ Φ ⟩ = f / 2 ,代入汤川耦合项:
L Yuk = y f 2 χ ξ + h.c. \mathcal{L}_{\text{Yuk}} = y \frac{f}{\sqrt{2}} \chi \xi + \text{h.c.} L Yuk = y 2 f χ ξ + h.c.
这正是外尔费米子 χ \chi χ 和 ξ \xi ξ 结合成的狄拉克费米子 Q Q Q 的质量项。因此,新引入的夸克获得了质量:
m Q = y f 2 \boxed{m_Q = \frac{yf}{\sqrt{2}}} m Q = 2 y f
d) (第一部分) 引入轴子场 a a a 及 θ \theta θ 的替换
将标量场参数化为 Φ = 1 2 ( f + ρ ) e i a / f \Phi = \frac{1}{\sqrt{2}}(f + \rho)e^{ia/f} Φ = 2 1 ( f + ρ ) e ia / f 。
在 PQ 变换 Φ → e − 2 i α Φ \Phi \rightarrow e^{-2i\alpha} \Phi Φ → e − 2 i α Φ 下,径向场 ρ \rho ρ 不变,而相位场 a a a 的变换为:
e i a / f → e i ( a / f − 2 α ) ⟹ a → a − 2 α f e^{ia/f} \rightarrow e^{i(a/f - 2\alpha)} \implies a \rightarrow a - 2\alpha f e ia / f → e i ( a / f − 2 α ) ⟹ a → a − 2 α f
结合 (b) 中 θ → θ + 2 α \theta \rightarrow \theta + 2\alpha θ → θ + 2 α 的结论,可以发现组合量 θ + a / f \theta + a/f θ + a / f 在 PQ 变换下是规范不变 的:
θ + a f → ( θ + 2 α ) + ( a f − 2 α ) = θ + a f \theta + \frac{a}{f} \rightarrow (\theta + 2\alpha) + \left(\frac{a}{f} - 2\alpha\right) = \theta + \frac{a}{f} θ + f a → ( θ + 2 α ) + ( f a − 2 α ) = θ + f a
为了在低能有效理论中维持 PQ 对称性(该对称性被非线性实现),原方程 (94.10) 中的 θ \theta θ 必须被替换为不变组合 θ + a / f \theta + a/f θ + a / f 。
此外,将 Φ \Phi Φ 的参数化代入标量场动能项 − ∂ μ Φ † ∂ μ Φ -\partial^\mu \Phi^\dagger \partial_\mu \Phi − ∂ μ Φ † ∂ μ Φ 中:
− ∂ μ Φ † ∂ μ Φ = − 1 2 ∂ μ ρ ∂ μ ρ − 1 2 ( f + ρ ) 2 f 2 ∂ μ a ∂ μ a -\partial^\mu \Phi^\dagger \partial_\mu \Phi = -\frac{1}{2}\partial^\mu \rho \partial_\mu \rho - \frac{1}{2}\frac{(f+\rho)^2}{f^2}\partial^\mu a \partial_\mu a − ∂ μ Φ † ∂ μ Φ = − 2 1 ∂ μ ρ ∂ μ ρ − 2 1 f 2 ( f + ρ ) 2 ∂ μ a ∂ μ a
在低能下,重场 ρ \rho ρ 被积掉(ρ → 0 \rho \rightarrow 0 ρ → 0 ),留下 a a a 场的规范动能项:
L kin , a = − 1 2 ∂ μ a ∂ μ a \boxed{\mathcal{L}_{\text{kin}, a} = -\frac{1}{2} \partial^\mu a \partial_\mu a} L kin , a = − 2 1 ∂ μ a ∂ μ a
d) (第二部分) 证明 V ( U ) V(U) V ( U ) 的极小值及 CP 守恒
根据 (94.11) 和替换后的 (94.10),有效势为:
V ( U ) = − v 3 Tr ( M U ) + h.c. , M = ( m u 0 0 m d ) e − i ( θ + a / f ) / 2 V(U) = -v^3 \operatorname{Tr}(MU) + \text{h.c.}, \quad M = \begin{pmatrix} m_u & 0 \\ 0 & m_d \end{pmatrix} e^{-i(\theta + a/f)/2} V ( U ) = − v 3 Tr ( M U ) + h.c. , M = ( m u 0 0 m d ) e − i ( θ + a / f ) /2
令 θ ˉ = θ + a / f \bar{\theta} = \theta + a/f θ ˉ = θ + a / f 。将 SU ( 2 ) \text{SU}(2) SU ( 2 ) 介子矩阵参数化为对角形式 U = ( e i ϕ 0 0 e − i ϕ ) U = \begin{pmatrix} e^{i\phi} & 0 \\ 0 & e^{-i\phi} \end{pmatrix} U = ( e i ϕ 0 0 e − i ϕ ) ,代入势能:
V ( ϕ , a ) = − v 3 [ m u e i ( ϕ − θ ˉ / 2 ) + m d e − i ( ϕ + θ ˉ / 2 ) ] + h.c. V(\phi, a) = -v^3 \left[ m_u e^{i(\phi - \bar{\theta}/2)} + m_d e^{-i(\phi + \bar{\theta}/2)} \right] + \text{h.c.} V ( ϕ , a ) = − v 3 [ m u e i ( ϕ − θ ˉ /2 ) + m d e − i ( ϕ + θ ˉ /2 ) ] + h.c.
V ( ϕ , a ) = − 2 v 3 [ m u cos ( ϕ − θ ˉ 2 ) + m d cos ( ϕ + θ ˉ 2 ) ] V(\phi, a) = -2v^3 \left[ m_u \cos\left(\phi - \frac{\bar{\theta}}{2}\right) + m_d \cos\left(\phi + \frac{\bar{\theta}}{2}\right) \right] V ( ϕ , a ) = − 2 v 3 [ m u cos ( ϕ − 2 θ ˉ ) + m d cos ( ϕ + 2 θ ˉ ) ]
由于 m u , m d > 0 m_u, m_d > 0 m u , m d > 0 且 v 3 > 0 v^3 > 0 v 3 > 0 ,要使 V V V 达到全局极小值,两个余弦函数必须同时取最大值 1 1 1 。这意味着它们的辐角必须同时为零:
ϕ − θ ˉ 2 = 0 且 ϕ + θ ˉ 2 = 0 \phi - \frac{\bar{\theta}}{2} = 0 \quad \text{且} \quad \phi + \frac{\bar{\theta}}{2} = 0 ϕ − 2 θ ˉ = 0 且 ϕ + 2 θ ˉ = 0
解得 ϕ = 0 \phi = 0 ϕ = 0 且 θ ˉ = 0 \bar{\theta} = 0 θ ˉ = 0 。
ϕ = 0 \phi = 0 ϕ = 0 意味着 U = I \boxed{U = I} U = I 。
θ ˉ = 0 \bar{\theta} = 0 θ ˉ = 0 意味着 θ + a / f = 0 \theta + a/f = 0 θ + a / f = 0 ,即 a = − f θ \boxed{a = -f\theta} a = − f θ 。
在此极小值处,θ ˉ = 0 \bar{\theta} = 0 θ ˉ = 0 ,质量矩阵 M M M 变为纯实数对角阵。由于拉格朗日量中不再含有复数相位(即没有破坏 CP 的项),因此在该真空中 P P P 和 C P CP C P 是守恒的 。
e) 计算轴子质量
在极小值附近展开势能。定义物理轴子场 a ~ = a + f θ \tilde{a} = a + f\theta a ~ = a + f θ ,则 θ ˉ = a ~ / f \bar{\theta} = \tilde{a}/f θ ˉ = a ~ / f 。将 U U U 用中性 π \pi π 介子场展开:U ≈ I + i π 0 f π τ 3 − 1 2 ( π 0 ) 2 f π 2 τ 3 2 U \approx I + i\frac{\pi^0}{f_\pi}\tau_3 - \frac{1}{2}\frac{(\pi^0)^2}{f_\pi^2}\tau_3^2 U ≈ I + i f π π 0 τ 3 − 2 1 f π 2 ( π 0 ) 2 τ 3 2 。
此时 ϕ = π 0 / f π \phi = \pi^0/f_\pi ϕ = π 0 / f π 。将 V V V 展开到场的平方阶(利用 cos x ≈ 1 − x 2 / 2 \cos x \approx 1 - x^2/2 cos x ≈ 1 − x 2 /2 ):
V ( 2 ) = v 3 [ m u ( π 0 f π − a ~ 2 f ) 2 + m d ( π 0 f π + a ~ 2 f ) 2 ] V^{(2)} = v^3 \left[ m_u \left(\frac{\pi^0}{f_\pi} - \frac{\tilde{a}}{2f}\right)^2 + m_d \left(\frac{\pi^0}{f_\pi} + \frac{\tilde{a}}{2f}\right)^2 \right] V ( 2 ) = v 3 [ m u ( f π π 0 − 2 f a ~ ) 2 + m d ( f π π 0 + 2 f a ~ ) 2 ]
提取二次项系数,构建 ( π 0 , a ~ ) (\pi^0, \tilde{a}) ( π 0 , a ~ ) 的质量平方矩阵 M 2 \mathcal{M}^2 M 2 :
M 2 = 2 v 3 ( m u + m d f π 2 m d − m u 2 f π f m d − m u 2 f π f m u + m d 4 f 2 ) \mathcal{M}^2 = 2v^3 \begin{pmatrix} \frac{m_u+m_d}{f_\pi^2} & \frac{m_d-m_u}{2f_\pi f} \\ \frac{m_d-m_u}{2f_\pi f} & \frac{m_u+m_d}{4f^2} \end{pmatrix} M 2 = 2 v 3 ( f π 2 m u + m d 2 f π f m d − m u 2 f π f m d − m u 4 f 2 m u + m d )
已知 π 0 \pi^0 π 0 的质量平方为 m π 2 = 2 v 3 m u + m d f π 2 m_\pi^2 = 2v^3 \frac{m_u+m_d}{f_\pi^2} m π 2 = 2 v 3 f π 2 m u + m d 。
由于 f ≫ f π f \gg f_\pi f ≫ f π ,矩阵的 ( 1 , 1 ) (1,1) ( 1 , 1 ) 元远大于 ( 2 , 2 ) (2,2) ( 2 , 2 ) 元。利用跷跷板近似(Seesaw approximation),较小的本征值(即轴子质量平方 m a 2 m_a^2 m a 2 )为:
m a 2 ≈ M 22 2 − ( M 12 2 ) 2 M 11 2 = 2 v 3 [ m u + m d 4 f 2 − ( m d − m u ) 2 / ( 4 f π 2 f 2 ) ( m u + m d ) / f π 2 ] m_a^2 \approx \mathcal{M}^2_{22} - \frac{(\mathcal{M}^2_{12})^2}{\mathcal{M}^2_{11}} = 2v^3 \left[ \frac{m_u+m_d}{4f^2} - \frac{(m_d-m_u)^2 / (4f_\pi^2 f^2)}{(m_u+m_d)/f_\pi^2} \right] m a 2 ≈ M 22 2 − M 11 2 ( M 12 2 ) 2 = 2 v 3 [ 4 f 2 m u + m d − ( m u + m d ) / f π 2 ( m d − m u ) 2 / ( 4 f π 2 f 2 ) ]
m a 2 = 2 v 3 4 f 2 [ ( m u + m d ) − ( m d − m u ) 2 m u + m d ] = 2 v 3 4 f 2 [ 4 m u m d m u + m d ] = 2 v 3 f 2 m u m d m u + m d m_a^2 = \frac{2v^3}{4f^2} \left[ (m_u+m_d) - \frac{(m_d-m_u)^2}{m_u+m_d} \right] = \frac{2v^3}{4f^2} \left[ \frac{4m_u m_d}{m_u+m_d} \right] = \frac{2v^3}{f^2} \frac{m_u m_d}{m_u+m_d} m a 2 = 4 f 2 2 v 3 [ ( m u + m d ) − m u + m d ( m d − m u ) 2 ] = 4 f 2 2 v 3 [ m u + m d 4 m u m d ] = f 2 2 v 3 m u + m d m u m d
将 2 v 3 = m π 2 f π 2 m u + m d 2v^3 = \frac{m_\pi^2 f_\pi^2}{m_u+m_d} 2 v 3 = m u + m d m π 2 f π 2 代入上式:
m a 2 = m π 2 f π 2 f 2 m u m d ( m u + m d ) 2 m_a^2 = \frac{m_\pi^2 f_\pi^2}{f^2} \frac{m_u m_d}{(m_u+m_d)^2} m a 2 = f 2 m π 2 f π 2 ( m u + m d ) 2 m u m d
开方得到轴子质量:
m a = m π f π f m u m d m u + m d \boxed{m_a = \frac{m_\pi f_\pi}{f} \frac{\sqrt{m_u m_d}}{m_u + m_d}} m a = f m π f π m u + m d m u m d
f) 证明轴子与强子的耦合被 1 / f 1/f 1/ f 压低
在低能有效拉格朗日量 (94.9) 中,轴子场 a a a 仅仅通过质量矩阵 M M M 参与相互作用:
M = ( m u 0 0 m d ) e − i ( θ + a / f ) / 2 M = \begin{pmatrix} m_u & 0 \\ 0 & m_d \end{pmatrix} e^{-i(\theta + a/f)/2} M = ( m u 0 0 m d ) e − i ( θ + a / f ) /2
为了得到轴子与强子(核子 N N N 、介子 U U U )的相互作用顶点,我们需要将 M M M 及其共轭 M † M^\dagger M † 对轴子场 a a a 进行泰勒展开:
M ≈ M 0 ( 1 − i a 2 f − a 2 8 f 2 + … ) M \approx M_0 \left( 1 - i\frac{a}{2f} - \frac{a^2}{8f^2} + \dots \right) M ≈ M 0 ( 1 − i 2 f a − 8 f 2 a 2 + … )
可以看出,有效拉格朗日量中任何包含 n n n 个轴子场 a a a 的相互作用项,必然伴随着 ( 1 / f ) n (1/f)^n ( 1/ f ) n 的因子。
由于 a a a 场的动能项 − 1 2 ∂ μ a ∂ μ a -\frac{1}{2}\partial^\mu a \partial_\mu a − 2 1 ∂ μ a ∂ μ a 已经是正规化的(不需要重新标度),这些展开项直接给出了物理的耦合常数。
因为假设了 f ≫ f π f \gg f_\pi f ≫ f π (且 f f f 远大于强子能标),所有包含轴子的相互作用顶点都严格正比于 1 / f 1/f 1/ f 或其更高次幂。因此,轴子与所有强子的耦合都被 1 / f 1/f 1/ f 强烈压低 ,这解释了为什么这种“隐形轴子”(Invisible Axion) 极难被实验探测到。