1.3 织机档案编年史

1.3 织机档案编年史

本节摘要：圈量子引力从 1986 年阿什特卡变量到当代自旋泡沫与现象学，走过四十年。本节按“奠基、成形、织造、验收”四阶段登记关键节点，用时间线图与数值分析呈现各阶段的节奏与空档，帮助读者分清哪些结果是定论、哪些仍是进行时。

设计总纲（1.2）是抽象的，历史是具体的。本节把图纸的演进过程编入档案，供后续各章回溯每个概念的出厂日期——在理论物理里，一个结果的“年龄”与“状态”往往同样重要：运动学部分已三十年稳定，动力学部分至今仍在迭代，混同两者是初学者最常见的误读。

档案的时间轴

图：圈量子引力四十年编年

节点之间的节奏

时间线上有两段空档：从 1986 年变量提出到 1994 年面积谱，隔了八年；从 1998 年正则动力学到 2007 年 EPRL，又隔了九年。空档不是停滞，而是范式消化期。下面用数据把这段叙述落到数字上。

# 编年史节点的间隔分析: 拐点之间隔了多久
milestones = [
    ("阿什特卡变量",        1986),
    ("威尔逊圈解",          1988),
    ("面积谱与自旋网络基",  1994),
    ("黑洞熵微观计数",      1996),
    ("蒂曼哈密顿算符",      1998),
    ("圈量子宇宙学反弹",    2001),
    ("EPRL 自旋泡沫模型",   2007),
    ("普朗克星与现象学",    2014),
    ("数值自旋泡沫兴起的",  2015),
]
gaps = []
for (n1, y1), (n2, y2) in zip(milestones, milestones[1:]):
    gaps.append((f"{n1} -> {n2}", y2 - y1))
    print(f"{y1} {n1:12s} -> {y2} {n2:12s}  间隔 {y2-y1} 年")
# 输出:
# 1986 阿什特卡变量      -> 1988 威尔逊圈解        间隔 2 年
# 1988 威尔逊圈解        -> 1994 面积谱与自旋网络基  间隔 6 年
# 1994 面积谱与自旋网络基 -> 1996 黑洞熵微观计数      间隔 2 年
# 1996 黑洞熵微观计数    -> 1998 蒂曼哈密顿算符      间隔 2 年
# 1998 蒂曼哈密顿算符    -> 2001 圈量子宇宙学反弹    间隔 3 年
# 2001 圈量子宇宙学反弹  -> 2007 EPRL 自旋泡沫模型   间隔 6 年
# 2007 EPRL 自旋泡沫模型 -> 2014 普朗克星与现象学    间隔 7 年
# 2014 普朗克星与现象学  -> 2015 数值自旋泡沫兴起的  间隔 1 年
avg = sum(g for _, g in gaps) / len(gaps)
mx = max(gaps, key=lambda x: x[1])
print(f"\n平均间隔 {avg:.1f} 年, 最长空档: {mx[0]} ({mx[1]} 年)")
# 输出: 平均间隔 3.6 年, 最长空档: EPRL 自旋泡沫模型 -> 普朗克星与现象学 (7 年)
​

间隔数据印证了读图印象：运动学阶段（1994 前后）节点密集，两年一个硬结果；动力学与协变阶段的间隔拉长到六七年，反映约束量子化的难度。读者据此可以校准预期——本书第三章的内容大多出厂三十年，第五章的不少结果出厂不满二十年，第六章的清单每年都在更新。

关键人物与分工

编年史的另一条线是人。阿什特卡提供了变量；罗韦利与斯莫林把威尔逊圈变成量子态并算出离散谱；佩雷兹与列文算出黑洞熵的微观计数（第五章将完整复现）；蒂曼给出第一个定义良好的哈密顿算符；巴贝罗留下的伊默齐参数后来成为熵标定的旋钮；阿什特卡、帕万与辛格把理论压缩成圈量子宇宙学；恩格尔、佩雷兹、里奥洛与利维尼在 2007 年给出 EPRL 模型，把正则与协变缝在一起。这份名单不必背，但要记住分工：运动学的功劳属于九十年代的那批人，动力学的现状则由 2000 年后的协变与数值社区决定。

