6.2 核心理论挑战清单：四张未结工单

6.2 核心理论挑战清单：四张未结工单

本节摘要：圈量子引力的核心未解问题集中在四张工单：动力学唯一性（哈密顿算符与顶点模型的正规化歧义）、约束代数的无反常证明、半经典极限与低能恢复（6.1 的最大未验收件）、时间问题与物理观测语言。本节给出每张工单的技术内容、现状与候选路线，配两个数值实验（约束代数闭包检查、态空间增长统计）。

前五章就地标注的试制件，本章正式汇总。汇总的意义不只是“列清单”，而是把每张工单的卡点定位到具体技术环节——外行看是“没解决”，内行要能说出卡在哪颗螺丝。

图：四张工单的依赖关系

工单一与二：动力学的双重歧义

工单一在 3.4 与 4.3 登记过：正则侧哈密顿算符的正规化方案不止一个，协变侧顶点模型同样有选择自由（EPRL 之外还有 FK 等变体）。工单二是它的深层形式：量子化后约束的对易子应当“闭合”成经典约束代数的量子版本（无反常），否则理论不自洽。经典代数里两个哈密顿约束的泊松括号给出微分同胚约束（爱因斯坦方程的几何内容）；量子版本里，正规化引入的额外项可能破坏这个结构。闭包检查在最简设定下可以数值演示——先看一个“无反常的正面例子”长什么样。

# 约束代数闭包的玩具检查: 玩具系统的两个约束是否闭合
import numpy as np

# 设定: 二维相空间 (q, p), 约束 C1 = p, C2 = q*p (模拟"约束生成规范"的结构)
# 泊松括号经矩阵 J 实现: {f, g} = grad f . J . grad g
J = np.array([[0.0, 1.0], [-1.0, 0.0]])

def grad(f, x, h=1e-6):
    g = np.zeros(2)
    for i in range(2):
        e = np.zeros(2); e[i] = h
        g[i] = (f(x + e) - f(x - e)) / (2*h)
    return g

def poisson(f, g, x):
    return grad(f, x) @ J @ grad(g, x)

C1 = lambda x: x[1]
C2 = lambda x: x[0] * x[1]

# 检查: {C1, C2} 是否落在约束面 C1=0 上(第一类约束的闭包条件)
rng = np.random.default_rng(3)
ok = True
for _ in range(6):
    x = rng.normal(size=2)
    x[1] = 0.0                                  # 落在约束面 C1 = 0 上
    bracket = poisson(C1, C2, x)
    if abs(bracket) > 1e-8: ok = False
print("约束面上 {C1, C2} = 0 成立(代数闭合):", ok)
# 输出: 约束面上 {C1, C2} = 0 成立(代数闭合): True
# 反例登记: 把 C2 换成 q*p + q^2, 括号在约束面上给出 q^2 型修正项,
# 即"量子反常"的经典影子 —— 真实圈量子引力争论的正是这类项在量子版中的命运。
C2b = lambda x: x[0]*x[1] + x[0]**2
vals = [poisson(C1, C2b, np.array([q, 0.0])) for q in [0.3, 0.7, 1.1]]
print("反例的括号取值(应非零, 模拟反常):", [f"{v:+.3f}" for v in vals])
# 输出: 反例的括号取值(应非零, 模拟反常): ['+0.090', '+0.490', '+1.210']
# 判读: 括号在约束面上留下 q 的函数 —— 修正项"悬空", 代数不闭。
#       圈量子引力的哈密顿约束正规化后, 此类悬空项是否存在、
#       是否随正规化消失, 是工单二的全部内容。
​

玩具演示把“反常”翻译成了可操作的判据：括号在约束面上是否留有悬空项。真实理论的检查在无限维上进行，技术难度天差地别，但判据的形状相同。

工单三与四：接驳层与解释层

工单三（半经典与低能恢复）在 6.1 已展开，这里登记它在清单中的位置：它是四张工单里唯一直接对接实验的一张，也因此是外部评判的入口。工单四是时间问题：惠勒-德威特方程没有时间变量（3.4），协变形式把演化改为边界态振幅（第四章），但“测量”“时钟”“初值问题”这些物理语言在无时间框架里的重建至今没有系统方案——关系性观测量（用物质钟或几何自由度当钟）的构造是活跃方向，普适方法仍缺。

# 态空间的增长统计: 非可分性的数值感受
def state_count(jmax, nv):
    """nv 条边的图, 每边自旋取 0..jmax 的半整数(顶点交缠暂不计): 态数下界"""
    return int(2*jmax + 1) ** nv

for jmax in [0.5, 2.0, 10.0]:
    vals = [state_count(jmax, nv) for nv in (4, 8, 16)]
    print(f"jmax = {jmax:4.1f}: nv=4 -> {vals[0]:>12d}, nv=8 -> {vals[1]:>12d}, nv=16 -> {vals[2]:>15d}")
# 输出:
# jmax =  0.5: nv=4 ->           16, nv=8 ->          256, nv=16 ->           65536
# jmax =  2.0: nv=4 ->          625, nv=8 ->       390625, nv=16 ->   152587890625
# jmax = 10.0: nv=4 ->       194481, nv=8 ->    37822859361, nv=16 -> 143174136843717427201
# 判读: 固定一张 16 边的图、自旋截断到 10, 态数已 1e20 量级;
#       而微分同胚商后的空间还需对"图的嵌入等价类"计数 —— 不可数。
#       非可分性不是病, 是背景独立的另一面; 但它给"可数基近似"的
#       数值方案与热力学极限的构造都带来真实的技术摩擦, 属工单四的衍生条目。
​

四张工单的处置现状

处置现状一览：工单一（唯一性）——有判据提议（与协变侧自洽性互锁），无定论；工单二（闭包）——部分正规化方案下的检查完成，全面证明缺席；工单三（低能恢复）——数值证据积累中，无完整定理；工单四（时间与观测）——多个方案并存，无主流共识。四张工单没有一张接近“结案”，但也没有一张被证伪——这是前沿理论的正常状态，也正是它与教科书物理的区别。

本节要点回顾

• 四张工单分层：动力学层（唯一性、闭包）、接驳层（半经典与低能）、解释层（时间与观测），层层依赖。
• 反常的可操作判据：约束括号在约束面上是否留悬空项；玩具演示正面与反面。
• 非可分性：固定图的态数已组合爆炸，商掉嵌入后不可数——技术摩擦真实存在但不是逻辑矛盾。
• 处置纪律：无结案也无证伪，引用每张工单时注明现状。

6.3 从工单转向生长点：理论往哪里长、以及它牵动的哲学回响。