技术摘要：相干性原则 (The Coherence Principle)

1. 问题陈述

在现代宇宙学和粒子物理学中，贝叶斯模型选择经常面临一个关键的方法论挑战：当经验数据较弱、间接或接近物理边界时，竞争假设之间的后验胜算（posterior odds）会继承一种强烈且往往未被承认的对模型空间先验的依赖。定义这些先验的标准方法——如参考先验（reference priors）、层次先验（hierarchical priors）或对自然性（naturalness）的诉求——要么忽略了相关的理论知识，要么依赖于难以进行操作性定义的标准。

物理学家在日常工作中，通常会根据一个模型与成功背景理论的“验证架构”（如对称性、守恒律、定域性）的结构兼容性来分配先验合理性。然而，这种判断很少被形式化为贝叶斯推断中一个定量且可复现的组成部分。本文指出了这种普遍的物理推理过程与贝叶斯模型选择的严谨要求之间的差距，特别是在贝加因子（Bayes factor）不足以区分不同模型的情况下（例如中微子质量排序、暗能量状态方程）。

2. 方法论：相干性原则

作者提出了相干性原则，这是一种基于成功背景理论的“结构语法”来分配模型先验的通用程序。

2.1 结构语法

该方法首先定义一个背景理论 $T$ 及其语法 $G(T)$，即一组经过验证的结构规则 $\{p_1, p_2, \dots, p_n\}$。这些规则是粗粒度的架构特征，例如：

• 对称性： 规范不变性、洛伦兹不变性、族普遍性（family universality）。
• 时空原理： 定域性、因果律、等效原理。
• 守恒律： 能量、动量、轻子数/重子数。
• 正则性属性： 可重整化性、幺正性、解析性。

至关重要的是，语法不同于具体的拉格朗日量；它代表了在不同重构和极限情况中依然存在的规律。

2.2 相干性代价与先验

对于候选模型 $M$，该方法计算一个相干性代价 $C(M|T)$：
$$C(M|T) = \sum_{i=1}^n w_i \delta_i(M, T)$$
其中：

• $\delta_i(M, T) = 1$ 如果 $M$ 在没有独立动机的情况下违反了原理 $p_i$，否则为 $0$。
• $w_i \geq 0$ 是反映原理经验稳健性的可选权重（默认为 $w_i=1$）。
• “独立动机”必须是经验性的或理论性的，而非审美性的。

相干先验随后通过最大熵指数形式定义：
$$P(M|T) \propto \exp[-\alpha C(M|T)]$$
其中 $\alpha > 0$ 是一个可校准的尺度参数。在最小实现中，$\alpha = 1$，即对于每一次未经动机证实的违反，分配一个惩罚因子 $e^{-1} \approx 0.37$。

2.3 与现有方法的区别

作者明确将相连性原则与以下方法进行了区分：

• 奥卡姆因子（The Occam Factor）： 奥卡姆因子（存在于贝加因子内部）惩罚未使用的参数空间体积。相干性原则则在模型空间层面运作，惩罚与范式发生结构性冲突的模型，且这种惩罚发生在数据分析之前。
• 参考先验（Reference Priors）： 参考先验旨在对外部理论知识保持不可知论。相干性原则则显式地纳入了此类知识，这在数据不足时至关重要。
• 自然性（Naturalness）： 自然性论证通常是尺度相关的且存在反例。相干性原则依赖于明确列出的、可证伪的结构规则，而非单一的定量尺度。

3. 关键应用与结果

论文在多个领域展示了该原则的应用，证明了它能够重现领域内已有的非正式定性排序，并使其定量化和可复现化。

3.1 中微子质量机制

比较统一模型（具有族普遍性的扩展，如 Type-I seesaw）与分离模型（不同族具有不同机制）。

• 结果： 分离模型违反了族普遍性（$C=1$），而统一模型尊重语法（$C=0$）。
• 影响： 当 $\alpha=1$ 时，先验胜算使统一模型获得 $e \approx 2.72$ 的优势。结合现有数据，这使证据从“轶事性”转向“积极性”，从而解决了依赖于先验构建的歧义问题（如正序问题）。

3.2 暗能量与修正引力

广义相对论（GR）的语法 $G(T_{GR})$ 包括广义协变性、等效原理和二阶场方程等原理。

• 结果：
  • 宇宙学常数 ($\Lambda$) 与极小标量场（Minimal Quintence）： 尊重所有规则（$C=0$）。
  • 屏蔽标量-张量理论 ($f(R)$, Horndeski)： 通常需要屏蔽机制以避免违反等效原理；如果屏蔽机制不是自洽的，则 $C \approx 1$。
  • 洛伦兹违背/非定域引力： 违反定域性或洛伦兹不变性（$C \approx 2-3$）。
