2.4 福克空间与真空：演员名册与不空的舞台

2.4 福克空间与真空：演员名册与不空的舞台

本节摘要：福克空间是零粒子、一粒子、两粒子……所有占据数态的直和，构成量子场论的全部状态空间；真空 |0⟩ 是所有模式的基态，携带零点能。本节整理名册的结构，然后聚焦真空的实验收据——卡西米尔效应：间距 1 微米的两块理想导体板承受 0.0013 帕的吸引压强，10 纳米时达约 1.28 个大气压。真空是可以测量到的实体。

承接 2.3 的算符与占据数：本节把它们装订成正式的状态空间，并给零点能（2.2 的账单）找一张实验发票；通往 2.5 的因果性检查——满座的真空必须证明自己不剧透。

名册的装订方式

福克空间的构造完全照着剧场直觉来：

单模式名册：  |0⟩, |1⟩ = a+|0⟩, |2⟩ = (a+)²|0⟩/√2!, ...
多模式名册：  |n_1, n_2, n_3, ...⟩ = Π (a+_k)^{n_k}/√(n_k!) |0⟩
福克空间：    F = H_0 ⊕ H_1 ⊕ H_2 ⊕ ...
              零粒子厅、一粒子厅、两粒子厅……直和成整座剧场
​

每个"厅"里的粒子数固定，厅与厅之间的通道正是 a† 与 a。第二、三幕要引入的电子场会把某些厅锁死（泡利不相容：每模式至多一人），但名册格式不变。粒子数算符 N = Σ_k a†_k a_k 是全场的总检票员，而哈密顿量 H = Σω(k)(n_k + ½) 在去掉常数后就是 Σω(k)n_k——能量记账与粒子计数完全并行。

这套空间结构有一个常被忽视的推论：任何态都可以按占据数展开，相互作用只是在这个名册上搬运占据数。第四幕的费曼图之所以能工作，正是因为相互作用项 φ⁴ 作用在名册上等价于"两下两上"的各种组合——分镜脚本不过是名册搬运的可视化。

真空的收据：卡西米尔效应

2.2 算出真空能量密度按截断四次方发散——绝对值不可测，但差值可以。卡西米尔 1948 年的方案：在真空中放进两块理想导体板，板只允许驻波模式存在（切向电场为零），板间与板外的模式清单不同，零点能的差值给出一个只依赖间距的力。推导的骨架与数值如下：

# 演算 1：卡西米尔压强 F/A = -π²·hbar·c/(240·a⁴)
import math
hbarc = 3.16152677e-26               # J·m（hbar·c）
for a_nm in (1000.0, 100.0, 10.0):
    a = a_nm*1e-9
    P = -math.pi**2*hbarc/(240*a**4)
    print("间距 = %6.0f nm -> 停场压强 F/A = %+.4e Pa（%.4f 个大气压）" % (a_nm, P, P/101325))
# 输出:
# 间距 =   1000 nm -> 停场压强 F/A = -1.3001e-03 Pa（-0.0000128 个大气压）
# 间距 =    100 nm -> 停场压强 F/A = -1.3001e+01 Pa（-0.0001284 个大气压）
# 间距 =     10 nm -> 停场压强 F/A = -1.3001e+05 Pa（-1.2831 个大气压）
​

负号表示吸引：板间允许的模式少于板外，外面零点能的"挤压力"占优。数值的跨度值得细看——间距从 1 微米压到 10 纳米（一百倍），压强涨了一亿倍（间距四次方反比），从千万分之一个大气压涨到超过一个大气压。实验上，Lamoreaux 1997 年与后续 AFM 实验已在百分之一量级精度上证实这条曲线。真空的零点能不是形而上装饰，它是能拧紧螺栓的工程实体。

图 卡西米尔效应：真空的座位表被改写

真空的正确打开方式

对"真空不空"要避免两个极端。一个极端是把它想象成沸腾的"虚粒子海洋"在四处喷泡——那是把费曼图的记账记号过度实体化；严格说，真空是所有模式基态的直积，其可观测效应（零点能差、卡西米尔力、第四幕将见的真空极化）都是关联函数的性质。另一个极端是宣布零点能是"纯数学常数可以随便扔掉"——只有在没有任何边界与相互作用时才行，一旦放入导体板或引力（广义相对论教程会接手这个话题），差值立刻变成真金白银。

