Spectral expansion of LQG heat trace and KPZ scaling

Resumo Técnico: Expansão espectral da traça do calor de LQG e escala KPZ

Enunciado do Problema
Este artigo investiga as assíntotas de curto tempo ($t \to 0$) da traça do calor da Gravidade Quântica de Liouville (LQG), $H_\Omega(t)$, definida como a integral do núcleo do calor na diagonal sobre um domínio limitado $\Omega \subset \mathbb{C}$ em relação à medida de área de Liouville $\mu$. Embora o comportamento de primeira ordem tenha sido estabelecido anteriormente em [BW23] como proporcional à área de LQG (resultando em uma lei de Weyl com dimensão espectral $d_s=2$), o comportamento do segundo termo na expansão espectral permanecia uma questão em aberto. Na geometria Riemanniana clássica, este segundo termo é governado pelo comprimento da fronteira e escala como $t^{-1/2}$. Os autores visam determinar o expoente de escala deste segundo termo no contexto de LQG, investigando especificamente se ele segue um expoente não trivial governado pela relação de Knizhnik–Polyakov–Zamolodchikov (KPZ), e estabelecer resultados de convergência quase certa para quantidades relacionadas, como o conteúdo de calor.

Metodologia
Os autores empregam uma combinação de análise probabilística, teoria do Campo Livre Gaussiano (GFF) e processos estocásticos. Os principais componentes metodológicos incluem:

1. Decomposição In-Out: A ferramenta analítica central é a decomposição do núcleo do calor $p^\Omega_t(x,x)$ em um termo "bulk" (o núcleo do calor no plano completo, $p^C_t(x,x)$) e um termo de "fronteira" (trajetórias que deixam $\Omega$ antes do tempo $t$, $p^{C\setminus\Omega}_t(x,x)$). Isso permite aos autores separar a contribuição de volume da contribuição de fronteira.
2. Medidas Enraizadas e Transformação de Girsanov: Para analisar o núcleo do calor sob a medida annealed (média sobre o GFF), os autores utilizam a medida enraizada de Peyrière $P^*_x$. Isso envolve uma transformação de Girsanov que introduz uma singularidade logarítmica $\gamma G(x, \cdot)$ ao campo, alterando efetivamente a "espessura" do ponto $x$.
3. Escalonamento e Cones Quânticos: A análise depende fortemente das propriedades de invariância de escala do cone quântico $\gamma$. Os autores provam que o núcleo do calor no cone quântico satisfaz uma relação de escala exata $p^C_t(0,0) \stackrel{d}{=} t^{-1} p^C_1(0,0)$. Isso permite relacionar o comportamento local próximo a um ponto com a geometria global do cone quântico.
4. Estimativas de Momentos e Concentração: A prova envolve computações delicadas de primeiro e segundo momentos para o conteúdo de calor. Para lidar com a divergência de momentos na fase $L^2$ (quando $\gamma \ge \sqrt{2}$), os autores introduzem um argumento de truncamento baseado em "eventos bons" onde o campo possui propriedades de espessura específicas (médias circulares) em escalas relacionadas à distância até a fronteira.
5. Lei 0-1 e Desacoplamento: Para elevar a convergência em probabilidade para os desejados resultados quase certos (ou de alta probabilidade), eles particionam a fronteira em muitas regiões pequenas e aproximadamente independentes. Eles utilizam uma desigualdade de Paley-Zygmund combinada com um argumento do tipo Lei 0-1 para aumentar a probabilidade do limite inferior.

Principais Contribuições e Resultados

• Expansão Espectral da Traça do Calor: O principal resultado (Teorema 1.2) estabelece que o segundo termo na expansão da traça do calor esperada $\mathbb{E}[H_\Omega(t)]$ escala como $t^{-1+\Delta}$, onde $\Delta$ é o expoente de escala KPZ associado à dimensão de Minkowski interna da fronteira $\partial \Omega$. Especificamente, se o expoente de escala euclidiana interna da fronteira é $x$ (onde $\text{Leb}(\Omega_\epsilon) \sim \epsilon^{2x}$), então $\Delta$ é a solução única da equação KPZ $x = \frac{\gamma^2}{4}\Delta + (1-\frac{\gamma^2}{4})\Delta^2$.
  $$\mathbb{E}[H_\Omega(t)] = \frac{c_\gamma \mathbb{E}[\mu(\Omega)]}{t} - t^{-1+\Delta+o(1)}$$
  Isso confirma que os efeitos de fronteira em LQG são governados pela relação KPZ, desviando-se do escalonamento clássico $t^{-1/2}$, a menos que $\Delta = 1/2$.

• Assíntotas do Conteúdo de Calor: O artigo prova (Teorema 1.3) que o conteúdo de calor $K_\Omega(t)$, que mede a temperatura integrada em $\Omega$, satisfaz $K_\Omega(t) = t^{\Delta+o(1)}$ em probabilidade. Este resultado é mais forte que o resultado da traça do calor, pois ocorre sem a necessidade de tirar a esperança sobre o campo (convergência em probabilidade). A prova requer suposições específicas sobre a fronteira (Suposições 1.2 e 1.3) relativas à uniformidade da dimensão de Minkowski.

• Momentos do Núcleo do Calor e Resolução de Conjectura: Os autores resolvem uma conjectura de [BW23] sobre a convergência annealed do núcleo do calor (Teorema 1.4). Eles mostram que, sob a medida enraizada $P^*_x$, o núcleo do calor escalonado $t p^\Omega_t(x,x)$ converge em lei para uma variável aleatória $X$ que representa o núcleo do calor no tempo 1 no cone quântico $\gamma$. Além disso, provam que todos os momentos desta variável aleatória limitante são finitos.

• Convergência Bulk Quantitativa: O artigo fornece limites quantitativos mostrando que a diferença entre a traça do calor bulk esperada e o termo principal da lei de Weyl decai mais rápido do que qualquer polinômio (FTP) conforme $t \to 0$.

Significância e Alegações
O artigo alega fornecer uma caracterização geométrica espectral rigorosa de superfícies de LQG, ligando os invariantes espectrais (expansão da traça do calor) diretamente ao escalonamento geométrico KPZ. Os autores enfatizam que seus resultados confirmam observações numéricas de [BW23] a respeito do expoente anômalo do segundo termo.

A significância do trabalho reside em:

1. Conectar Geometria Espectral e KPZ: Demonstra que a relação KPZ, tipicamente usada para mapear dimensões euclidianas para dimensões de LQG, governa naturalmente a expansão espectral da traça do calor (o termo de correção de fronteira).
2. Resolver Problemas Abertos: Resolve a conjectura sobre as assíntotas annealed do núcleo do calor e estabelece a finitude de todos os momentos para o núcleo do calor escalonado, o que era anteriormente desconhecido.
3. Avanços Metodológicos: O desenvolvimento da decomposição "in-out" no contexto de LQG e o uso de medidas enraizadas para analisar o comportamento local do núcleo do calor fornecem novas ferramentas para estudar a geometria espectral em superfícies aleatórias.

Os autores observam que, embora provem o resultado para a traça do calor esperada, o comportamento quase certo para a própria traça do calor permanece uma questão aberta, embora tenham provado com sucesso o comportamento quase certo (em probabilidade) para o conteúdo de calor. Eles também conjecturam que, para "discos quânticos" (onde a fronteira é uma curva SLE), o expoente $\Delta$ deve ser exatamente $1/2$, recuperando o escalonamento Riemanniano clássico, mas afirmam que atualmente são incapazes de provar isso devido a dificuldades técnicas.