$\mathcal{H}$-EFTCAMB: A Cobaya-Integrated, Python-Wrapped Extension of EFTCAMB for Covariant Horndeski Gravity

El artículo presenta $\mathcal{H}$-EFTCAMB, una extensión oficial de EFTCAMB integrada en Cobaya y envuelta en Python que permite calcular cosmologías para lagrangianos de Horndeski covariantes arbitrarios, resolviendo tanto mediante el marco de la teoría efectiva de campos como directamente las ecuaciones de movimiento para superar las limitaciones de los enfoques EFT en casos de oscilaciones.

Lo esencial

¡Hola! Imagina que el universo es un gigantesco rompecabezas cósmico que los científicos intentan armar. Durante años, hemos tenido una pieza clave llamada "Energía Oscura" que explica por qué el universo se expande cada vez más rápido. Pero, ¿qué es exactamente esa energía? ¿Es una constante aburrida o es algo más dinámico y extraño?

Aquí es donde entra en escena el nuevo código H-EFTCAMB. Para explicártelo de forma sencilla, vamos a usar algunas analogías:

1. El Problema: Un Motor Viejo y una Caja de Herramientas Rígida

Imagina que CAMB (el código original) es como un motor de coche muy fiable y viejo. Funciona perfecto para conducir por la carretera principal (la teoría estándar de Einstein), pero si quieres hacer acrobacias, saltar obstáculos o conducir por un terreno muy irregular (teorías de gravedad modificada), el motor se queda corto.

El código anterior, EFTCAMB, fue como añadir un kit de turbo a ese motor. Permitía hacer cosas más locas, pero seguía teniendo limitaciones:

• Solo podía manejar ciertos tipos de "acrobacias" predefinidas.
• Si la gravedad se comportaba de forma muy extraña (como un campo que oscila o cambia de dirección bruscamente), el motor se atascaba.
• Era difícil de conectar con las herramientas modernas que usan los científicos para analizar datos (como un software llamado Cobaya).

2. La Solución: H-EFTCAMB, el "Chasis Todo Terreno"

Los autores de este paper (un equipo de científicos de todo el mundo) han presentado H-EFTCAMB. Piensa en esto no como un simple turbo, sino como reemplazar todo el chasis del coche por uno nuevo, más robusto y flexible.

Aquí están sus tres superpoderes principales, explicados con analogías:

A. El Módulo "Horndeski": El Traductor Universal

Antes, si querías probar una teoría nueva de gravedad, tenías que traducirla manualmente a un lenguaje que el código entendiera, y a veces esa traducción fallaba.

• La analogía: Imagina que las teorías de gravedad son libros escritos en diferentes idiomas (inglés, chino, francés). El código antiguo solo leía inglés.
• La mejora: H-EFTCAMB tiene un traductor universal instantáneo (el módulo Horndeski). Ahora, puedes darle cualquier libro (cualquier teoría matemática de gravedad) en su idioma original, y el código lo entiende y lo ejecuta perfectamente. Incluso puede manejar situaciones donde el "idioma" cambia bruscamente (como un campo que oscila), algo que antes hacía que el código se rompiera.

B. El "Modo No Paramétrico": Dibujar en Libertad

Antes, para describir cómo se comporta la energía oscura, tenías que elegir una fórmula matemática fija (como una línea recta o una curva suave). Era como intentar dibujar un paisaje usando solo reglas y compás.

• La analogía: H-EFTCAMB te da un pincel mágico. Ahora puedes "dibujar" la forma de la energía oscura punto por punto, sin tener que adivinar la fórmula matemática de antemano. Esto permite a los científicos reconstruir la historia del universo basándose puramente en los datos observados, sin prejuicios teóricos.

C. La Conexión con Cobaya: El Puente Perfecto

Los científicos usan programas como Cobaya para probar millones de combinaciones de datos y ver cuál encaja mejor con la realidad (como probar millones de recetas para ver cuál sabe mejor).

• La analogía: El código anterior era como una cocina que estaba en una isla desierta; difícil de conectar con el mundo exterior. H-EFTCAMB ha construido un puente de acero directo a Cobaya. Ahora, los científicos pueden usar sus herramientas favoritas para analizar datos sin tener que hacer trucos complicados para que el código funcione.

3. ¿Por qué es importante esto? (La Prueba de Fuego)

Los autores no solo dijeron "es mejor", lo demostraron:

