Biased tracers, Hybrid Effective Field Theory and Modified Gravity

Este artículo extiende el marco de la Teoría de Campo Efectiva Híbrida (HEFT) a las cosmologías de gravedad modificada, específicamente la gravedad $f(R)$, detallando la expansión sesgada perturbativa requerida para calcular los espectros de potencia corregidos por bucles y proponiendo una estrategia para adaptar los emuladores de $\Lambda$CDM existentes para estos escenarios más allá del modelo estándar.

Lo esencial

Imagina el universo como un enorme pan de pasas en expansión. A medida que el pan crece, las pasas (que representan las galaxias) se alejan entre sí. Pero no se separan de manera uniforme; se agrupan en algunos lugares y dejan espacios vacíos en otros. Este agrupamiento se llama "formación de estructuras".

Durante décadas, los científicos han intentado escribir una receta matemática para predecir exactamente cómo se agruparán estas pasas. Este artículo trata sobre la mejora de esa receta, específicamente por dos razones:

1. Las Pasas "Sesgadas": No todas las pasas son iguales. Algunas son grandes, otras pequeñas, y no se distribuyen exactamente igual que la masa (materia oscura) que las rodea. Necesitamos una forma de modelar cómo se agrupan estas pasas específicas "sesgadas".
2. La Masa "Modificada": La mayoría de las recetas asumen que la masa sigue reglas estándar (Relatividad General). Pero, ¿qué pasa si la masa sigue reglas ligeramente diferentes y más extrañas (Gravedad Modificada)? Este artículo pone a prueba si nuestra receta sigue funcionando cuando las reglas de la gravedad cambian.

Aquí tienes un desglose del viaje del artículo utilizando analogías sencillas:

1. Las dos formas de hornear (Euleriana vs. Lagrangiana)

Los científicos tienen dos formas principales de rastrear las pasas:

• El método de la "Cuadrícula Fija" (Euleriano): Imagina una cámara tomando una foto de un punto específico en la cocina. Observas cómo las pasas fluyen a través de ese punto. Esto es bueno para ver el flujo, pero se vuelve caótico cuando la masa se aplasta demasiado (no lineal).
• El método de "Seguir la Pasa" (Lagrangiano): Imagina que pones un pequeño rastreador GPS en una pasa específica al principio. Sigues esa pasa mientras se mueve desde su punto de partida hasta su posición final. Este artículo utiliza este método porque maneja mucho mejor el "aplastamiento" de la masa.

2. El truco híbrido (HEFT)

Los autores presentan un atajo ingenioso llamado Teoría de Campo Efectiva Híbrida (HEFT).

• El Problema: Calcular el movimiento exacto de cada una de las pasas usando matemáticas puras es increíblemente difícil y lento. Calcularlo mediante simulaciones de supercomputadoras es preciso, pero requiere una potencia de cálculo masiva.
• La Solución: HEFT es como un "coche híbrido". Utiliza las matemáticas simples y rápidas para las partes fáciles (donde la masa es suave) y toma prestados datos de las simulaciones de alta potencia para las partes desordenadas y aplastadas. Esto te da la velocidad de las matemáticas con la precisión de una simulación.

3. El desafío: Gravedad Modificada

La mayoría de estos "coches híbridos" han sido construidos y probados solo para nuestro universo actual (llamado $\Lambda$CDM), donde la gravedad funciona tal como Einstein la describió originalmente.

• El Giro: Los autores querían ver si este método híbrido funciona si la gravedad es diferente. Específicamente, estudiaron la gravedad $f(R)$, una teoría donde la gravedad se vuelve más fuerte o más débil dependiendo de la escala (como un camaleón cambiando de color).
• La Dificultad: En esta gravedad modificada, el "crecimiento" del universo no es uniforme. Depende del tamaño del grupo. Esto rompe los atajos matemáticos simples que los científicos suelen utilizar.

4. Lo que hicieron

El equipo construyó un nuevo motor más flexible para su "coche híbrido" para poder manejar estas reglas de gravedad extrañas.

• Recalculando el mapa: Derivaron nuevos mapas matemáticos (llamados "funciones de crecimiento") que tienen en cuenta cómo la gravedad cambia según la escala.
• Probando el motor: Pusieron su nueva matemática frente a las simulaciones de supercomputadoras (el "estándar de oro").
  • Resultado 1 (Universo Estándar): Cuando la probaron en nuestro universo normal, las matemáticas funcionaron perfectamente, coincidiendo casi exactamente con las simulaciones.
  • Resultado 2 (Gravedad Modificada): Cuando la probaron en el modelo de gravedad $f(R)$, descubrieron que los viejos y simples atajos matemáticos (llamados "aproximación de Einstein-de Sitter") fallaron. Eran como usar un mapa plano para navegar por un terreno montañoso: el mapa antiguo simplemente no mostraba las colinas y los valles correctamente. Su nueva y compleja matemática era necesaria para obtener la respuesta correcta.

