11.1

Problem 11.1

peskinChapter 11

习题 11.1

来源: 第11章, PDF第389页


11.1 Spin-wave theory.

(a) Prove the following wonderful formula: Let ϕ(x)\phi(x) be a free scalar field with propagator Tϕ(x)ϕ(0)=D(x)\langle T\phi(x)\phi(0)\rangle = D(x). Then

Teiϕ(x)eiϕ(0)=e[D(x)D(0)].\left\langle T e^{i\phi(x)} e^{-i\phi(0)} \right\rangle = e^{[D(x)-D(0)]}.

(The factor D(0)D(0) gives a formally divergent adjustment of the overall normalization.)

(b) We can use this formula in Euclidean field theory to discuss correlation functions in a theory with spontaneously broken symmetry for T<TCT < T_C. Let us consider only the simplest case of a broken O(2)O(2) or U(1)U(1) symmetry. We can write the local spin density as a complex variable

s(x)=s1(x)+is2(x).s(x) = s^1(x) + is^2(x).

The global symmetry is the transformation

s(x)eiαs(x).s(x) \rightarrow e^{-i\alpha} s(x).

If we assume that the physics freezes the modulus of s(x)s(x), we can parametrize

s(x)=Aeiϕ(x)s(x) = A e^{i\phi(x)}

and write an effective Lagrangian for the field ϕ(x)\phi(x). The symmetry of the theory becomes the translation symmetry

ϕ(x)ϕ(x)α.\phi(x) \rightarrow \phi(x) - \alpha.

Show that (for d>0d > 0) the most general renormalizable Lagrangian consistent with this symmetry is the free field theory

L=12ρ(ϕ)2.\mathcal{L} = \frac{1}{2} \rho (\vec{\nabla}\phi)^2.

In statistical mechanics, the constant ρ\rho is called the spin wave modulus. A reasonable hypothesis for ρ\rho is that it is finite for T<TCT < T_C and tends to 0 as TTCT \rightarrow T_C from below.

(c) Compute the correlation function s(x)s(0)\langle s(x)s^*(0)\rangle. Adjust AA to give a physically sensible normalization (assuming that the system has a physical cutoff at the scale of one atomic spacing) and display the dependence of this correlation function on xx for d=1,2,3,4d = 1, 2, 3, 4. Explain the significance of your results.

习题 11.1 - 解答


习题 11.1 分析与解答

(a) 证明公式 Teiϕ(x)eiϕ(0)=e[D(x)D(0)]\left\langle T e^{i\phi(x)} e^{-i\phi(0)} \right\rangle = e^{[D(x)-D(0)]}

对于自由标量场 ϕ(x)\phi(x),其路径积分生成泛函为高斯型。根据高斯积分的性质,对于任意源函数 J(y)J(y),有: Z[J]=Texp(iddyJ(y)ϕ(y))=exp(12ddyddzJ(y)D(yz)J(z))Z[J] = \left\langle T \exp\left( i \int d^d y J(y) \phi(y) \right) \right\rangle = \exp\left( -\frac{1}{2} \int d^d y d^d z J(y) D(y-z) J(z) \right) 其中 D(yz)=Tϕ(y)ϕ(z)D(y-z) = \langle T\phi(y)\phi(z) \rangle 是自由场的传播子。

为了计算目标关联函数,由于在时间序 TT 内部算符是可交换的,我们可以将指数合并: Teiϕ(x)eiϕ(0)=Texp(iϕ(x)iϕ(0))T e^{i\phi(x)} e^{-i\phi(0)} = T \exp\left( i\phi(x) - i\phi(0) \right) 这相当于选取特定的源函数: J(y)=δ(d)(yx)δ(d)(y)J(y) = \delta^{(d)}(y-x) - \delta^{(d)}(y) 将此 J(y)J(y) 代入生成泛函的指数部分中: 12ddyddz[δ(d)(yx)δ(d)(y)]D(yz)[δ(d)(zx)δ(d)(z)]-\frac{1}{2} \int d^d y d^d z \left[ \delta^{(d)}(y-x) - \delta^{(d)}(y) \right] D(y-z) \left[ \delta^{(d)}(z-x) - \delta^{(d)}(z) \right] 展开积分,得到四项: =12[D(xx)D(x0)D(0x)+D(00)]= -\frac{1}{2} \Big[ D(x-x) - D(x-0) - D(0-x) + D(0-0) \Big] 利用传播子的平移不变性和偶函数性质 D(0)=D(xx)=D(00)D(0) = D(x-x) = D(0-0) 以及 D(x)=D(x)D(x) = D(-x),上式化简为: 12[2D(0)2D(x)]=D(x)D(0)-\frac{1}{2} \Big[ 2D(0) - 2D(x) \Big] = D(x) - D(0) 因此,直接得到: Teiϕ(x)eiϕ(0)=eD(x)D(0)\boxed{ \left\langle T e^{i\phi(x)} e^{-i\phi(0)} \right\rangle = e^{D(x)-D(0)} }

(b) 证明最一般的可重整化拉格朗日量为 L=12ρ(ϕ)2\mathcal{L} = \frac{1}{2} \rho (\vec{\nabla}\phi)^2

理论具有全局平移对称性 ϕ(x)ϕ(x)α\phi(x) \rightarrow \phi(x) - \alpha。这一对称性要求场 ϕ(x)\phi(x) 只能通过其导数 μϕ\partial_\mu \phi 的形式出现在拉格朗日量中。

