The observer power spectrum for lightcone statistics, integrated relativistic observables and wide angle effects

Resumo Técnico: O Espectro de Potência do Observador para Estatísticas de Cone de Luz

Declaração do Problema
A descrição estatística da estrutura em grande escala é convencionalmente realizada usando espectros de potência no espaço de Fourier. Em hipersuperfícies espaciais em tempo fixo, a homogeneidade estatística garante que os modos de Fourier com diferentes vetores de onda sejam não correlacionados, resultando em um espectro de potência diagonal $P(k)$. No entanto, os observáveis cosmológicos são medidos no cone de luz passado do observador, e não em uma única fatia espacial. Isso introduz três complicações que quebram a invariância translacional na transformada de Fourier padrão no espaço da fonte:

1. Evolução Radial: Fatores de crescimento, viés e funções de seleção variam com a distância.
2. Geometria de Grande Ângulo: Galáxias em um par possuem diferentes linhas de visão.
3. Efeitos Integrados: Fenômenos como magnificação por lente dependem do potencial gravitacional ao longo de todo o caminho do fóton, e não apenas na fonte.

Consequentemente, as transformadas de Fourier padrão sobre as posições da fonte em um cone de luz produzem espectros não diagonais onde modos diferentes estão correlacionados (mistura de modos). Isso exige o uso de várias estatísticas de dois pontos distintas (por exemplo, espectros de espaço misto $\bar{P}(k, d)$, espectros de cone de luz não diagonais $\tilde{P}(k_1, k_2)$ ou espectros angulares $C_\ell$), cada um representando uma projeção diferente das mesmas correlações subjacentes do cone de luz. O artigo identifica a falta de um quadro unificado que separe as estatísticas intrínsecas do observável dos efeitos de projeção geométrica impostos pelo cone de luz e por estimadores específicos.

Metodologia: O Espectro de Potência do Observador
Os autores propõem uma nova definição de espectro de potência, denominada Espectro de Potência do Observador $P^{(O)}$, que restaura a estrutura diagonal ao alterar a variável da transformada de Fourier.

• Definição: Em vez de transformar sobre as posições da fonte $x_s$ em um único cone de luz, os autores definem a Transformada de Fourier do Observador (OFT) integrando sobre as posições do observador $x_0$ em uma hipersuperfície espacial em tempo conforme fixo $\eta_0$, mantendo fixas as coordenadas do raio de luz (distância radial $\chi$ e direção $\hat{n}$).
  $$X^{(O)}(k; \chi, \hat{n}) \equiv \int d^3x_0 e^{-i k \cdot x_0} X(x_0; \chi, \hat{n})$$
• Diagonalização: Como o domínio de integração é uma hipersuperfície espacial completa, a homogeneidade estatística é preservada por construção. Isso garante que a correlação de dois pontos dos modos OFT seja diagonal em $k$:
  $$\langle X^{(O)}(k_1; \chi_1, \hat{n}_1) X^{(O)}(k_2; \chi_2, \hat{n}_2) \rangle = (2\pi)^3 \delta_D^{(3)}(k_1 + k_2) P^{(O)}(k_1; \chi_1, \chi_2, \hat{n}_1, \hat{n}_2)$$
• Estrutura:
  • Para campos locais (por exemplo, densidade), $P^{(O)}$ é o produto do espectro de potência espacial em tempos desiguais e um fator de fase geométrico $e^{ik(\mu_1 \chi_1 - \mu_2 \chi_2)}$ que accounts para o deslocamento espacial entre observador e fonte.
  • Para campos integrados (por exemplo, lente), $P^{(O)}$ fatora-se em funções de transferência ao longo da linha de visão atuando independentemente em cada perna, sendo proporcional ao espectro de potência intrínseco do potencial $P_\Phi(k)$ no mesmo $k$. Crucialmente, isso evita as convoluções sobre modos de Fourier encontradas nas transformadas no espaço da fonte.

Principais Contribuições e Resultados