5. La Conclusión

El artículo concluye que:

• El marco HEFT (el método híbrido) es robusto y puede extenderse para trabajar con estas teorías de gravedad modificada y extrañas.
• Sin embargo, no puedes usar los viejos y simplificados atajos matemáticos cuando tratas con gravedad modificada. Debes usar sus cálculos nuevos y más complejos que tienen en cuenta las reglas cambiantes de la gravedad.
• Han proporcionado las herramientas y los "ingredientes" necesarios para que otros científicos actualicen sus modelos de sondeos de galaxias (como los de las misiones DESI o Euclid) para probar si nuestro universo sigue la gravedad estándar o estas reglas modificadas.

En resumen: Los autores tomaron una herramienta poderosa para mapear el universo, actualizaron su motor para manejar la "gravedad extraña" y demostraron que, si bien los viejos atajos funcionan para nuestro universo normal, fallan en estos nuevos escenarios. Ahora han entregado las llaves al resto de la comunidad científica para que puedan conducir este nuevo vehículo para explorar el cosmos.

Resumen técnico

Resumen Técnico: Trazadores Sesgados, Teoría de Campo Efectivo Híbrida y Gravedad Modificada

Planteamiento del Problema
El análisis de los sondeos de galaxias de Etapa IV (p. ej., DESI, LSST, Euclid, Roman) requiere un modelado teórico preciso del espectro de potencia de los trazadores sesgados, tales como las galaxias, para restringir los parámetros cosmológicos. Mientras que los métodos perturbativos y las simulaciones cosmológicas son herramientas estándar, presentan un compromiso: la teoría de perturbaciones ofrece eficiencia computacional pero tiene dificultades en las escalas no lineales, mientras que las simulaciones proporcionan completitud física pero requieren una costosa calibración y mapeo a observables. El marco de la Teoría de Campo Efectivo Híbrida (HEFT, por sus siglas en inglés) ha surgido como una solución, combinando expansiones de la Teoría de Perturbaciones Lagrangiana (LPT) con salidas de simulaciones de materia oscura únicamente para modelar el régimen no lineal de manera eficiente. Sin embargo, las implementaciones y emuladores de HEFT existentes (p. ej., bacco, Aemulus) se han desarrollado principalmente dentro del paradigma $\Lambda$CDM o extensiones leves (p. ej., $w_0w_a$CDM). Existe una brecha significativa en la aplicación de HEFT a teorías de gravedad modificada (MG), como la gravedad $f(R)$, donde el crecimiento de la estructura es dependiente de la escala y los mecanismos de detección (screening) (p. ej., camaleón) complican la computación de las funciones de crecimiento de LPT y las integrales de bucle (loop integrals).

Metodología
Los autores desarrollan un marco para computar los espectros de potencia de trazadores sesgados corregidos por bucles dentro del formalismo HEFT para cosmologías de gravedad modificada, centrándose específicamente en la gravedad $f(R)$. La metodología procede a través de varias etapas:

1. Teoría de Perturbaciones Lagrangiana (LPT) en Relatividad General: Los autores revisan las formulaciones Euleriana y Lagrangiana de la teoría de perturbaciones. En la imagen Lagrangiana, la evolución de la materia oscura se describe mediante un campo de desplazamiento $\Psi(q, \tau)$ que mapea las coordenadas Lagrangianas iniciales $q$ a las posiciones Eulerianas finales $x$. El espectro de potencia de la materia se deriva del Jacobiano de este mapeo, utilizando el teorema de los cumulantes para resumir los desplazamientos infrarrojos (IR) de forma no perturbativa.
2. Extensión a Gravedad Modificada: Los autores revisan las ecuaciones de movimiento para teorías de tensor-escalar (específicamente el modelo $f(R)$ de Hu-Sawicki). Derivan los factores de crecimiento necesarios hasta tercer orden, $D^{(1)}(k)$, $D^{(2)}(k_1, k_2)$ y $D^{(3),\text{symm.}}(k_1, k_2, k_3)$, que ahora son dependientes de la escala debido a la ecuación de Poisson modificada y la presencia de un campo escalar. Esto implica resolver ecuaciones acopladas de continuidad, Euler y Klein-Gordon de forma iterativa.
3. Implementación Numérica de Kernels Generalizados: Los autores implementan un código numérico para resolver las funciones de crecimiento generalizadas en una rejilla de momentos. Computan los kernels Lagrangianos $L^{(n)}$ y las funciones asociadas de integrales de bucle ($Q_n, R_n$) requeridas para el espectro de potencia de materia de un bucle. Prueban explícitamente la validez de la aproximación de Einstein–de Sitter (EdS), que asume un crecimiento independiente de la escala, frente a estas soluciones completas dependientes de la escala.
4. Expansión de Trazadores Sesgados: El marco se extiende a trazadores sesgados utilizando el esquema de sesgo Lagrangiano local. La densidad del trazador se expande en términos del campo de densidad inicial $\delta_L$, la cizalladura de marea $s^2$ y operadores de orden superior. Los autores computan los correladores Lagrangianos relevantes que involucran tanto los campos de desplazamiento como los campos de densidad inicial, adaptando las funciones escalares ($Q_I, R_I$) al contexto de MG dependiente de la escala.
5. Validación: La implementación se valida contra códigos existentes, específicamente velocileptors (para comparaciones de EdS) y mgpt (para comparaciones completas de MG), asegurando la consistencia en el cálculo de las integrales de bucle y los espectros de potencia.

