Interpretable Analytic Calabi-Yau Metrics via Symbolic Distillation

Resumo Técnico: Métricas de Calabi–Yau Analíticas Interpretáveis via Destilação Simbólica

Enunciado do Problema
O artigo aborda o desafio de obter descrições analíticas compactas para métricas de Calabi–Yau (CY) de Ricci-flat (Ricci-nulas). Embora o teorema de Yau garanta a existência de tais métricas, ele não fornece fórmulas em forma fechada. As abordagens numéricas atuais, como o programa de métricas balanceadas de Donaldson, produzem aproximações precisas, mas resultam em objetos algébricos extensos (por exemplo, matrizes $H$) em vez de fórmulas estruturais e interpretáveis. Os autores focam em um observável escalar geometricamente significativo derivado da métrica: a razão do log-determinante pontual, $R_\psi(z) = \log(\det g_{RF}(z; \psi) / \det g_{FS})$. Este observável mede o desvio da métrica Ricci-flat em relação à linha de base Fubini–Study. A questão central é se tal campo escalar pode ser descrito de forma compacta usando um pequeno número de invariantes projetivos e se tal descrição permanece estável através dos módulos de estrutura complexa.

Metodologia
Os autores empregam uma estratégia de "destilação simbólica", tratando uma solução numérica de alta precisão como um "professor" e comprimindo-a em uma fórmula simbólica esparsa.

1. Construção do Professor Algébrico:

   • O estudo foca na família quíntica de Dwork, definida por $\sum z_i^5 - 5\psi \prod z_i = 0$.
   • O algoritmo de métrica balanceada de Donaldson é implementado no grau polinomial $k=10$ (tamanho da base 875) para gerar uma métrica professor algébrica ($g_{alg}$).
   • O "indicador de Ricci-flatness" $\sigma(\eta)$, o desvio padrão de $\eta = \det(g) |\Omega|^2 / \det(g_{FS})$, é usado para validar o professor. No ponto de Fermat ($\psi=0$), $\sigma \approx 0,65\%$, indicando uma aproximação de alta qualidade. Em pontos deformados ($\psi \in [0,2, 0,8]$), $\sigma \approx 8-9\%$, servindo como professores exploratórios locais.
   • Os dados são gerados amostrando $10^5$ pontos na quíntica via interseção com linhas complexas aleatórias, normalizados para $\sum |z_i|^2 = 1$.

2. Espaço de Características Restrito:

   • Em vez de usar toda a álgebra de invariantes, os autores restringem a regressão a funções simétricas de permutação dos módulos das coordenadas $|z_i|^2$.
   • O conjunto de características candidatas consiste em somas de potências $p_k = \sum |z_i|^{2k}$ e polinômios simétricos elementares $e_k$.
   • O estudo testa especificamente a suficiência dos dois geradores não triviais de menor ordem: $p_2$ e $\sigma_3 = e_3$.

3. Regressão Simbólica:

   • A biblioteca PySR é utilizada para buscar fórmulas compactas que mapeiam $(p_2, \sigma_3)$ para o alvo $R_\psi$.
   • O espaço de busca inclui operadores aritméticos padrão, logaritmos e raízes quadradas.
   • A seleção de modelos utiliza um critério de Pareto equilibrando perda e complexidade.

Principais Contribuições e Resultados

1. Quase-Bidimensionalidade do Observável:

   • Estudos de Ablação: Dentro da classe de características simétricas restrita, o observável $R_\psi$ é quase inteiramente capturado por apenas duas coordenadas, $p_2$ e $\sigma_3$.
   • Adicionar geradores simétricos de ordem superior ($e_4, e_5, p_3, \dots$) a um modelo polinomial de grau 3 aumenta o $R^2$ de teste mantido em menos de $10^{-3}$ (de $0,9447$ para $0,9453$).
   • Isso sugere que, dentro desta classe específica de características, o observável é efetivamente bidimensional.

2. Descoberta de um Andaime Racional (Rational Scaffold):

   • Embora polinômios de baixo grau saturem em $R^2 \approx 0,944$, a regressão simbólica identifica um andaime racional-polinomial de cinco termos que atinge um $R^2$ de teste mantido de $0,998$ (RMSE = $0,0205$).
   • A forma representativa é:
     $$\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$$
   • Os termos de potência inversa ($1/p_2^n$) são críticos; removê-los degrada o desempenho, e eles aparecem em 100% das execuções de regressão independentes. Esses termos são limitados no manifold ($p_2 \ge 1/5$) e provavelmente codificam o comportamento de coordenadas extremas.

3. Estabilidade de Módulos e Reajuste:

   • A forma funcional do andaime permanece válida através do intervalo de módulos $\psi \in [0, 0,8]$.
   • Ao fixar a forma funcional descoberta em $\psi=0$ e reajustar apenas os cinco coeficientes escalares via mínimos quadrados em cada novo $\psi$, o modelo mantém $R^2 \ge 0,947$ em todo o intervalo.
   • Os coeficientes variam suavemente, com $c_1$ diminuindo monotonicamente e $c_2$ mudando de sinal entre $\psi=0,6$ e $0,8$.

4. Verificações de Robustez:

   • Validação multi-semente: 10 execuções independentes de regressão recuperam consistentemente o par $(p_2, \sigma_3)$ com um $R^2$ médio de $0,997$.
   • Validação Cross-$k$: O andaime treinado em dados de $k=10$ generaliza-se para professores $k=6$ e $k=8$ (após correção de offset), sugerindo que a forma reflete a estrutura do observável e não artefatos de um $k$ finito.
   • Testes de permutação: Embaralhar $p_2$ ou $\sigma_3$ faz o $R^2$ cair para valores negativos, confirmando sua necessidade preditiva.

Significância e Escopo
O artigo reivindica uma contribuição estrutural, e não de nível de solver. Ele não fornece uma fórmula em forma fechada para a métrica Ricci-flat completa ou para o potencial de Kähler; em vez disso, demonstra que, para o observável específico $R_\psi$, a geometria complexa da quíntica de Dwork pode ser comprimida em uma expressão racional compacta e interpretável envolvendo apenas dois invariantes simétricos.

• Interpretabilidade: A fórmula resultante é pequena o suficiente para ser inspecionada termo a termo, oferecendo insights sobre como o desvio da métrica escala com a distribuição de coordenadas ($p_2$) e correlações de três vias ($\sigma_3$).
• Eficiência: Uma vez estabelecido o andaime, avaliar o observável é $10.000\times$ mais rápido do que a avaliação direta da matriz $H$ de Donaldson.
• Limitações: Os resultados são limitados pelo professor de $k$ finito usado para a destilação. Os autores afirmam explicitamente que não pretendem alegar que a métrica Ricci-flat exata é bidimensional, nem validam o modelo contra quantidades físicas sensíveis à métrica (como integrais de curvatura ou acoplamentos de Yukawa físicos), que exigem o tensor métrico completo. O acoplamento de Yukawa holomorfo $\kappa_{111}=5$ é reproduzido apenas como uma verificação de normalização, não como uma validação sensível à métrica.

Em resumo, o trabalho estabelece que um observável escalar específico derivado da métrica na família de Dwork admite uma descrição simbólica altamente compacta, estável e interpretável dentro de um espaço de características simétricas restrito, preenchendo a lacuna entre a precisão numérica e a compreensão estrutural para esse observável específico.