Laplace Space for Cosmological Correlators

Resumo Técnico: Espaço de Laplace para Correladores Cosmológicos

Enunciado do Problema
Os correladores cosmológicos, que descrevem as funções $n$-pontos de tempo tardio das perturbações de curvatura e tensoriais primordiais, são os principais observáveis para sondar a física inflacionária. No entanto, sua computação é notoriamente difícil. A expansão do universo quebra a invariância de translação temporal, distorcendo as funções de modo de ondas planas simples do espaço plano para funções especiais (por exemplo, funções de Hankel para campos massivos). Consequentemente, os correladores são expressos como integrais temporais aninhados sobre produtos dessas complexas funções de modo. Embora existam várias técnicas (bootstrap cosmológico, espaço de Mellin, métodos espectrais), um método geral e eficiente que lide com trocas de campos massivos e forneça convergência uniforme em todo o domínio cinemático permaneceu elusivo.

Metodologia
Os autores propõem um arcabouço computacional fundamentado no princípio da equivalência: localmente, qualquer espaço-tempo se assemelha ao espaço plano. No interior do raio de Hubble, os modos cosmológicos oscilam como ondas planas de espaço plano. Os autores utilizam uma transformada de Laplace para resolver as funções de modo de espaço curvo em uma superposição contínua de ondas planas, vestidas por um núcleo (kernel) que codifica a geometria do espaço-tempo, o conteúdo do campo e a dinâmica.

O mecanismo central envolve:

1. Equação de Movimento Dual: Para uma função de modo $F(z)$ (onde $z$ é o tempo conformal reescalonado), a transformada de Laplace $\hat{F}(\lambda)$ converte a equação diferencial original (frequentemente polinomial em $z$) em uma equação de movimento dual no espaço de Laplace (variável $\lambda$). Para um escalar massivo no espaço de de Sitter, a equação de Bessel mapeia para uma equação de Legendre.
2. Construção do Núcleo (Kernel): A solução da equação dual, regular na fronteira apropriada (correspondente ao vácuo de Bunch-Davies), serve como o "núcleo" (por exemplo, funções de Legendre $P_{i\mu-1/2}(\lambda)$). Este núcleo veste as ondas planas elementares.
3. Colapso de Integrais Temporais: Ao substituir a representação de onda plana (ponderada pelo núcleo) para cada linha interna massiva em um diagrama in-in (Schwinger-Keldysh), os integrais aninhados de tempo conformal colapsam. A dependência temporal é carregada inteiramente pelas ondas planas, reduzindo os integrais volumétricos a integrais elementares de espaço plano. As complexidades geométricas e dinâmicas são isoladas nos núcleos do espaço de Laplace.

Contribuições Principais e Regras Diagramáticas
O artigo deriva um conjunto de regras diagramáticas que permitem a construção de integrandos de Laplace diretamente de diagramas do tipo Feynman:

• Linhas Massivas: Cada linha interna massiva conectando vértices $i$ e $j$ recebe uma variável dual $\lambda_{ij}$ e é integrada contra uma medida de Legendre $\int_1^\infty d\lambda_{ij} P_{i\mu_{ij}-1/2}(\lambda_{ij})$.
• Vértices: Cada vértice recebe uma energia $V_i$ composta por energias externas e energias internas reescalonadas ($s_{ij}\lambda_{ij}$). Os integrais ordenados no tempo resultam em denominadores de energia de espaço plano da forma $1/V_i$.
• Restauração da Geometria: As potências do fator de escala e os fatores de acoplamento conforme das pernas são restabelecidos via operadores diferenciais atuando sobre os denominadores de energia.
• Universalidade: As regras aplicam-se a diagramas de árvore e de laço (loop) de igual modo. O método é agnóstico à teoria; apenas o núcleo específico (a transformada de Laplace da função de modo) muda dependendo da teoria de campos, enquanto a maquinaria diagramática permanece idêntica.

Resultados: A Troca Única Massiva
Os autores aplicam o método ao caso paradigmático de uma troca única massiva (duas pernas externas acopladas conformemente, uma troca de escalar massivo).

1. Singularidades Manifestas: A representação integral torna a estrutura de singularidade do correlador manifesta. Singularidades de energia total e de energia parcial surgem como polos de espaço plano alcançando a fronteira do domínio de integração de Laplace ($\lambda = 1$).
   • Para energia total nula, a não-analyticidade é gerada no canto onde todas as variáveis duais situam-se em $\lambda=1$, reproduzindo o comportamento da amplitude de massa nula.
   • Para energia parcial nula, a estrutura fatoriza em um correlador de menor ordem e uma amplitude, consistente com as propriedades de fatorização conhecidas.
2. Série de Forma Fechada: O método avalia o correlador de troca única em uma única série de forma fechada válida em todo o domínio cinemático.
   • Ao realizar uma integral dispersiva, o resultado reduz-se a uma única integral sobre um núcleo de Legendre $Q$.
   • Expansões do núcleo $Q$ e fatores racionais permitem que o integrando seja reduzido a integrais dispersivas generalizadas, que se avaliam em funções hipergeométricas de Gauss.
   • O resultado final é uma série de convergência rápida (resumida em razões de energias) que é manifestamente simétrica sob a troca de energias externas.
3. Convergência: Diferente de abordagens anteriores que exigem expansões separadas para diferentes ordenações cinemáticas (que devem ser unidas por remendos), esta única expansão cobre todo o domínio, incluindo a configuração de energia igual ($\lambda_u = \lambda_v$). O erro relativo cai geometricamente com a ordem de truncamento, tornando-se negligenciável em ordens baixas (por exemplo, $N=8$).

Significância e Alegações
O artigo afirma que a abordagem de Laplace oferece tanto vantagens conceituais quanto computacionais:

• A partir do Espaço Plano: O método é genuinamente "a partir do espaço plano". Ele recodifica o problema de espaço curvo de tal forma que todo o desvio do espaço plano é reempacotado em uma estrutura rígida e universal de núcleos conhecidos integrados contra denominadores racionais de espaço plano.
• Generalidade: O arcabouço não é limitado ao cenário específico de escalares massivos com interações polinomiais. Ele se estende a interações de derivada, velocidades de som reduzidas, campos de spin (via funções de Whittaker) e coeficientes de função de onda. Também pode ser aplicado a backgrounds além de de Sitter, desde que a transformada de Laplace da respectiva função de volume possa ser computada (numericamente, se necessário).
• Utilidade Prática: A representação uniforme e de convergência rápida é bem adequada para escanear formas de não-gaussianidade, teorias e parâmetros contra dados cosmológicos. Fornece uma ferramenta prática para confrontar a teoria com a observação, particularmente para o sinal do "colisor cosmológico" de trocas massivas.
• Insight Conceitual: Ao elevar a estrutura analítica mais simples dos correladores de espaço plano, o método elucida a intrincada estrutura analítica dos correladores cosmológicos, mostrando como as singularidades são herdadas diretamente de origens de espaço plano.

Os autores observam que, embora a dificuldade do problema de espaço curvo não seja eliminada, ela é realocada e simplificada em um problema de integração universal sobre um domínio fixo, trazendo a maquinaria perturbativa da cosmologia primordial para um fundamento comum de espaço plano.