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

Riepilogo Tecnico: Lo Spettro di Potenza dell'Osservatore per le Statistiche del Cono di Luce

Enunciato del Problema
La descrizione statistica della struttura su larga scala viene convenzionalmente effettuata utilizzando spettri di potenza nello spazio di Fourier. Su ipersuperfici spaziali a tempo fisso, l'omogeneità statistica garantisce che i modi di Fourier con diversi vettori d'onda siano non correlati, risultando in uno spettro di potenza diagonale $P(k)$. Tuttavia, gli osservabili cosmologici sono misurati sul cono di luce passato dell'osservatore, non su una singola fetta spaziale. Ciò introduce tre complicazioni che rompono l'invarianza traslazionale nella trasformata di Fourier standard nello spazio sorgente:

1. Evoluzione Radiale: Fattori di crescita, bias e funzioni di selezione variano con la distanza.
2. Geometria ad Ampio Angolo: Le galassie in una coppia possiedono diverse linee di vista.
3. Effetti Integrati: Fenomeni come la magnificazione per lensing dipendono dal potenziale gravitazionale lungo l'intero percorso del fotone, non solo alla sorgente.

Di conseguenza, le trasformate di Fourier standard sulle posizioni delle sorgenti su un cono di luce producono spettri non diagonali in cui modi diversi sono correlati (miscelazione dei modi). Ciò rende necessario l'uso di varie statistiche a due punti distinte (ad esempio, spettri misti $\bar{P}(k, d)$, spettri non diagonali del cono di luce $\tilde{P}(k_1, k_2)$, o spettri angolari $C_\ell$), ciascuno dei quali rappresenta una diversa proiezione delle stesse correlazioni sottostanti del cono di luce. Il lavoro identifica una mancanza di un quadro unificato che separi le statistiche intrinseche dell'osservabile dagli effetti di proiezione geometrica imposti dal cono di luce e da specifici stimatori.

Metodologia: Lo Spettro di Potenza dell'Osservatore
Gli autori propongono una nuova definizione di spettro di potenza, denominata Spettro di Potenza dell'Osservatore $P^{(O)}$, che ripristina la struttura diagonale modificando la variabile della trasformata di Fourier.

• Definizione: Invece di trasformare sulle posizioni delle sorgenti $x_s$ su un singolo cono di luce, gli autori definiscono la Trasformata di Fourier dell'Osservatore (OFT) integrando sulle posizioni dell'osservatore $x_0$ su un'ipersuperficie spaziale a tempo conforme fisso $\eta_0$, mantenendo fisse le coordinate del raggio luminoso (distanza radiale $\chi$ e direzione $\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})$$
• Diagonalizzazione: Poiché il dominio di integrazione è un'intera ipersuperficie spaziale, l'omogeneità statistica è preservata per costruzione. Ciò garantisce che la correlazione a due punti dei modi OFT sia diagonale in $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)$$
• Struttura:
  • Per campi locali (ad esempio, densità), $P^{(O)}$ è il prodotto dello spettro di potenza spaziale a tempi disuguali e di un fattore di fase geometrico $e^{ik(\mu_1 \chi_1 - \mu_2 \chi_2)}$ che tiene conto dello spostamento spaziale tra osservatore e sorgente.
  • Per campi integrati (ad esempio, lensing), $P^{(O)}$ si fattorizza in funzioni di trasferimento lungo la linea di vista che agiscono indipendentemente su ciascun ramo, proporzionali allo spettro di potenza intrinseco del potenziale $P_\Phi(k)$ allo stesso $k$. Crucialmente, ciò evita le convoluzioni sui modi di Fourier trovate nelle trasformate nello spazio sorgente.

Contributi e Risultati Chiave

1. Quadro Unificato per le Statistiche del Cono di Luce: Il lavoro dimostra che tutte le statistiche standard del cono di luce sono semplicemente trasformate integrali (proiezioni) del singolo oggetto diagonale $P^{(O)}$.

   • La funzione di correlazione del cono di luce $\xi_{LC}$ è l'integrale nello spazio dei momenti di $P^{(O)}$.
   • Lo spettro misto $\bar{P}(k, d)$ e lo spettro non diagonale del cono di luce $\tilde{P}(k_1, k_2)$ sono recuperati proiettando $P^{(O)}$ dove le etichette esterne ($\chi, \hat{n}$) diventano funzioni delle variabili di integrazione, generando così la miscelazione dei modi.
   • Gli spettri di potenza angolari $C_\ell$ sono ottenuti proiettando i multipoli diagonali di $P^{(O)}$.
   • Il valore di aspettazione dello stimatore di Yamamoto è mostrato essere una proiezione con finestra di $P^{(O)}$, valida sia per regimi ad ampio angolo che integrati senza approssimazioni.

