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

1. Planteamiento del Problema

El trabajo aborda la propagación de ondas gravitacionales (OG) a través de una distribución estocástica de lentes gravitacionales débiles, moviéndose más allá del límite de la óptica geométrica (donde la longitud de onda es mucho menor que la escala de la lente) y del tratamiento de lentes aisladas en el régimen de óptica de ondas.

• Limitaciones de enfoques previos: La mayoría de los estudios de lente de OG en óptica de ondas se han centrado en lentes aisladas. Cuando la longitud de onda es comparable al tamaño de la lente, los efectos de difracción e interferencia son cruciales, y la noción de "rayo" se pierde.
• El desafío estadístico: En un universo real, las OG atraviesan una distribución aleatoria de materia (lentes débiles). Describir esto requiere promediar sobre un conjunto de realizaciones de la distribución de materia, no solo sobre una sola configuración.
• La barrera conceptual: En el régimen de óptica de ondas, las técnicas basadas en trayectorias (como las ecuaciones de Boltzmann o aproximaciones de lentes delgadas) fallan porque la difracción y la interferencia destruyen la definición de trayectoria única.
• Objetivo: Desarrollar un marco unificado para describir la propagación de OG a través de un medio desordenado estático, capturando efectos de interferencia, difracción y fluctuaciones estadísticas, y cuantificando la pérdida de coherencia (decoherencia) inducida por el medio.

2. Metodología

Los autores adoptan un enfoque de sistemas desordenados (quenched disorder), tratando la distribución de lentes como un fondo aleatorio estático.

A. Formalismo de Densidad Matricial y Schwinger-Keldysh

En lugar de resolver la ecuación de onda para una realización específica y luego promediar, el objeto fundamental es la matriz de densidad promediada por el desorden ($\rho_{av}$).

• Se utiliza el formalismo Schwinger-Keldysh (o "in-in"), que duplica los grados de libertad del campo ($\zeta_+$ en la rama hacia adelante y $\zeta_-$ en la rama hacia atrás) para calcular valores esperados de operadores en tiempos finitos.
• La evolución unitaria se mantiene para cada realización individual del potencial gravitacional $\Phi$, pero el promedio sobre el ensemble de desorden introduce dinámicas efectivas no unitarias (pérdida de coherencia).

B. Acción y Perturbación

• Métrica: Se considera un fondo de Newton con un potencial gravitacional estático $\Phi(x)$.
• Campo: La OG se modela como un campo escalar real $\zeta$ (ignorando polarización para aislar los mecanismos básicos).
• Acción: La acción se divide en una parte libre ($S_0$) y una interacción ($S_{int}$) lineal en $\Phi$ y cuadrática en $\zeta$.
• Desarrollo: Se utiliza el método de campo de fondo para separar la solución clásica ($\zeta_{cl}$) de las fluctuaciones cuánticas ($\eta$). La integral de camino se evalúa perturbativamente en el potencial $\Phi$ (parámetro de conteo $\alpha$).

C. Promedio sobre el Desorden

• Se asume que el potencial gravitacional es un campo aleatorio gaussiano con media cero.
• Se realiza la integración funcional sobre las realizaciones del potencial $\Phi$ dentro de la integral de camino de la matriz de densidad.
• Esto genera un funcional de influencia (o acción efectiva) que acopla las ramas $\zeta_+$ y $\zeta_-$, modificando la dinámica reducida del sistema.

3. Contribuciones Clave y Resultados Principales

El resultado central es una expresión explícita para la matriz de densidad promediada $\rho_{av}$, que se descompone naturalmente en dos contribuciones exponenciales:

1. Estructura de la Matriz de Densidad Promediada

La evolución de la matriz de densidad toma la forma:
$$\rho_{av} \propto \exp\left( i \Omega \delta S_{osc} \right) \times \exp\left( - \frac{\alpha^2 \Omega^2}{2} \mathcal{Q}[\delta A_1] \right)$$

