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

Résumé technique : Le spectre de puissance de l'observateur pour les statistiques de cône de lumière

Énoncé du problème
La description statistique de la structure à grande échelle est conventionnellement réalisée à l'aide de spectres de puissance dans l'espace de Fourier. Sur des hypersurfaces spatiales à temps fixe, l'homogénéité statistique garantit que les modes de Fourier avec des vecteurs d'onde différents sont non corrélés, résultant en un spectre de puissance diagonal $P(k)$. Cependant, les observables cosmologiques sont mesurés sur le cône de lumière passé de l'observateur, et non sur une seule tranche spatiale. Cela introduit trois complications qui brisent l'invariance par translation dans la transformée de Fourier standard de l'espace source :

1. Évolution radiale : Les facteurs de croissance, les biais et les fonctions de sélection varient avec la distance.
2. Géométrie grand angle : Les galaxies d'une paire possèdent des lignes de visée différentes.
3. Effets intégrés : Des phénomènes comme la magnification par lentille gravitationnelle dépendent du potentiel gravitationnel le long de tout le trajet du photon, et non seulement à la source.

Par conséquent, les transformées de Fourier standard sur les positions sources sur un cône de lumière produisent des spectres non diagonaux où différents modes sont corrélés (mélange de modes). Cela nécessite l'utilisation de diverses statistiques à deux points distinctes (par exemple, des spectres d'espace mixte $\bar{P}(k, d)$, des spectres de cône de lumière non diagonaux $\tilde{P}(k_1, k_2)$, ou des spectres angulaires $C_\ell$), chacun représentant une projection différente des mêmes corrélations sous-jacentes du cône de lumière. L'article identifie l'absence d'un cadre unifié séparant les statistiques intrinsèques de l'observable des effets de projection géométrique imposés par le cône de lumière et les estimateurs spécifiques.

Méthodologie : Le spectre de puissance de l'observateur
Les auteurs proposent une nouvelle définition du spectre de puissance, appelée spectre de puissance de l'observateur $P^{(O)}$, qui restaure une structure diagonale en changeant la variable de transformation de Fourier.

• Définition : Au lieu de transformer sur les positions sources $x_s$ sur un seul cône de lumière, les auteurs définissent la transformée de Fourier de l'observateur (OFT) en intégrant sur les positions de l'observateur $x_0$ sur une hypersurface spatiale à un temps conforme fixe $\eta_0$, tout en maintenant les coordonnées du rayon lumineux (distance radiale $\chi$ et direction $\hat{n}$) fixes.
  $$X^{(O)}(k; \chi, \hat{n}) \equiv \int d^3x_0 e^{-i k \cdot x_0} X(x_0; \chi, \hat{n})$$
• Diagonalisation : Parce que le domaine d'intégration est une hypersurface spatiale complète, l'homogénéité statistique est préservée par construction. Cela garantit que la fonction de corrélation à deux points des modes OFT est diagonale 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)$$
• Structure :
  • Pour les champs locaux (par exemple, la densité), $P^{(O)}$ est le produit du spectre de puissance spatial à temps inégal et d'un facteur de phase géométrique $e^{ik(\mu_1 \chi_1 - \mu_2 \chi_2)}$ tenant compte du décalage spatial entre l'observateur et la source.
  • Pour les champs intégrés (par exemple, la lentille gravitationnelle), $P^{(O)}$ se factorise en fonctions de transfert le long de la ligne de visée agissant indépendamment sur chaque jambe, proportionnelles au spectre de puissance intrinsèque du potentiel $P_\Phi(k)$ au même $k$. Crucialement, cela évite les convolutions sur les modes de Fourier trouvées dans les transformées de l'espace source.

Contributions et résultats clés

1. Cadre unifié pour les statistiques de cône de lumière : L'article démontre que toutes les statistiques standard de cône de lumière sont simplement des transformées intégrales (projections) de l'objet diagonal unique $P^{(O)}$.

   • La fonction de corrélation de cône de lumière $\xi_{LC}$ est l'intégrale dans l'espace des impulsions de $P^{(O)}$.
   • Le spectre d'espace mixte $\bar{P}(k, d)$ et le spectre de cône de lumière non diagonal $\tilde{P}(k_1, k_2)$ sont récupérés en projetant $P^{(O)}$ où les étiquettes externes ($\chi, \hat{n}$) deviennent des fonctions des variables d'intégration, générant ainsi le mélange de modes.
   • Les spectres de puissance angulaires $C_\ell$ sont obtenus en projetant les multipoles diagonaux de $P^{(O)}$.
   • La valeur attendue de l'estimateur de Yamamoto est montrée comme étant une projection fenêtrée de $P^{(O)}$, valable à la fois pour les régimes grand angle et intégrés sans approximation.