• DESI 偏好： DESI 数据暗示了幻影穿越（phantom crossing, $w < -1$）。单个极小耦合的标量场在不产生不稳定性（Vikman's no-go）的情况下无法穿越幻影分界线。实现这一点需要额外的自由度或修正引力，这会产生相干性代价（$C \geq 1$）。该先验惩罚了穿越实现的可能，表明数据更倾向于晚期动力学而非真实的幻影穿越。

3.3 暴胀与超越标准模型 (BSM)

• 暴胀： 单场慢滚模型（$C=0$）优于具有可探测的异构性（isocurvature）或非 Bunch-Davies 初态的模型（$C=1$）。
• BSM： 统一扩展（如 MSSM, GUTs）具有 $C=0$。非统一规范耦合（如族依赖的 $Z'$）除非有独立的异常（anomaly）动机，否则违反族普遍性（$C=1$）。

3.4 历史案例研究（溯及检验）

作者通过使用正确的、带有时间戳的语法，在历史性的范式转移上测试了该原则，以验证其是否能支持历史上成功的选择。

• 爱因斯坦 vs. 牛顿：
  • 1905 年前的语法： 基于牛顿力学。广义相对论（GR）违反了绝对时间和伽利略不变性（$C \approx 4$）。该原则会由于该原因而排斥 GR。
  • 1905 年后的语法： 基于狭义相对论（由 1915 年验证）。牛顿引力违反了洛伦兹不变性（$C \geq 2$），而 GR 尊重它（$C \approx 0$）。该原则正确地选择了 GR。
  • 教训： 语法必须针对当前最稳固的已验证理论进行时间戳标记。
• 泡利的中微子 vs. 放弃守恒律：
  • 在 1930 年，数据无法区分是一个新粒子（中微子）还是统计学上的能量守恒失效。
  • “中微子”模型尊重所有守恒律（$C=0$）。“波尔”模型违反了能量、动量和角动量守恒（$C \approx 3$）。
  • 该原则强烈倾向于泡利（$e^3 \approx 20$），尽管当时尚缺乏直接探测手段，却正确预测了历史走向。
• 宇称破坏：
  • 如果使用将宇称守恒作为普遍规则的语法，会产生误判。
  • 解决方法：领域分解语法（domain-resolved grammar）将宇称守恒仅限于强/电磁部门，不对弱相互作用部门施加代价。这里的“失败”源于语法的过度延伸，而非原则本身的失效。
• 狭义相对论 vs. 洛伦兹以太：
  • 在 1905 年，两种理论在经验上是简并的（$B \approx 1$）。
  • 以太理论保留了一个优选参考系（违反了相对性原理，$C=1$）。狭义相对论将该原理提升为公设（$C=0$）。
  • 先验本身就赋予了狭义相对论 $e^1 \approx 2.7$ 的优势，在简并状态下起到了决定性作用。

3.5 符号扩展：相干性红利 (The Coherence Bonus)

作者提出了一个符号扩展，即如果一个模型能够解释一个此前在背景理论中属于未解释巧合的原理（例如，GR 推导出了等效原理，而非仅仅假设它），则可以获得“相干性红利”（负代价）。这进一步强化了先验胜算（例如，使 GR 相比牛顿力学的优势达到 $e^3 \approx 20$）。

4. 意义与主张

论文声称，相干性原则提供了一种可复现、可证伪且透明的方法，用于将理论结构的知识纳入贝叶斯推论中。

• 可复现性： 每一个输入（语法 $G(T)$、权重和指示器）都是显式的，且接受质疑。
• 可证伪性： 先验胜算是有限的，可以被足够强大的数据所推翻。
• 谦逊性： 作者强调，该原则并非要取代似然函数，也不是对奥卡姆因子的重复计算。它不依赖于审美标准（如优雅或美感），除非这些标准能被转化为经经验验证的结构规则。
• 适用范围： 虽然在宇宙学和粒子物理学中进行了说明，但该框架被呈现为一种通用的、受理论启发推断的方法，适用于任何存在已验证理论框架约束其容许扩展空间的领域（如生物学、经济学、气候科学）。

论文总结道，相连性原则将物理学家在非正式场合使用的“对已验证结构规则的信任”，转化为了贝叶斯模型选择中一个常规的、定量的组成部分，这在数据微弱或存在简并性的情形下尤其具有价值。