DAEDALUS:把数字命理与物理区分开的引擎

1951 年,物理学家弗里德里希·伦茨给《物理评论》写了一封两句话的短信,提到一个观察:质子与电子的质量比几乎正好等于 $6\pi^5$。没有理论,没有推导,只有这个数字事实。七十五年过去了,没人从基本原理推出过它。但它并不孤单。

爱丁顿晚年试图把 $1/\alpha$ 从整数 137 推导出来。狄拉克提出了”大数假说”,把引力比与电磁比通过随时间变化的 $G$ 联系起来 — 这一假说被五十年的地质证据证伪。许多作者注意到 $1/\alpha \approx 137.036$ 接近 $\pi + \pi^2 + 4\pi^3$,$m_p/m_e$ 接近 $6\pi^5$,普朗克单位下的宇宙学常数接近 $\alpha^4(m_e/m_{\rm Pl})^5$ — 这样的”巧合”清单可以无限延长。

这类工作有个名字:数字命理 (numerology)。在专业物理学家中间,这个词是一种侮辱。

异议不在于这些规律是否存在。它们 确实 存在。异议在于:没人找到一个有原则的方法,把”这些规律反映深层物理”与”考虑到基本常数那么多、简洁闭式表达那么多,其中一些纯属偶然吻合”区分开。

DAEDALUS — Dimensional Analysis Engine for Discovering Algebraic Links in Underlying Symmetries — 就是一次对这种区分的尝试。它是一个计算工具,系统地搜索基本常数之间的多项式关系,并且 应用明确的滤波器来剔除虚假匹配。

这篇文章记录了引擎做了什么、遇到了什么障碍、以及到目前为止的成绩。

引擎做什么

DAEDALUS 接收两个输入:一个常数列表($\alpha$、$\hbar$、$c$、$G$、$m_e$、$k_B$、$\Lambda$、…),以及一个目标值字典(我们想匹配的物理量)。

引擎然后枚举这些常数的全部无量纲组合 — 每一种排列,带有一组指数,约束在某些范围内。对于每一个组合,它检查是否在数值上匹配字典中的某个目标。

这是字面意义上的暴力穷举。在一个有 17 个常数的数据库上,它产生了 307,900 个原始命中。

如果每一个原始命中都被宣告为发现,这篇论文就是经典数字命理。重点在于,接下来发生了什么。

饱和问题

引擎产生了几十万个命中。即便没有任何深层物理,你也会预期一些数字会偶然吻合。问题是:多少?在何种宽容度下?

我们称之为 饱和问题:朴素的量纲分析产生的”巧合”数量,远远超过任何信号能保留下来的水平。在每一个尺度上,你都能找到表面上简洁的关系 — 只要你愿意调整指数和容差。

如果一个程序可以找到上千个看似惊人的匹配,而其中绝大多数纯属偶然,那么 任何 单独的匹配都没有说服力。这正是为什么 "$137 \approx \pi + \pi^2 + 4\pi^3$" 听起来令人兴奋,但被严肃物理学家 默默 不接受 — 他们隐含地知道,在足够大的搜索空间里,这种事情必然发生。

要避免这一点,你必须做两件事:(1) 缩小搜索空间;(2) 对幸存者施加结构性约束。这就是 DAEDALUS 的两层滤波器要做的。

两层滤波器

(1) 数值滤波器。 限制目标值字典 — 只允许搜索”物理上特权”的目标($\alpha$、$\alpha_G$、$\Lambda$、$m_p/m_e$、$\eta$ 等已知重要的量),而不是 任何 数值。同时限制每个关系中允许出现的常数数量(7 个,而非任意多)。这把搜索空间从天文级别压缩到可处理的级别。

(2) 结构性滤波器。 幸存的候选者必须满足:

• 整数指数(不允许 0.737 之类的”调整”值)
• 物理上有意义的符号结构(质量比为正,等等)
• 与量子场论一致的标准前因子(因子是 $4\pi$、$1/(4\pi)$、$1/4$ 等典型 QFT 因子,而非任意小数)

这第二层是哲学上最有争议的部分。它编码了”哪种关系算合理”的物理先验。我们对此完全坦诚:这些先验本身是 选择,不是从更基本的什么东西推导而来的。换一组先验,会得到一组不同的幸存者。我们认为我们选的这一组是合理的(它们对应于场论原本会预期的那种结构),但这是一个论点,不是一个定理。

应用于 17 常数数据库

引擎在标准 17 常数数据库(电磁、引力、粒子物理)上跑出来:307,900 个原始命中。在数值滤波器之后:几千个。在结构性滤波器之后:每个 7-常数子集只剩 0–3 个特权目标命中。

意思是:在一个朴素分析会产生几十万”惊人巧合”的搜索空间上,具备完整滤波的搜索只产生不到一打信号 — 它们要么在 4 个量级内的精度上吻合实测值,要么不吻合。

那些 不 吻合的也很重要。我们记录了六条系统性的零结果:DAEDALUS 找到的、看起来似乎应该可以匹配某物的关系族,但实际上没有任何在精度上经得起检验。重夸克 Yukawa 不像电子 Yukawa 那样产生整数指数;CKM 角不参与任何幸存的关系;手征对称破缺尺度的结构 不 简单地通过滤波器。

零结果与正面结果同样重要。它们告诉我们引擎在哪里成功、哪里失败 — 这正是任何方法学论文都应该提供的东西。

成绩单

到目前为止,通过 DAEDALUS 发现并发表的关系有 四条($\alpha_G \approx \alpha^8 y_e^5$、$\Lambda$ 公式、$\eta$ 关系、电子 Yukawa 闭式),全部精度优于 1%。它们被独立地报道在各自的论文中。

成绩并不是说”该框架是对的”。它是在说:运行这一具体的滤波协议,在这个具体的常数数据库上,产生了这一具体的幸存者集合,而它们经受得住进一步的尝试性检验(指数稳定性、误差传播、look-elsewhere 修正等)。

任何其他人,只要愿意采纳同一组先验,运行同一个引擎,应该能得到同一组幸存者。这就是这篇方法学论文的全部主张:可重复的、可审计的、明确表达自身假设的搜索协议。

这不是数字命理。但…

把 DAEDALUS 的输出与传统数字命理区分开的,不是它找到了某个特别”漂亮”的公式。是它找到的少数几个公式 通过了 滤波器,而几十万个候选者 没有。

但我们不假装客观性。结构性滤波器编码了我们关于”什么算物理上合理”的判断。一个不同的研究者,带着不同的判断,会得到不同的幸存者。这是诚实的。

研究的下一步 — 由更广泛的扭量构型几何研究计划完成 — 是给这些幸存者一个共同的几何起源。如果九条幸存的关系全部从一个组合空间(彭罗斯扭量空间 $\mathbb{CP}^3$ 上的腔室式紧致化)中读出,那么”为什么这些数字而非其他数字”的问题就有了答案。

但即便没有那个更广阔的框架,这篇方法学论文的贡献是中立而具体的:把”巧合发现”从一个一次性的、不可重复的活动,变成一个有规则、有过滤、有零结果记录的过程。

完整文集发表于 Zenodo,CC-BY-4.0 许可;详见本站十六篇论文清单。