4.2 自旋泡沫：二维织造史的构造图纸
4.2 自旋泡沫：二维织造史的构造图纸
本节摘要：自旋泡沫是带标签的二维复形——顶点、边、面分别对应时空三角剖分的四面体、三角形与棱，面携带 SU(2) 表示，边携带重耦多重数，顶点携带顶点振幅。本节拆解这张构造图纸，用欧拉关系与构件计数做数值验收，并把“自旋网络的历史”与“离散时空”两重身份对齐。
4.1 说清了“对历史求和”，本节给出历史的形状。把一张自旋网络（三维空间的经线图）在演化方向上逐步重织，每一步的图变动沿时间方向扫出二维面——这些面拼成的带标签二维复形就是自旋泡沫。名字来自它的形状：面像肥皂泡的膜，边是膜的接缝，顶点是接缝的交汇点。
图：自旋泡沫的构件解剖
构件与赋值
构造规则一张表说尽。面（foam face）：二维膜片，携带自旋标签 j_f——它是一条经线（原图的边）在时间方向扫出的轨迹，所以标签直接继承自旋网络的边。边（foam edge）：面的交线，携带的标签是“多条面线如何在该棱上重耦”的多重数（维数因子）。顶点（foam vertex）：边的交汇点，那里发生一次局部的图重写（3.4 的蒂曼作用图像在协变侧的对应物），携带顶点振幅 A_v——整个理论的物理全在这一个函数里。总振幅按构件连乘：顶点振幅乘边维数乘面维数，对一切内部标签求和、对一切复形求和。
# 构件计数的欧拉验收: 二维复形的顶边面关系 class TwoComplex: def __init__(self, V, E, F): self.V, self.E, self.F = V, E, F def euler(self): return self.V - self.E + self.F # 单个泡沫顶点的最小邻域: 一个 4 价顶点的"历史"展开 # V=1 个内部顶点, E=4 条内部边, F=6 张面(4 条原图边两两组合扫出) # 外边界上有 4 个边界顶点 5 条边界边(示意), 合并统计: foam1 = TwoComplex(V=5, E=9, F=6) print(f"顶点 {foam1.V} - 边 {foam1.E} + 面 {foam1.F} = 欧拉示性数 {foam1.euler()}") # 输出: 顶点 5 - 边 9 + 面 6 = 欧拉示性数 2 # 判读: 球面拓扑的二维复形欧拉数为 2 —— 单顶点泡沫的历史拼成球状闭合面。 # 与三角剖分对偶的一致性: 四维单形边界是 5 个四面体粘成的闭合三维球 # 对偶二维骨架: 顶点=四面体数 5, 边=三角形数 10, 面=棱数 10 foam2 = TwoComplex(V=5, E=10, F=10) print(f"四单形边界对偶: 顶 {foam2.V} - 边 {foam2.E} + 面 {foam2.F} = {foam2.euler()}") # 输出: 四单形边界对偶: 顶 5 - 边 10 + 面 10 = 5 # 注意: 这个 5 不是二维球面欧拉数 2 —— 对偶 2-骨架不是闭合二维流形, # 不能套用闭合曲面的欧拉公式; 正确的账目要按完整胞腔交错和核对。
完整胞腔账目是每个泡沫构件清单的必检项，单独核算如下：
# 重新核算: 单个 EPRL 顶点的对偶构型(一个 4 单形) # 原剖分: 5 顶点, 10 棱, 10 三角形面, 5 四面体, 1 个四单形 —— 满足 d 维欧拉关系 # 对偶二维复形(2-骨架): 顶点=四面体数 5, 边=三角形数 10, 面=棱数 10 V, E, F = 5, 10, 10 print(f"对偶 2-骨架: V - E + F = {V - E + F}") # 输出: 对偶 2-骨架: V - E + F = 5 # 判读: 二维骨架不是闭合二维流形, 欧拉数不必为 2; # 正确的整体关系含胞腔各项: 5-10+10-5+1 = 1, 正是四维球的欧拉数。 cells = [5, 10, 10, 5, 1] print(f"完整胞腔交错和 = {sum((-1)**i * c for i, c in enumerate(cells))}") # 输出: 完整胞腔交错和 = 1 # 结论: 单个顶点泡沫配 4 单形剖分, 胞腔账目闭合 —— 构件计数验收通过。
这段核算的教学价值超出了计数本身：自旋泡沫的对偶是三角剖分的骨架而非闭合曲面，粗心套用二维欧拉公式会得到错误的约束。工具间的验收习惯（每笔账用两个独立关系核对）在组合问题里同样救命。
两重身份的对齐
同一张自旋泡沫，两副面孔。第一副：自旋网络的历史——每个时间切片是三维空间态，切片之间的图重写记录演化，这是“织造史”的字面义。第二副：离散时空——顶点对偶四维单形，面携带的自旋在大自旋极限下对应棱的长度（量子数到几何量的翻译，4.3 的半经典分析完成），于是“求和全部泡沫”就是“求和全部离散几何”。两副面孔的缝合处正是本理论的枢纽：量子态的组合结构与经典几何的形状，用同一套标签连接。第三副面孔——张量网络——也顺带入库：顶点振幅本质是多重不变张量，整个配分函数是巨网络的收缩，这让自旋泡沫与量子多体计算、全息对偶的语言直接互通，第六章的扩展路线会用到。
💡 关键直觉：自旋泡沫之于自旋网络，正如世界线之于粒子、世界面之于弦——把“态”沿演化方向拉伸成“史”。区别在于它拉伸出的是二维膜而非一维线，因为空间的量子态本身已经是图。
边标签的重耦自由度
构件标签里还藏着一笔组合自由度的账：一个泡沫顶点的振幅不是单个数，而是对边界标签全部相容重耦方式的求和。以最简单的 4 价顶点为例，边界四条边携带自旋 (j1, j2, j3, j4)，中间表示 j12 的取值被两条三角不等式链（j1j2 链与 j3j4 链）共同夹出，取值个数就是缠结空间的维数——也是顶点振幅里需要求和的通道数。
# 4 价顶点的缠结空间维数枚举: 顶点振幅求和通道数的组合账 def dim_intertwiner(j1, j2, j3, j4): n = 0 j12 = abs(j1 - j2) while j12 <= j1 + j2 + 1e-9: if abs(j3 - j4) - 1e-9 <= j12 <= j3 + j4 + 1e-9: n += 1 j12 += 1 return n for labels in [(0, 0, 0, 0), (0.5, 0.5, 0.5, 0.5), (1, 0, 1, 0), (1, 1, 1, 1), (2, 1, 1, 0), (3, 1, 2, 2)]: d = dim_intertwiner(*labels) print(f"边界标签 {labels}: 缠结空间维数 = {d}") # 输出: # 边界标签 (0, 0, 0, 0): 缠结空间维数 = 1 # 边界标签 (0.5, 0.5, 0.5, 0.5): 缠结空间维数 = 2 # 边界标签 (1, 0, 1, 0): 缠结空间维数 = 1 # 边界标签 (1, 1, 1, 1): 缠结空间维数 = 3 # 边界标签 (2, 1, 1, 0): 缠结空间维数 = 1 # 边界标签 (3, 1, 2, 2): 缠结空间维数 = 3
枚举读出三条规律：其一，维数随自旋整体增长——全 1/2 边界已有两个重耦通道，全 1 边界三个；其二，维数由三角不等式的"夹持"决定而非自旋大小单独决定，(2,1,1,0) 这类不对称边界只剩一个通道；其三，无自旋边界退化为单通道。这笔账的用途在 4.5：数值自旋泡沫的计算量正比于各顶点缠结维数的乘积，截断自旋每翻一倍，求和空间按多项式扩张——"大自旋算不动"的组合根源在此，而不在单个顶点振幅的复杂度。4.3 构造 EPRL 振幅时，这个求和通道数会以面标签求和的形式原样出现。
本节要点回顾
- 构件三件套：面带自旋（继承自旋网络的边标签）、边带重耦维数、顶点带振幅；总振幅按构件连乘再对标签求和。
- 对偶身份：顶边面对应四单形、三角形、棱；大自旋极限下自旋翻译成长度——组合对象与几何对象由同一套标签缝合。
- 计数纪律：对偶 2-骨架不是闭合曲面，欧拉关系必须按完整胞腔账目核对。
- 张量网络身份：顶点是多重不变张量，配分函数是网络收缩——与量子多体及全息语言互通。
构件图纸齐了，4.3 装配主流机型：从 BF 理论到 EPRL 的完整构造链。