1. Quadro Unificado para Estatísticas de Cone de Luz: O artigo demonstra que todas as estatísticas padrão de cone de luz são meramente transformadas integrais (projeções) do único objeto diagonal $P^{(O)}$.

   • A função de correlação de cone de luz $\xi_{LC}$ é a integral no espaço de momento de $P^{(O)}$.
   • O espectro de espaço misto $\bar{P}(k, d)$ e o espectro de cone de luz não diagonal $\tilde{P}(k_1, k_2)$ são recuperados projetando $P^{(O)}$ onde os rótulos externos ($\chi, \hat{n}$) tornam-se funções das variáveis de integração, gerando assim a mistura de modos.
   • Os espectros de potência angulares $C_\ell$ são obtidos projetando os multipolos diagonais de $P^{(O)}$.
   • O valor esperado do estimador de Yamamoto é mostrado como uma projeção com janela de $P^{(O)}$, válida tanto para regimes de grande ângulo quanto integrados, sem aproximações.

2. Contagens Relativísticas de Galáxias: Os autores constroem explicitamente o kernel relativístico para a flutuação na contagem observada de galáxias $\Delta$, incorporando:

   • Densidade newtoniana e distorções de espaço de redshift de Kaiser (RSD).
   • Termos Doppler (velocidades peculiares).
   • Efeitos integrados: Magnificação por lente, atraso temporal e efeito Sachs-Wolfe Integrado (ISW).
   • Eles derivam a decomposição explícita em multipolos de Legendre desses kernels, mostrando como a fase radial completa $e^{ik\mu\chi}$ leva a contribuições em todos os multipolos $\ell$, em vez de uma truncagem finita encontrada no limite de plano paralelo.

3. Efeitos de Grande Ângulo e Paridade Ímpar: O formalismo captura naturalmente efeitos de grande ângulo sem expansões perturbativas em $s/d$.

   • Mostra explicitamente que multipolos ímpares (por exemplo, dipolo, octupolo) surgem da combinação da geometria de grande ângulo e evolução radial (redshifts desiguais), bem como de termos Doppler relativísticos.
   • No limite de plano paralelo com redshifts iguais, multipolos ímpares desaparecem, recuperando resultados padrão. No entanto, para redshifts desiguais ou grandes ângulos, o espectro adquire uma parte imaginária não nula, refletindo a quebra de simetria.

4. Estatísticas de Ordem Superior: A construção estende-se diretamente à bispectro do observador e funções de $N$ pontos. A homogeneidade estatística garante uma única função delta conservadora de momento para os vetores de onda externos, com a geometria do cone de luz codificada em rótulos externos e kernels por perna.

5. Termos do Observador: O artigo esclarece o tratamento das contribuições da posição do observador (por exemplo, a velocidade do observador no termo Doppler). No espectro do observador, estes aparecem como termos de fronteira sem a fase radial oscilatória $e^{ik\mu\chi}$. Em uma única realização (um levantamento específico), estes atuam como modos globais coerentes (dipolos/monopolos) em vez de sinais de aglomeramento flutuantes, frequentemente absorvidos na densidade média ou subtraídos por estimadores.

Significância e Alegações
O artigo alega que o Espectro de Potência do Observador fornece uma "descrição comum no espaço de Fourier" de observáveis de cone de luz onde o papel da homogeneidade estatística permanece explícito. Sua significância primária reside em:

• Separação de Física e Geometria: Separa as estatísticas intrínsecas do observável dos efeitos de projeção (grande ângulo, evolução radial, integração ao longo da linha de visão) impostos pela geometria do cone de luz.
• Ferramenta de Validação: Oferece um objeto teórico natural para validar efeitos relativísticos contra simulações cosmológicas (por exemplo, códigos de $N$-corpos). Em simulações, pode-se medir $P^{(O)}$ correlacionando raios de cone de luz de um conjunto de observadores sem referência a uma janela de levantamento, antes de projetar para estatísticas padrão. Isso evita as dificuldades de validar espectros não diagonais e com mistura de modos.
• Exatidão: A definição é exata para o observável em consideração, estendendo-se além da teoria linear para observáveis não lineares e estatísticas de ordem superior sem exigir as aproximações frequentemente necessárias em análises de Fourier no espaço da fonte.

Os autores posicionam este trabalho como um passo fundamental, notando que a próxima extensão lógica é aplicar esta construção ao bispectro do observador e validar o formalismo contra medições de cone de luz em simulações numéricas.