dd 维时空中,作用量 S=ddxLS = \int d^d x \mathcal{L} 必须是无量纲的,因此拉格朗日量密度的质量量纲为 [L]=d[\mathcal{L}] = d。 为了分析重整化性质,我们引入具有标准动能项的规范化场 ϕ~=ρϕ\tilde{\phi} = \sqrt{\rho} \phi,其动能项为 12(μϕ~)2\frac{1}{2}(\partial_\mu \tilde{\phi})^2。由此可确定场的正则质量量纲为: [ϕ~]=d22    [μϕ~]=d2[\tilde{\phi}] = \frac{d-2}{2} \implies [\partial_\mu \tilde{\phi}] = \frac{d}{2} 一个拉格朗日量是可重整化的,当且仅当它由量纲 Δd\Delta \le d 的算符组成。我们检查由 μϕ~\partial_\mu \tilde{\phi} 构成的所有可能的旋转不变算符:

  1. 最低阶导数项 (μϕ~)2(\partial_\mu \tilde{\phi})^2:其量纲为 2×d2=d2 \times \frac{d}{2} = d。在任何维度 d>0d>0 下,它都是严格的边缘算符(Marginal operator),因而是可重整化的。
  2. 高次幂项 (μϕ~μϕ~)n(\partial_\mu \tilde{\phi} \partial^\mu \tilde{\phi})^n (n2n \ge 2):其量纲为 ndn d。由于 d>0d>0n2n \ge 2,有 nd>dnd > d,这些项是不可重整化的(Irrelevant operators)。
  3. 高阶导数项 例如 (2ϕ~)2(\partial^2 \tilde{\phi})^2:其量纲为 2×(d22+2)=d+2>d2 \times (\frac{d-2}{2} + 2) = d + 2 > d,同样是不可重整化的。

综上所述,唯一满足对称性且可重整化的算符只有 (μϕ~)2(\partial_\mu \tilde{\phi})^2。换回原场变量 ϕ\phi,最一般的可重整化拉格朗日量即为自由场理论: L=12ρ(ϕ)2\boxed{ \mathcal{L} = \frac{1}{2} \rho (\vec{\nabla}\phi)^2 }

(c) 计算关联函数 s(x)s(0)\langle s(x)s^*(0)\rangle 及其在 d=1,2,3,4d=1,2,3,4 维的物理意义

根据 (a) 的结论,自旋关联函数为: s(x)s(0)=A2eiϕ(x)eiϕ(0)=A2eD(x)D(0)\langle s(x)s^*(0) \rangle = A^2 \langle e^{i\phi(x)} e^{-i\phi(0)} \rangle = A^2 e^{D(x) - D(0)} 其中 D(x)D(x) 是拉格朗日量 L=12ρ(ϕ)2\mathcal{L} = \frac{1}{2} \rho (\vec{\nabla}\phi)^2 在欧几里得空间的传播子: D(x)=ddk(2π)deikxρk2D(x) = \int \frac{d^d k}{(2\pi)^d} \frac{e^{i k \cdot x}}{\rho k^2} 我们引入物理紫外截断 Λ=1/a\Lambda = 1/aaa 为原子间距),分别在不同维度下计算 D(x)D(0)D(x) - D(0)

1. d=1d=1 维: D(x)D(0)=1ρdk2πeikx1k2=x2ρD(x) - D(0) = \frac{1}{\rho} \int_{-\infty}^{\infty} \frac{dk}{2\pi} \frac{e^{ikx} - 1}{k^2} = -\frac{|x|}{2\rho} s(x)s(0)=A2ex2ρ\boxed{ \langle s(x)s^*(0) \rangle = A^2 e^{-\frac{|x|}{2\rho}} } 物理意义:关联函数呈指数衰减,关联长度为 ξ=2ρ\xi = 2\rho。系统在宏观尺度上不存在长程有序(Long-Range Order),这与 Mermin-Wagner 定理一致(一维连续对称性不能自发破缺)。

2. d=2d=2 维: D(x)D(0)=1ρk<Λd2k(2π)2eikx1k2=12πρ0Λdkk(J0(kx)1)D(x) - D(0) = \frac{1}{\rho} \int_{|k|<\Lambda} \frac{d^2 k}{(2\pi)^2} \frac{e^{i k \cdot x} - 1}{k^2} = \frac{1}{2\pi\rho} \int_0^\Lambda \frac{dk}{k} (J_0(k|x|) - 1)xa|x| \gg a 时,积分主要由 1/x<k<Λ1/|x| < k < \Lambda 区域贡献,近似为: D(x)D(0)12πρln(Λx)=12πρln(xa)D(x) - D(0) \approx -\frac{1}{2\pi\rho} \ln(\Lambda |x|) = -\frac{1}{2\pi\rho} \ln\left(\frac{|x|}{a}\right) s(x)s(0)=A2(ax)12πρ\boxed{ \langle s(x)s^*(0) \rangle = A^2 \left( \frac{a}{|x|} \right)^{\frac{1}{2\pi\rho}} } 物理意义:关联函数呈幂律衰减(代数衰减)。系统没有真正的长程有序(自发磁化为零,符合 Mermin-Wagner 定理),但存在准长程有序(Quasi-Long-Range Order),这对应于著名的 Berezinskii-Kosterlitz-Thouless (BKT) 相。

3. d=3d=3 维: D(x)=1ρd3k(2π)3eikxk2=14πρxD(x) = \frac{1}{\rho} \int \frac{d^3 k}{(2\pi)^3} \frac{e^{i k \cdot x}}{k^2} = \frac{1}{4\pi\rho |x|} D(0)=1ρk<Λd3k(2π)31k2=Λ2π2ρ=12π2ρaD(0) = \frac{1}{\rho} \int_{|k|<\Lambda} \frac{d^3 k}{(2\pi)^3} \frac{1}{k^2} = \frac{\Lambda}{2\pi^2 \rho} = \frac{1}{2\pi^2 \rho a} 此时 D(0)D(0) 包含紫外发散。为了给出物理上合理的归一化,我们将发散因子吸收到宏观磁化强度 vv 中,定义重整化振幅 v2=A2eD(0)=A2e12π2ρav^2 = A^2 e^{-D(0)} = A^2 e^{-\frac{1}{2\pi^2 \rho a}},则: s(x)s(0)=v2e14πρx\boxed{ \langle s(x)s^*(0) \rangle = v^2 e^{\frac{1}{4\pi\rho |x|}} } 物理意义:当 x|x| \rightarrow \infty 时,关联函数趋于非零常数 v2v^2。这表明系统存在真正的长程有序,连续对称性 O(2)O(2) 发生了自发破缺。

