1.2 织机设计总纲：背景独立

1.2 织机设计总纲：背景独立

本节摘要：背景独立性是圈量子引力的设计总纲——理论的一切构件不得借助任何先验的时空度规或固定几何。本节给出它的操作化定义、与背景相关路线的分野、它带来的技术代价与换来的物理承诺，并用自由度计数与度规分量清点的数值演算把“拆掉舞台”的含义落到数字上。

上一节算出了冲突的标度，本节登记设计总纲：既然量子场论赖以工作的固定背景正是引力要决定的对象，织机的图纸就必须做到一件事——不借用任何预先铺好的时空。这条总纲贯穿第三章的变量选择、第四章的振幅构造，是全档案最重要的一条工艺标准。

舞台与演员之争

物理理论里有一对分工：背景是布景（坐标、度规、因果结构），动力学场是演员。牛顿力学里舞台绝对刚硬；狭义相对论把舞台换成闵可夫斯基时空，仍然刚硬；广义相对论前进了一大步，舞台本身参与演出——但方程仍是经典方程，几何只有唯一一个解在被演。量子引力要求再往前一步：几何本身量子化，无数几何形态叠加，没有任何一个有资格当布景。

弦论的早期做法是反着来的：先铺好十维平直背景（含紧化几何），弦在其上振动，引力子作为弦的振动模式出现。这是背景相关路线——后来的进展部分修补了这一点，但技术主体仍依赖背景微扰展开。圈量子引力则把背景独立当成硬约束：构造态空间、定义算符、写下动力学，全程只允许出现拓扑流形与微分结构，不允许出现度规。付出的代价是，几乎所有量子场论的标准工具（微扰展开、粒子态、常规的时空对称性论证）都直接报废；换来的承诺是，理论若成功，它预言的时空几何是计算结果而非输入假设。

图：背景独立织机的最小构件清单

拆掉舞台后剩下什么

操作化地说，背景独立意味着理论的输入只有：一个三维流形 M（拓扑给定）、其上的联络 A（取值在 SU(2) 李代数）、以及共轭的标架场。度规不出现在输入里——它由标架场组合出来，而标架场是要被量子化的算符。这条禁令立刻引出一个问题：没有度规，连“面积多大”“体积多大”都没有定义，理论怎么谈几何？圈量子引力的回答将在第三章给出：几何量作为算符构造，其本征值谱就是理论对“多大”的回答，而且那份谱是离散的。本节先把“没有度规时理论骨架有多瘦”量化一下。

# 广义相对论配置变量的计数：从度规到标架
# 4 维时空度规 g_mu_nu: 对称 4x4 -> 10 个分量
n = 4
metric_components = n * (n + 1) // 2
# ADM 分解后: 空间度规 q_ab(6) + lapse(1) + shift(3) = 10
q_ab = 3 * 4 // 2       # 6
lapse, shift = 1, 3
# 标架表述: 四标架 e^I_mu 也是 16 个分量, 但规范固定后与度规等价
tetrad = 16
print(f"度规分量数: {metric_components}, ADM 分解校验 {q_ab+lapse+shift} == 10")
# 输出: 度规分量数: 10, ADM 分解校验 10 == 10
print(f"四标架分量数(规范冗余前): {tetrad}")
# 输出: 四标架分量数(规范冗余前): 16

# 物理自由度 = 配置变量数 - 约束数 - 规范自由度
# 广义相对论: 10 分量 - 4 约束(哈密顿+动量) - 4 坐标规范 = 2
physical_dof = metric_components - 4 - 4
print(f"引力波物理自由度 per 点: {physical_dof}")
# 输出: 引力波物理自由度 per 点: 2
# 对比: 电磁场 4 分量 - 1 约束 - 1 规范 = 2; 但电磁场的 2 是自旋 1 的螺旋度,
# 引力的 2 是自旋 2 的螺旋度 —— 计数相同, 内容完全不同。
​

这份清点说明两件事。第一，引力的物理自由度每点只有 2（两个螺旋度），但被裹在 10 个度规分量加 4 个约束加 4 个规范冗余的厚包装里；量子化的难点不在自由度多，而在约束与规范的结构。第二，换成标架表述时分量反而变多（16 个），多出来的正是规范冗余——这不是退步，第三章会看到，SU(2) 规范结构正是让威尔逊圈技术得以入场的关键，用冗余换结构是圈路线的 deliberate 交易。

没有背景时间，演化怎么谈

背景独立最反直觉的推论是时间的消失。经典广义相对论本就没有外部时间参数，只有约束方程；量子化后，约束变成对态的条件，惠勒-德威特方程里时间变量干脆不出现。这不是笔误，而是“时间问题”的根源。织机档案的处理方式是：把“演化”改造成“织造记录”——第三章末与第四章整章处理这一点，即用两个空间几何之间的跃迁振幅替代“从 t1 到 t2 的演化”。这里先用一个最小数值实验预演这种思路：把演化替换为“初末态配对记账”。

# 关系性演化的最小模型: 不用时间参数, 只统计初末态配对的振幅权重
# 设三个空间态 s1, s2, s3, 跃迁权重由"共享结构"决定(玩具规则)
states = {"s1": {1, 2, 3}, "s2": {2, 3, 4}, "s3": {3, 4, 5}}
def weight(a, b):
    shared = len(states[a] & states[b])
    return 2.0 ** (-shared)          # 共享结构越多, 权重指数压低
import itertools
for a, b in itertools.product(states, repeat=2):
    if a != b:
        print(f"{a} -> {b}: w = {weight(a, b):.4f}")
# 输出:
# s1 -> s2: w = 0.2500
# s1 -> s3: w = 0.5000
# s2 -> s1: w = 0.2500
# s2 -> s3: w = 0.2500
# s3 -> s1: w = 0.5000
# s3 -> s2: w = 0.2500
# 判读: 演化被改写成态对之间的振幅表, 表中没有任何时间戳;
# 第四章的自旋泡沫把这张表升级为对全部"织造历史"的求和。
​

玩具规则当然不包含物理，但它把观念摆正了：背景独立理论里，可问的问题从“系统在时刻 t 处于什么态”变成“给定两个边界态，全部中间历史的振幅和是多少”。费曼路径积分的语言在这里与背景独立需求天然合拍，这正是第四章自旋泡沫的入口。

本节要点回顾

• 总纲的表述：理论构件（态空间、算符、动力学）不得依赖任何先验度规；度规只能是输出。
• 两种工艺的分野：背景相关路线保留微扰与粒子语言的便利，把背景来源问题后置；背景独立路线一步到位但工具箱大幅报废。
• 自由度清点：引力每点物理自由度为 2，难点在 4 约束加 4 规范的结构，不在分量数目。
• 时间的重构：没有背景时间，演化改写为边界态之间的跃迁振幅，为第四章埋下接口。

设计总纲立好，接下来的 1.3 翻开编年史：这张图纸在四十年里被哪些人、按什么顺序画到今天这个程度。