Biased tracers, Hybrid Effective Field Theory and Modified Gravity

Este artigo estende o arcabouço da Teoria de Campo Efetiva Híbrida (HEFT) para cosmologias de gravidade modificada, especificamente a gravidade $f(R)$, detalhando a expansão perturbativa enviesada necessária para computar espectros de potência corrigidos por loops e propondo uma estratégia para adaptar emuladores de $\Lambda$CDM existentes para estes cenários além do modelo padrão.

O essencial

Imagine o universo como um enorme pão de passas em expansão. À medida que o pão cresce, as passas (que representam as galáxias) afastam-se umas das outras. Mas elas não se afastam apenas de forma uniforme; elas agrupam-se em alguns lugares e deixam espaços vazios noutros. Este agrupamento é chamado de "formação de estrutura".

Durante décadas, os cientistas tentaram escrever uma receita matemática para prever exatamente como estas passas se irão agrupar. Este artigo trata da melhoria dessa receita, especificamente por duas razões:

1. As Passas "Viesadas": Nem todas as passas são iguais. Algumas são grandes, outras pequenas, e elas não se distribuem exatamente como a massa (matéria escura) ao seu redor. Precisamos de uma forma de modelar como estes "passas viesadas" específicas se agrupam.
2. A Massa "Modificada": A maioria das receitas assume que a massa segue regras padrão (Relatividade Geral). Mas e se a massa seguir regras ligeiramente diferentes, mais estranhas (Gravidade Modificada)? Este artigo testa se a nossa receita ainda funciona quando as regras da gravidade mudam.

Aqui está uma decomposição da jornada deste artigo usando analogias simples:

1. As Duas Formas de Assar (Euleriana vs. Lagrangiana)

Os cientistas têm duas formas principais de rastrear as passas:

• O Método da "Grade Fixa" (Euleriano): Imagine uma câmara a tirar uma fotografia de um ponto específico na cozinha. Você observa as passas a fluir através desse ponto. Isto é bom para ver o fluxo, mas torna-se confuso quando a massa fica demasiado esmagada (não linear).
• O Método de "Seguir a Passa" (Lagrangiano): Imagine que coloca um pequeno rastreador GPS numa passagem específica no início. Você segue essa passa enquanto ela se move do seu ponto inicial para o seu ponto final. Este artigo utiliza este método porque lida muito melhor com o "esmagamento" da massa.

2. O Truque Híbrido (HEFT)

Os autores introduzem um atalho inteligente chamado Teoria de Campo Eficaz Híbrida (HEFT).

• O Problema: Calcular o movimento exato de cada única passa usando matemática pura é incrivelmente difícil e lento. Calcular utilizando simulações de supercomputadores é preciso, mas requer um poder computacional massivo.
• A Solução: O HEFT é como um "carro híbrido". Utiliza a matemática simples e rápida para as partes fáceis (onde a massa é suave) e empresta dados das simulações pesadas de computador para as partes desordenadas e esmagadas. Isto dá-lhe a velocidade da matemática com a precisão de uma simulação.

3. O Desafio: Gravidade Modificada

A maioria destes "carros híbridos" foi construída e testada apenas para o nosso universo atual (chamado $\Lambda$CDM), onde a gravidade funciona conforme Einstein descreveu originalmente.

• A Reviravolta: Os autores queriam ver se este método híbrido funciona se a gravidade for diferente. Eles olharam especificamente para a gravidade $f(R)$, uma teoria onde a gravidade fica mais forte ou mais fraca dependendo da escala (como um camaleão a mudar de cor).
• A Dificuldade: Nesta gravidade modificada, o "crescimento" do universo não é uniforme. Depende do tamanho do agrupamento. Isto quebra os simples atalhos matemáticos que os cientistas costumam usar.

4. O Que Eles Fizeram

A equipa construiu um novo motor mais flexível para o seu "carro híbrido" para lidar com estas regras estranhas de gravidade.

• Recalculando o Mapa: Eles derivaram novos mapas matemáticos (chamados "funções de crescimento") que contabilizam como a gravidade muda com base na escala.
• Testando o Motor: Eles testaram a sua nova matemática contra simulações de supercomputadores (o "padrão de ouro").
  • Resultado 1 (Universo Padrão): Quando testaram no nosso universo normal, a matemática funcionou perfeitamente, coincidindo quase exatamente com as simulações.
  • Resultado 2 (Gravidade Modificada): Quando testaram no modelo de gravidade $f(R)$, descobriram que os antigos atalhos matemáticos simples (chamados "aproximação de Einstein-de Sitter") falharam. Foram como usar um mapa plano para navegar num terreno montanhoso — o mapa antigo simplesmente não mostrava as colinas e vales corretamente. A sua nova matemática complexa era necessária para obter a resposta certa.