# 人物-工位对应表的检索: 按关键词查节点
records = [
    ("变量",    "阿什特卡",       1986, "把引力相空间写成 SU(2) 联络加标架"),
    ("伊默齐",  "巴贝罗",         1995, "实值化参数, 后成为熵标定旋钮"),
    ("运动学",  "罗韦利斯莫林",   1995, "威尔逊圈态与面积体积离散谱"),
    ("黑洞熵",  "佩雷兹列文",     1996, "视界微观态计数对上贝肯斯坦霍金熵"),
    ("动力学",  "蒂曼",           1998, "首个定义良好的正则哈密顿约束算符"),
    ("宇宙学",  "阿什特卡帕万辛格",2001,"均匀模型的量子反弹替代奇点"),
    ("协变",    "恩格尔佩雷兹里奥洛利维尼", 2007, "EPRL 模型衔接正则与路径积分"),
]
for kw in ["变量", "黑洞熵", "协变"]:
    hits = [r for r in records if r[0] == kw]
    for _, who, yr, what in hits:
        print(f"[{kw}] {yr} {who}: {what}")
# 输出:
# [变量] 1986 阿什特卡: 把引力相空间写成 SU(2) 联络加标架
# [黑洞熵] 1996 佩雷兹列文: 视界微观态计数对上贝肯斯坦霍金熵
# [协变] 2007 恩格尔佩雷兹里奥洛利维尼: EPRL 模型衔接正则与路径积分
​

引用规范与考核自查

编年史的价值在使用，误用也集中在这里，登记三条引用守则。其一，引用任何结果先查出厂日期与阶段归属——运动学结果（面积谱、自旋网络基）可按定论引用，动力学结果（蒂曼算符、EPRL 振幅）须注明版本与年代，现象学结果须附量级与假设链。其二，年份是节点的锚不是因果的证明——1996 年的熵计数并不"导致"2007 年的 EPRL，中间隔着十年的正则与协变磨合，读时间线时警惕把相邻当相关。其三，"四十年"不等于"成熟度四成"——领域的成熟度要按问题的解决率算，第六章的返修单才是准确读数，别用年头估成色。

配套一个数值自查：把里程碑按成色分类统计，看"稳定件"与"迭代件"在时间轴上的分布是否支持本节的阶段划分。

# 成色分类统计: 稳定件与迭代件在时间轴上的分布
flags = [
    ("阿什特卡变量",     1986, "迭代"),   # 后经巴贝罗修正为实值化版本
    ("面积体积离散谱",   1995, "稳定"),
    ("自旋网络基",       1995, "稳定"),
    ("黑洞熵微观计数",   1996, "稳定"),
    ("蒂曼哈密顿算符",   1998, "迭代"),   # 算符非唯一
    ("圈量子宇宙学反弹", 2001, "稳定"),   # 均匀模型内稳健
    ("EPRL 顶点振幅",    2007, "迭代"),   # 大自旋收敛性未闭合
]
stable = [(n, y) for n, y, c in flags if c == "稳定"]
moving = [(n, y) for n, y, c in flags if c == "迭代"]
print(f"稳定件 {len(stable)} 件: {', '.join(n for n, _ in stable)}")
print(f"迭代件 {len(moving)} 件: {', '.join(n for n, _ in moving)}")
print(f"稳定件平均出厂年份 {sum(y for _, y in stable)/len(stable):.1f}, 迭代件平均 {sum(y for _, y in moving)/len(moving):.1f}")
# 输出:
# 稳定件 4 件: 面积体积离散谱, 自旋网络基, 黑洞熵微观计数, 圈量子宇宙学反弹
# 迭代件 3 件: 阿什特卡变量, 蒂曼哈密顿算符, EPRL 顶点振幅
# 稳定件平均出厂年份 1996.8, 迭代件平均 1997.0
​

统计结果的判读比表面更有意思：两类成色的平均出厂年份几乎重合（差不到半年），说明"新结果就稳定、老结果还在改"的直觉不成立——成色由问题的类型决定，不由年龄决定。面积谱这类封闭的运动学命题出厂即验收，而哈密顿约束这类动力学命题出厂三十年仍在返修。这正支持四阶段划分里"成形期定型、织造期迭代"的判断：读者引用时按类型而非按年头选择语气。

本节要点回顾

• 四阶段划分：奠基（1986-1990 换语言）、成形（1994-1998 量子几何定型）、织造（1999-2007 动力学与宇宙学）、验收（2007 至今 协变定型与数值化）。
• 节奏的启示：运动学结果密集而稳定，动力学结果稀疏而迭代，引用时应区分对待。
• 人物分工：变量、离散谱、黑洞熵、正则动力学、宇宙学、协变模型各有明确的出厂节点，后续章节将逐件回厂细看。

编年史登记完毕，1.4 把本档案的路线与弦论、因果集等竞标书并排摊开，说明选圈路线的理由与代价。