# 演算 2：卡西米尔能量差的量纲直觉（间距内被禁掉的第一个模式）
import math
hbarc_keVnm = 1.973269804e-3*1e3   # hbar·c = 197.3 eV·nm，换 keV·nm
for a_nm in (1000.0, 10.0):
    lam_max = 2*a_nm                # 板间允许的最长波长
    E = 197.3269804/a_nm/2          # 对应模式能量 hbar·c/λ（eV），λ=2a
    print("a=%8.0f nm：被禁的最长波 λ=2a=%8.0f nm，对应能量 %.4f eV" % (a_nm, lam_max, E))
# 输出:
# a=    1000 nm：被禁的最长波 λ=2a= 2000 nm，对应能量 0.0987 eV
# a=      10 nm：被禁的最长波 λ=2a= 20 nm，对应能量 9.8663 eV
​

间距越小，被禁模式的能量越大，零点能差越陡——这与四次方压强曲线是同一件事的两个读法。10 纳米间距时被掐掉的模式已经处在电子伏量级（原子尺度），真空座位表的改动进入了化学能的领地。

⚠️ 易错点：卡西米尔力的推导依赖"理想导体"与"零温"理想化；真实材料有有限电导率与热涨落修正，粗糙表面的排斥性卡西米尔力也存在。教科书公式给的是洁净极限，工程引用时记得带上这些脚注。

💡 关键直觉：真空的操作定义是"a_k 作用上去为零的态"。它空在"没有可下的戏"（无粒子可湮灭），满在"每个模式都有半份零点嗡鸣"。空与满在这里不矛盾，因为它们描述的是不同的账目。

零点能的发散速率：一次截断实验

卡西米尔差值可测的前提，是先看清绝对零点能发散得多快。把 E0/V = ∫ d³k/(2π)³·½ω_k 的被积函数算到截断 Λ 为止（m=1，梯形积分 20 万格点），对照领头发散项 Λ⁴/(8π²)：

# 演算 3：真空能量密度随截断的增长（m=1）
import math
def E0_density(Lam, m=1.0, n=200000):
    dk = Lam/n
    s = 0.0
    for i in range(n+1):
        kk = i*dk
        f = kk*kk*math.sqrt(kk*kk + m*m)
        wgt = 0.5 if i in (0, n) else 1.0
        s += wgt*f
    return s*dk/(2*math.pi**2)
for Lam in (5.0, 10.0, 20.0, 50.0):
    e = E0_density(Lam)
    lead = Lam**4/(8*math.pi**2)
    print("Lambda = %5.1f：E0/V = %10.2f，与领头发散 Λ^4/(8π²) = %10.2f 之比 = %.4f" % (Lam, e, lead, e/lead))
# 输出:
# Lambda =   5.0：E0/V =       8.22，与领头发散 Λ^4/(8π²) =       7.92 之比 = 1.0384
# Lambda =  10.0：E0/V =     127.90，与领头发散 Λ^4/(8π²) =    126.65 之比 = 1.0099
# Lambda =  20.0：E0/V =    2031.47，与领头发散 Λ^4/(8π²) =   2026.42 之比 = 1.0025
# Lambda =  50.0：E0/V =   79188.81，与领头发散 Λ^4/(8π²) =  79157.17 之比 = 1.0004
​

截断每翻一倍，E0/V 涨约 16 倍——四次方发散不是修辞，是这张表的斜率本身。比值一路滑向 1：高截断处模式密度趋匀，发散完全由领头发散项接管，质量项只贡献次领头修正。第五幕账房处理圈图发散时用的正是同一套语言——先认领头的坏账，再把余下部分并进可测参数。发散本身不可怕，可怕的是不知道它以什么速率发散；这张表就是"知道速率"的第一手凭证。

本节要点回顾

• 名册结构：福克空间 = 各固定粒子数子空间的直和，占据数态是通用基
• 免费多体：对称化由 (a†)ⁿ/√n! 自动完成，名册搬运即相互作用
• 真空定义：所有模式基态的直积，a|0⟩=0 但零点能不为零
• 实验收据：卡西米尔压强按间距四次方反比，1 微米 0.0013 帕、10 纳米约 1.28 大气压
• 解读分寸：不把虚粒子实体化，也不把零点能随手扔掉，可观的是差值

满座的真空还欠一份清白证明：它会不会把还没上演的剧情漏给远处的观众？下一节用对易子给因果律盖章。