5. A Conclusão

O artigo conclui que:

• O framework HEFT (o método híbrido) é robusto e pode ser estendido para funcionar com estas teorias de gravidade modificada e estranhas.
• No entanto, não pode utilizar os antigos atalhos matemáticos simplificados quando lida com gravidade modificada. Deve utilizar os seus novos cálculos mais complexos que contabilizam as regras de gravidade em mudança.
• Eles forneceram as ferramentas e os "ingredientes" necessários para que outros cientistas atualizem os seus modelos de levantamento de galáxias (como os das missões DESI ou Euclid) para testar se o nosso universo segue a gravidade padrão ou estas regras modificadas.

Em resumo: Os autores pegaram numa ferramenta poderosa para mapear o universo, atualizaram o seu motor para lidar com a "gravidade estranha" e provaram que, embora os antigos atalhos funcionem para o nosso universo normal, eles falham nestes novos cenários. Eles entregaram agora as chaves ao resto da comunidade científica para que possam conduzir este novo veículo para explorar o cosmos.

Resumo técnico

Resumo Técnico: Traçadores Enviesados, Teoria de Campo Efetiva Híbrida e Gravidade Modificada

Enunciado do Problema
A análise de levantamentos galácticos de Estágio-IV (ex: DESI, LSST, Euclid, Roman) requer a modelagem teórica precisa do espectro de potência de traçadores enviesados, como galáxias, para restringir parâmetros cosmológicos. Embora métodos perturbativos e simulações cosmológicas sejam ferramentas padrão, eles apresentam um compromisso (trade-off): a teoria de perturbação oferece eficiência computacional, mas tem dificuldades com escalas não lineares, enquanto as simulações fornecem completude física, mas exigem calibração e mapeamento para observáveis dispendiosos. O arcabouço da Teoria de Campo Efetiva Híbrida (HEFT) surgiu como uma solução, combinando expansões de Teoria de Perturbação Lagrangiana (LPT) com saídas de simulações de apenas matéria escura para modelar o regime não linear de forma eficiente. No entanto, as implementações e emuladores de HEFT existentes (ex: bacco, Aemulus) foram desenvolvidos primordialmente dentro do paradigma $\Lambda$CDM ou extensões leves (ex: $w_0w_a$CDM). Existe uma lacuna significativa na aplicação de HEFT à gravidade modificada (MG), como a gravidade $f(R)$, onde o crescimento de estruturas é dependente de escala e mecanismos de blindagem (screening, como o camaleão) complicam a computação das funções de crescimento da LPT e dos integrais de loop.

Metodologia
Os autores desenvolvem um arcabouço para computar espectros de potência de traçadores enviesados com correções de loop dentro do formalismo HEFT para cosmologias de gravidade modificada, focando especificamente na gravidade $f(R)$. A metodologia procede através de várias etapas:

1. Teoria de Perturbação Lagrangiana (LPT) em Relatividade Geral: Os autores revisam as formulações Euleriana e Lagrangiana da teoria de perturbação. Na imagem Lagrangiana, a evolução da matéria escura é descrita por um campo de deslocamento $\Psi(q, \tau)$ que mapeia as coordenadas Lagrangianas iniciais $q$ para as posições Eulerianas finais $x$. O espectro de potência da matéria é derivado do Jacobiano deste mapeamento, utilizando o teorema dos cumulantes para resumir os deslocamentos de infravermelho (IR) de forma não perturbativa.
2. Extensão para Gravidade Modificada: Os autores revisitam as equações de movimento para teorias escalar-tensoriais (especificamente o modelo $f(R)$ de Hu-Sawicki). Eles derivam os fatores de crescimento necessários até terceira ordem, $D^{(1)}(k)$, $D^{(2)}(k_1, k_2)$ e $D^{(3),\text{symm.}}(k_1, k_2, k_3)$, que agora são dependentes de escala devido à equação de Poisson modificada e à presença de um campo escalar. Isso envolve resolver equções acopladas de continuidade, Euler e Klein-Gordon iterativamente.
3. Implementação Numérica de Kernels Generalizados: Os autores implementam um código numérico para resolver as funções de crescimento generalizadas em uma grade de momentos. Eles computam os kernels Lagrangianos $L^{(n)}$ e as funções de integrais de loop associadas ($Q_n, R_n$) necessárias para o espectro de potência de matéria de um loop. Eles testam explicitamente a validade da aproximação de Einstein–de Sitter (EdS), que assume crescimento independente de escala, contra estas soluções completas dependentes de escala.
4. Expansão de Traçadores Enviesados: O arcabouço é estendido para traçadores enviesados usando o esquema de viés Lagrangiano local. A densidade do traçador é expandida em termos do campo de densidade inicial $\delta_L$, cisalhamento de maré $s^2$ e operadores de ordem superior. Os autores computam os correladores Lagrangianos relevantes envolvendo tanto campos de deslocamento quanto campos de densidade iniciais, adaptando as funções escalares ($Q_I, R_I$) para o contexto de MG dependente de escala.
5. Validação: A implementação é validada contra códigos existentes, especificamente velocileptors (para comparações de EdS) e mgpt (para comparações completas de MG), garantindo a consistência no cálculo de integrais de loop e espectros de potência.