4. d=4d=4 维: D(x)=1ρd4k(2π)4eikxk2=14π2ρx2D(x) = \frac{1}{\rho} \int \frac{d^4 k}{(2\pi)^4} \frac{e^{i k \cdot x}}{k^2} = \frac{1}{4\pi^2 \rho |x|^2} D(0)=1ρk<Λd4k(2π)41k2=Λ216π2ρ=116π2ρa2D(0) = \frac{1}{\rho} \int_{|k|<\Lambda} \frac{d^4 k}{(2\pi)^4} \frac{1}{k^2} = \frac{\Lambda^2}{16\pi^2 \rho} = \frac{1}{16\pi^2 \rho a^2} 同样地,定义物理归一化常数 v2=A2eD(0)=A2e116π2ρa2v^2 = A^2 e^{-D(0)} = A^2 e^{-\frac{1}{16\pi^2 \rho a^2}},得到: s(x)s(0)=v2e14π2ρx2\boxed{ \langle s(x)s^*(0) \rangle = v^2 e^{\frac{1}{4\pi^2 \rho |x|^2}} } 物理意义:与三维情况类似,当 x|x| \rightarrow \infty 时关联函数趋于非零常数 v2v^2,系统存在真正的长程有序和自发对称性破缺。且关联函数向渐近值的趋近速度比三维更快(平方反比)。

11.2

Problem 11.2

peskinChapter 11

习题 11.2

来源: 第11章, PDF第389,390页


11.2 A zeroth-order natural relation.

This problem studies an N=2N = 2 linear sigma model coupled to fermions:

L=12(μϕi)2+12μ2(ϕi)2λ4((ϕi)2)2+ψˉ(i)ψgψˉ(ϕ1+iγ5ϕ2)ψ(1)\mathcal{L} = \frac{1}{2}(\partial_\mu \phi^i)^2 + \frac{1}{2}\mu^2(\phi^i)^2 - \frac{\lambda}{4}((\phi^i)^2)^2 + \bar{\psi}(i\cancel{\partial})\psi - g\bar{\psi}(\phi^1 + i\gamma^5 \phi^2)\psi \tag{1}

where ϕi\phi^i is a two-component field, i=1,2i = 1, 2.

(a) Show that this theory has the following global symmetry:

ϕ1cosαϕ1sinαϕ2,ϕ2sinαϕ1+cosαϕ2,ψeiαγ5/2ψ.(2)\begin{aligned} \phi^1 &\rightarrow \cos \alpha \, \phi^1 - \sin \alpha \, \phi^2, \\ \phi^2 &\rightarrow \sin \alpha \, \phi^1 + \cos \alpha \, \phi^2, \\ \psi &\rightarrow e^{-i\alpha\gamma^5/2} \psi. \end{aligned} \tag{2}

Show also that the solution to the classical equations of motion with the minimum energy breaks this symmetry spontaneously.

(b) Denote the vacuum expectation value of the field ϕi\phi^i by vv and make the change of variables

ϕi(x)=(v+σ(x),π(x)).(3)\phi^i(x) = (v + \sigma(x), \pi(x)). \tag{3}

Write out the Lagrangian in these new variables, and show that the fermion acquires a mass given by

mf=gv.(4)m_f = g \cdot v. \tag{4}

(c) Compute the one-loop radiative correction to mfm_f, choosing renormalization conditions so that vv and gg (defined as the ψψπ\psi\psi\pi vertex at zero momentum transfer) receive no radiative corrections. Show that relation (4) receives nonzero corrections but that these corrections are finite. This is in accord with our general discussion in Section 11.6.

习题 11.2 - 解答


习题 11.2 分析与解答

(a) 全局对称性与自发对称性破缺

先分析拉格朗日量 L\mathcal{L} 的对称性。给定的变换为:

ϕ1cosαϕ1sinαϕ2,ϕ2sinαϕ1+cosαϕ2,ψeiαγ5/2ψ.\begin{aligned} \phi^1 &\rightarrow \cos \alpha \, \phi^1 - \sin \alpha \, \phi^2, \\ \phi^2 &\rightarrow \sin \alpha \, \phi^1 + \cos \alpha \, \phi^2, \\ \psi &\rightarrow e^{-i\alpha\gamma^5/2} \psi. \end{aligned}

对于标量场部分,ϕi\phi^i 经历的是标准的 O(2)O(2) 旋转,因此 (ϕi)2=(ϕ1)2+(ϕ2)2(\phi^i)^2 = (\phi^1)^2 + (\phi^2)^2 在变换下保持不变。这直接保证了标量场的动能项 12(μϕi)2\frac{1}{2}(\partial_\mu \phi^i)^2 和势能项 12μ2(ϕi)2λ4((ϕi)2)2\frac{1}{2}\mu^2(\phi^i)^2 - \frac{\lambda}{4}((\phi^i)^2)^2 是不变的。

对于费米子部分,由于 ψˉ=ψγ0\bar{\psi} = \psi^\dagger \gamma^0,且 γ5\gamma^5 是厄米的并与 γ0\gamma^0 反易,我们有:

ψˉψeiαγ5/2γ0=ψγ0eiαγ5/2=ψˉeiαγ5/2\bar{\psi} \rightarrow \psi^\dagger e^{i\alpha\gamma^5/2} \gamma^0 = \psi^\dagger \gamma^0 e^{-i\alpha\gamma^5/2} = \bar{\psi} e^{-i\alpha\gamma^5/2}

