Dark energy constraints in light of theoretical priors

Probleemstelling
Huidige inspanningen om de beperkingen van donkere energie (DE) en gemodificeerde zwaartekracht (MG) theorieën vast te stellen, leunen vaak op het parametriseren van de ruimte van mogelijke theorieën om modelonafhankelijke observationele grenzen af te leiden. Een veelgebruikte aanpak omvat twee complementaire strategieën: (I) fenomenologische parametrisaties met minimale theoretische aannames (bijv. het modificeren van de Poisson-vergelijkingen via functies $\mu(a,k)$ en $\Sigma(a,k)$), en (II) theorie-geïnformeerde benaderingen gebaseerd op de Effectieve Veldtheorie van Donkere Energie (EFTDE) of Horndeski scalaar-tensor theorieën.

Het centrale probleem dat in dit artikel wordt behandeld, is dat de keuze van parametrisatie en de bijbehorende theoretische priors de resulterende kosmologische beperkingen aanzienlijk kunnen veranderen. Zonder een duidelijk begrip van hoe theoretische priors mappen naar fenomenologische observabelen, bestaat het risico op het missen van goed gemotiveerde fysieke theorieën of het foutief interpreteren van fenomenologische afwijkingen als bewijs voor fysica die niet voortkomt uit een consistente onderliggende theorie. Specifiek onderzoeken de auteurs hoe verschillende theoretische priors—variërend van de functionele vorm van de tijdsafhankelijkheid tot beperkingen afgeleid van zwaartekrachtgolven (GW) fysica—de beperkingen op de fenomenologie van dynamische donkere energie, in het bijzonder de lineaire perturbaties, beïnvloeden.

Methodologie
De auteurs maken gebruik van een Markov Chain Monte Carlo (MCMC) analyse met behulp van de MontePython code om kosmologische parameters te beperken tegenover een uitgebreide set datasets:

• CMB: Planck 2018 likelihoods (inclusief lensing en low-$\ell$ TT/EE/TE).
• Grootschalige Structuur (LSS): eBOSS DR16 gecombineerde Redshift Space Distortions (RSD) en Baryon Acoustic Oscillations (BAO) data.
• Supernovae: Pantheon+ likelihood.
• Integrated Sachs-Wolfe (ISW): Cross-correlaties tussen CMB-temperatuur en het aantal sterrenstelsels.

De studie vergelijkt twee primaire kaders:

1. Fenomenologische Parametrisaties: Direct het modelleren van de modificaties aan de Poisson-vergelijkingen met behulp van $\mu(a)$ en $\Sigma(a)$ (of de slip-parameter $\gamma(a)$). De auteurs testen twee specifieke tijd-afhankelijkheids-ansatzes: proportionaliteit aan de dichtheidfractie van donkere energie ($\propto \Omega_{DE}$) en proportionaliteit aan de schaalfactor ($\propto a$).
2. Theorie-geïnformeerde (EFTDE) Parametrisaties: Het gebruik van het EFTDE/Horndeski kader waarbij lineaire perturbaties worden beschreven door tijd-afhankelijke functies $\alpha_B(a)$ (braiding) en $\alpha_M(a)$ (running van de Planck-massa). De auteurs mappen deze onderliggende parameters naar de fenomenologische $\mu$ en $\Sigma$ met behulp van de Quasi-Statische Approximatie (QSA) en schaal-onafhankelijke groei-aannames.

De analyse varieert systematisch de theoretische priors, inclusief:

• De functionele tijdsafhankelijkheid van de onderliggende theorie-functies ($\alpha_i \propto \Omega_{DE}$ versus $\alpha_i \propto a$).
• Theoretische beperkingen op de snelheid van zwaartekrachtgolven ($\alpha_T = 0$ versus vrije $\alpha_T$).
• Stabiliteitsbeperkingen in een GW-achtergrond (vereist dat $|\alpha_B + \alpha_M| \lesssim 10^{-2}$).
• De interactie tussen de achtergrond expansiegeschiedenis (vaste $\Lambda$CDM versus vrije CPL $w(a)$) en perturbatie-dynamica.

Belangrijkste Bijdragen en Resultaten

