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

Dit paper introduceert $\mathcal{H}\mathtt{-EFTCAMB}$, de officiële opvolger van $\mathtt{EFTCAMB}$ die een nieuwe Horndeski-module bevat voor het berekenen van covariante Horndeski-graviteit en is naadloos geïntegreerd met de Cobaya-sampler via een flexibele Python-wrapper.

De kern

Stel je voor dat het heelal een enorm, ingewikkeld horloge is. De meeste wetenschappers denken dat dit horloge werkt volgens de regels die Albert Einstein honderd jaar geleden bedacht: de Algemene Relativiteitstheorie. Maar er is een probleem: het horloge loopt te snel. Het heelal breidt zich sneller uit dan de theorie voorspelt.

Om dit op te lossen, hebben wetenschappers twee ideeën:

1. Er is een onzichtbare, mysterieuze kracht genaamd Donkere Energie die het horloge aandrijft.
2. De regels van het horloge (de zwaartekracht) zijn op grote schaal anders dan we denken. Dit noemen we Gewijzigde Zwaartekracht.

Om te testen welke van deze twee ideeën klopt, hebben we een digitale "tijdmachine" nodig. Dat is wat dit papier introduceert: H-EFTCAMB.

Hier is een uitleg in gewone taal, met een paar creatieve vergelijkingen:

1. De Oude Versie: Een Strenge Architect

De originele versie, genaamd EFTCAMB, was al een krachtig hulpmiddel. Het was als een zeer strenge architect die alleen gebouwen ontwierp volgens een heel specifiek blauwdruk (de "Effectieve Veldtheorie"). Je kon de muren en ramen wel iets anders zetten, maar je moest je houden aan de basisregels van dat ene bouwplan. Het werkte goed, maar als je een heel nieuw, gekker type gebouw wilde ontwerpen (een nieuw zwaartekrachts-theorie), moest je de hele architect opnieuw leren hoe hij moest bouwen. Dat was lastig en niet flexibel.

2. De Nieuwe Versie: De "Alles-Kunnen" Bouwmeester

H-EFTCAMB is de opvolger. Het is alsof die strenge architect nu is getransformeerd in een super-flexibele bouwmeester die elke denkbare bouwtekening kan lezen en uitvoeren.

• De Horndeski-module (De Universele Sleutel):
  De grootste upgrade is een nieuwe module die "Horndeski" heet. Denk hierbij aan een universele sleutel. In plaats van dat je voor elke nieuwe zwaartekracht-theorie een nieuwe sleutel moet smeden, kan deze ene sleutel nu elk slot openen dat binnen de "Horndeski-familie" valt. Of je nu een theorie hebt die netjes in een kast past of een theorie die wild rondspringt (zoals een trillend veld), deze tool kan het allemaal berekenen.

  • Vergelijking: De oude versie kon alleen rechte lijnen tekenen. De nieuwe versie kan ook cirkels, spiralen en trillingen tekenen, zelfs als de lijn terugkrult naar zichzelf (wat de oude versie niet kon).

• Twee manieren van werken:
  De nieuwe tool heeft twee manieren om te werken:

  1. De Vertaler: Hij neemt jouw complexe theorie en vertaalt die naar het oude, vertrouwde taalstelsel (de EFT) om het op te lossen.
  2. De Directe Oplosser: Als de theorie te gek is voor de vertaler (bijvoorbeeld als een veld heen en weer trilt), dan lost hij de vergelijkingen direct op, zonder vertaling. Dit is cruciaal voor theorieën die "omklappen" of oscilleren, waar de oude software op zou vastlopen.

3. De Besturing: De "Cobaya" Integratie

Vroeger moest je deze software bedienen met ingewikkelde commando's, alsof je een oude radio met duizenden knoppen moest draaien.
H-EFTCAMB heeft nu een moderne afstandsbediening (een Python-wrapper) die naadloos werkt met Cobaya.

• Vergelijking: Cobaya is als een slimme robot die duizenden keren per seconde de knoppen draait om te kijken welke instellingen het beste bij de werkelijkheid passen. H-EFTCAMB is nu zo makkelijk te koppelen dat de robot het direct kan gebruiken. Je hoeft niet meer zelf te puzzelen; je geeft je theorie in, en de robot doet het zware rekenwerk.

4. Wat hebben ze er mee gedaan? (De Test)

Om te bewijzen dat deze nieuwe tool werkt, hebben de auteurs twee dingen gedaan:

• Interne Test: Ze hebben gekeken of de nieuwe tool dezelfde resultaten gaf als de oude tool voor bekende theorieën. Het antwoord was: "Ja, perfect."
• Externe Test: Ze hebben de resultaten vergeleken met een andere beroemde software (hi class). Ook hier klopten de resultaten tot op de haar na.

