Interpretable Analytic Calabi-Yau Metrics via Symbolic Distillation

技術要約：記号的蒸留による解釈可能な解析的カラビ–ヤウ計量

問題提起
本論文は、コンパクトで解析的な記述を持つリッチ平坦なカラビ–ヤウ（CY）計量を得ることの困難さに対処している。ヤウの定理はこのような計量の存在を保証しているが、閉形式の公式を提供するものではない。ドナルドソンの「バランスト・メトリック・プログラム」などの現在の数値的手法は、正確な近似を実現するものの、構造的かつ解釈可能な公式ではなく、巨大な代数的対象（例：$H$-行列）をもたらしてしまう。著者らは、この計量から導出される、幾何学的に意味のある特定のスカラ観測量、すなわち点逐次的な対数行列式比 $R_\psi(z) = \log(\det g_{RF}(z; \psi) / \det g_{FS}(z))$ に焦点を当てている。この観測量は、リッチ平坦計量とフビニ–スティディ・ベースラインとの偏差を測定するものである。中心となる問いは、このスカラ場が少数の射影不変量を用いてコンパクトに記述できるか、そしてそのような記述が複素構造のモジュライに対して安定しているか、という点である。

手法
著者らは、「高精度な数値解を教師とし、それを疎な記号的公式へと圧縮する」という「記号的蒸留（symbolic distillation）」戦略を採用している。

1. 代数的教師の構築:

   • 研究は、$\sum z_i^5 - 5\psi \prod z_i = 0$ で定義されるドワーク・クインティック族に焦点を当てている。
   • 代数的教師計量 $g_{alg}$ を生成するために、多項式次数 $k=10$（基底サイズ 875）でドナルドソンのバランスト・メトリック・アルゴリズムを実装した。
   • 教師の妥当性を検証するために、「リッチ平坦性指標」$\sigma(\eta)$（$\eta = \det(g) |\Omega|^2 / \det(g_{FS})$ の標準偏差）を用いた。フェルマー点（$\psi=0$）において $\sigma \approx 0.65\%$ であり、高品質な近似であることを示している。変形された点（$\psi \in [0.2, 0.8]$）では $\sigma \approx 8\text{--}9\%$ であり、これらは局所的な探索的教師として機能する。
   • データは、ランダムな複素直線との交点によるクインティック上での $10^5$ 個の点のサンプリングによって生成され、$\sum |z_i|^2 = 1$ に正規化されている。

2. 制限された特徴空間:

   • 完全な不変代数を用いる代わりに、座標の絶対値のべき乗 $|z_i|^2$ に関する置換対称関数に回帰を制限している。
   • 候補となる特徴集合は、べき乗和 $p_k = \sum |z_i|^{2k}$ および基本対称多項式 $e_k$ で構成される。
   • 本研究では、特に最も次数の低い非自明な生成子である $p_2$ と $\sigma_3 = e_3$ の十分性を検証している。

3. 記号回帰（Symbolic Regression）:

   • PySR ライブラリを使用して、$(p_2, \sigma_3)$ からターゲット $R_\psi$ へのコンパクトな公式を探索する。
   • 探索空間には、標準的な算術演算子、対数、および平方根が含まれる。
   • モデル選択には、損失と複雑さのバランスを取るパレート基準を用いる。

主な貢献と結果

1. 観測量の準二次元性:

   • アブレーション研究: 制限された対称特徴クラス内において、観測量 $R_\psi$ はほぼ完全に $p_2$ と $\sigma_3$ という 2 つの座標によって捉えられている。
   • 次数 3 の多項式モデルに高次の対称生成子（$e_4, e_5, p_3, \dots$）を追加しても、ホールドアウト・テストの $R^2$ は増加は極めてわずか（$0.9447$から$0.9453$へ、$10^{-3}$ 未満）であった。
   • これは、この特定の特徴クラス内において、観測量が実質的に二次元であることを示唆している。

2. 有理的スキャフォールド（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$ において最小二乗法を用いて 5 つのスカラー係数のみを再適合させることで、モデルは全範囲にわたって $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$ が負の値に低下し、それらの予測的必要性が確認された。

意義と範囲
本論文は、構造的な貢献（ソルバー・レベルの貢献ではない）を主張している。著者らは、リッチ平坦な完全な計量やケーラー・ポテンシャルの閉形式の公式を提供しているわけではない。代わりに、特定の観測量 $R_\psi$ について、ドワーク・クインティックの複雑な幾何学が、わずか 2 つの対称不変量を用いたコンパクトで解釈可能な有理式へと圧縮可能であることを示した。

• 解釈可能性: 得られた公式は、項ごとに検査できるほど小さく、座標の分布（$p_2$）と三者間の相関（$\sigma_3$）に対して、計量の偏差がどのようにスケールするかについての洞察を与える。
• 効率性: スキャフォールドが確立されれば、観測量の評価は直接的なドナルドソン $H$-行列の評価よりも 10,000 倍高速である。
• 限界: 結果は、蒸留に使用された有限の $k$ の教師に依存している。著者らは、リッチ平坦な計量そのものが二次元であるとは主張しておらず、また、完全な計量を必要とする計量感受的な物理量（曲率積分や物理的ユカワ結合など）に対する検証も行っていない。ホロモーフィック・ユカワ結合 $\kappa_{111}=5$ は、正規化のチェックとしてのみ再現されており、計量感受的な検証ではない。

要約すると、本研究は、ドワーク族における特定の計量由来のスカラー観測量が、制限された対称特徴空間内で、非常にコンパクトで安定し、かつ解釈可能な記号的記述を持つことを確立しており、数値的な精度と構造的な理解の間の溝を埋めるものである。