Contribuciones Clave

• Marco LPT Generalizado para MG: El artículo proporciona una derivación detallada y una implementación numérica de las funciones de crecimiento y los kernels de LPT para la gravedad $f(R)$, contabilizando el crecimiento dependiente de la escala y los efectos de detección camaleónica hasta tercer orden.
• Cuantificación del Fallo de la Aproximación EdS: Los autores demuestran que la aproximación de Einstein–de Sitter, aunque es altamente precisa para $\Lambda$CDM (errores de menos del uno por ciento), falla significativamente en los escenarios de gravedad modificada. En modelos $f(R)$, la aproximación EdS se desvía de las soluciones exactas, particularmente en el régimen ligeramente no lineal ($k \sim 0.1\text{--}0.4 \, h\text{Mpc}^{-1}$) y en configuraciones de triángulo comprimidas (squeezed) donde el acoplamiento de modos es más fuerte.
• Estrategia de Extensión de HEFT: El trabajo describe los ingredientes necesarios para extender los emuladores basados en HEFT existentes (como bacco y Aemulus) a cosmologías más allá de $\Lambda$CDM. Esto implica reemplazar los kernels estándar de EdS con los kernels generalizados y dependientes de la escala derivados en este trabajo.
• Validación de Integrales de Bucle: Los autores verifican su integración numérica de las integrales de bucle generalizadas ($Q_n, R_n$) contra el código mgpt, mostrando un excelente acuerdo a través de modelos $\Lambda$CDM y $f(R)$.

Resultos

• Crecimiento Dependiente de la Escala: Los factores de crecimiento Lagrangiano de segundo y tercer orden computados exhiben una fuerte dependencia de la escala en la gravedad $f(R)$, ocurriendo las desviaciones más significativas en configuraciones comprimidas.
• Desviaciones en las Integrales de Bucle: Las comparaciones de las funciones $Q_n$ y $R_n$ muestran que, si bien la aproximación EdS reproduce los resultados de $\Lambda$CDM con alta fidelidad, introduce errores visibles en la gravedad $f(R)$. Estos errores son más pronunciados donde los términos de corrección de bucle alcanzan su máximo, lo que indica que el uso de kernels de EdS en análisis de MG conduciría a predicciones teóricas sesgadas.
• Espectro de Potencia de Materia: La inclusión de las correcciones de bucle de kernel completo en LPT produce un espectro de potencia de materia que difiere de la predicción de EdS en modelos $f(R)$. La supresión exponencial (contribución de Zel'dovich) está más acentuada en $f(R)$ debido a las mayores varianzas de desplazamiento ($\sigma_L^2$).
• Consistencia de Trazadores Sesgados: El formalismo generalizado computa con éxito el espectro de potencia de trazadores sesgados, confirmando que la expansión estándar de sesgo Lagrangiano local sigue siendo aplicable siempre que las funciones de crecimiento y las integrales de bucle subyacentes se traten con la correcta dependencia de la escala.

Significancia
El artículo establece la base teórica y numérica necesaria para aplicar el marco de la Teoría de Campo Efectivo Híbrida a las cosmologías de gravedad modificada. Al cuantificar explícitamente las limitaciones de la aproximación de Einstein–de Sitter en escenarios de crecimiento dependiente de la escala, los autores argumentan que el modelado preciso de los datos de los futuros sondeos de Etapa IV en teorías no-$\Lambda$CDM requiere el uso de kernels LPT generalizados y dependientes de la escala. Este trabajo permite la extensión de emuladores de alta precisión para probar teorías de la gravedad más allá de la Relatividad General, cerrando la brecha entre la eficiencia perturbativa y la compleja física no lineal de la gravedad modificada.