Gravitational-wave lensing beyond rays: a disordered-system approach

1. Problématique et Contexte

L'article s'attaque à la description de la propagation des ondes gravitationnelles (OG) à travers une distribution stochastique de lentilles gravitationnelles faibles, en dépassant les limites de l'approximation de l'optique géométrique.

• Limites de l'optique géométrique : Lorsque la longueur d'onde de l'OG est bien inférieure à l'échelle caractéristique de la lentille, la propagation peut être décrite par des rayons (focalisation/défocalisation). Cependant, lorsque la longueur d'onde est comparable ou supérieure à l'échelle de la lentille, les effets d'interférence et de diffraction deviennent dominants (régime d'optique ondulatoire).
• Le défi du désordre : La plupart des études existantes se concentrent sur des lentilles isolées. Or, dans un univers réel, les OG traversent une distribution aléatoire de structures de matière. Décrire ce système nécessite de moyenner sur un ensemble de réalisations du champ de potentiel gravitationnel.
• Obstacle conceptuel : Dans le régime d'optique ondulatoire, la notion de trajectoire (rayon) disparaît à cause de la diffraction, rendant les méthodes basées sur les équations cinétiques (type Boltzmann) ou les intégrales de chemin standard inapplicables directement pour le désordre.
• Objectif : Développer un cadre unifié pour traiter la propagation d'OG dans un milieu désordonné statique, en utilisant les outils de la physique des systèmes désordonnés (désordre "gelé" ou quenched disorder).

2. Méthodologie

Les auteurs adoptent une approche inspirée de la physique de la matière condensée et des systèmes quantiques ouverts, mais appliquée à des ondes classiques.

A. Formalisme de la Matrice de Densité Moyennée

Au lieu de résoudre l'équation d'onde pour une réalisation spécifique du potentiel et de moyenner ensuite les observables, les auteurs définissent directement la matrice de densité moyennée sur le désordre ($\rho_{av}$).

• Pourquoi ? La matrice de densité conserve les informations sur les corrélations de phase et la cohérence, essentielles pour les effets d'interférence.
• Analogie : Le champ de lentilles est traité comme un environnement statique (désordre gelé). Pour chaque réalisation, l'évolution est unitaire, mais le moyennage sur l'ensemble des réalisations introduit une évolution effective non-unitaire (décohérence).

B. Intégrale de Chemin et Formalisme de Schwinger-Keldysh

Pour calculer $\rho_{av}$, ils utilisent le formalisme d'intégrale de chemin de Schwinger-Keldysh (ou "in-in"), adapté aux systèmes hors équilibre et aux valeurs moyennes d'opérateurs à temps fini.

• Doublement des champs : Le formalisme introduit deux branches temporelles : une branche avant ($+$) et une branche arrière ($-$) sur le contour temporel fermé.
• Action : L'action du système est séparée en une partie libre ($S_0$) et une interaction avec le potentiel gravitationnel statique $\Phi(x)$ ($S_{int}$).
• Moyennage : L'intégrale fonctionnelle sur le potentiel stochastique $\Phi$ est effectuée en supposant que $\Phi$ suit une distribution gaussienne avec une moyenne nulle et un spectre de puissance donné $\tilde{C}(k)$.

C. Développement Perturbatif et Méthode du Champ Moyen

Le calcul est mené de manière perturbative par rapport au potentiel gravitationnel (paramètre de comptage $\alpha$) :

1. Décomposition du champ : Séparation entre une solution classique (sur la coquille) et des fluctuations quantiques (Jacobi).
2. Action classique : Calculée jusqu'au second ordre en $\alpha$.
3. Déterminant fonctionnel (Boucles) : L'intégration sur les fluctuations gaussiennes génère un déterminant fonctionnel (corrections de boucle) qui modifie le poids statistique du désordre.
4. Intégration sur le désordre : L'intégrale gaussienne sur $\Phi$ est effectuée exactement, ce qui couple les deux branches ($+$ et $-$) du contour de Schwinger-Keldysh.

3. Résultats Clés

Le résultat principal est une expression explicite pour la matrice de densité moyennée à l'instant final, qui se décompose naturellement en deux facteurs exponentiels distincts :

