Interpretable Analytic Calabi-Yau Metrics via Symbolic Distillation

技术摘要：通过符号蒸馏实现可解释的解析 Calabi–Yau 度规

问题陈述
本文旨在解决获取紧凑、解析形式的 Ricci 平坦 Calabi–Yau (CY) 度规的挑战。虽然 Yau 定理保证了此类度规的存在性，但并未提供闭式公式。目前的数值方法（如 Donaldson 的平衡度规程序）虽然能产生高精度的近似，但生成的是大型代数对象（例如 $H$-矩阵），而非具有结构性和可解释性的公式。作者关注的是从度规中导出的一个具有特定几何意义的标量可观测量：逐点对数行列式比值 $R_\psi(z) = \log(\det g_{RF}(z; \psi) / \det g_{FS})$。该可观测量衡量了 Ricci 平坦度规相对于 Fubini–Study 基准的偏差。核心问题在于：该标量场是否可以用少量的射影不变量进行紧凑描述，以及这种描述在复结构模空间（moduli）变化时是否保持稳定。

研究方法
作者采用了一种“符号蒸馏”策略，将高精度数值解视为“教师”，并将其压缩为稀疏的符号公式。

1. 代数教师构建：

   • 研究聚焦于 Dwork 五次型族，其定义为 $\sum z_i^5 - 5\psi \prod z_i = 0$。
   • 实现了多项式次数 $k=10$（基底大小为 875）的 Donaldson 平衡度规算法，以生成代数教师度规 ($g_{alg}$)。
   • 使用 Ricci 平坦度指示器 $\sigma(\eta)$——即 $\eta = \det(g) |\Omega|^2 / \det(g_{FS})$ 的标准差——来验证教师模型。在 Fermat 点 ($\psi=0$)，$\sigma \approx 0.65\%$，表明近似质量很高。在形变点 ($\psi \in [0.2, 0.8]$)，$\sigma \approx 8\text{-}9\%$，作为局部探索性教师。
   • 通过随机复直线与五次型的交点采样生成数据，并归一化至 $\sum |z_i|^2 = 1$。

2. 受限特征空间：

   • 作者并未使用完整的全不变量代数，而是将回归限制在坐标模 $|z_i|^2$ 的置换对称函数中。
   • 候选特征集由幂和 $p_k = \sum |z_i|^{2k}$ 和初等对称多项式 $e_k$ 组成。
   • 研究特别测试了两个最低阶非平凡生成元 $p_2$ 和 $\sigma_3 = e_3$ 的充分性。

3. 符号回归：

   • 使用 PySR 库搜索将 $(p_2, \sigma_3)$ 映射到目标 $R_\psi$ 的紧凑公式。
   • 搜索空间包括标准的算术运算符、对数和平方根。
   • 模型选择采用平衡损失与复杂度的 Pareto 准则。

核心贡献与结果

1. 可观测量的近二维特性：

   • 消融研究： 在受限的对称特征类中，可观测量 $R_\psi$ 几乎完全由两个坐标 $p_2$ 和 $\sigma_3$ 捕获。
   • 在 3 次多项式模型中加入更高阶的对称生成元（$e_4, e_5, p_3, \dots$）时，留出测试集的 $R^2$ 提升极小（从 $0.9447$增加到$0.9453$）。
   • 这表明在该特定特征类内，该可观测量实际上是二维的。

2. 有理骨架（Rational Scaffold）的发现：

   • 虽然低阶多项式在 $R^2 \approx 0.944$ 处趋于饱和，但符号回归识别出了一个五项有理多项式骨架，实现了留出测试集 $R^2 = 0.998$（RMSE = 0.0205）。
   • 其代表形式为：
     $$\log\left(\frac{\det g_{alg}}{\det g_{FS}}\right) \approx c_0 + c_1 \frac{1}{p_2^2} + c_2 \frac{\sigma_3}{p_2^3} + c_3 p_2 + c_4 \sigma_3$$
   • 反幂项（$1/p_2^n$）至关重要；移除这些项会导致性能下降，且它们出现在 100% 的独立回归运行中。这些项在流形上是有界的（$p_2 \ge 1/5$），可能编码了极端坐标行为。

3. 模稳定性与重拟合：

   • 所发现的骨架函数形式在模范围 $\psi \in [0, 0.8]$ 内保持有效。
   • 通过固定在 $\psi=0$ 时发现的函数形式，并在每个新的 $\psi$ 下仅通过最小二乘法重拟合五个标量系数，该模型在整个范围内保持 $R^2 \ge 0.947$。
   • 系数变化平滑，$c_1$ 单调递减，而 $c_2$ 在 $\psi=0.6$ 与 $0.8$ 之间改变符号。

4. 鲁棒性检查：

   • 多种子验证： 10 次独立的回归运行一致地恢复了 $(p_2, \sigma_3)$ 对，平均 $R^2 = 0.997$。
   • 跨 $k$ 验证： 基于 $k=10$ 数据训练的骨架在经过偏移修正后，能泛化至 $k=6$ 和 $k=8$ 的教师模型，表明该形式反映了可观测量的结构而非有限 $k$ 的人工痕迹。
   • 置换测试： 打乱 $p_2$ 或 $\sigma_3$ 会导致 $R^2$ 降至负值，证实了它们的预测必要性。

意义与范畴
本文声称其贡献在于结构性而非求解器层面。它并未提供完整 Ricci 平坦度规或 Kähler 势的闭式公式，而是证明了对于特定的可观测量 $R_\psi$，Dwork 五次型的复杂几何可以被压缩进一个紧凑、可解释的有理表达式中，且仅涉及两个对称不变量。

• 可解释性： 生成的公式足够小，可以逐项检查，从而提供了关于度规偏差如何随坐标分布（$p_2$）及三向相关性（$\sigma_3$）缩放的见解。
• 效率： 一旦建立骨架，评估该可观测量的速度比直接进行 Donaldson $H$-矩阵计算快 $10,000$ 倍。
• 局限性： 结果受限于用于蒸馏的有限 $k$ 教师模型。作者明确指出，他们并不声称 Ricci 平坦度规本身是二维的，也未针对需要完整度规张量的度规敏感物理量（如曲率积分或物理 Yukawa 耦合）进行验证。全纯 Yukawa 耦合 $\kappa_{111}=5$ 仅作为归一化检查被复现，而非作为度规敏感性的验证。

总之，这项工作确立了对于 Dwork 系族，一个特定的度规衍生标量可观测量在受限的对称特征空间内，存在着高度紧凑、稳定且可解释的符号描述，弥补了数值精度与结构理解之间的鸿沟。