1. Comparación Interna: Verificaron que el nuevo código da los mismos resultados que el viejo en los casos que ya conocíamos (como un control de calidad).
2. Comparación Externa: Lo probaron contra otro código famoso llamado hi class. ¡Funcionó igual de bien!
3. El Ejemplo Real: Usaron el código para estudiar una teoría llamada "Gravedad de Descongelamiento" (Thawing Gravity). Descubrieron que, al añadir una nueva pieza a la teoría, esta podía explicar mejor los datos actuales sin violar las leyes de la física en nuestro sistema solar. Es como si hubieran encontrado una pieza de rompecabezas que encajaba perfectamente donde antes había un hueco.

En Resumen

H-EFTCAMB es la nueva herramienta definitiva para los cosmólogos.

• Es más flexible (puede manejar cualquier teoría de gravedad).
• Es más inteligente (puede dibujar la energía oscura sin fórmulas predefinidas).
• Es más conectada (se integra perfectamente con los programas modernos de análisis).

Es como pasar de tener un mapa de papel antiguo a tener un GPS en tiempo real con realidad aumentada que te permite explorar los rincones más oscuros y extraños del universo, ayudándonos a entender si la gravedad que conocemos es la historia completa o si hay algo más misterioso esperándonos.

¡Y lo mejor es que es de código abierto, así que cualquiera puede usarlo para intentar resolver los misterios del cosmos!

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "H−EFTCAMB: A Cobaya-Integrated, Python-Wrapped Extension of EFTCAMB for Covariant Horndeski Gravity", estructurado según los puntos solicitados.

1. El Problema

La cosmología observacional ha entrado en una era de mediciones de precisión (CMB, estructura a gran escala, escalera de distancias), lo que exige herramientas numéricas robustas para probar teorías de gravedad modificada (MG) y energía oscura (DE) más allá del modelo $\Lambda$CDM estándar.

El código EFTCAMB original fue un avance fundamental al implementar la Teoría de Campo Efectivo (EFT) de la energía oscura dentro del código Einstein-Boltzmann CAMB, permitiendo un análisis consistente y estable de perturbaciones lineales. Sin embargo, presentaba limitaciones críticas:

• Falta de generalidad covariante: No podía manejar directamente teorías escalares-tensoriales covariantes arbitrarias (específicamente la teoría de Horndeski) desde su Lagrangiano covariante.
• Limitaciones en el gauge unitario: El enfoque EFT estándar falla cuando el campo escalar experimenta "giros" (turn-overs), como en campos oscilantes donde $\dot{\phi}$ cruza cero, creando singularidades de coordenada en el gauge unitario.
• Rigidez en la parametrización: Las funciones libres estaban limitadas a formas analíticas predefinidas o expansiones de series, dificultando reconstrucciones no paramétricas.
• Integración obsoleta: Dependía principalmente de CosmoMC y no estaba integrado nativamente con el sampler moderno Cobaya, limitando su flujo de trabajo en pipelines de inferencia actuales.

2. Metodología

Los autores han desarrollado H−EFTCAMB, la sucesora oficial de EFTCAMB, implementando las siguientes mejoras metodológicas:

• Módulo Horndeski Covariante Directo: Se ha introducido un nuevo módulo que acepta cualquier Lagrangiano covariante dentro de la clase de Horndeski (la teoría escalar-tensorial más general con ecuaciones de movimiento de segundo orden).
  • Ofrece dos modos de solución:
    1. Mapeo a EFT: Convierte el Lagrangiano covariante a la formulación EFT estándar (flag EFTCAMB evolve delta phi = False).
    2. Integración Directa de $\delta\phi$: Resuelve directamente las ecuaciones de movimiento para las perturbaciones del campo escalar ($\delta\phi$) derivadas del Lagrangiano covariante (flag EFTCAMB evolve delta phi = True). Esto evita las singularidades del gauge unitario y permite estudiar campos oscilantes.
• Wrapper de Python e Integración con Cobaya: Se ha creado un envoltorio de Python que expone la funcionalidad del backend Fortran. Esto permite una integración "sin costuras" con Cobaya, facilitando el muestreo bayesiano de parámetros en pipelines modernos.
• Definición Flexible de Funciones Libres:
  • Se han añadido métodos de interpolación por splines (cúbicos y quínticos) para permitir la definición de funciones arbitrarias basadas en una cuadrícula densa de valores.
  • Soporte para definir funciones que dependen tanto del factor de escala ($a$) como de la fracción de energía de la DE ($\Omega_{DE}$), habilitando parametrizaciones como $\alpha_i = c_i \Omega_{DE}$.