A. Séparation des Effets

L'évolution de la matrice de densité prend la forme :
$$\rho_{av} \propto \exp(i \Phi_{osc}) \times \exp(-\Gamma_{damp})$$

1. Terme Oscillatoire (Phase Pure) :

   • Provenant de la différence d'action libre entre les deux branches, corrigée par un terme d'ordre $\alpha^2$ lié à $\delta A_2$.
   • Ce terme représente une modification du noyau de propagation (analogue à une auto-énergie). Il correspond à une diffusion élastique : la cohérence est préservée mais la phase est modifiée par le milieu.

2. Terme d'Amortissement (Décohérence) :

   • Provenant d'un terme quadratique réel dans l'exponentielle, lié à $\delta A_1$ et au spectre de puissance du désordre.
   • Ce terme est toujours négatif (ou nul), entraînant une suppression exponentielle des éléments hors-diagonale de la matrice de densité.
   • C'est la signature de la décohérence induite par le désordre : les relations de phase entre différentes configurations de champ sont brouillées par le moyennage sur les réalisations du potentiel.

B. Échelles Physiques de la Décohérence

L'analyse montre que la décohérence est contrôlée par le recouvrement entre :

• Le support en impulsion de la différence entre les deux branches ($\delta A_1$).
• Le spectre de puissance du désordre $\tilde{C}(k)$.
• Condition optimale : L'effet de décohérence est maximal lorsque la longueur d'onde de l'onde gravitationnelle est comparable à la longueur de corrélation du désordre (les inhomogénéités sont résolues par l'onde). Si la longueur d'onde est très grande (moyenne sur beaucoup de fluctuations) ou très petite (milieu localement lisse), l'effet est atténué.

C. Étude de Cas : Paquets d'Ondes Gaussiens

Les auteurs appliquent le formalisme à des paquets d'ondes gaussiens en espace des impulsions.

• Ils montrent que la décohérence dépend de la séparation en impulsion $\Delta p$ entre les branches initiales.
• Pour un champ réel (condition de réalité $\zeta_p^* = \zeta_{-p}$), la décohérence peut être induite par des transferts d'impulsion connectant les deux lobes de moment ($\pm p_0$), contrairement au cas d'un champ complexe où un paquet unilatéral pourrait rester cohérent plus longtemps.
• La dépendance temporelle montre que la décohérence s'active lentement ($\propto T^6$) aux temps courts, puis oscille aux temps longs.

4. Contributions et Signification

• Cadre Unifié : L'article fournit le premier cadre général pour décrire la lentille gravitationnelle des OG dans le régime d'optique ondulatoire à travers un milieu stochastique, unifiant interférence, diffraction et fluctuations statistiques.
• Nouvelle Perspective sur la Décohérence : Il identifie la perte de cohérence non pas comme une interaction avec un bain dynamique (comme dans les systèmes quantiques ouverts classiques), mais comme un effet émergent du moyennage sur un environnement statique gelé (quenched disorder).
• Applicabilité Générale : Bien que motivé par les OG, le formalisme s'applique à toute onde se propageant dans un milieu désordonné statique (ondes électromagnétiques, acoustiques, sismiques).
• Outil pour la Cosmologie : Ce cadre ouvre la voie à l'utilisation des distorsions de phase et de l'amortissement de cohérence dans les signaux d'OG pour sonder le spectre de puissance de la matière à des échelles difficiles d'accès autrement, y compris pour les fonds stochastiques d'OG.

Conclusion

En résumé, cet article établit que la propagation d'ondes gravitationnelles à travers un univers inhomogène peut être décrite rigoureusement en termes de matrice de densité moyennée. Le résultat clé est la séparation de l'évolution en une phase cohérente modifiée (diffusion élastique) et un amortissement incohérent (décohérence), dont l'ampleur dépend crucialement de la relation entre la longueur d'onde de l'onde et l'échelle de corrélation du désordre cosmique. Cette approche dépasse les limites de l'optique géométrique et offre de nouveaux observables potentiels pour la cosmologie de précision.