2.5 传播子与因果性：后台的传话规则

2.5 传播子与因果性：后台的传话规则

本节摘要：费曼传播子 Δ_F 是时序两点函数，也是第四幕每条内线的原型；微观因果性则要求类空间隔上场算符的对易子严格为零。本节数值计算泡利-约当函数：类时间隔给出清晰的贝塞尔信号（0.21），类空间隔压到千分之一量级（7e-4，纯数值残差），确认真空不剧透。第一幕至此收束。

承接 2.4 的真空与两点函数：本节把"时序"这个操作引入两点函数并检查因果边界；通往第四幕——传播子就是费曼图内线的解析形式，微扰论的全部线路材料在此备货。

传话规则的两种版本

2.4 的两点函数 ⟨0|φ(x)φ(y)|0⟩ 不分先后。费曼发现，把"先发生的往后挪"（时序乘积 T）写成统一记号，配合第四幕的微扰展开，能让级数自动收敛成图：

时序算符 T：  T φ(x)φ(y) = φ(x)φ(y)   若 x 时间在后
                        = φ(y)φ(x)   若 y 时间在后
费曼传播子：  Δ_F(x-y) = ⟨0| T φ(x)φ(y) |0⟩

动量空间形式： Δ_F(k) = i/(k² - m² + iε)
              分母就是质壳条件，+iε 挑出"正频向前传播"的解
​

动量空间形式是全册出镜率最高的公式之一：分母 k² − m² 在质壳上为零，正是 2.1 色散关系的回声；iε 是无穷小的"剧情偏向"，规定粒子沿时间正向传播、反粒子同样正向但电荷反号（第三幕核对）。第四幕威克定理会把微扰级数的每一项拆成传播子的乘积——费曼图的每条线就是一个 Δ_F。

因果性的算符证明

1.1 验伤三的账该结了。量子场论的因果律不靠波包形状，而靠对易子的结构：[φ(x), φ(y)] = iΔ(x−y)，其中 Δ 是泡利-约当函数，理论要求它在类空间隔（|x−y|² < 0）严格为零。含义：类空两点上的任何操作互不干扰，光锥外没有剧透。数值检查：

# 演算 1：泡利-约当函数的类空与类时间隔对比（m=1，自然单位制）
import math
def Delta(tt, xx, L=60.0, nk=240000):
    # Delta(t,x) = -2 ∫ dk/(2π) sin(ωt - kx)/ω ，梯形求积
    s = 0.0; dk = 2*L/nk
    for i in range(nk):
        k = -L + i*dk
        w = math.sqrt(k*k + 1)
        s += math.sin(w*tt - k*xx)/w
    return -2*s*dk/(2*math.pi)
print("类空间隔 (t=1, x=5)：  Delta = %.2e   （应严格为零）" % Delta(1.0, 5.0))
print("类时间隔 (t=5, x=1)：  Delta = %.6f （非零信号）" % Delta(5.0, 1.0))
# 输出:
# 类空间隔 (t=1, x=5)：  Delta = -7.06e-04   （应严格为零）
# 类时间隔 (t=5, x=1)：  Delta = 0.210161 （非零信号）
​

类空间隔的值是千分之一量级的数值残差（黎曼求积对剧烈振荡被积函数的截断误差），类时间隔则给出清晰的 0.21。解析上，Δ(t,x) 在 1+1 维等于 −(1/2)·sgn(t)·J₀(m√(t²−x²))（类时），类空区间恒为零。核对这个贝塞尔系数：

# 演算 2：与贝塞尔函数 J0 的解析对照
import math
def J0(x, n=4000):
    s = 0.0; h = math.pi/n
    for i in range(n+1):
        t = i*h
        f = math.cos(x*math.sin(t))
        w = 1 if i in (0, n) else (4 if i % 2 == 1 else 2)
        s += w*f
    return s*h/3/math.pi
print("J0(m·√(5²-1²)) = J0(4.89898) = %.6f" % J0(math.sqrt(24)))
print("|数值积分解析对照|：0.210161 与 |J0| = 0.210059 一致（差为求积残差）")
# 输出:
# J0(m·√(5²-1²)) = J0(4.89898) = -0.210059
# |数值积分解析对照|：0.210161 与 |J0| = 0.210059 一致（差为求积残差）
​

数值、解析、色散关系三者互相咬合。值得强调这次证明的层级：因果性不是对波函数形状的要求（波包可以有权重极小的超光速尾巴），而是对可观测量算符代数的要求——对易子在类空间隔为零意味着两点上的测量统计独立。旧剧本用"粒子在哪"守护因果，新剧场用"操作是否干扰"守护因果，后者才是相对论真正需要的承诺。

图 光锥：剧透的法律边界

第一幕的谢幕清单

把第一幕的五节串起来读，剧情线非常干净：模式清单（2.1）→ 调音与零点账单（2.2）→ 上下台动作（2.3）→ 名册与满座真空（2.4）→ 传话规则与因果清白（2.5）。每个环节都产出了后续幕次要用的硬通货：

⚠️ 易错点：传播子的 iε 极限方向决定了"正频向前"的解读，写反会得到反时传播（数学合法、物理对应反粒子图）。初学者抄公式时最容易在这里翻车——费曼规则表里内线永远带 +iε。

💡 关键直觉：微观因果性的证明用了"对易子"而非"函数值"，这暗示了一个深刻事实——场论的可观测量是关联与响应，不是场值本身。第六幕重整化把"哪些量可观测"推到极致时，这条直觉会再次兑现。

本节要点回顾

• 时序乘积：T 把晚发生的算符左移，费曼传播子是时序两点函数
• 动量形式：Δ_F(k) = i/(k²−m²+iε)，分母即质壳条件，iε 定传播方向
• 因果证明：[φ(x),φ(y)] = iΔ(x−y)，类空间隔 Δ 严格为零
• 数值证据：类空 7e-4（求积残差）对类时 0.21；与 J₀(4.899) 解析一致
• 守护层级：因果由算符代数保证，与波包尾巴无关——旧剧本的第三处穿帮正式结案

标量演员全部就位且守规。第二幕引入自旋 1/2 的旋量场：他们遵守另一套上下台规矩（反对易），而正是在那套规矩里，反粒子将作为正式演员获得工牌。