Principais Contribuições

• Arcabouço LPT Generalizado para MG: O artigo fornece uma derivação detalhada e implementação numérica das funções de crescimento e kernels LPT para a gravidade $f(R)$, contabilizando o crescimento dependente de escala e efeitos de blindagem camaleão até terceira ordem.
• Quantificação da Falha da Aproximação EdS: Os autores demonstram que a aproximação de Einstein–de Sitter, embora altamente precisa para $\Lambda$CDM (erros sub-percentuais), falha significativamente em cenários de gravidade modificada. Em modelos $f(R)$, a aproximação EdS desvia-se das soluções exatas, particularmente no regime levemente não linear ($k \sim 0.1\text{--}0.4 \, h\text{Mpc}^{-1}$) e em configurações de triângulos espremidos (squeezed) onde o acoplamento de modos é mais forte.
• Estratégia de Extensão de HEFT: O trabalho delineia os ingredientes necessários para estender os emuladores baseados em HEFT existentes (como bacco e Aemulus) para cosmologias além de $\Lambda$CDM. Isso envolve substituir os kernels padrão de EdS pelos kernels generalizados e dependentes de escala derivados neste trabalho.
• Validação de Integrais de Loop: Os autores verificam sua integração numérica dos integrais de loop generalizados ($Q_n, R_n$) contra o código mgpt, mostrando excelente concordância através de modelos $\Lambda$CDM e $f(R)$.

Resultos

• Crescimento Dependente de Escala: Os fatores de crescimento Lagrangianos de segunda e terceira ordem computados exibem forte dependência de escala em gravidade $f(R)$, com as desvios mais significativos ocorrendo em configurações espremidas.
• Desvios nos Integrais de Loop: Comparações das funções $Q_n$ e $R_n$ mostram que, embora a aproximação EdS reproduza os resultados de $\Lambda$CDM com alta fidelidade, ela introduz erros visíveis em gravidade $f(R)$. Esses erros são mais pronunciados onde as correções de loop atingem o pico, indicando que o uso de kernels EdS em análises de MG levaria a previsões teóricas enviesadas.
• Espectro de Potência de Matéria: A inclusão de correções de loop de kernel total em LPT produz um espectro de potência de matéria que difere da previsão EdS em modelos $f(R)$. A supressão exponencial (contribuição de Zel'dovich) é mais acentuada em $f(R)$ devido às maiores variâncias de deslocamento ($\sigma_L^2$).
• Consistência de Traçadores Enviesados: O formalismo generalizado computa com sucesso o espectro de potência de traçadores enviesados, confirmando que a expansão padrão de viés Lagrangiano local permanece aplicável, desde que as funções de crescimento e os integrais de loop subjacentes sejam tratados com a correta dependência de escala.

Significância
O artigo estabelece a fundação teórica e numérica necessária para aplicar o arcabouço da Teoria de Campo Efetiva Híbrida a cosmologias de gravidade modificada. Ao quantificar explicitamente as limitações da aproximação de Einstein–de Sitter em cenários de crescimento dependente de escala, os autores argumentam que a modelagem precisa dos dados de levantamentos de Estágio-IV exige o uso de kernels LPT generalizados e dependentes de escala. Este trabalho permite a extensão de emuladores de alta precisão para testar teorias de gravidade além da Relatividade Geral, preenchendo a lacuna entre a eficiência perturbativa e a complexa física não linear da gravidade modificada.