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

Resumen Técnico: El Espectro de Potencia del Observador para Estadísticas de Cono de Luz

Enunciado del Problema
La descripción estadística de la estructura a gran escala se realiza convencionalmente utilizando espectros de potencia en el espacio de Fourier. En hipersuperficies espaciales a tiempo fijo, la homogeneidad estadística asegura que los modos de Fourier con diferentes vectores de onda no estén correlacionados, resultando en un espectro de potencia diagonal $P(k)$. Sin embargo, los observables cosmológicos se miden en el cono de luz pasado del observador, no en una única rebanada espacial. Esto introduce tres complicaciones que rompen la invariancia traslacional en la transformada de Fourier estándar del espacio de fuentes:

1. Evolución Radial: Los factores de crecimiento, el sesgo y las funciones de selección varían con la distancia.
2. Geometría de Gran Ángulo: Las galaxias en un par poseen diferentes líneas de visión.
3. Efectos Integrados: Fenómenos como la magnificación por lentes gravitacionales dependen del potencial gravitatorio a lo largo de toda la trayectoria del fotón, no solo en la fuente.

En consecuencia, las transformadas de Fourier estándar sobre las posiciones de las fuentes en un cono de luz producen espectros no diagonales donde diferentes modos están correlacionados (mezcla de modos). Esto hace necesario el uso de diversas estadísticas de dos puntos distintas (por ejemplo, espectros de espacio mixto $\bar{P}(k, d)$, espectros de cono de luz no diagonales $\tilde{P}(k_1, k_2)$ o espectros angulares $C_\ell$), cada uno representando una proyección diferente de las mismas correlaciones subyacentes del cono de luz. El artículo identifica la falta de un marco unificado que separe las estadísticas intrínsecas del observable de la proyección geométrica impuesta por el cono de luz y los estimadores específicos.

Metodología: El Espectro de Potencia del Observador
Los autores proponen una nueva definición del espectro de potencia, denominada Espectro de Potencia del Observador $P^{(O)}$, que restaura la estructura diagonal al cambiar la variable de la transformada de Fourier.

• Definición: En lugar de transformar sobre las posiciones de las fuentes $x_s$ en un solo cono de luz, los autores definen la Transformada de Fourier del Observador (OFT) integrando sobre las posiciones del observador $x_0$ en una hipersuperficie espacial a tiempo conforme fijo $\eta_0$, manteniendo fijas las coordenadas del rayo de luz (distancia radial $\chi$ y dirección $\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})$$
• Diagonalización: Dado que el dominio de integración es una hipersuperficie espacial completa, la homogeneidad estadística se preserva por construcción. Esto garantiza que la correlación de dos puntos de los modos OFT sea diagonal en $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)$$
• Estructura:
  • Para campos locales (por ejemplo, densidad), $P^{(O)}$ es el producto del espectro de potencia espacial en tiempos desiguales y un factor de fase geométrico $e^{ik(\mu_1 \chi_1 - \mu_2 \chi_2)}$ que cuenta el desplazamiento espacial entre el observador y la fuente.
  • Para campos integrados (por ejemplo, lentes gravitacionales), $P^{(O)}$ se factoriza en funciones de transferencia a lo largo de la línea de visión que actúan independientemente en cada tramo, siendo proporcionales al espectro de potencia del potencial intrínseco $P_\Phi(k)$ en el mismo $k$. Crucialmente, esto evita las convoluciones sobre modos de Fourier encontradas en las transformadas del espacio de fuentes.

Contribuciones y Resultados Clave

1. Marco Unificado para Estadísticas de Cono de Luz: El artículo demuestra que todas las estadísticas estándar de cono de luz son meramente transformadas integrales (proyecciones) del único objeto diagonal $P^{(O)}$.

   • La función de correlación de cono de luz $\xi_{LC}$ es la integral en el espacio de momentos de $P^{(O)}$.
   • El espectro de espacio mixto $\bar{P}(k, d)$ y el espectro de cono de luz no diagonal $\tilde{P}(k_1, k_2)$ se recuperan proyectando $P^{(O)}$ donde las etiquetas externas ($\chi, \hat{n}$) se convierten en funciones de las variables de integración, generando así la mezcla de modos.
   • Los espectros de potencia angulares $C_\ell$ se obtienen proyectando los multipolos diagonales de $P^{(O)}$.
   • Se muestra que el valor esperado del estimador de Yamamoto es una proyección con ventana de $P^{(O)}$, válida tanto para regímenes de gran ángulo como integrados sin aproximaciones.