• Mapping van Priors naar Fenomenologie: De auteurs demonstreren dat het afleiden van $\mu$ en $\Sigma$ uit een onderliggend EFTDE-kader een sterke, niet-triviale theoretische prior oplegt op de huidige waarden $\{\mu_{today}, \Sigma_{today}\}$. Deze prior beperkt de toegestane parameterruimte en introduceert correlaties die niet aanwezig zijn in louter fenomenologische fits. Opvallend genoeg wordt de regio $\mu_{today} < 1, \Sigma_{today} > 1$ volledig uitgesloten door de gradiënt-stabiliteitsconditie voor modellen met luminale GW-snelheden, een restrictie die afwezig is in onbeperkte fenomenologische modellen.
• Impact van Tijdsafhankelijkheid: Het vergelijken van de $\propto \Omega_{DE}$ en $\propto a$ tijdsafhankelijkheden onthult kwalitatieve verschillen. De $\propto a$ afhankelijkheid beïnvloedt een breder roodverschuivingsbereik, wat leidt tot striktere beperkingen op $\mu_{today}$ vanwege de verhoogde beperkende kracht van data met een hoge roodverschuiving. Bovendien resulteert de $\propto a$ afhankelijkheid in een significante overlap tussen stabiele en onstabiele parameterruimtes in het $\{\mu_{today}, \Sigma_{today}\}$ vlak, in tegenstelling tot de goed gescheiden ruimtes gevonden in het $\propto \Omega_{DE}$ geval.
• Posterior versus Prior Volume: Een contra-intuïtief resultaat wordt gevonden in het EFTDE $\propto \Omega_{DE}$ model: de regio $\mu_{today} > 1, \Sigma_{today} < 1$, die het kleinste prior volume heeft (door theoretische beperkingen), bezit het grootste volume in de observationele posterior. Dit geeft aan dat de huidige data (clustering en lensing) voldoende beperkend zijn om de effecten van prior volume te overwinnen en deze specifieke kwadrant te bevoordelen.
• Onderscheidbaarheid van Theorieën: Voor een specifieke klasse van shift-symmetrische theorieën die voldoen aan de "no-slip" conditie ($\mu = \Sigma$), vinden de auteurs dat theoretisch gemotiveerde tijdsafhankelijkheden niet te onderscheiden zijn van naïeve fenomenologische parametrisaties op basis van huidige beperkingen op $\mu_{today}$.
• Zwaartekrachtgolf Priors:
  • Het toestaan dat $\alpha_T$ varieert (het versoepelen van de GW170817 beperking) verbreedt de posterior licht en opent de $\mu_{today} < 1, \Sigma_{today} > 1$ kwadrant, die anders verboden zou zijn.
  • Het opleggen van stabiliteit in een GW-achtergrond (effectief $\alpha_B = -\alpha_M$) reduceert de parameterruimte tot één enkele functionele vrijheidsgraad. Dit resulteert in een eendimensionale posterior voor $\{\mu_{today}, \Sigma_{today}\}$ en aanzienlijk striktere beperkingen.
• Interactie tussen Achtergrond en Perturbatie: Terwijl het vrijgeven van de achtergrond expansiegeschiedenis ($w_0, w_a$) een verwaarloosbaar effect heeft op de beperkingen voor fenomenologische modellen, is het omgekeerde niet waar voor EFTDE. De keuze van het perturbatiemodel (specifiek de gradiënt-stabiliteitsconditie) legt een sterke theoretische prior op de achtergrond expansie. Modellen met slechts één functionele vrijheidsgraad (bijv. shift-symmetrisch of GW-stabiliteit gemotiveerd) ontmoedigen sterk expansiegeschiedenissen die significant afwijken van $\Lambda$CDM, zelfs wanneer data (zoals DESI DR2 BAO) op dergelijke afwijkingen wijzen.

Significantie
Het artikel betoogt dat het begrijpen van de theoretische priors opgelegd door specifieke parametrisaties cruciaal is voor de correcte interpretatie van observationele beperkingen op donkere energie. De auteurs demonstreren dat "model-onafhankelijke" fenomenologische fits misleidende resultaten kunnen opleveren als ze geen rekening houden met de correlaties en grenzen die worden opgelegd door onderliggende fysieke theorieën (zoals stabiliteit en GW-propagatie).

Het werk benadrukt dat:

1. Theoretische priors de toegestane parameterruimte voor gemodificeerde zwaartekracht drastisch kunnen verkleinen, waardoor regio's worden uitgesloten die fenomenologische fits anders zouden toestaan.
2. De keuze van de tijdsafhankelijkheid ansatz niet louter een technische detail is, maar kwalitatief de relatie tussen stabiele en onstabiele regio's en de resulterende observationele beperkingen verandert.
3. Er een sterke koppeling bestaat tussen achtergrondexpansie en perturbatie-dynamica in EFTDE-modellen; beperkingen op perturbaties kunnen effectief exotische achtergrondexpansiegeschiedenissen uitsluiten die door data worden geprefereerd, indien deze geschiedenissen de stabiliteitscondities schenden.

De auteurs concluderen dat naarmate Stage-IV Large Scale Structure surveys (zoals Euclid en DESI) nauwere beperkingen bieden, een rigoureus begrip van deze theoretische priors essentieel zal zijn om onderscheid te maken tussen genuante nieuwe fysica en artefacten van parametrisatiekeuzes.