• Término Oscilatorio (Fase Pura):

  • Representa una corrección a la fase de propagación, análoga a una auto-energía inducida por el desorden.
  • Corresponde a la dispersión elástica: la onda se propaga coherentemente pero con una modificación en el kernel de propagación debido a las inhomogeneidades.
  • No causa amortiguamiento directo, pero afecta la interferencia a través de desfases.

• Término Cuadrático (Factor de Amortiguamiento/Decoherencia):

  • Es un término exponencial real negativo que suprime los elementos fuera de la diagonal de la matriz de densidad.
  • Depende de la diferencia entre las configuraciones de campo en las ramas $\zeta_+$ y $\zeta_-$ (desajuste de rama, $\delta A_1$).
  • Física: Este término cuantifica la pérdida de coherencia (decoherencia). Las fluctuaciones aleatorias de fase inducidas por el medio desordenado promedian a cero las contribuciones interferentes cuando las ramas del camino difieren significativamente.

2. Escalas de Decoherencia

El análisis identifica las escalas físicas que controlan la pérdida de coherencia:

• La supresión es máxima cuando la longitud de onda de la OG es comparable a la longitud de correlación del desorden ($\ell_c$).
• Si la longitud de onda es mucho mayor que $\ell_c$, los efectos promedian y la decoherencia es débil.
• Si la longitud de onda es mucho menor, el medio se ve suave localmente y la decoherencia también es débil.
• El parámetro $\Omega$ se identifica con la frecuencia de la onda ($\omega$) mediante el principio de correspondencia. En el límite de alta frecuencia ($\Omega \to \infty$), la supresión de elementos fuera de la diagonal es más fuerte.

3. Ejemplo con Paquetes de Onda Gaussianos

Los autores aplican el formalismo a paquetes de onda gaussianos en el espacio de momentos:

• Demuestran cómo la decoherencia depende de la separación en momento ($\Delta p$) entre las ramas iniciales.
• Para un campo real, la condición de realidad ($\zeta_p^* = \zeta_{-p}$) obliga a que el estado tenga dos lóbulos de momento ($\pm p_0$). La decoherencia es eficiente si el espectro de potencia del desorden tiene soporte en el momento de transferencia necesario para resolver la separación entre estos lóbulos ($|k| \sim 2|p_0|$).
• Se muestra que la decoherencia crece con el tiempo de propagación ($T$) y la separación entre ramas.

4. Influencia Funcional

Se reformula el problema utilizando el enfoque de funcional de influencia de Feynman-Vernon. Esto revela que promediar sobre el potencial aleatorio induce una auto-interacción efectiva no local en el contorno de tiempo cerrado, acoplando las ramas hacia adelante y hacia atrás. Esto es análogo a la acción de influencia en sistemas cuánticos abiertos, pero con un entorno estático (desorden congelado) en lugar de dinámico.

4. Significado e Impacto

• Marco Unificado: Proporciona la primera descripción general de lente gravitacional de OG en el régimen de óptica de ondas para distribuciones estocásticas de lentes, superando las limitaciones de las aproximaciones de rayos o lentes aisladas.
• Herramienta Observacional: Ofrece un marco teórico para interpretar distorsiones en las formas de onda de OG (como el evento GW231123) y para estudiar las anisotropías del fondo estocástico de ondas gravitacionales (SGWB).
• Sondeo de la Materia: Permite extraer información sobre el espectro de potencia de las inhomogeneidades de materia (y modelos de materia oscura o agujeros negros primordiales) a partir de la firma de decoherencia en las señales de OG.
• Generalidad: Aunque aplicado a OG, el formalismo es aplicable a cualquier sistema de ondas (electromagnéticas, sísmicas, acústicas) que se propaguen en medios desordenados estáticos, conectando la cosmología con la física de la materia condensada y la teoría de sistemas desordenados.

En resumen, el artículo establece que la propagación de ondas gravitacionales a través de un universo inhomogéneo no es simplemente una suma de efectos de lente individuales, sino un proceso colectivo donde el desorden induce una transición de coherencia a incoherencia, gobernada por la relación entre la longitud de onda y la escala de las estructuras de materia.