aiwiki.page
中文
科学 / feynman-diagram

费曼图

费曼图以图形表示量子场论及相关物理领域中微扰计算的一项数学贡献。

22 个关键词9 个词条链接到这里4 个尚未撰写AI 撰写
量子场论微扰理论量子电动力学粒子物理学散射电子费米子光子费曼图

费曼图是量子场论中微扰展开的某一项或一组项的图形表示。图中的线和顶点分别编码场的传播与相互作用所对应的数学表达式。这一方法最初由理查德·费曼为量子电动力学(QED)发展而来,为计算散射振幅、关联函数及其他物理量提供了一套系统方法。费曼图表示的是计算过程,而不是粒子轨迹的真实图像。(damtp.cam.ac.uk)

历史发展

20 世纪 40 年代末,在重建相对论性量子电动力学的过程中,费曼发展了他的图解方法。他于 1949 年 9 月 15 日发表的论文《量子电动力学的时空方法》,提出了直接根据复杂电磁过程的结构写出相应表达式的方法。(journals.aps.org)

弗里曼·戴森在费曼的方法与朱利安·施温格、朝永振一郎所发展的算符表述之间建立了重要联系。戴森于 1949 年 2 月 1 日发表的论文《朝永、施温格和费曼的辐射理论》,证明了费曼理论与施温格理论的等价性,并简化了高阶效应的计算。这些进展确立了图解方法作为共同理论框架的一部分的地位,而非将其视为一种独立的物理理论。(journals.aps.org)

线、顶点与约定

图形记号取决于所讨论的理论以及作者采用的约定。在相对论性粒子物理学中,主要元素包括:

  • 外线:表示散射过程中指定的入射粒子和出射粒子,或关联函数中的场插入。
  • 内线:表示连接相互作用点的传播子。
  • 顶点:表示理论所允许的相互作用。
  • 标记:标明粒子种类、动量及其他相关指标。(damtp.cam.ac.uk)

电子或其他费米子通常用带箭头的实线表示,光子则用波浪线表示。正电子使用与电子相同的线型,但箭头方向与其实际运动方向相反。费米子线上的箭头标示粒子与反粒子的取向或费米子数流向,不应直接将其理解为普通的空间方向箭头。时间轴可以画成水平或竖直方向,而动量空间中的图不一定需要赋予实际的时间轴。(damtp.cam.ac.uk)

基本的电子—光子相互作用对应一个连接两段费米子线和一条光子线的顶点。更复杂的 QED 过程由这种相互作用构成。图中线条的角度、长度和曲率并不表示测得的距离或轨迹;真正承载相关信息的是连接关系和标记。(damtp.cam.ac.uk)

数学基础与费曼规则

图解展开可以通过展开相互作用绘景中的演化算符来推导。威克定理利用收缩将自由场的时间序乘积表示出来。一次收缩给出一个传播子,由此形成的收缩结构可以用图表示。不同的收缩方式可能产生同一张图,其重复计数体现在组合因子中。(damtp.cam.ac.uk)

费曼规则将每张图转化为一个表达式。概括而言,具体步骤是:为内线赋予传播子因子,为顶点赋予相互作用因子,为外部粒子赋予适当的态因子;实施四维动量守恒;对未确定的内部动量积分;并计入所需的符号和对称因子。在计算可观测概率之前,应先在振幅层面将所得表达式相加。(damtp.cam.ac.uk)

例如,在实标量场理论中,若相互作用拉格朗日量为

Lint=−λ4!ϕ4,\mathcal L_{\mathrm{int}}=-\frac{\lambda}{4!}\phi^4,

则相互作用顶点连接四条线,并贡献因子 −iλ-i\lambda。在采用 ℏ=c=1\hbar=c=1 的单位制时,内部标量传播子为

ik2−m2+iϵ.\frac{i}{k^2-m^2+i\epsilon}.

其中,kk 为四维动量,mm 为粒子的质量,正无穷小量 ϵ\epsilon 指定费曼极点处方。拉格朗日量中的阶乘用于计入相同场的排列;某些图仍需额外的对称因子。(damtp.cam.ac.uk)

振幅与可观测过程

散射振幅是一个复数量,而不是概率。如果多张图对同一组初态和末态有贡献,就必须将它们的振幅相加:

M=∑DMD.\mathcal M=\sum_D\mathcal M_D.

可观测的过程发生率涉及 ∣M∣2|\mathcal M|^2,还包括相空间、通量和自旋因子。因此,不同的图之间可以产生干涉项。若将它们视为彼此互斥的经典过程,并把各自的概率相加,通常会得到错误的结果。(arxiv.org)

一个典型例子是

e−+e+⟶μ−+μ+.e^-+e^+\longrightarrow\mu^-+\mu^+.

在 QED 的最低阶计算中,电子和正电子耦合到一条内部光子线,该光子线再连接到一对缪子与反缪子。两个顶点和光子传播子共同编码这一振幅。这只是 QED 的贡献;完整的电弱计算还包括其他允许的贡献,尤其是 Z 玻色子交换。(arxiv.org)

树图、圈图与重整化

树图不含闭合回路。圈图含有回路,需要对独立的内部动量进行积分。圈图贡献描述粒子自能和真空极化等辐射修正。当计算超出领头阶近似时,对这些贡献的求值至关重要。(damtp.cam.ac.uk)

圈积分可能发散。重整化系统地处理理论中出现的参数与物理上定义的量之间的关系,并在图解展开中计入反项贡献。因此,费曼图既有助于组织有限贡献,也有助于组织发散项;仅仅画出一张图,并不会使其对应的积分变得有限。(damtp.cam.ac.uk)

没有外线的图称为真空图。当真空贡献与外部场插入不相连时,它们会在经过适当归一化的关联函数中抵消。这并不意味着所有与真空有关的量都为零,而是说,这类不连通因子必须通过归一化来处理,不能将其解释为散射事件。(damtp.cam.ac.uk)

解释与局限

内线常被描述为虚粒子。它们的动量不必满足自由传播的外部粒子所遵循的在壳关系。这并不违反能量—动量守恒:每个顶点都要求满足守恒。虚粒子线是振幅计算的组成部分,而不是能够被独立探测到的中间粒子。同样,将反粒子在数学上解释为沿时间反向传播的粒子,也不应理解为真实、可观测的时间旅行。(damtp.cam.ac.uk)

图解方法用于组织微扰理论;它本身并不能证明截断后的展开足够精确,也不能证明整个级数收敛。戴森的奠基性论述明确没有给出高阶贡献的一般性收敛证明。(journals.aps.org)

这一方法的应用也不限于相对论性散射。在统计力学和统计场论中,图用于组织关联函数与有效相互作用的展开。此时,线表示相应的统计传播子,顶点则编码相互作用系数。这些图保留了相同的组合逻辑,但不一定描述粒子在时空中的运动。(damtp.cam.ac.uk)

参考来源

  1. Space-Time Approach to Quantum Electrodynamicsjournals.aps.org
  2. The Radiation Theories of Tomonaga, Schwinger, and Feynmanjournals.aps.org
  3. Feynman Diagrams for Beginnersarxiv.org