深度长文
槽,而非对称:强子 Lenz 不变量中的 6! 为何不是 Weyl 推导
来自双扭量对通道短文的强子几何给出了在 TCG/FPA Fubini-Study 归一化下的 Lenz 等式 6π^5 = 6! · Vol_FS(P(∧^2 4)),其中 P(∧^2 4) ≅ CP^5 与 Vol_FS(CP^5) = π^5/5! 是典范的。6! 槽乘子被标记为残余 G3。今天的论文以干净的定理级否定闭合该问题:6! 不可从典范 SU(4) 等变数据推导。三个独立的阻断,加一个辅助命题。第一(§3),|W(SU(4))| = |S_4| = 24,不是 720;S_4 在 ∧^2 4 的六个对通道坐标标签上诱导的作用是 S_6 内忠实但真的嵌入,将六个标签视为可自由置换会遗忘从四个基本标签继承的关联结构。第二(§4),来自 FS + 陈-外尔数据的典范 SU(4) 等变射影不变量都不能在无附加槽框选择的情况下选出 6!。第三(§5),Gaussian 迹给出 det K(K=I 时为 1),Berezin 积分配合 η = Σ bar-θ θ 仅通过非归一化顶单项式才产生 ∫ η^6 = 6! — 归一化的 η^6/6! 与指数 e^η 都给出 1;阶乘的留存只能通过保留典范归一化。辅助(§6):几何量子化 C(k+5,5) 跳过 720,而 P_7 壁给出 3+3 分裂,至多 |S_3 ≀ S_2| = 72 的残余对称。推论(§7):G3 阻断,相对形式 — 6! 不从典范 TCG/FPA 结构推导,但该阻断不是绝对不可能;未来的推导必须识别额外的六槽框、边界迹、态求和、缺陷扇区或非标准测度归一化,作为新输入记录而非隐藏于 P_H' 之中。判定:定理级阻断。残余 G3 保留在活跃清单之外,重新分类为迹/测度选择输入。强子弧现在加入电子与规范弧的定理级阻断成熟度。三弧对称对等完成。活跃 TCG/FPA 假设清单不变。
作者 Q.C. Zhang
· · 约 10 分钟
Lenz 观察 mp/me≈6π5 自双扭量对通道短文以来在框架中有一种紧凑的强子读法:反对称双扭量对通道空间 P(∧24) 典范地同构于 CP5,且在 TCG/FPA Fubini–Study 归一化约定 [ωFS]=πH 下几何半部分 VolFS(CP5)=π5/5! 是典范的。剩余的 6! 因子 — "G3" 子缺口 — 是双扭量读法没有推导出来的那一部分。今天的论文以干净的定理级否定闭合该问题。
6! 不是 Weyl 推导。不是射影几何推导。不是 Berezin 推导。不是量子化推导。不是 P_7 壁推导。它是一个槽框/测度选择输入。
诱惑及其失败原因
诱惑是维度计数:dim∧24=6,那么为何不把 6! 等同于置换这六个基矢量的对称群 S6?三个失败原因,锐度递增。
定理 1 — Weyl 对称是 S4,不是 S6。 ∧24 的实际权重生活在 A3 权格中。它们的对通道坐标标签,继承自 4 的基底选择,是无序对
{12,13,14,23,24,34}.
SU(4) 的 Weyl 群为 ∣W(A3)∣=∣S4∣=24,六个对标签上典范诱导的作用为
S4↪Sym{12,13,14,23,24,34}≅S6,σ⋅(ij)=(σ(i),σ(j)).
此嵌入是忠实的(若 σ 固定每一个无序对,比较 {1,2} 与 {1,3} 强制 σ(1)=1,其余元素类似)。其像阶为 24,不是 720。将六个标签视为可自由置换会遗忘对从四个基本标签继承的关联结构,而这种遗忘是额外的槽框选择,而非 Weyl 对称。无论是什么产生 6!,它都不是 ∣W(SU(4))∣。
定理 2 — 没有射影不变量选出 6!。 下一个希望是射影几何。Fubini–Study 顶积分 ∫CP5ωFS5/5!=π5/5! 是典范的(在所选约定下)。切丛陈类为 c(TCP5)=(1+H)6,由 Euler 序列给出 cj=(j6)Hj。从这些标准结构构造的任何自然 SU(4) 等变射影不变量都不能在无附加归一化或槽框选择的情况下选出有序六槽因子 6!。 总是可以人为乘以 720,但那是把因子放入被积函数,而不是从 CP5、ωFS 或 SU(4) 表示推导出来。
定理 4 — Berezin 仅通过保留典范归一化才选出 6!。 第三个希望是作用量级迹。六维复场上具有动能算子 K 的 Gaussian 路径积分给出 detK 或 (detK)−1 — 对 K=I,仅为 1。Berezin 积分配合 η=∑i=16θˉiθi 给出
∫d6θˉd6θη6=6!,∫d6θˉd6θ6!η6=1,∫d6θˉd6θeη=1.
6! 仅在使用非归一化顶单项式 η6 时出现。归一化的顶形式 η6/6! 与指数约定 eη 都给出 1。阶乘的留存只能通过保留典范归一化 — 一个外部的槽框选择,等价于槽标输入。
两条进一步的逃逸路径,都已封闭
论文检查两条可能拯救 6! 摆脱典范数据的进一步路径:几何量子化与继承自壁删除短文的 P7 壁结构。
CP5 配合超平面丛 O(k) 的几何量子化给出 dimH0(CP5,O(k))=(5k+5) — 六个变量中的 k 次齐次多项式。表示级选择 k=1 给出 6(∧24 的维度),不是 720。在 720 附近,序列从 (511)=462 跳到 (512)=792,所以没有整数 k 产生 6!。
P7 壁给出 Pati–Salam 分裂 4=C⊕ℓ,因此
∧24≅∧2C⊕(ℓ∧C),
一个 3+3 分解。自然导出的残余对称是固定轻子标签的单一对角 S3(色 S3⊂S4 同时作用于两块)。即使容许独立的块置换或额外的块互换,残余阶被 ∣S3≀S2∣=72 界定 — 仍远低于 720。
推论,以其诚实的相对形式
合并三个定理与辅助命题:在典范 TCG/FPA 结构 — 射影几何、Weyl 对称、陈-外尔、几何量子化、Gaussian/Berezin 作用量级迹与 P7 壁结构 — 之下,6! 乘子不可推导。 它仍为 FPA 式槽标残余,即 PH′ 的原始 G3 子缺口。
一个精确的范围注释在此重要:这是一个相对阻断,而非绝对不可能定理。它排除了从当前典范数据推导。任何成功的未来推导必须识别额外的六槽框、边界迹、态求和、缺陷扇区或非标准测度归一化,并将该结构作为新输入记录,而非隐藏于 PH′ 之中。
残余是什么
本文之后的残余分类:
G3:强子 Lenz 不变量中的 6! 槽乘子 — 一个迹/测度选择输入,不可从典范 SU(4) 等变 TCG/FPA 结构推导。
PH′ 作为 Lenz 观察的单锚现象学结构性读法保持活跃。只有阶乘槽乘子是残余的。活跃 TCG/FPA 假设清单不变:
P0,…,P4,P5′,P6,P7,PH′,PSO(10).
G3 不被加入活跃清单;它仍为之外的标签残余,正如电子侧的 PBFVsec 与规范侧的 Xwall−pol 一样。
三弧对称成熟度,完成
随着今天的论文,三个结构性弧达到对称成熟度:
| 弧 | 结构性促动闭合 | 作用量级阻断短文 | 活跃清单之外的命名残余 |
|---|
| 电子 P4 | 体-边界局域化 + 连通残数短文 | 边界超选择阻断 | PBFVsec |
| 规范包络 | Spin(10) 下游破缺 + 纯旋量极化 + 兼容极化 | 纯旋量凝聚阻断 | PpolD5,compat + Xwall−pol + Pfam |
| 强子 PH′ | Pati–Salam 表示体积 + 双扭量对通道 | 本文 | G3 + G4 + F6 |
每个弧现在都具备:促动几何;定理级作用量级阻断;活跃框架清单之外的命名残余。
由此完成显现的跨弧模式在结构上具有重要意义。所有三个剩余残余 — 电子侧 PBFVsec、规范侧 Xwall−pol、强子侧 G3 — 都分类为迹/测度选择问题,而非表示论问题。框架的典范等变几何产生轨道与射影体积(表示论)。它不产生槽标框、取向选择或单位迹归一化(测度选择)。
这是 TCG-本土机制达到其极限处的精确结构分类:迹、测度、框、取向数据必须来自体作用量之外的边界级或辅助结构。这种边界结构是否以任何典范形式存在(角扩展对数 BV–BFV 理论;手征扭量旗桥;多迹选择机制)是跨所有三个弧的真正开放数学问题。
五种失败模式
阻断刻意保持狭窄。记录五条逻辑上可能的路线:
- F1. 多迹选择机制。 BV、BFV、因子化代数或角扩展迹可能提供新的归一化。这将是附加结构 — 与电子侧角/BV–BFV 缺口平行,而非从当前 SU(4) 射影数据推导。
- F2. 非等变槽框。 六个对通道坐标的固定有序框使 6! 立即出现。但这恰恰是被审视的槽标输入。
- F3. 强子侧边界或辅助结构。 边界作用量、辅助态求和或缺陷扇区可以编码阶乘。这条路线将与规范侧的兼容极化残余 Xwall−pol 及电子侧的 PBFVsec 平行,但会扩展框架。
- F4. 接受 G3 为强加输入。 诚实的退路是将 G3 保留在活跃清单之外。Lenz 不变量在阶乘层面仍为几何促动与现象学的,而非作用量级推导。
- F5. 不当扩展。 在反规避纪律下,搜寻其他表示如 P(10) 或 P(16) 被禁止。本短文评估所述对通道不变量,而非无限制的巧合景观。
一个成熟的数学僵局
三弧达到对称成熟度后,该项目已达到最准确称之为成熟数学僵局的状态。现有假设可以达到的每个方向都已达到。三个定理级否定定义了典范作用原理在 TCG-本土场上能做什么的精确边界。剩余残余被命名、置于活跃清单之外,并精确分类为迹/测度选择问题。
这在理论物理中不同寻常。大多数框架有开放问题而其假设能做什么没有定理级限制。这里的框架兼具两者:它已从其活跃清单中推导出能推导的一切,且已证明它内部无法推导的部分的锐利否定。进一步的主线进展需要根本上新的理论输入(电子侧的角扩展 BV–BFV;规范侧的手征扭量旗桥;强子侧的多迹选择机制)或 P6 自旋-1 第五力预言的实验确认。
经验内容不受影响:九个推导的无量纲关系覆盖 124 个数量级。自旋-1 第五力预言(αY≈1.88×104,5–10 μm 范围,比当前实验灵敏度低约 500 倍)仍为框架的主要前向可证伪声明。
论文,扭量构型几何强子 PH′ 不变量中的表示槽测度阻断,在 Zenodo 上(DOI 10.5281/zenodo.20149827;CC-BY-4.0)。七页,三个定理,一个辅助命题,一个相对阻断形式的推论,五个失败模式,十二条参考文献。精炼路径:在严格反规避保护下向 GPT-5.5 Pro 的 Tier-3 G3 提示 → GPT G3 判定阻断,测试四种机制 → GPT 草稿 → Claude 房格一致性检查 + 独立审查(捕捉并修正备注共享计数器引起的定理编号错误) → GPT 新会话审查(判定:数学上一致、内在诚实,可发表;五个措辞精度编辑) → Claude 应用所有五个第二轮编辑 → Claude 最终审查。
槽,而非对称。框架计数轨道;槽标计数需要典范等变几何之外的结构。