Interpretable Analytic Calabi-Yau Metrics via Symbolic Distillation

Technische Samenvatting: Interpreteerbare Analytische Calabi–Yau Metrieken via Symbolische Distillatie

Probleemstelling
Het artikel adresseert de uitdaging om compacte, analytische beschrijvingen te verkrijgen van Ricci-vlakke Calabi–Yau (CY) metrieken. Hoewel de stelling van Yau de existentie van dergelijke metrieken garandeert, levert deze geen gesloten vorm-formules. Huidige numerieke benaderingen, zoals Donaldson's gebalanceerde-metriekprogramma, leveren weliswaar nauwkeurige benaderingen, maar resulteren in grote algebraïsche objecten (bijv. $H$-matrices) in plaats van structurele, interpreteerbare formules. De auteurs richten zich op een specifieke, geometrisch betekenisvolle scalaire observabele afgeleid van de metriek: de puntgewijze log-determinant-ratio, $R_\psi(z) = \log(\det g_{RF}(z; \psi) / \det g_{FS})$. Deze observabele meet de afwijking van de Ricci-vlakke metriek ten opzichte van de Fubini–Study-baseline. De centrale vraag is of een dergelijke scalaire veld compact beschreven kan worden met behulp van een klein aantal projectieve invarianten en of een dergelijke beschrijving stabiel blijft over de complexe-structuur moduli.

Methodologie
De auteurs hanteren een strategie van "symbolische distillatie", waarbij een hoogwaardige numerieke oplossing wordt behandeld als een leraar ("teacher") en wordt gecomprimeerd tot een ijle (sparse) symbolische formule.

1. Constructie van de Algebraïsche Leraar:

   • De studie richt zich op de Dwork-quintiek familie, gedefinieerd door $\sum z_i^5 - 5\psi \prod z_i = 0$.
   • Donaldson's gebalanceerde-metriekalgoritme is geïmplementeerd bij een polynoomgraad $k=10$ (basisgrootte 875) om een algebraïsche leraar-metriek ($g_{alg}$) te genereren.
   • De "Ricci-vlakheid-indicator" $\sigma(\eta)$, de standaarddeviatie van $\eta = \det(g) |\Omega|^2 / \det(g_{FS})$, wordt gebruikt om de leraar te valideren. Bij het Fermat-punt ($\psi=0$) is $\sigma \approx 0,65\%$, wat duidt op een hoogwaardige benadering. Bij gedeformeerde punten ($\psi \in [0,2, 0,8]$) is $\sigma \approx 8-9\%$, wat dient als lokale exploratieve leraren.
   • Data wordt gegenereerd door $10^5$ punten op de quintiek te bemonsteren via intersectie met willekeurige complexe lijnen, genormaliseerd naar $\sum |z_i|^2 = 1$.

2. Beperkte Feature-ruimte:

   • In plaats van de volledige invariante algebra te gebruiken, beperken de auteurs de regressie tot permutatie-symmetrische functies van de coördinaatmoduli $|z_i|^2$.
   • De kandidaat feature-set bestaat uit machtssommen $p_k = \sum |z_i|^{2k}$ en elementaire symmetrische polynomen $e_k$.
   • De studie test specifiek de voldoendeheid van de twee laagste-orde niet-triviale generatoren: $p_2$ en $\sigma_3 = e_3$.

3. Symbolische Regressie:

   • De PySR-bibliotheek wordt gebruikt om te zoeken naar compacte formules die $(p_2, \sigma_3)$ mappen naar de doelvariabele $R_\psi$.
   • De zoekruimte bevat standaard rekenkundige operatoren, logaritmen en vierkantswortels.
   • Modelselectie gebruikt een Pareto-criterium dat de balans zoekt tussen verlies (loss) en complexiteit.

Belangrijkste Bijdragen en Resultaten

1. Bijna-tweedimensionaliteit van de Observabele:

   • Ablatie-studies: Binnen de beperkte symmetrische feature-klasse wordt de observabele $R_\psi$ bijna volledig gevangen door slechts twee coördinaten, $p_2$ en $\sigma_3$.
   • Het toevoegen van hogere-orde symmetrische generatoren ($e_4, e_5, p_3, \dots$) aan een graad-3 polynoommodel verhoogt de helden-gehouden test $R^2$ met minder dan $10^{-3}$ (van $0,9447$ naar $0,9453$).
   • Dit suggereert dat de observabele binnen deze specifieke feature-klasse effectief tweedimensionaal is.