Daarnaast hebben ze een voorbeeldstudie gedaan met een theorie genaamd "Thawing Gravity" (een zwaartekracht die "ontdooit"). Ze ontdekten dat je met deze nieuwe tool een extra krachtje kon toevoegen dat de zwaartekracht op kleine schaal (zoals in ons zonnestelsel) "verbergt" (screening), terwijl hij op grote schaal het heelal toch anders laat gedragen. Dit is belangrijk omdat het uitlegt waarom we op aarde geen vreemde zwaartekracht-effecten merken, maar het heelal wel vreemd doet.

Conclusie

Kortom: H-EFTCAMB is de nieuwe, krachtigere versie van een computerprogramma dat helpt om te begrijpen hoe het heelal werkt.

• Het is flexibeler: Het kan meer soorten theorieën aan.
• Het is slimmer: Het kan theorieën oplossen die voorheen te moeilijk waren.
• Het is makkelijker: Het werkt perfect samen met de moderne tools die wetenschappers gebruiken om data van telescopen te analyseren.

Met dit nieuwe hulpmiddel kunnen astronomen nu beter testen of de "Donkere Energie" echt bestaat, of dat we de regels van de zwaartekracht gewoon moeten herschrijven. Het is de volgende grote stap in het proberen te begrijpen van het grootste mysterie van ons heelal.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "H−EFTCAMB: A Cobaya-Integrated, Python-Wrapped Extension of EFTCAMB for Covariant Horndeski Gravity", geschreven in het Nederlands.

Probleemstelling

De moderne kosmologie is het tijdperk van precisie-metingen ingegaan, gedreven door data van de kosmische microgolfachtergrond (CMB), grote schaalstructuur (LSS) en lokale afstandsladders. Hoewel het $\Lambda$CDM-model succesvol is, wijzen recente waarnemingen (zoals de Hubble-spanning en hints van een "phantom crossing" in de donkere energie) op de noodzaak om General Relativity (GR) te testen of uit te breiden.

De bestaande numerieke tools, zoals de oorspronkelijke EFTCAMB (een implementatie van de Effectieve Veldtheorie van Donkere Energie in de Einstein-Boltzmann-code CAMB), hadden beperkingen:

1. Beperkte dekking van theorieën: Ze waren voornamelijk ontworpen rond specifieke parametrisaties of een beperkte set van gemodelleerde covariante theorieën. Het toevoegen van nieuwe, willekeurige covariante scalar-tensor theorieën was technisch complex en onflexibel.
2. Gebrek aan directe Horndeski-ondersteuning: Er was geen algemene module die willekeurige covariante Lagrangianen binnen de Horndeski-klasse (de meest algemene scalar-tensor theorie met tweede-orde bewegingsvergelijkingen) direct kon verwerken zonder eerst te mappen naar een EFT-formulering.
3. Problemen met oscillerende velden: De EFT-benadering faalt wanneer het scalarveld "omdraait" (turn-overs), bijvoorbeeld bij oscillerende velden, omdat dit leidt tot coördinaat-singulariteiten in de unitaire gauge.
4. Integratie: Oudere versies maakten voornamelijk gebruik van de native CAMB-interface en CosmoMC, wat de integratie met moderne inferentie-pipelines zoals Cobaya beperkte.

Methodologie

De auteurs presenteren H−EFTCAMB, de officiële opvolger van EFTCAMB, die de volgende methodologische verbeteringen introduceert:

1. De Horndeski-module:

   • Een nieuwe module die direct werkt met de covariante Horndeski-Lagrangiaan ($L_2$ tot $L_5$).
   • De code accepteert de covariante Lagrangiaan als invoer en lost automatisch de achtergrond- en lineaire perturbatiekosmologie op.
   • Twee oplossingsroutes:
     • Mapping: Het Horndeski-theorie wordt gemapt naar de EFT-formulering (zoals in het origineel) en opgelost via de EFT-framework.
     • Directe Integratie ($\delta\phi$): De code lost direct de bewegingsvergelijkingen op voor de scalarveldperturbatie ($\delta\phi$) afgeleid van de covariante Lagrangiaan. Dit is cruciaal voor gevallen met oscillerende velden waar de EFT-benadering faalt.
   • De implementatie is gebaseerd op een enkele subroutine (EFTCAMBHdskLagrangianCoefficients) die Horndeski-functies ($G_i$) en hun afgeleiden definieert als functies van het veld $\phi$ en de kinetische term $X$.

