Interpretable Analytic Calabi-Yau Metrics via Symbolic Distillation

Résumé Technique : Métriques de Calabi–Yau Analytiques Interprétables via la Distillation Symbolique

Énoncé du Problème
L'article traite du défi que représente l'obtention de descriptions analytiques compactes des métriques de Calabi–Yau (CY) de Ricci-plates. Bien que le théorème de Yau garantisse l'existence de telles métriques, il ne fournit pas de formules sous forme fermée. Les approches numériques actuelles, telles que le programme des métriques équilibrées de Donaldson, produisent des approximations précises mais aboutissent à des objets algébriques volumineux (par exemple, des matrices $H$) plutôt qu'à des formules structurelles et interprétables. Les auteurs se concentrent sur un observable scalaire géométriquement significatif dérivé de la métrique : le rapport de logarithme de déterminant ponctuel, $R_\psi(z) = \log(\det g_{RF}(z; \psi) / \det g_{FS})$. Cet observable mesure l'écart de la métrique de Ricci-plate par rapport à la base de Fubini–Study. La question centrale est de savoir si ce champ scalaire peut être décrit de manière compacte à l'aide d'un petit nombre d'invariants projectifs et si une telle description reste stable à travers les moduli de structure complexe.

Méthodologie
Les auteurs emploient une stratégie de « distillation symbolique », traitant une solution numérique de haute précision comme un enseignant (« teacher ») pour la compresser en une formule symbolique parcimonieuse.

1. Construction de l'Enseignant Algébrique :

   • L'étude se concentre sur la famille de la quintique de Dwork, définie par $\sum z_i^5 - 5\psi \prod z_i = 0$.
   • L'algorithme de métrique équilibrée de Donaldson est implémenté au degré polynomial $k=10$ (taille de la base 875) pour générer une métrique enseignante algébrique ($g_{alg}$).
   • L'écart-type $\sigma(\eta)$ de l'indicateur de Ricci-plat $\eta = \det(g) |\Omega|^2 / \det(g_{FS})$ est utilisé pour valider l'enseignant. Au point de Fermat ($\psi=0$), $\sigma \approx 0,65\%$, indiquant une approximation de haute qualité. Aux points déformés ($\psi \in [0,2, 0,8]$), $\sigma \approx 8-9\%$, servant d'enseignants exploratoires locaux.
   • Les données sont générées par l'échantillonnage de $10^5$ points sur la quintique via l'intersection avec des droites complexes aléatoires, normalisés à $\sum |z_i|^2 = 1$.

2. Espace de Caractéristiques Restreint :

   • Au lieu d'utiliser l'algèbre complète des invariants, les auteurs restreignent la régression à des fonctions symétriques par permutation des moduli de coordonnées $|z_i|^2$.
   • L'ensemble de caractéristiques candidats consiste en des sommes de puissances $p_k = \sum |z_i|^{2k}$ et des polynômes symétriques élémentaires $e_k$.
   • L'étude teste spécifiquement la suffisance des deux premiers générateurs non triviaux d'ordre inférieur : $p_2$ et $\sigma_3 = e_3$.

3. Régression Symbolique :

   • La bibliothèque PySR est utilisée pour rechercher des formules compactes faisant correspondre $(p_2, \sigma_3)$ à la cible $R_\psi$.
   • L'espace de recherche inclut les opérateurs arithmétiques standards, les logarithmes et les racines carrées.
   • La sélection du modèle utilise un critère de Pareto équilibrant la perte et la complexité.

Contributions Clés et Résultats

1. Near-Two-Dimensionality de l'Observable :

   • Études d'Ablation : Au sein de la classe de caractéristiques symétriques restreinte, l'observable $R_\psi$ est presque entièrement capturé par seulement deux coordonnées, $p_2$ et $\sigma_3$.
   • L'ajout de générateurs symétriques d'ordre supérieur ($e_4, e_5, p_3, \dots$) à un modèle polynomial de degré 3 augmente le $R^2$ de test sur données non vues de moins de $10^{-3}$ (de $0,9447$à$0,9453$).
   • Cela suggère que, dans cette classe de caractéristiques spécifique, l'observable est effectivement bidimensionnel.