费米子动能项的变换为(利用 γμ\gamma^\muγ5\gamma^5 反易):

ψˉ(i)ψψˉeiαγ5/2(i)eiαγ5/2ψ=ψˉ(i)eiαγ5/2eiαγ5/2ψ=ψˉ(i)ψ\bar{\psi}(i\cancel{\partial})\psi \rightarrow \bar{\psi} e^{-i\alpha\gamma^5/2} (i\cancel{\partial}) e^{-i\alpha\gamma^5/2} \psi = \bar{\psi} (i\cancel{\partial}) e^{i\alpha\gamma^5/2} e^{-i\alpha\gamma^5/2} \psi = \bar{\psi}(i\cancel{\partial})\psi

动能项不变。对于汤川耦合项,定义 Φ=ϕ1+iγ5ϕ2\Phi = \phi^1 + i\gamma^5 \phi^2,其在变换下变为:

Φ(cosαϕ1sinαϕ2)+iγ5(sinαϕ1+cosαϕ2)=eiαγ5(ϕ1+iγ5ϕ2)=eiαγ5Φ\Phi \rightarrow (\cos \alpha \, \phi^1 - \sin \alpha \, \phi^2) + i\gamma^5 (\sin \alpha \, \phi^1 + \cos \alpha \, \phi^2) = e^{i\alpha\gamma^5} (\phi^1 + i\gamma^5 \phi^2) = e^{i\alpha\gamma^5} \Phi

因此汤川耦合项的变换为:

gψˉΦψgψˉeiαγ5/2eiαγ5Φeiαγ5/2ψ=gψˉΦψ-g\bar{\psi}\Phi\psi \rightarrow -g\bar{\psi} e^{-i\alpha\gamma^5/2} e^{i\alpha\gamma^5} \Phi e^{-i\alpha\gamma^5/2} \psi = -g\bar{\psi} \Phi \psi

(这里利用了 γ5\gamma^5Φ\Phi 对易)。至此证明了 L\mathcal{L} 具有该全局对称性。

经典运动方程的最低能量解(真空)由标量势的极小值决定:

V(ϕ)=12μ2(ϕi)2+λ4((ϕi)2)2V(\phi) = -\frac{1}{2}\mu^2(\phi^i)^2 + \frac{\lambda}{4}((\phi^i)^2)^2

极小值条件为 V/ϕ=0\partial V / \partial |\phi| = 0,解得真空期望值(VEV)的大小为 ϕ2=μ2/λv2|\phi|^2 = \mu^2/\lambda \equiv v^2。 我们选择一个特定的方向,例如 ϕ1=v,ϕ2=0\langle \phi^1 \rangle = v, \langle \phi^2 \rangle = 0。显然,这个特定的基态在上述 α0\alpha \neq 0 的旋转下会改变,因此:

经典最低能量解自发破缺了该全局对称性。\boxed{\text{经典最低能量解自发破缺了该全局对称性。}}

(b) 变量代换与费米子质量

将场在真空附近展开,作变量代换 ϕ1(x)=v+σ(x)\phi^1(x) = v + \sigma(x)ϕ2(x)=π(x)\phi^2(x) = \pi(x)。 代入拉格朗日量,标量势展开为:

V(σ,π)=12μ2((v+σ)2+π2)+λ4((v+σ)2+π2)2V(\sigma, \pi) = -\frac{1}{2}\mu^2((v+\sigma)^2 + \pi^2) + \frac{\lambda}{4}((v+\sigma)^2 + \pi^2)^2

利用 v2=μ2/λv^2 = \mu^2/\lambda,展开并保留到二次项以读取质量:

V=12(2λv2)σ2+相互作用项V = \frac{1}{2}(2\lambda v^2)\sigma^2 + \text{相互作用项}

这表明 σ\sigma 场获得了质量 mσ2=2λv2m_\sigma^2 = 2\lambda v^2,而 π\pi 场无质量(Goldstone玻色子)。 将变量代换代入汤川耦合项:

gψˉ(ϕ1+iγ5ϕ2)ψ=gψˉ(v+σ+iγ5π)ψ=gvψˉψgψˉσψigψˉγ5πψ-g\bar{\psi}(\phi^1 + i\gamma^5 \phi^2)\psi = -g\bar{\psi}(v + \sigma + i\gamma^5 \pi)\psi = -gv\bar{\psi}\psi - g\bar{\psi}\sigma\psi - ig\bar{\psi}\gamma^5\pi\psi

拉格朗日量中双线性费米子项为 ψˉ(igv)ψ\bar{\psi}(i\cancel{\partial} - gv)\psi。由此可直接读出费米子的树图质量:

mf=gv\boxed{m_f = gv}

(c) 单圈辐射修正与自然关系的修正

下面计算 mf=gvm_f = gv 在单圈图下的修正。根据题意,重整化条件要求 vv 是精确的真空期望值(无辐射修正,即蝌蚪图之和为零),且 gg 定义为零动量转移(q=0q=0)时的 1PI ψψπ\psi\psi\pi 顶点。

利用有效作用量 Γ\Gamma 的 Ward 恒等式(这与 Peskin 书中 11.6 节的讨论一致)。由于有效作用量保持与经典作用量相同的连续对称性,对 Γ\Gamma 施加对称性变换可导出精确关系:

vΓ5(p2)=M(p2)v \Gamma_5(p^2) = M(p^2)

其中 Γ5\Gamma_5 定义了 ψψπ\psi\psi\pi 顶点 Γψˉψπ(p,p)=iΓ5(p2)γ5\Gamma_{\bar{\psi}\psi\pi}(p,p) = -i\Gamma_5(p^2)\gamma^5,而 M(p2)M(p^2) 是费米子两点函数中的标量质量部分,即 Γψˉψ(p)=p(1ΣV(p2))M(p2)\Gamma_{\bar{\psi}\psi}(p) = \cancel{p}(1-\Sigma_V(p^2)) - M(p^2)