2. Flexibele Functiespecifieatie:

   • Uitbreiding van de bestaande analytische vormen met spline-interpolatie (kubisch en quintisch). Dit stelt gebruikers in staat om willekeurige functies te definiëren door een dicht rooster van waarden in te voeren.
   • Ondersteuning voor functies die afhankelijk zijn van zowel de schaalfactor $a$ als het energiedichtheidsfractie van donkere energie $\Omega_{DE}$.
   • Mogelijkheid om vrije functies in de covariante Lagrangiaan (functies van $\phi$) te specificeren.

3. Python-wrapper en Cobaya-integratie:

   • Een krachtige Python-wrapper blootstelt de Fortran-backend, waardoor H−EFTCAMB naadloos kan worden geïntegreerd in Cobaya, de standaard Bayesiaanse sampler voor kosmologie.
   • Dit vereenvoudigt het opzetten van modellen en het uitvoeren van parameterinferentie aanzienlijk.

4. Validatie:

   • Interne validatie: Vergelijking met de oorspronkelijke EFTCAMB-implementatie van het "Scaling Cubic Galileon" (SCG) model.
   • Externe validatie: Vergelijking met de code hi class (een andere Horndeski-implementatie) voor het Jordan-Brans-Dicke (JBD) model en de $\alpha_i = c_i \Omega_{DE}$ parametrisatie.

Belangrijkste Bijdragen

• Universele Horndeski-ondersteuning: H−EFTCAMB is het eerste kosmologische code dat algemene oscillerende velden binnen de Horndeski-klasse kan behandelen via de directe $\delta\phi$-integratie, een scenario waar EFT-methoden falen.
• Non-parametrische reconstructie: Door spline-interpolatie kunnen gebruikers data-gedreven reconstructies van de versnelling van het heelal uitvoeren zonder een specifieke onderliggende theorie aan te nemen.
• Moderniseerde workflow: De naadloze integratie met Cobaya en de Python-wrapper maakt H−EFTCAMB toegankelijk voor moderne, complexe Bayesiaanse analysestudies.
• Uitgebreide initialisatie: Inclusie van nieuwe beginvoorwaarden die consistent zijn met niet-nul EFT-functies in de vroege tijden en toepassing van positiviteitsgrenzen (positivity bounds).

Resultaten

De auteurs hebben de nieuwe code gevalideerd en getoetst aan de hand van specifieke modellen:

1. Scaling Cubic Galileon (SCG): De resultaten van de nieuwe Horndeski-module kwamen perfect overeen met de resultaten van de originele, op maat gemaakte SCG-implementatie in EFTCAMB voor CMB-spectra en materiemachtsspectra.
2. Jordan-Brans-Dicke (JBD): Vergelijking met hi class toonde overeenstemming op sub-percent niveau voor verschillende waarden van de koppelingsparameter $\omega_{BD}$. De nieuwe module toonde bovendien een hogere theoretische flexibiliteit.
3. $\alpha_i = c_i \Omega_{DE}$ Parametrisatie: H−EFTCAMB slaagde erin deze parametrisatie (die in de oude versie niet ondersteund werd omdat EFT-functies alleen van $a$ mochten afhangen) correct te implementeren en resultaten die consistent waren met hi class.
4. Toepassing: "Thawing Gravity" (TGs): De code werd gebruikt om een nieuw model te testen dat een screening-mechanisme bevat (via een Galileon-operator $X\Box\phi$). De analyse met Planck, Pantheon+ en DESI-data bevestigde dat dit model de huidige data kan verklaren en stabiel een "phantom crossing" kan ondersteunen, zelfs in situaties waar het veld oscilleert (wat hi class niet aankan).

Betekenis

H−EFTCAMB vertegenwoordigt een mijlpaal in de numerieke kosmologie door de kloof tussen fundamentele hoge-energietheorie en observationele kosmologie te overbruggen.

• Robuustheid: Het biedt een uniek instrument om modified gravity-theorieën te testen die eerder onbereikbaar waren voor numerieke simulaties vanwege oscillerende velden.
• Toekomstbestendigheid: Het is ontworpen voor de volgende generatie surveys (zoals Euclid en DESI) en biedt een flexibel raamwerk voor het testen van gravitatie en donkere energie zonder vooroordelen (model-onafhankelijk).
• Standaardisatie: Als officiële opvolger van EFTCAMB wordt het de nieuwe standaardtool voor theoretisch gemotiveerde tests van de zwaartekracht in de kosmologie, met een focus op toekomstige ontwikkelingen zoals een consistent niet-lineair schema.

De code is open source beschikbaar via GitHub en is volledig gedocumenteerd voor gebruik in de Cobaya-ecosysteem.