2. Conteos Relativistas de Galaxias: Los autores construyen explícitamente el kernel relativista para la fluctuación en el conteo de galaxias observado $\Delta$, incorporando:

   • Densidad newtoniana y distorsiones del espacio de redshift de Kaiser (RSD).
   • Términos Doppler (velocidades peculiares).
   • Efectos integrados: Magnificación por lentes gravitacionales, retraso temporal y el efecto Sachs-Wolfe integrado (ISW).
   • Derivan la descomposición explícita en multipolos de Legendre de estos kernels, mostrando cómo la fase radial completa $e^{ik\mu\chi}$ conduce a contribuciones en todos los multipolos $\ell$, en lugar de una truncación finita encontrada en el límite de plano paralelo.

3. Efectos de Gran Ángulo y Paridad Impar: El formalismo captura naturalmente los efectos de gran ángulo sin expansiones perturbativas en $s/d$.

   • Muestra explícitamente que los multipolos impares (por ejemplo, dipolo, octupolo) surgen de la combinación de la geometría de gran ángulo y la evolución radial (redshifts desiguales), así como de los términos Doppler relativistas.
   • En el límite de plano paralelo con redshifts iguales, los multipolos impares se anulan, recuperando los resultados estándar. Sin embargo, para redshifts desiguales o grandes ángulos, el espectro adquiere una parte imaginaria no nula, reflejando la ruptura de simetría.

4. Estadísticas de Orden Superior: La construcción se extiende directamente al bispectro del observador y a las funciones de $N$ puntos. La homogeneidad estadística asegura una única función delta conservadora de momento para los vectores de onda externos, con la geometría del cono de luz codificada en las etiquetas externas y los kernels por tramo.

5. Términos del Observador: El artículo clarifica el tratamiento de las contribuciones de la posición del observador (por ejemplo, la velocidad del observador en el término Doppler). En el espectro del observador, estos aparecen como términos de frontera que carecen de la fase radial oscilatoria $e^{ik\mu\chi}$. En una sola realización (una encuesta específica), estos actúan como modos globales coherentes (dipolos/monopolos) en lugar de señales de agrupamiento fluctuantes, a menudo absorbidos en la densidad media o restados por los estimadores.

Significado y Afirmaciones
El artículo afirma que el Espectro de Potencia del Observador proporciona una "descripción común en el espacio de Fourier" de los observables de cono de luz donde el papel de la homogeneidad estadística permanece explícito. Su significado principal radica en:

• Separación de Física y Geometría: Separa las estadísticas intrínsecas del observable de los efectos de proyección (gran ángulo, evolución radial, integración a lo largo de la línea de visión) impuestos por la geometría del cono de luz.
• Herramienta de Validación: Ofrece un objeto teórico natural para validar efectos relativistas contra simulaciones cosmológicas (por ejemplo, códigos de $N$-cuerpos). En las simulaciones, se puede medir $P^{(O)}$ correlacionando rayos de cono de luz de un conjunto de observadores sin referencia a una ventana de encuesta, antes de proyectar a estadísticas estándar. Esto evita las dificultades de validar espectros no diagonales y con mezcla de modos.
• Exactitud: La definición es exacta para el observable bajo consideración, extendiéndose más allá de la teoría lineal a observables no lineales y estadísticas de orden superior sin requerir las aproximaciones a menudo necesarias en los análisis de Fourier del espacio de fuentes.

Los autores posicionan este trabajo como un paso fundamental, señalando que la siguiente extensión lógica es aplicar esta construcción al bispectro del observador y validar el formalismo contra mediciones de cono de luz en simulaciones numéricas.