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

Technische Samenvatting: Het Waarnemersvermogensspectrum voor Lichtkegelstatistieken

Probleemstelling
De statistische beschrijving van de grootschalige structuur wordt conventioneel uitgevoerd met behulp van vermogensspectra in Fourier-ruimte. Op ruimtelijke hyperoppervlakken op een vast tijdstip zorgt statistische homogeniteit ervoor dat Fourier-modes met verschillende golfvectoren ongecorreleerd zijn, wat resulteert in een diagonaal vermogensspectrum $P(k)$. Kosmologische observabelen worden echter gemeten op het verleden lichtkegel van de waarnemer, niet op een enkel ruimtelijk snijvlak. Dit introduceert drie complicaties die de translatie-invariantie in de standaard Fourier-transformatie van de bronruimte verbreken:

1. Radiale Evolutie: Groeifactoren, bias en selectiefuncties variëren met de afstand.
2. Wide-Angle Geometrie: Sterrenstelsels in een paar bezitten verschillende gezichtlijnen.
3. Geïntegreerde Effecten: Verschijnselen zoals lensing-versterking hangen af van het gravitationele potentiaal langs het volledige pad van de foton, niet alleen bij de bron.

Gevolg hiervan is dat standaard Fourier-transformaties over bronposities op een lichtkegel niet-diagonale spectra opleveren waarbij verschillende modes gecorreleerd zijn (mode-mixing). Dit vereist het gebruik van diverse onderscheiden tweepuntsstatistieken (bijv. gemengde-ruimte spectra $\bar{P}(k, d)$, niet-diagonale lichtkegel-spectra $\tilde{P}(k_1, k_2)$, of hoekspectra $C_\ell$), die elk een andere projectie representeren van dezelfde onderliggende lichtkegel-correlaties. Het artikel identificeert een gebrek aan een unifyend kader dat de intrinsieke statistiek van de observabele scheidt van de geometrische projectie die wordt opgelegd door de lichtkegel en specifieke schatters.

Methodologie: Het Waarnemersvermogensspectrum
De auteurs stellen een nieuwe definitie van het vermogensspectrum voor, het Waarnemersvermogensspectrum $P^{(O)}$, dat een diagonale structuur herstelt door de variabele van de Fourier-transformatie te veranderen.

• Definitie: In plaats van te transformeren over bronposities $x_s$ op een enkele lichtkegel, definiëren de auteurs de Waarnemers-Fourier-transformatie (OFT) door te integreren over waarnemerposities $x_0$ op een ruimtelijk hyperoppervlak op een vast conformal tijdstip $\eta_0$, terwijl de lichtstraal-coördinaten (radiale afstand $\chi$ en richting $\hat{n}$) vastgehouden worden.
  $$X^{(O)}(k; \chi, \hat{n}) \equiv \int d^3x_0 e^{-i k \cdot x_0} X(x_0; \chi, \hat{n})$$
• Diagonalisatie: Omdat het integratiedomein een volledig ruimtelijk hyperoppervlak is, wordt statistische homogeniteit per constructie behouden. Dit garandeert dat de tweepuntscorrelatie van de OFT-modes diagonaal is 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)$$
• Structuur:
  • Voor lokale velden (bijv. dichtheid) is $P^{(O)}$ het product van het ruimtelijke vermogensspectrum met ongelijke tijden en een geometrische fasefactor $e^{ik(\mu_1 \chi_1 - \mu_2 \chi_2)}$ die rekening houdt met de ruimtelijke offset tussen waarnemer en bron.
  • Voor geïntegreerde velden (bijv. lensing) factoriseert $P^{(O)}$ in lijn-van-zicht overdrachtsfuncties die onafhankelijk werken op elke been, evenredig met het intrinsieke potentiaalvermogensspectrum $P_\Phi(k)$ bij dezelfde $k$. Cruciaal is dat dit de convoluties over Fourier-modes vermijdt die voorkomen in bronruimte-transformaties.

Belangrijkste Bijdragen en Resultaten

1. Unifyend Kader voor Lichtkegelstatistieken: Het artikel demonstreert dat alle standaard lichtkegel-statistieken slechts integraaltransformaties (projecties) zijn van het enige diagonale object $P^{(O)}$.

   • De lichtkegel-correlatiefunctie $\xi_{LC}$ is de impulsruimte-integraal van $P^{(O)}$.
   • Het gemengde-ruimte spectrum $\bar{P}(k, d)$ en het niet-diagonale lichtkegel-spectrum $\tilde{P}(k_1, k_2)$ worden terugverkregen door $P^{(O)}$ te projecteren waarbij de externe labels ($\chi, \hat{n}$) functies worden van de integratievariabelen, waardoor de mode-mixing wordt gegenereerd.
   • Hoekvermogensspectra $C_\ell$ worden verkregen door de diagonale multipolen van $P^{(O)}$ te projecteren.
   • De verwachte waarde van de Yamamoto-schatter wordt aangetoond als een vensterprojectie van $P^{(O)}$, geldig voor zowel wide-angle als geïntegreerde regimes zonder benadering.