2. Découverte d'un Échafaudage Rationnel :

   • Alors que les polynômes de bas degré plafonnent à $R^2 \approx 0,944$, la régression symbolique identifie un échafaudage rationnel-polynomial à cinq termes qui atteint un $R^2$ de test de $0,998$ (RMSE = 0,0205).
   • La forme représentative est :
     $$\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$$
   • Les termes de puissance inverse ($1/p_2^n$) sont critiques ; leur suppression dégrade les performances, et ils apparaissent dans 100 % des exécutions de régression indépendantes. Ces termes sont bornés sur la variété ($p_2 \ge 1/5$) et encodent probablement le comportement des coordonnées extrêmes.

3. Stabilité des Moduli et Réajustement :

   • La forme fonctionnelle de l'échafaudage reste valide sur la plage de moduli $\psi \in [0, 0,8]$.
   • En fixant la forme fonctionnelle découverte à $\psi=0$ et en réajustant uniquement les cinq coefficients scalaires par moindres carrés à chaque nouveau $\psi$, le modèle maintient un $R^2 \ge 0,947$ sur toute la plage.
   • Les coefficients varient de manière fluide, $c_1$ diminuant de façon monotone et $c_2$ changeant de signe entre $\psi=0,6$ et $0,8$.

4. Tests de Robustesse :

   • Validation multi-graines (multi-seed) : 10 exécutions de régression indépendantes récupèrent systématiquement la paire $(p_2, \sigma_3)$ avec un $R^2$ moyen de $0,997$.
   • Validation Cross-$k$ : L'échafaudage entraîné sur des données $k=10$ se généralise aux enseignants $k=6$ et $k=8$ (après correction d'offset), suggérant que la forme reflète la structure de l'observable plutôt que des artefacts liés à un $k$ fini.
   • Tests de permutation : Le mélange de $p_2$ ou $\sigma_3$ fait chuter le $R^2$ à des valeurs négatives, confirmant leur nécessité prédictive.

Signification et Portée
L'article revendique une contribution structurelle plutôt qu'au niveau du solveur. Il ne fournit pas de formule en forme fermée pour la métrique de Ricci-plate complète ou le potentiel de Kähler. Au lieu de cela, il démontre que pour l'observable spécifique $R_\psi$, la géométrie complexe de la quintique de Dwork peut être compressée en une expression rationnelle compacte et interprétable impliquant seulement deux invariants symétriques.

• Interprétabilité : La formule résultante est suffisamment petite pour être inspectée terme par terme, offrant un aperçu de la manière dont l'écart de la métrique évolue avec la distribution des coordonnées ($p_2$) et les corrélations tripartites ($\sigma_3$).
• Efficacité : Une fois l'échafaudage établi, l'évaluation de l'observable est $10\,000$ fois plus rapide que l'évaluation directe de la matrice $H$ de Donaldson.
• Limites : Les résultats sont limités par l'enseignant à $k$ fini utilisé pour la distillation. Les auteurs précisent explicitement qu'ils ne prétendent pas que la métrique de Ricci-plate exacte est bidimensionnelle, ni qu'ils valident le modèle par rapport à des quantités physiques sensibles à la métrique (comme les intégrales de courbure ou les couplages de Yukawa physiques) qui nécessitent le tenseur métrique complet. Le couplage de Yukawa holomorphe $\kappa_{111}=5$ est reproduit uniquement comme une vérification de normalisation, et non comme une validation sensible à la métrique.

En résumé, ce travail établit qu'un observable scalaire spécifique dérivé de la métrique sur la famille de Dwork admet une description symbolique hautement compacte, stable et interprétable au sein d'un espace de caractéristiques symétriques restreint, comblant ainsi le fossé entre la précision numérique et la compréhension structurelle pour cet observable précis.