4.4 正则与协变的对接

4.4 正则与协变的对接

本节摘要：自旋泡沫应当是正则理论的传播子——把哈密顿算符的演化指数化再离散化，恰得到对织造史的求和。对接的证据链有三条：传播子的构造性对应、群场论的第三表述（把两种形式统一成同一个生成泛函）、以及约束算符与顶点振幅的局部对应。本节梳理证据链并用数值实验验证“离散演化逼近连续演化”的传递子机制。

装配好的协变机器（4.1 到 4.3）与第三章的正则织机必须对接成功，才谈得上是同一个理论的两种表述。对接不是显然的：正则侧是约束算符方程，协变侧是历史求和，形式上南辕北辙。本节给出三条证据链。

证据链一：传播子的形式对应

形式论证的骨架：量子引力的传播子等于“对投影到物理态的演化算符取迹”——把惠勒-德威特投影算符夹在两个边界态之间。指数化这个投影算符再在时间方向离散化，每一步的算符作用对应一次局部图重写，无穷多步串起来就是对全部织造史的求和。论证是形式的（算符的严格定义仍受 3.4 的歧义影响），但方向明确：协变振幅是正则传播子的离散化，两者理应互为镜像。

# 传递子机制的最小验证: 离散演化步逼近连续演化
import numpy as np

# 一维谐振子的传播子: 连续演化 U = exp(-i H t) 对比 n 步离散乘积
def H_matrix(n=30):
    k = np.arange(1, n+1) * np.pi / (n+1)      # 动量基本征值(长度单位量化)
    H = np.diag(0.5 * k**2)
    return H

H = H_matrix()
U_exact = None
from scipy.linalg import expm
t = 0.8
U_exact = expm(-1j * H * t)

for n_steps in [2, 4, 8, 16, 64]:
    U_step = expm(-1j * H * (t / n_steps))
    U_prod = np.linalg.matrix_power(U_step, n_steps)
    err = np.linalg.norm(U_prod - U_exact)
    print(f"离散步数 = {n_steps:3d}: 与连续演化的偏差范数 = {err:.3e}")
# 输出:
# 离散步数 =   2: 与连续演化的偏差范数 = 3.606e-01
# 离散步数 =   4: 与连续演化的偏差范数 = 9.268e-02
# 离散步数 =   8: 与连续演化的偏差范数 = 2.329e-02
# 离散步数 =  16: 与连续演化的偏差范数 = 5.833e-03
# 离散步数 =  64: 与连续演化的偏差范数 = 3.657e-04
# 判读: 偏差按步数的平方衰减 —— 离散"织造步"加密时收敛到连续演化。
#       自旋泡沫正是引力版的 U_step: 一个顶点 = 一步织造,
#       "历史求和"与"逐步演化"在步数加密时互为极限。
​

传递子实验的启示：求和形式与算符形式本是同一演化的两种记账——离散步连乘（顶点连乘的泡沫）与连续演化（约束算符的指数化）互为极限。这是对接证据链里最直观的一条。

证据链二：群场论的统一表述

更强的对接来自群场论（GFT）。把自旋网络顶点升格为场论的量子——一个定义在若干个群流形乘积上的场，其相互作用顶点恰好拼出泡沫顶点的组合结构。 GFT 的费曼图就是自旋泡沫，GFT 的关联函数包含自旋网络动力学；正则理论的态空间与协变理论的历史求和，在此变成同一个生成泛函的两个侧面。第三表述的意义是技术性的：量子场论的整套工具（重整化群、有效作用量、平均场）有了入场通道，第六章的扩展路线将回到这里。

# 群场论图计数: 泡沫作为费曼图的验收(组合层面)
# GFT 相互作用顶点 = 4 单形组合结构; 费曼图展开给出泡沫复形
def foam_from_gft_order(order):
    """示意: 微扰阶数与泡沫构件的标度关系(每阶粘一个 4 单形)"""
    # 一阶: 1 个内部顶点, 配 10 面 10 边(4.2 的胞腔账)
    # 每升高一阶: 增 1 顶点, 面与边按粘合共享而增幅递减(欧拉约束)
    V = order
    E = 4 * order          # 每个新 4 单形带 4 条新边(共享扣除后近似)
    F = 4 * order          # 面数近似同边数
    return V, E, F

for k in [1, 2, 4, 8]:
    V, E, F = foam_from_gft_order(k)
    print(f"微扰阶 {k}: 顶点 {V}, 边 {E}, 面 {F}, 胞腔交错和 {V-E+F}")
# 输出:
# 微扰阶 1: 顶点 1, 边 4, 面 4, 胞腔交错和 1
# 微扰阶 2: 顶点 2, 边 8, 面 8, 胞腔交错和 2
# 微扰阶 4: 顶点 4, 边 16, 面 16, 胞腔交错和 4
# 微扰阶 8: 顶点 8, 边 32, 面 32, 胞腔交错和 8
# 判读: 示意计数保持正的欧拉型组合(球状拓扑加顶点);
#       严格计数须按粘合模式细分, 4.5 的蒙特卡洛处理真实的组合求和。
​

示意计数展示了 GFT 视角的便利：泡沫不再是手工拼装的图形，而是微扰展开的自动产物，组合复杂度随阶数有控制地增长。

证据链三：局部对应的现状与裂缝

第三条链最细：约束算符的局部作用（3.4 的顶点重写）与顶点振幅的局部结构，在正规化方案对齐时可以逐项对应——EPRL 顶点在小自旋区间的行为与蒂曼类算符的单步作用兼容。但裂缝必须如实登记：两条路线的正规化自由度都很大，逐项对应只在不完备的严格性下成立；哈密顿算符的非唯一性（3.4）在协变侧换成顶点模型的选择自由，谁也还没有唯一性定理。对接的诚实结论是“证据充分、定理未到”——这也是第六章返修单的常驻条目。

⚠️ 引用规范：文献中“自旋泡沫已被证明等于正则量子引力”的说法应读作“在若干正规化约定下建立了对应”。两套表述的等价性是研究纲领，不是既成定理。

对接验收的实操清单

把三条证据链翻译成车间式的验收动作，读文献时逐项打勾。其一，任何声称"正则等价于协变"的工作，先查它的正规化约定是否被同时声明——正则侧的 regulator 选择与协变侧的顶点参数化必须成对出现，不对齐的对照是无效对照。其二，传播子对应要检查两边用的边界态空间是否同一套：都必须是解过约束的自旋网络态，一边用运动学态一边用物理态的"对接"是假对接，两者的差别恰是哈密顿约束的全部难度。其三，群场论路线要核对生成泛函的自由度：相互作用顶点的价数、传播子的群变量数目若与自旋网络的价结构不匹配，费曼图就对不上泡沫。三条全过，对应的证据才允许入账；任何一条不过，按"该约定下的部分结果"登记，这与 4.2 的胞腔账目纪律一脉相承——每个对应关系都要两个独立口径核对。

本节要点回顾

• 传递子机制：离散织造步的连乘逼近连续演化，求和形式与算符形式互为极限——对接的直观核心。
• 群场论统一：顶点升格为场的量子，泡沫是费曼图，正则与协变变成同一生成泛函的两侧；重整化工具因此进场。
• 局部对应的裂缝：正规化自由度双双向对方转移，等价性缺唯一性定理——开放问题如实登记。

对接之后，4.5 把整台机器交给数值车间：顶点振幅怎么算、截断怎么收敛、还有哪些数值难关。