2. Ontdekking van een Rationaal Steigerwerk (Scaffold):

   • Terwijl laag-graads polynomen verzadigen bij $R^2 \approx 0,944$, identificeert symbolische regressie een vijftermen rationaal-polynomiaal steigerwerk dat een helden-gehouden test $R^2 = 0,998$ (RMSE = 0,0205) bereikt.
   • De representatieve vorm is:
     $$\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$$
   • De invers-macht termen ($1/p_2^n$) zijn cruciaal; het verwijderen ervan verslechtert de prestaties, en ze verschijnen in 100% van de onafhankelijke regressieruns. Deze termen zijn begrensd op het manifold ($p_2 \ge 1/5$) en coderen waarschijnlijk het gedrag bij extreme coördinaten.

3. Moduli-stabiliteit en Refitting:

   • De functionele vorm van het steigerwerk blijft geldig over het moduli-bereik $\psi \in [0, 0,8]$.
   • Door de bij $\psi=0$ ontdekte functionele vorm vast te houden en enkel de vijf scalaire coëfficiënten te herfitten via kleinste-kwadratenmethode bij elk nieuw $\psi$, behoudt het model een $R^2 \ge 0,947$ over het gehele bereik.
   • De coëfficiënten variëren vloeiend, waarbij $c_1$ monotoon afneemt en $c_2$ van teken verandt tussen $\psi=0,6$ en $0,8$.

4. Robuustheidscontroles:

   • Multi-seed validatie: 10 onafhankelijke regressieruns herstellen consistent de $(p_2, \sigma_3)$ paren met een gemiddelde $R^2 = 0,997$.
   • Cross-$k$ validatie: Het steigerwerk getraind op $k=10$ data generaliseert naar $k=6$ en $k=8$ leraren (na correctie van de offset), wat suggereert dat de vorm de structuur van de observabele reflecteert in plaats van artefacten van de eindige $k$.
   • Permutatietests: Het husselen van $p_2$ of $\sigma_3$ zorgt ervoor dat $R^2$ naar negatieve waarden daalt, wat de voorspellende noodzaak van deze variabelen bevestigt.

Betekenis en Omvang
Het artikel claimt een structurele in plaats van een solver-niveau bijdrage. Het levert geen gesloten vorm-formule voor de volledige Ricci-vlakke metriek of Kähler-potentiaal. In plaats daarvan demonstreert het dat voor de specifieke observabele $R_\psi$, de complexe geometrie van de Dwork-quintiek gecomprimeerd kan worden in een compacte, interpreteerbare rationale expressie die slechts twee symmetrische invarianten bevat.

• Interpreteerbaarheid: De resulterende formule is klein genoeg om term voor term te inspecteren, wat inzicht biedt in hoe de metriek-afwijking schaalt met de coördinatenverdeling ($p_2$) en drie-weg correlaties ($\sigma_3$).
• Efficiëntie: Zodra het steigerwerk is vastgesteld, is het evalueren van de observabele $10.000\times$ sneller dan een directe Donaldson $H$-matrix evaluatie.
• Beperkingen: De resultaten zijn begrensd door de gebruikte eindige-$k$ leraar voor de distillatie. De auteurs geven expliciet aan dat zij niet beweren dat de exacte Ricci-vlakke metriek tweedimensionaal is, noch hebben zij het model gevalideerd tegen metriek-gevoelige fysieke grootheden (zoals kromming-integralen of fysieke Yukawa-koppelingen), die de volledige metriek-tensor vereisen. De holomorfe Yukawa-koppeling $\kappa_{111}=5$ wordt enkel gereproduceerd als normalisatiecheck, niet als metriek-gevoelige validatie.

Samenvattend stelt dit werk vast dat een specifieke metriek-afgeleide scalaire observabele op de Dwork-familie een zeer compacte, stabiele en interpreteerbare symbolische beschrijving toelaat binnen een beperkte symmetrische feature-ruimte, waarmee de kloof tussen numerieke nauwkeurigheid en structureel begrip voor die specifieke observabele wordt overbrugd.