粒子物理学

标量场的量子化

标量场量子化将每个傅里叶模变成量子振子；粒子态是场的激发，真空则具有零点涨落。

实标量场 φ(x) 为时空各点赋予可观测量。自由理论中，动量模构成频率 ωₖ=√(k²+m²) 的无穷多个振子，并由产生、湮灭算符量子化。

\mathcal{L}=\frac12\partial_\mu\phi\,\partial^\mu\phi-\frac12m^2\phi^2-\frac{\lambda}{4!}\phi^4

定义: 定义与物理意义

在 ℏ=c=1 单位下，场满足 [φ(t,x),π(t,y)]=iδ³(x−y)。实场的粒子与反粒子相同；产生算符 a†ₖ 作用于真空会产生动量 k 的一个量子。

调节参数并拖动图形探索模型；读数是在所示假设下的定量示例。

结构与解释

λφ⁴ 相互作用使量子在四条腿顶点处散射、产生或湮灭。采用 1/4! 约定可使顶点因子为 −iλ；相互作用需用微扰或非微扰方法处理。

例题: 定量示例

自由真空中单粒子态为 |k⟩=a†ₖ|0⟩。数算符 Nₖ=a†ₖaₖ 满足 Nₖ|k⟩=|k⟩，该模哈密顿量能量为 ωₖ(Nₖ+1/2)。

解答

该态在模 k 中恰含一个量子，能量高于零点能 ωₖ/2。总零点能形式上发散，场论计算需加以正则化。

为明确归一化，可将场置于有限体积盒中，把动量积分替换为离散求和。每个模式的数算符为 $N_{\mathbf k}$ ，能量为 $\omega_{\mathbf k}(N_{\mathbf k}+1/2)$ 。在无限体积极限下模式连续化，因此可观测量必须定义为有限。

用洛伦兹不变归一化将单粒子模式求和，可构造每个时空点的场算符。不同点的场不一定对易；对于类空分离的点，条件 $[\phi(x),\phi(y)]=0$ 保证信号不能超光速传播。这是相对论量子场论的核心因果性要求。它区分局域测量与非局域关联；后者并不能实现可控的超光速通信。这将局域场代数与相对论因果影响的限制联系起来。

快速检测

哪个算符从真空产生动量为 k 的粒子？

在 ℏ=c=1 单位下正则对易关系是什么？

参考文献

Michael E. Peskin and Daniel V. Schroeder (1995). An Introduction to Quantum Field Theory
Steven Weinberg (1995). The Quantum Theory of Fields, Volume I