物理极点质量 mfm_f 满足 Γψˉψ(p=mf)=0\Gamma_{\bar{\psi}\psi}(\cancel{p}=m_f) = 0,因此:

mf(1ΣV(mf2))=M(mf2)m_f(1 - \Sigma_V(m_f^2)) = M(m_f^2)

根据重整化条件,gg 定义为 q=0q=0 且费米子在壳(p2=mf2p^2=m_f^2)时的顶点,即 g=Γ5(mf2)g = \Gamma_5(m_f^2)。代入 Ward 恒等式得到:

mf(1ΣV(mf2))=vg    mfvg=mfΣV(mf2)m_f(1 - \Sigma_V(m_f^2)) = v g \implies m_f - vg = m_f \Sigma_V(m_f^2)

这表明关系式 (4) 受到了非零的修正,修正量由费米子自能的矢量部分 ΣV\Sigma_V 决定。

下面在单圈近似下计算 ΣV(mf2)\Sigma_V(m_f^2)。费米子自能 iΣ(p)-i\Sigma(\cancel{p}) 由交换 σ\sigmaπ\pi 的两个单圈图贡献(顶点分别为 ig-iggγ5g\gamma^5):

iΣ(p)=d4k(2π)4[(ig)i(k+mf)k2mf2(ig)i(pk)2mσ2+(gγ5)i(k+mf)k2mf2(gγ5)i(pk)2mπ2]-i\Sigma(\cancel{p}) = \int \frac{d^4k}{(2\pi)^4} \left[ (-ig) \frac{i(\cancel{k}+m_f)}{k^2-m_f^2} (-ig) \frac{i}{(p-k)^2-m_\sigma^2} + (g\gamma^5) \frac{i(\cancel{k}+m_f)}{k^2-m_f^2} (g\gamma^5) \frac{i}{(p-k)^2-m_\pi^2} \right]

利用 γ5(k+mf)γ5=k+mf\gamma^5(\cancel{k}+m_f)\gamma^5 = -\cancel{k}+m_f,并引入 Feynman 参数 xx,提取与 p\cancel{p} 成正比的矢量部分 ΣV(p2)p\Sigma_V(p^2)\cancel{p}

ΣV(p2)=ig201dxxd4l(2π)4[1(l2Δσ)21(l2Δπ)2]\Sigma_V(p^2) = -i g^2 \int_0^1 dx \, x \int \frac{d^4l}{(2\pi)^4} \left[ \frac{1}{(l^2-\Delta_\sigma)^2} - \frac{1}{(l^2-\Delta_\pi)^2} \right]

其中 Δσ=x2mf2+(1x)mσ2\Delta_\sigma = x^2 m_f^2 + (1-x)m_\sigma^2Δπ=x2mf2+(1x)mπ2=x2mf2\Delta_\pi = x^2 m_f^2 + (1-x)m_\pi^2 = x^2 m_f^2(因为 mπ=0m_\pi = 0)。 虽然方括号中的每一项在紫外区域是对数发散的,但它们的差值是完全有限的。完成动量积分后得到:

ΣV(mf2)=g2(4π)201dxxln(ΔπΔσ)=g2(4π)201dxxln(x2mf2x2mf2+(1x)mσ2)\Sigma_V(m_f^2) = \frac{g^2}{(4\pi)^2} \int_0^1 dx \, x \ln\left(\frac{\Delta_\pi}{\Delta_\sigma}\right) = \frac{g^2}{(4\pi)^2} \int_0^1 dx \, x \ln\left(\frac{x^2 m_f^2}{x^2 m_f^2 + (1-x)m_\sigma^2}\right)

因此,对零级自然关系 mf=gvm_f = gv 的单圈修正为:

δmf=mfgv=g3v(4π)201dxxln(x2mf2x2mf2+(1x)mσ2)\boxed{\delta m_f = m_f - gv = \frac{g^3 v}{(4\pi)^2} \int_0^1 dx \, x \ln\left(\frac{x^2 m_f^2}{x^2 m_f^2 + (1-x)m_\sigma^2}\right)}

(此处在单圈精度下将系数中的 mfm_f 替换为 gvgv)。由于被积函数在积分区间内表现良好,该修正显然是非零且有限的,这完美印证了第 11.6 节中关于有效作用量和自然关系的普遍结论。

11.3

Problem 11.3

peskinChapter 11

习题 11.3

来源: 第11章, PDF第390,391,392页


11.3 The Gross-Neveu model. The Gross-Neveu model is a model in two spacetime dimensions of fermions with a discrete chiral symmetry:

L=ψˉii ⁣ ⁣ ⁣/ψi+12g2(ψˉiψi)2\mathcal{L} = \bar{\psi}_i i \partial\!\!\!/ \psi_i + \frac{1}{2} g^2 (\bar{\psi}_i \psi_i)^2

with i=1,,Ni = 1, \dots, N. The kinetic term of two-dimensional fermions is built from matrices γμ\gamma^\mu that satisfy the two-dimensional Dirac algebra. These matrices can be 2×22 \times 2:

γ0=σ2,γ1=iσ1,\gamma^0 = \sigma^2, \quad \gamma^1 = i\sigma^1,

where σi\sigma^i are Pauli sigma matrices. Define

γ5=γ0γ1=σ3;\gamma^5 = \gamma^0 \gamma^1 = \sigma^3;

this matrix anticommutes with the γμ\gamma^\mu.

(a) Show that this theory is invariant with respect to

ψiγ5ψi,\psi_i \rightarrow \gamma^5 \psi_i,

and that this symmetry forbids the appearance of a fermion mass.

(b) Show that this theory is renormalizable in 2 dimensions (at the level of dimensional analysis).

(c) Show that the functional integral for this theory can be represented in the following form:

DψˉDψeid2xL=DψˉDψDσexp[id2x{ψˉii ⁣ ⁣ ⁣/ψiσψˉiψi12g2σ2}],\int \mathcal{D}\bar{\psi} \mathcal{D}\psi \, e^{i \int d^2x \, \mathcal{L}} = \int \mathcal{D}\bar{\psi} \mathcal{D}\psi \mathcal{D}\sigma \, \exp \left[ i \int d^2x \left\{ \bar{\psi}_i i \partial\!\!\!/ \psi_i - \sigma \bar{\psi}_i \psi_i - \frac{1}{2g^2} \sigma^2 \right\} \right],

where σ(x)\sigma(x) (not to be confused with a Pauli matrix) is a new scalar field with no kinetic energy terms.

(d) Compute the leading correction to the effective potential for σ\sigma by integrating over the fermion fields ψi\psi_i. You will encounter the determinant of a Dirac operator; to evaluate this determinant, diagonalize the operator by first going to Fourier components and then diagonalizing the 2×22 \times 2 Pauli matrix associated with each Fourier mode. (Alternatively, you might just take the determinant of this 2×22 \times 2 matrix.) This 1-loop contribution requires a renormalization proportional to σ2\sigma^2 (that is, a renormalization of g2g^2). Renormalize by minimal subtraction.

(e) Ignoring two-loop and higher-order contributions, minimize this potential. Show that the σ\sigma field acquires a vacuum expectation value which breaks the symmetry of part (a). Convince yourself that this result does not depend on the particular renormalization condition chosen.

(f) Note that the effective potential derived in part (e) depends on gg and NN according to the form

Veff(σcl)=Nf(g2N).V_{\text{eff}}(\sigma_{\text{cl}}) = N \cdot f(g^2 N).

(The overall factor of NN is expected in a theory with NN fields.) Construct a few of the higher-order contributions to the effective potential and show that they contain additional factors of N1N^{-1} which suppress them if we take the limit NN \rightarrow \infty, (g2Ng^2 N) fixed. In this limit, the result of part (e) is unambiguous.

习题 11.3 - 解答


(a) 在二维时空中,Dirac 矩阵为 γ0=σ2\gamma^0 = \sigma^2γ1=iσ1\gamma^1 = i\sigma^1。定义 γ5=γ0γ1=σ3\gamma^5 = \gamma^0 \gamma^1 = \sigma^3。由于 σ3\sigma^3 是厄米矩阵,(γ5)=γ5(\gamma^5)^\dagger = \gamma^5。 在手征变换 ψiγ5ψi\psi_i \to \gamma^5 \psi_i 下,伴随旋量变换为: ψˉi=ψiγ0ψi(γ5)γ0=ψiγ5γ0=ψiγ0γ5=ψˉiγ5\bar{\psi}_i = \psi_i^\dagger \gamma^0 \to \psi_i^\dagger (\gamma^5)^\dagger \gamma^0 = \psi_i^\dagger \gamma^5 \gamma^0 = -\psi_i^\dagger \gamma^0 \gamma^5 = -\bar{\psi}_i \gamma^5 其中用到了 {γ5,γ0}=0\{\gamma^5, \gamma^0\} = 0。 检查动能项的变换(利用 {γ5,γμ}=0\{\gamma^5, \gamma^\mu\} = 0(γ5)2=I(\gamma^5)^2 = I): ψˉiiγμμψi(ψˉiγ5)iγμμ(γ5ψi)=ψˉiiγ5γμγ5μψi=ψˉiiγμ(γ5)2μψi=ψˉii ⁣ ⁣ ⁣/ψi\bar{\psi}_i i \gamma^\mu \partial_\mu \psi_i \to (-\bar{\psi}_i \gamma^5) i \gamma^\mu \partial_\mu (\gamma^5 \psi_i) = -\bar{\psi}_i i \gamma^5 \gamma^\mu \gamma^5 \partial_\mu \psi_i = \bar{\psi}_i i \gamma^\mu (\gamma^5)^2 \partial_\mu \psi_i = \bar{\psi}_i i \partial\!\!\!/ \psi_i 动能项保持不变。 检查相互作用项的变换: ψˉiψi(ψˉiγ5)(γ5ψi)=ψˉi(γ5)2ψi=ψˉiψi\bar{\psi}_i \psi_i \to (-\bar{\psi}_i \gamma^5) (\gamma^5 \psi_i) = -\bar{\psi}_i (\gamma^5)^2 \psi_i = -\bar{\psi}_i \psi_i 因此,四费米子相互作用项变换为: 12g2(ψˉiψi)212g2(ψˉiψi)2=12g2(ψˉiψi)2\frac{1}{2} g^2 (\bar{\psi}_i \psi_i)^2 \to \frac{1}{2} g^2 (-\bar{\psi}_i \psi_i)^2 = \frac{1}{2} g^2 (\bar{\psi}_i \psi_i)^2 拉格朗日量 L\mathcal{L} 在该离散手征对称性下是不变的。 如果加入费米子质量项 mψˉiψi-m \bar{\psi}_i \psi_i,在变换下它会变为 +mψˉiψi+m \bar{\psi}_i \psi_i,改变了符号,因此该对称性禁止了费米子质量项的出现。

(b)d=2d=2 维时空中,作用量 S=d2xLS = \int d^2x \mathcal{L} 是无量纲的(自然单位制下)。 坐标 xx 的质量量纲为 1-1,因此测度 d2xd^2x 的量纲为 2-2。导数 μ\partial_\mu 的量纲为 11。 由动能项 d2xψˉi ⁣ ⁣ ⁣/ψ\int d^2x \bar{\psi} i \partial\!\!\!/ \psi 无量纲可知: 2+2[ψ]+1=0    [ψ]=12-2 + 2[\psi] + 1 = 0 \implies [\psi] = \frac{1}{2} 对于相互作用项 12g2d2x(ψˉψ)2\frac{1}{2} g^2 \int d^2x (\bar{\psi} \psi)^2,要求其无量纲: 2+[g2]+4×12=0    [g2]=0-2 + [g^2] + 4 \times \frac{1}{2} = 0 \implies [g^2] = 0 由于耦合常数 g2g^2 的质量量纲为 00,该理论在二维时空中是严格可重整化的。

