2.2 量子化：谐振子阶梯与零点能
2.2 量子化：谐振子阶梯与零点能
本节摘要：把弦的每个振动模式当作独立谐振子量子化，激发数 N 成为整数能级标记；无限多振子的零点能求和 \sum n 经 ζ 函数正规化取值 -1/12，经横向模式计数后给出正规化常数 a，直接进入质量公式。本节用阿贝尔阻尼数值演示这一指派的合法性，并解释维拉索罗代数与临界维度的最早伏笔。
上一节装好了机器（作用量、波动方程、模式展开），本节通电：升降算符就位，零点能记账。这节的位置承上启下——没有零点能的精确数值，下一节的频谱表就差一行常数；而这套正规化技术在第 3.2 节计算超弦的 NS/R 零点时会原样复用。
一、每个模式一个振子
模式展开里的复振幅 \alpha_n^\mu 在量子化后成为升降算符，满足谐振子对易关系：
态由激发数标记：|N_1, N_2, N_3, \dots\rangle，其中 N_n 是第 n 模式被激发的份数。总级数 N = \sum_n n N_n 是能级的记账员。这正是"粒子是弦的泛音"的数学形态：基态上叠加一份 n=3 的振动，就是一个更重的粒子。
麻烦在基态本身。每个振子贡献 \frac{1}{2}\omega 的零点能，无穷多个模式加起来：
D-2 是横向物理模式数（规范冗余吃掉两维），\sum n 发散。这个和必须被指派一个有限值，否则频谱整体漂移。
二、数值实验：1+2+3+… 指派 -1/12
发散级数的正规化不是把无穷大藏起来，而是问：这个级数最自然对应哪个解析函数的值。答案通过 \eta 函数的阻尼求和获得，全程可以数值复现。
# 阿贝尔阻尼：先求 eta(-1) = sum (-1)^(n-1) n x^n（x<1 收敛），再换算 zeta(-1) # 闭式：sum (-1)^(n-1) n x^n = x/(1+x)^2 for x in [0.9, 0.99, 0.999, 0.9999]: eta = x / (1 + x) ** 2 zeta = eta / (1 - 2 ** 2) # eta(s) = (1 - 2^(1-s)) zeta(s)，s=-1 时因子为 -3 print("x=%.4f eta(-1)=%.6f zeta(-1)=%+.6f" % (x, eta, zeta)) print("精确值 zeta(-1) = -1/12 = %.8f" % (-1 / 12))
运行结果：
x=0.9000 eta(-1)=0.249307 zeta(-1)=-0.083102 x=0.9900 eta(-1)=0.249994 zeta(-1)=-0.083331 x=0.9990 eta(-1)=0.250000 zeta(-1)=-0.083333 x=0.9999 eta(-1)=0.250000 zeta(-1)=-0.083333 精确值 zeta(-1) = -1/12 = -0.08333333
阻尼参数 x \to 1 时，交替级数稳定收敛到 1/4，换算得 \zeta(-1) = -1/12。这不是文字游戏：卡斯米尔效应的实验测量（两块中性导体板之间的吸引力）正是这个负零点能的可观测化身，用同样的 \zeta 值预言、被同样精度证实。弦论只是把这个"量子空转能耗"从两块板搬到了弦上。
把横向维度数乘进去，就得到进入质量公式的正规化常数：
# 零点能 E0 = (D-2)/2 * zeta(-1) = -(D-2)/24，开弦正规化常数 a = -E0 记账 for d in [4, 10, 26]: print("D=%2d: E0 = -(D-2)/24 = %+.4f a = %+.4f" % ( d, -(d - 2) / 24, (d - 2) / 24))
运行结果：
D= 4: E0 = -0.0833 a = +0.0833 D=10: E0 = -0.3333 a = +0.3333 D=26: E0 = -1.0000 a = +1.0000
三、维拉索罗代数与自洽的第一次出场
量子化不是无代价的。守恒荷（世界面的能量动量流）生成维拉索罗代数，量子修正后多出一项中心荷：
那个 \frac{D}{12} 是量子反常的记账员。物理态条件要求负模剔除（老协变量子化的约束 L_{n\geq 1}|\psi\rangle = 0），而 [L_m, L_{-m}] 的期待值给出著名的临界维度条件：每张世界面上的玻色自由场贡献 +1 的中心荷，反常消除（含鬼场 -26 的贡献）要求恰好 D=26。
中心荷收支表（玻色弦）： D 个坐标场 X^mu 每个 +1 合计 +D 幽灵场 bc（规范固定产生） 合计 -26 自洽条件：D - 26 = 0 => D = 26 推论：a = (D-2)/24 = 24/24 = 1，质量公式常数被锁定
⚠️ 常见困惑："-1/12 是不是数学戏法？"检验标准是可复算与可预言。阻尼求和的极限唯一、逐项可验证（上面四行输出就是）；用它推出的卡斯米尔力有实验数值；弦论里它进一步决定快子位置与临界维度——三处独立应用给出同一常数，这是"指派合理"的实证形态。
四、零点能的物理角色预登记
E_0 在玻色弦里是麻烦制造者：它是负的，把基态质量平方压到负数——下一节的频谱表第一行就是快子。但负零点能不是 bug 的全部：第 3.1 节会展示，费米子模式的零点能符号相反，玻色与费米配对后真空能严格为零，那正是超对称最锋利的一面。
本节要点回顾
- 量子化：每个振动模式一个谐振子，激发份数 N_n 为整数，总级数 N 标记能级；
- 零点能：\sum n 经 ζ 正规化取 -1/12，阻尼求和数值收敛到该值；
- 实证背书：同一常数的卡斯米尔预言已被实验测量，正规化不是修辞；
- 中心荷账本：坐标场 +D、幽灵场 -26，平衡要求 D=26，a=1 随之锁定；
- 伏笔：负零点能制造快子（下一节），费米子配对将消除它（第 3.1 节）。
机器通电完毕。下一节把探针接到输出端：列出完整的玻色弦频谱表，直面快子与 26 维这两份刺眼的读数。
延伸核对：可考核知识点
- 零点能逐维计算：每横维为 ½Σ_{n=1}^∞ n，ζ 正规化给出 Σn=−1/12，故每维 −1/24；24 个横维合计 −1，正是截距 a=1 的来源。
- 物理态条件：(L0−a)|phys>=0 与 (L_n|phys>=0, n>0) 联立等价于 M²=(N−1)/α′；闭弦另有能级配对 N=Ñ，杜绝单边激发。
- 洛伦兹代数闭合：生成元对易子的中心项正比于 (D−2)/24−a，只有 a=1 且 D−2=24 时才为零——截距与临界维数是同一个代数条件的两面。
- ζ(−1)=−1/12 的独立复算：用平滑截断 f(n/N) 求和后取 N→∞，发散部分为 N²/2−N/2，有限部分收敛到 −1/12，与解析延拓一致。
易错点：ζ 正规化不是"级数求和错误"——直接硬截断会得到正规的 N²/2−N/2+N/12 发散项，只有保共形（保二维质量less场结构）的正规化才给出物理截距；正规化方案的共形破缺部分被经典作用量的反常项吸收。