2. Conteggi Relativistici di Galassie: Gli autori costruiscono esplicitamente il kernel relativistico per la fluttuazione del conteggio osservato di galassie $\Delta$, incorporando:

   • Densità newtoniana e distorsioni dello spazio delle redshift di Kaiser (RSD).
   • Termini Doppler (velocità peculiari).
   • Effetti integrati: Magnificazione per lensing, ritardo temporale ed effetto Sachs-Wolfe integrato (ISW).
   • Derivano la decomposizione esplicita in multipoli di Legendre di questi kernel, mostrando come la fase radiale completa $e^{ik\mu\chi}$ porti a contributi su tutti i multipoli $\ell$, piuttosto che a una troncatura finita trovata nel limite parallelo-piano.

3. Effetti ad Ampio Angolo e Parità Dispari: Il formalismo cattura naturalmente gli effetti ad ampio angolo senza espansioni perturbative in $s/d$.

   • Mostra esplicitamente che i multipoli dispari (ad esempio, dipolo, ottupolo) derivano dalla combinazione della geometria ad ampio angolo e dell'evoluzione radiale (redshift disuguali), nonché dai termini Doppler relativistici.
   • Nel limite parallelo-piano con redshift uguali, i multipoli dispari si annullano, recuperando i risultati standard. Tuttavia, per redshift disuguali o angoli ampi, lo spettro acquisisce una parte immaginaria non nulla, riflettendo la rottura della simmetria.

4. Statistiche di Ordine Superiore: La costruzione si estende direttamente allo spettro di potenza dell'osservatore e alle funzioni a $N$ punti. L'omogeneità statistica garantisce un'unica funzione delta conservatrice del momento per i vettori d'onda esterni, con la geometria del cono di luce codificata nelle etichette esterne e nei kernel per ramo.

5. Termini dell'Osservatore: Il lavoro chiarisce il trattamento dei contributi legati alla posizione dell'osservatore (ad esempio, la velocità dell'osservatore nel termine Doppler). Nello spettro dell'osservatore, questi appaiono come termini di frontiera privi della fase radiale oscillante $e^{ik\mu\chi}$. In una singola realizzazione (un'indagine specifica), questi agiscono come modi globali coerenti (dipoli/monopoli) piuttosto che come segnali di clustering fluttuanti, spesso assorbiti nella densità media o sottratti dagli stimatori.

Significato e Affermazioni
Il lavoro afferma che lo Spettro di Potenza dell'Osservatore fornisce una "descrizione comune nello spazio di Fourier" degli osservabili del cono di luce in cui il ruolo dell'omogeneità statistica rimane esplicito. Il suo significato principale risiede in:

• Separazione di Fisica e Geometria: Separa le statistiche intrinseche dell'osservabile dagli effetti di proiezione (ampio angolo, evoluzione radiale, integrazione lungo la linea di vista) imposti dalla geometria del cono di luce.
• Strumento di Validazione: Offre un oggetto teorico naturale per validare gli effetti relativistici contro simulazioni cosmologiche (ad esempio, codici $N$-body). Nelle simulazioni, è possibile misurare $P^{(O)}$ correlando raggi del cono di luce da un insieme di osservatori senza riferimento a una finestra di indagine, prima di proiettare sulle statistiche standard. Ciò evita le difficoltà di validare spettri non diagonali e con miscelazione di modi.
• Esattezza: La definizione è esatta per l'osservabile in considerazione, estendendosi oltre la teoria lineare fino a osservabili non lineari e statistiche di ordine superiore senza richiedere le approssimazioni spesso necessarie nelle analisi di Fourier nello spazio sorgente.

Gli autori collocano questo lavoro come un passo fondamentale, notando che la prossima estensione logica è applicare questa costruzione allo spettro di potenza dell'osservatore e validare il formalismo contro le misurazioni del cono di luce nelle simulazioni numeriche.