(c) 考虑引入无动能项的辅助标量场 σ(x)\sigma(x) 的泛函积分: Dσexp[id2x(12g2σ2σψˉiψi)]\int \mathcal{D}\sigma \exp \left[ i \int d^2x \left( -\frac{1}{2g^2} \sigma^2 - \sigma \bar{\psi}_i \psi_i \right) \right] 通过配方,可以将指数上的项写为: 12g2(σ+g2ψˉiψi)2+12g2(ψˉiψi)2-\frac{1}{2g^2} (\sigma + g^2 \bar{\psi}_i \psi_i)^2 + \frac{1}{2} g^2 (\bar{\psi}_i \psi_i)^2 作平移变换 σσg2ψˉiψi\sigma \to \sigma - g^2 \bar{\psi}_i \psi_i,泛函测度 Dσ\mathcal{D}\sigma 不变。积分后,第一项给出一个常数因子,可吸收到路径积分的归一化常数中。剩下的项恰好是原理论的相互作用项 12g2(ψˉiψi)2\frac{1}{2} g^2 (\bar{\psi}_i \psi_i)^2。 因此,原泛函积分可以等价地表示为: DψˉDψDσexp[id2x{ψˉii ⁣ ⁣ ⁣/ψiσψˉiψi12g2σ2}]\int \mathcal{D}\bar{\psi} \mathcal{D}\psi \mathcal{D}\sigma \, \exp \left[ i \int d^2x \left\{ \bar{\psi}_i i \partial\!\!\!/ \psi_i - \sigma \bar{\psi}_i \psi_i - \frac{1}{2g^2} \sigma^2 \right\} \right]

(d) 在上述等效拉格朗日量中,费米子场是二次的,可以直接积分掉 NN 个费米子场 ψi\psi_iDψˉDψexp[id2xψˉi(i ⁣ ⁣ ⁣/σ)ψi]=[det(i ⁣ ⁣ ⁣/σ)]N=exp[NTrln(i ⁣ ⁣ ⁣/σ)]\int \mathcal{D}\bar{\psi} \mathcal{D}\psi \exp \left[ i \int d^2x \bar{\psi}_i (i \partial\!\!\!/ - \sigma) \psi_i \right] = \left[ \det (i \partial\!\!\!/ - \sigma) \right]^N = \exp \left[ N \text{Tr} \ln (i \partial\!\!\!/ - \sigma) \right] 对于常数场 σ\sigma,有效势 Veff(σ)V_{\text{eff}}(\sigma) 定义为 Seff=d2xVeff(σ)S_{\text{eff}} = -\int d^2x V_{\text{eff}}(\sigma)。转到动量空间: Veff(σ)=σ22g02+iNd2k(2π)2trln(k ⁣ ⁣ ⁣/σ)V_{\text{eff}}(\sigma) = \frac{\sigma^2}{2g_0^2} + i N \int \frac{d^2k}{(2\pi)^2} \text{tr} \ln (k\!\!\!/ - \sigma) 其中 tr\text{tr} 是对 2×22 \times 2 Dirac 矩阵求迹。计算矩阵 k ⁣ ⁣ ⁣/σk\!\!\!/ - \sigmak ⁣ ⁣ ⁣/σ=k0σ2+k1(iσ1)σ=(σi(k0k1)i(k0+k1)σ)k\!\!\!/ - \sigma = k_0 \sigma^2 + k_1 (i\sigma^1) - \sigma = \begin{pmatrix} -\sigma & -i(k_0 - k_1) \\ i(k_0 + k_1) & -\sigma \end{pmatrix} 其行列式为 det(k ⁣ ⁣ ⁣/σ)=σ2(k02k12)=σ2k2\det(k\!\!\!/ - \sigma) = \sigma^2 - (k_0^2 - k_1^2) = \sigma^2 - k^2。利用 trlnM=lndetM\text{tr} \ln M = \ln \det M,有: Veff(σ)=σ22g02+iNd2k(2π)2ln(σ2k2+iϵ)V_{\text{eff}}(\sigma) = \frac{\sigma^2}{2g_0^2} + i N \int \frac{d^2k}{(2\pi)^2} \ln (\sigma^2 - k^2 + i\epsilon) 进行 Wick 转动 k0=ik0Ek_0 = i k_{0E}k2=kE2k^2 = -k_E^2d2k=id2kEd^2k = i d^2k_EVeff(σ)=σ22g02Nd2kE(2π)2ln(kE2+σ2)V_{\text{eff}}(\sigma) = \frac{\sigma^2}{2g_0^2} - N \int \frac{d^2k_E}{(2\pi)^2} \ln (k_E^2 + \sigma^2) 使用维数正规化,在 d=2ϵd = 2 - \epsilon 维下计算积分: ddkE(2π)dln(kE2+σ2)=Γ(d/2)(4π)d/2(σ2)d/2=σ24π(2ϵγE+ln(4π)lnσ2+1)\int \frac{d^d k_E}{(2\pi)^d} \ln (k_E^2 + \sigma^2) = -\frac{\Gamma(-d/2)}{(4\pi)^{d/2}} (\sigma^2)^{d/2} = \frac{\sigma^2}{4\pi} \left( \frac{2}{\epsilon} - \gamma_E + \ln(4\pi) - \ln \sigma^2 + 1 \right) 因此,未重整化的有效势为: Veff(σ)=σ22g02Nσ24π(2ϵγE+ln(4π)lnσ2+1)V_{\text{eff}}(\sigma) = \frac{\sigma^2}{2g_0^2} - \frac{N \sigma^2}{4\pi} \left( \frac{2}{\epsilon} - \gamma_E + \ln(4\pi) - \ln \sigma^2 + 1 \right) 采用最小减除法 (MS),引入重整化能标 μ\mu,裸耦合常数 g0g_0 与重整化耦合常数 gg 的关系为: 1g02=μϵ(1g2+Nπϵ)1g2+NπϵN2πlnμ2\frac{1}{g_0^2} = \mu^{-\epsilon} \left( \frac{1}{g^2} + \frac{N}{\pi \epsilon} \right) \approx \frac{1}{g^2} + \frac{N}{\pi \epsilon} - \frac{N}{2\pi} \ln \mu^2 代入有效势并抵消极点 2ϵ\frac{2}{\epsilon},得到重整化后的单圈有效势: Veff(σ)=σ22g2+Nσ24π(lnσ2μ2ln(4π)+γE1)\boxed{ V_{\text{eff}}(\sigma) = \frac{\sigma^2}{2g^2} + \frac{N \sigma^2}{4\pi} \left( \ln \frac{\sigma^2}{\mu^2} - \ln(4\pi) + \gamma_E - 1 \right) }