2. Relativistische Aantallen Sterrenstelsels: De auteurs construeren expliciet de relativistische kern voor de fluctuatie in het waargenomen aantal sterrenstelsels $\Delta$, waarbij ze integreren:

   • Newtoniaanse dichtheid en Kaiser-vervormingen in de roodverplaatsingsruimte (RSD).
   • Dopplereffecten (eigenbewegingen).
   • Geïntegreerde effecten: Lensing-versterking, tijdsvertraging en het Integrated Sachs-Wolfe (ISW)-effect.
   • Zij leiden de expliciete Legendre-multipoolontbinding van deze kernen af, en tonen aan hoe de volledige radiale fase $e^{ik\mu\chi}$ leidt tot bijdragen over alle multipolen $\ell$, in plaats van een eindige truncatie zoals gevonden in het vlak-parallelle limiet.

3. Wide-Angle en Oneven Pariteitseffecten: Het formalisme vangt wide-angle-effecten natuurlijk op zonder perturbatieve expansies in $s/d$.

   • Het toont expliciet aan dat oneven multipolen (bijv. dipool, octupool) ontstaan uit de combinatie van wide-angle-geometrie en radiale evolutie (ongelijke roodverplaatsingen), evenals uit relativistische Dopplereffecten.
   • In het vlak-parallelle limiet met gelijke roodverplaatsingen verdwijnen oneven multipolen, waardoor standaardresultaten worden hersteld. Echter, voor ongelijke roodverplaatsingen of wide angles, verkrijgt het spectrum een niet-verdwijnend imaginair deel, wat de breuk in symmetrie weerspiegelt.

4. Hoger-Orde Statistieken: De constructie strekt zich direct uit tot het waarnemers-bispectrum en $N$-puntfuncties. Statistische homogeniteit zorgt voor één enkele impulsbehoudende delta-functie voor de externe golfvectoren, waarbij de lichtkegel-geometrie is gecodeerd in externe labels en per-been kernen.

5. Waarnemerstermen: Het artikel verduidelijkt de behandeling van bijdragen van de waarnemerpositie (bijv. de snelheid van de waarnemer in het Dopplereffect). In het waarnemersspectrum verschijnen deze als randtermen die de oscillerende radiale fase $e^{ik\mu\chi}$ missen. In een enkele realisatie (een specifiek survey) treden deze op als coherente globale modes (dipolen/monopolen) in plaats van fluctuerende clusteringssignalen, die vaak worden geabsorbeerd in de gemiddelde dichtheid of worden afgetrokken door schatters.

Betekenis en Claims
Het artikel beweert dat het Waarnemersvermogensspectrum een "gemeenschappelijke beschrijving in Fourier-ruimte" biedt van lichtkegel-observabelen waarbij de rol van statistische homogeniteit expliciet blijft. De primaire betekenis ligt in:

• Scheiding van Fysica en Geometrie: Het scheidt de intrinsieke statistiek van de observabele van de projectie-effecten (wide-angle, radiale evolutie, lijn-van-zicht integratie) die worden opgelegd door de lichtkegel-geometrie.
• Validatiehulpmiddel: Het biedt een natuurlijk theoretisch object voor het valideren van relativistische effecten tegen kosmologische simulaties (bijv. $N$-body codes). In simulaties kan men $P^{(O)}$ meten door lichtkegelstralen te correlateren vanuit een ensemble van waarnemers zonder verwijzing naar een surveyvenster, voordat wordt geprojecteerd naar standaardstatistieken. Dit vermijdt de moeilijkheden van het valideren van niet-diagonale, mode-gemixte spectra.
• Exactheid: De definitie is exact voor de onderzochte observabele, en strekt zich uit buiten lineaire theorie naar niet-lineaire observabelen en hoger-orde statistieken zonder de benaderingen te vereisen die vaak noodzakelijk zijn in bronruimte-Fourieranalyses.

De auteurs positioneren dit werk als een fundamentele stap, en merken op dat de volgende logische uitbreiding is om deze constructie toe te passen op het waarnemers-bispectrum en om het formalisme te valideren tegen lichtkegel-metingen in numerieke simulaties.