• Validación Rigurosa:
  • Interna: Comparación con modelos existentes en EFTCAMB (ej. Galileón Cúbico Escalante).
  • Externa: Comparación contra el código hi class (que también implementa Horndeski) para teorías como Jordan-Brans-Dicke (JBD) y parametrizaciones $\alpha_i$.

3. Contribuciones Clave

1. Código H−EFTCAMB: Una extensión pública y oficial de EFTCAMB que unifica el marco EFT con la capacidad de resolver teorías de Horndeski covariantes directamente.
2. Capacidad para Campos Oscilantes: Es la única herramienta cosmológica capaz de manejar campos de Horndeski que experimentan oscilaciones o cruces de $\dot{\phi}=0$, superando las limitaciones del enfoque EFT tradicional.
3. Integración Nativa con Cobaya: Facilita el uso de H−EFTCAMB en análisis de datos modernos, eliminando la barrera de entrada para los usuarios de Cobaya.
4. Reconstrucción No Paramétrica: Gracias a los splines y la definición de funciones arbitrarias, permite reconstrucciones de datos impulsadas por observaciones sin asumir una teoría subyacente específica.
5. Nuevas Condiciones Iniciales y Límites de Positividad: Incluye condiciones iniciales consistentes con funciones EFT no nulas en épocas tempranas y aplica límites de positividad para garantizar la viabilidad física de los modelos.

4. Resultados

El artículo presenta varias validaciones y un caso de estudio:

• Validación Interna (Galileón Cúbico Escalante - SCG): Las predicciones de H−EFTCAMB coinciden perfectamente con las del módulo SCG original de EFTCAMB en los espectros de potencia del CMB (TT, EE, TE) y el espectro de potencia de la materia.
• Validación Externa (Teoría JBD y $\alpha_i$): Las comparaciones con hi class para la teoría Jordan-Brans-Dicke y la parametrización $\alpha_i = c_i \Omega_{DE}$ muestran una consistencia a nivel de sub-porcentaje (menos del 1% de diferencia), validando la precisión del nuevo módulo Horndeski y del enfoque de $\delta\phi$.
• Caso de Estudio: Gravedad de Descongelamiento con Screening (TGs):
  • Se aplicó el código para probar una teoría de gravedad modificada con un mecanismo de apantallamiento (screening) que incluye un operador Galileón adicional ($X\Box\phi$).
  • Se realizó un análisis de muestreo anidado (nested sampling) usando Cobaya con datos combinados de Planck, Pantheon+ y DESI DR2.
  • Resultado: Se confirmó que el nuevo operador no rompe la capacidad de la teoría para explicar los datos actuales ni su capacidad para soportar un cruce fantasma (phantom crossing) estable. Además, se demostró que el código puede manejar regímenes donde el campo oscila cerca de la recombinación, un caso que hi class no puede tratar.

5. Significancia

H−EFTCAMB representa un salto cualitativo en la cosmología teórica y observacional:

• Puente Teoría-Observación: Cierra la brecha entre teorías de alta energía (Lagrangianos covariantes generales) y la fenomenología cosmológica observacional, permitiendo probar directamente teorías complejas sin necesidad de mapeos manuales o aproximaciones restrictivas.
• Herramienta Estándar para Futuras Encuestas: Su integración con Cobaya y su flexibilidad lo convierten en una herramienta esencial para preparar y analizar los datos de las próximas encuestas de gran escala (como Euclid, DESI y LSST), que requerirán pruebas de gravedad extremadamente precisas.
• Resolución de Singularidades: Al permitir la evolución directa de $\delta\phi$, resuelve un problema técnico de larga data en la simulación de campos escalares oscilantes, abriendo la puerta a nuevos modelos de física de la energía oscura que antes eran inalcanzables numéricamente.
• Sostenibilidad del Código: Al ser la sucesora oficial, asegura el mantenimiento y desarrollo futuro de este ecosistema de código, incluyendo planes futuros para esquemas de aproximación cuasi-estática (QSA) y esquemas no lineales consistentes.

En resumen, H−EFTCAMB es una actualización indispensable que moderniza, generaliza y hace accesible el análisis de teorías de gravedad modificada de clase Horndeski frente a los datos cosmológicos de precisión actuales y futuros.