(e) 对有效势求导以寻找极小值: dVeffdσ=σg2+Nσ2π(lnσ2μ2ln(4π)+γE1)+Nσ24π(2σ)=σg2+Nσ2π(lnσ2μ2ln(4π)+γE)\frac{d V_{\text{eff}}}{d \sigma} = \frac{\sigma}{g^2} + \frac{N \sigma}{2\pi} \left( \ln \frac{\sigma^2}{\mu^2} - \ln(4\pi) + \gamma_E - 1 \right) + \frac{N \sigma^2}{4\pi} \left( \frac{2}{\sigma} \right) = \frac{\sigma}{g^2} + \frac{N \sigma}{2\pi} \left( \ln \frac{\sigma^2}{\mu^2} - \ln(4\pi) + \gamma_E \right)dVeffdσ=0\frac{d V_{\text{eff}}}{d \sigma} = 0,除了平凡解 σ=0\sigma = 0 外,非平凡真空期望值 (VEV) 满足: lnσ02μ2=2πNg2+ln(4π)γE    σ0=±μ4πeγEexp(πNg2)\ln \frac{\sigma_0^2}{\mu^2} = -\frac{2\pi}{N g^2} + \ln(4\pi) - \gamma_E \implies \boxed{ \sigma_0 = \pm \mu \sqrt{4\pi e^{-\gamma_E}} \exp\left( -\frac{\pi}{N g^2} \right) } 由于 σ00\sigma_0 \neq 0,且在 (a) 中的手征变换下 ψˉψψˉψ\bar{\psi}\psi \to -\bar{\psi}\psi 导致 σσ\sigma \to -\sigma,非零的 σ0\sigma_0 自发破缺了离散手征对称性。 重整化条件无关性:若选择不同的重整化条件(如 MS\overline{\text{MS}} 或动量减除),有效势的有限部分仅相差一个正比于 σ2\sigma^2 的常数。这等价于对耦合常数 1/g21/g^2 作了一个有限重定义。由于物理的真空期望值 σ0\sigma_0 是重整化群不变量,耦合常数的平移会被能标 μ\mu 的改变(即跑动耦合)完全吸收,因此物理结果(对称性破缺及 σ0\sigma_0 的存在)不依赖于具体的重整化方案。

(f) 将有效势写为依赖于 g2Ng^2 N 的形式: Veff(σ)=N[σ22(g2N)+σ24π(lnσ2μ2ln(4π)+γE1)]Nf(g2N)V_{\text{eff}}(\sigma) = N \left[ \frac{\sigma^2}{2 (g^2 N)} + \frac{\sigma^2}{4\pi} \left( \ln \frac{\sigma^2}{\mu^2} - \ln(4\pi) + \gamma_E - 1 \right) \right] \equiv N f(g^2 N) 在积分掉费米子后,关于 σ\sigma 的有效作用量为 Seff[σ]=NS~[σ]S_{\text{eff}}[\sigma] = N \tilde{S}[\sigma],其中 S~[σ]\tilde{S}[\sigma] 仅依赖于组合 λ=g2N\lambda = g^2 N。 为了计算更高阶的圈图修正,我们需要对 σ\sigma 场的涨落进行微扰展开。由于整个作用量前有一个整体因子 NN

  1. σ\sigma 场的传播子正比于 N1N^{-1}
  2. 任何 kk 阶的 σ\sigma 相互作用顶点都正比于 NN

对于一个包含 VV 个顶点、 PP 条传播子和 LL 个圈的连通真空图(对应有效势的修正),其 NN 的幂次为: NV×(N1)P=NVPN^V \times (N^{-1})^P = N^{V - P} 根据图论中的欧拉公式,圈数 LL 满足 L=PV+1L = P - V + 1,因此: VP=1L    图的量级为 O(N1L)V - P = 1 - L \implies \text{图的量级为 } \mathcal{O}(N^{1-L})

  • 树图级别(对应 σ\sigma 的经典势和费米子单圈行列式,即 L=0L=0)贡献为 O(N)\mathcal{O}(N),这正是我们在 (d) 中计算的领头项。
  • σ\sigma 场的单圈修正 (L=1L=1) 贡献为 O(N0)\mathcal{O}(N^0)
  • σ\sigma 场的双圈及更高阶修正 (L2L \ge 2) 贡献为 O(N1)\mathcal{O}(N^{-1}) 及更低。

因此,所有高阶修正项都包含额外的 N1N^{-1} 因子。在 NN \to \infty 且保持 g2Ng^2 N 固定的 't Hooft 极限下,这些高阶项被完全压低。(e) 中基于领头项得出的对称性破缺结论在这一极限下是精确且无歧义的。