Combinatorics of Even-Valent Graphs on Riemann Surfaces

Resumo Técnico: Combinatória de Grafos de Valência Par em Superfícies de Riemann

Enunciado do Problema
O artigo aborda a enumeração combinatória de grafos conexos, rotulados e de valência par regular, imersos em superfícies de Riemann compactas e orientadas. Especificamente, os autores buscam fórmulas explícitas para $N_g(2\nu, j)$, o número de tais grafos com $j$ vértices de valência uniforme $2\nu$ e gênero de imersão mínimo $g$. Embora trabalhos anteriores tenham fornecido resultados explícitos para o gênero $g=0$ (Ercolani–McLaughlin–Pierce, 2008) e $g=1$ (Ercolani–Lega–Tippings, 2023), e estabelecido fórmulas estruturais para qualquer gênero envolvendo coeficientes indeterminados, uma solução totalmente explícita para $g \ge 2$ com valência variável $\nu$ e contagem de vértices $j$ permanecia como uma lacuna aberta. O artigo também considera a variante "de duas pernas" (two-legged), $N_g(2\nu, j)$, onde dois vértices possuem valência 1 (pernas) e os $j$ vértices restantes possuem valência $2\nu$.

Metodologia
Os autores empregam um arcabouço que combina teoria de matrizes aleatórias, polinômios ortogonais e expansões topológicas.

1. Conexão com Modelos de Matrizes: O problema de enumeração é vinculado à expansão assintótica da energia livre de um conjunto unitário de matrizes Hermitianas com um potencial externo $V(z) = z^2/2 + u z^{2\nu}/(2\nu)$. Os coeficientes da expansão topológica da energia livre, $f_{2g}(x, u)$, e dos coeficientes de recorrência, $r_{2g}(x, u)$, servem como funções geradoras para as contagens de grafos.
2. Equações Diferenciais-Diferenciais: A ferramenta analítica central é a derivação de uma equação diferencial-diferencial para os coeficientes de recorrência $R_n$ (uma forma da equação de rede de Volterra) e das equações de Toda para a energia livre. Essas equações relacionam os coeficientes em diferentes ordens da expansão $1/N$.
3. Estrutura Monomial: Um passo teórico fundamental envolve provar que os coeficientes de Taylor das expansões assintóticas $r_{2g}$ e $f_{2g}$ em relação ao parâmetro de acoplamento $u$ são monômios no parâmetro de 't Hooft $x = n/N$. Este resultado estrutural (Teoremas 4 e 5) simplifica significativamente a determinação dos coeficientes.
4. Resolução de Coeficientes: Os autores utilizam as fórmulas estruturais para $N_g(2\nu, j)$ e $N_g(2\nu, j)$ derivadas por Ercolani–Lega–Tippings, que expressam essas contagens como combinações lineares de funções hipergeométricas de Gauss com coeficientes desconhecidos $b^{(g,\nu)}_\ell$ e $a^{(g,\nu)}_\ell$. Ao calcular contagens explícitas de grafos para valores pequenos e fixos de $j$ (especificamente $1 \le j \le 3$) usando as propriedades monomiais dos coeficientes de Taylor, os autores constroem sistemas lineares para resolver esses polinômios de coeficientes desconhecidos.

Principais Contribuições e Resultados

• Determinação Explícita de Coeficientes: A principal contribuição é a determinação explícita dos polinômios de coeficientes $b^{(g,\nu)}_\ell$ e $a^{(g,\nu)}_\ell$ para os gêneros $g=2, 3, 4$ (para grafos regulares) e $g=1, 2, 3, 4$ (para grafos de duas pernas). Estes coeficientes mostram-se como polinômios em $\nu$ de grau $3g-3$ e $3g-1$, respectivamente.
• Fórmulas de Forma Fechada: Ao substituir esses coeficientes explícitos nas fórmulas estruturais hipergeométricas, os autores derivam expressões explícitas de forma fechada para $N_g(2\nu, j)$ e $N_g(2\nu, j)$, onde tanto a valência $\nu$ quanto o número de vértices $j$ são tratados como variáveis. Estes resultados são apresentados nos Teoremas 1 e 2.
• Polinômios de Gênero e Vértice Fixos: O artigo fornece polinômios explícitos $Q_{g,j}(\nu)$ e $S_{g,j}(\nu)$ que descrevem as contagens para pequenos $j$ fixos ($1 \le j \le 3$) e $g \le 5$. Estes servem como os dados fundamentais para resolver os sistemas lineares para encontrar os coeficientes gerais.
• Assintótica de Grande Valência: Utilizando os coeficientes explícitos, os autores derivam o comportamento assintótico de ordem líder das contagens conforme a valência $\nu \to \infty$ com $j$ fixo (Corolários 1 e 2). Esta análise requer o conhecimento de todos os coeficientes, distinguindo-se das assintóticas de grande número de vértices, que exigem apenas o coeficiente líder.
• Conjecturas Estruturais: Com base nos casos computados, os autores formulam as Conjecturas 1 e 2, postulando que os polinômios de coeficientes mantêm sua estrutura de grau ($3g-3$ e $3g-1$) para todo $g \ge 5$. Eles também conjecturam propriedades específicas das raízes dos polinômios $Q_{g,j}$ e $S_{g,j}$.

Significância
O artigo afirma encerrar o problema de encontrar fórmulas explícitas para mapas regulares de valência par para o gênero fixo $g \le 4$ com valência e contagem de vértices gerais. Ele estende os resultados explícitos conhecidos para os gêneros 0 e 1 para gêneros superiores, preenchendo uma lacuna deixada pelo trabalho estrutural anterior que dependia de coeficientes indeterminados. A metodologia fornece um roteiro sistemático, embora computacionalmente intensivo, para obter resultados explícitos semelhantes para qualquer gênero prescrito $g \ge 5$. As assintóticas de grande valência derivadas oferecem novos insights sobre a distribuição dessas geometrias no limite de alta valência, um regime complementar ao anteriormente estudado limite de grande número de vértices. Os autores observam que, embora o método se estenda a gêneros mais altos, o caso de $g$ geral com $\nu$ e $j$ fixos permanece aberto e provavelmente requer abordagens fundamentalmente diferentes devido ao desaparecimento das contagens além de um gênero crítico.