2. Comptages relativistes de galaxies : Les auteurs construisent explicitement le noyau relativiste pour la fluctuation du comptage de galaxies observé $\Delta$, incorporant :

   • La densité newtonienne et les distorsions de l'espace des vitesses de Kaiser (RSD).
   • Les termes Doppler (vitesses propres).
   • Les effets intégrés : magnification par lentille, retard temporel et effet Sachs-Wolfe intégré (ISW).
   • Ils dérivent la décomposition explicite en multipoles de Legendre de ces noyaux, montrant comment la phase radiale complète $e^{ik\mu\chi}$ conduit à des contributions sur tous les multipoles $\ell$, plutôt qu'à une troncature finie trouvée dans la limite parallèle-plan.

3. Effets grand angle et parité impaire : Le formalisme capture naturellement les effets grand angle sans développements perturbatifs en $s/d$.

   • Il montre explicitement que les multipoles impairs (par exemple, dipôle, octupôle) résultent de la combinaison de la géométrie grand angle et de l'évolution radiale (décalages vers le rouge inégaux), ainsi que des termes Doppler relativistes.
   • Dans la limite parallèle-plan avec des décalages vers le rouge égaux, les multipoles impairs s'annulent, retrouvant les résultats standards. Cependant, pour des décalages vers le rouge inégaux ou des angles larges, le spectre acquiert une partie imaginaire non nulle, reflétant la brisure de symétrie.

4. Statistiques d'ordre supérieur : La construction s'étend directement au bispectre de l'observateur et aux fonctions à $N$ points. L'homogénéité statistique garantit une seule fonction delta conservant l'impulsion pour les vecteurs d'onde externes, la géométrie du cône de lumière étant encodée dans les étiquettes externes et les noyaux par jambe.

5. Termes de l'observateur : L'article clarifie le traitement des contributions liées à la position de l'observateur (par exemple, la vitesse de l'observateur dans le terme Doppler). Dans le spectre de l'observateur, celles-ci apparaissent comme des termes de frontière dépourvus de la phase radiale oscillante $e^{ik\mu\chi}$. Dans une réalisation unique (un relevé spécifique), elles agissent comme des modes globaux cohérents (dipôles/monopôles) plutôt que comme des signaux de regroupement fluctuants, souvent absorbés dans la densité moyenne ou soustraits par les estimateurs.

Signification et affirmations
L'article affirme que le spectre de puissance de l'observateur fournit une « description commune dans l'espace de Fourier » des observables de cône de lumière où le rôle de l'homogénéité statistique reste explicite. Sa signification principale réside dans :

• Séparation de la physique et de la géométrie : Il sépare les statistiques intrinsèques de l'observable des effets de projection (grand angle, évolution radiale, intégration le long de la ligne de visée) imposés par la géométrie du cône de lumière.
• Outil de validation : Il offre un objet théorique naturel pour valider les effets relativistes contre des simulations cosmologiques (par exemple, codes $N$-corps). Dans les simulations, on peut mesurer $P^{(O)}$ en corrélant des rayons de cône de lumière à partir d'un ensemble d'observateurs sans référence à une fenêtre de relevé, avant de projeter vers des statistiques standard. Cela évite les difficultés de validation des spectres non diagonaux et mélangés de modes.
• Exactitude : La définition est exacte pour l'observable considéré, s'étendant au-delà de la théorie linéaire aux observables non linéaires et aux statistiques d'ordre supérieur sans nécessiter les approximations souvent nécessaires dans les analyses de Fourier de l'espace source.

Les auteurs positionnent ce travail comme une étape fondamentale, notant que la prochaine extension logique est d'appliquer cette construction au bispectre de l'observateur et de valider le formalisme contre des mesures de cône de lumière dans des simulations numériques.