Biased tracers, Hybrid Effective Field Theory and Modified Gravity

Dit artikel breidt het Hybrid Effective Field Theory (HEFT)-raamwerk uit naar gemodificeerde zwaartekrachtkosmologieën, specifiek $f(R)$-zwaartekracht, door de perturbatieve vertekende expansie te detailleren die vereist is om loop-gecorrigeerde vermogensspectra te berekenen en een strategie voor te stellen om bestaande $\Lambda$CDM-emulatoren aan te passen voor deze scenario's die verder gaan dan het standaardmodel.

De kern

Stel je het universum voor als een gigantisch, uitdijend brood met rozijnen. Terwijl het brood rijst, bewegen de rozijnen (die de sterrenstelsels vertegenwoordigen) uit elkaar. Maar ze drijven niet zomaar gelijkmatig uit elkaar; ze klonteren samen op sommige plaatsen en laten lege ruimtes achter op andere. Dit klonteren wordt "structuurvorming" genoemd.

Decennialang hebben wetenschappers geprobeerd een wiskundig recept te schrijven om precies te voorspellen hoe deze rozijnen gaan klonteren. Dit artikel gaat over het verbeteren van dat recept, specifiek om twee redenen:

1. De "Biased" Rozijnen: Niet alle rozijnen zijn hetzelfde. Sommige zijn groot, sommige zijn klein, en ze verdelen zich niet precies zoals het deeg (donkere materie) om hen heen. We hebben een manier nodig om te modelleren hoe deze specifieke "biased" rozijnen clusteren.
2. Het "Gemodificeerde" Deeg: De meeste recepten gaan ervan uit dat het deeg de standaardregels volgt (Algemene Relativiteitstheorie). Maar wat als het deeg iets andere, vreemdere regels volgt (Gemodificeerde Zwaartekracht)? Dit artikel test of ons recept nog steeds werkt wanneer de regels van de zwaartekracht veranderen.

Hier is een overbraak van de reis van het artikel met eenvoudige analogieën:

1. De Twee Manieren van Bakken (Euleriaans vs. Lagrangiaans)

Wetenschappers hebben twee hoofdmethode om de rozijnen te volgen:

• De "Vaste Raster"-methode (Euleriaans): Stel je een camera voor die een foto maakt van een specifieke plek in de keuken. Je kijkt hoe de rozijnen door die plek heen stromen. Dit is goed om de stroming te zien, maar het wordt een rommeltje wanneer het deeg te veel wordt samengedrukt (niet-lineair).
• De "Volg de Rozijn"-methode (Lagrangiaans): Stel je voor dat je aan het begin van het proces een kleine GPS-tracker op een specifieke rozijn plaatst. Je volgt die rozijn terwijl hij van zijn startpunt naar zijn eindpunt beweegt. Dit artikel gebruikt deze methode omdat het veel beter omgaat met het "samendrukken" van het deeg.

2. De Hybride Truc (HEFT)

De auteurs introduceren een slimme afkorting genaamd Hybrid Effective Field Theory (HEFT).

• Het Probleem: Het berekenen van de exacte beweging van elke afzonderlijke rozijn met pure wiskunde is ongelooflijk moeilijk en traag. Het berekenen met supercomputer-simulaties is accuraat, maar vereist enorme rekenkracht.
• De Oplossing: HEFT is als een "hybride auto". Het gebruikt de eenvoudige, snelle wiskunde voor de makkelijke delen (waar het deeg glad is) en leent gegevens van de zware computer-simulaties voor de rommelige, samengeperste delen. Dit geeft je de snelheid van wiskunde met de nauwkeurigheid van een simulatie.

3. De Uitdaging: Gemodificeerde Zwaartekracht

De meeste van deze "hybride auto's" zijn alleen gebouwd en getest voor ons huidige universum (genoemd $\Lambda$CDM), waarin de zwaartekracht werkt zoals Einstein het oorspronkelijk beschreef.

• De Twist: De auteurs wilden zien of deze hybride methode werkt als de zwaartekracht anders is. Ze keken specifiek naar $f(R)$-zwaartekracht, een theorie waarbij de zwaartekracht sterker of zwakker wordt afhankelijk van de schaal (zoals een kameleon die van kleur verandert).
• De Moeilijkheid: In deze gemodificeerde zwaartekracht is de "groei" van het universum niet uniform. Het hangt af van de grootte van de klomp. Dit breekt de eenvoudige wiskundige afkortingen die wetenschappers gewoonlijk gebruiken.

4. Wat Ze Hebben Gedaan

Het team bouwde een nieuwe, flexibelere motor voor hun "hybride auto" om deze vreemde zwaartekrachtregels aan te kunnen.

• Het Herberekenen van de Kaart: Ze hebben nieuwe wiskundige kaarten (genoemd "groeifuncties") afgeleid die rekening houden met hoe de zwaartekracht verandert op basis van schaal.
• Het Testen van de Motor: Ze hebben hun nieuwe wiskunde afgezet tegen supercomputer-simulaties (de "gouden standaard").
  • Resultaat 1 (Standaard Universum): Wanneer ze het testten op ons normale universum, werkte de wiskunde perfect en kwam het bijna exact overeen met de simulaties.
  • Resultaat 2 (Gemodificeerde Zwaartekracht): Wanneer ze het testten op het $f(R)$-zwaartekrachtmodel, ontdekten ze dat de oude, eenvoudige wiskundige afkortingen (de "Einstein-de Sitter benadering") faalden. Het was alsoal een platte kaart gebruiken om door een bergachtig terrein te navigeren — de oude kaart toonde de heuvels en dalen niet correct. Hun nieuwe, complexe wiskunde was noodzakelijk om het juiste antwoord te krijgen.

5. De Conclusie

Het artikel concludeert dat:

• Het HEFT-raamwerk (de hybride methode) robuust is en kan worden uitgebreid om te werken met deze vreemde, gemodificeerde zwaartekrachttheorieën.
• Echter, je kunt de oude, vereenvoudigde wiskundige afkortingen niet gebruiken bij gemodificeerde zwaartekracht. Je moet hun nieuwe, complexere berekeningen gebruiken die rekening houden met de veranderende regels van de zwaartekracht.
• Ze hebben de nodige instrumenten en "ingrediënten" geleverd zodat andere wetenschappers hun modellen voor sterrenstelsel-surveys (zoals die van de DESI- of Euclid-missies) kunnen bijwerken om te testen of ons universum de standaard zwaartekracht volgt of deze gemodificeerde regels.

Kortom: De auteurs hebben een krachtig hulpmiddel voor het in kaart brengen van het universum genomen, de motor geüpgraded om met "vreemde zwaartekracht" om te gaan, en bewezen dat terwijl de oude afkortingen werken voor ons normale universum, ze in deze nieuwe scenario's falen. Ze hebben nu de sleutels overhandigd aan de rest van de wetenschappelijke gemeenschap, zodat zij met dit nieuwe voertuig het heelal kunnen verkennen.

Technische samenvatting

Technische Samenvatting: Gebiaste Tracers, Hybride Effectieve Veldtheorie en Gemodificeerde Zwaartekracht

Probleemstelling
De analyse van Stage-IV sterrenstelsel surveys (bijv. DESI, LSST, Euclid, Roman) vereist nauwkeurige theoretische modellering van het vermogensspectrum van gebiaste tracers, zoals sterrenstelsels, om kosmologische parameters te beperken. Hoewel perturbatiemethoden en kosmologische simulaties standaard instrumenten zijn, presenteren zij een afruil: perturbatietheorie biedt computationele efficiëntie maar heeft moeite met niet-lineaire schalen, terwijl simulaties fysieke volledigheid bieden maar kostbare kalibratie en mapping naar observabelen vereisen. Het Hybrid Effective Field Theory (HEFT) raamwerk is naar voren gekomen als een oplossing, waarbij Lagrangian Perturbation Theory (LPT) expansies worden gecombineerd met outputs van dark-matter-only simulaties om het niet-lineaire regime efficiënt te modelleren. De huidige HEFT-implementaties en emulators (bijv. bacco, Aemulus) zijn echter primair ontwikkeld binnen het $\Lambda$CDM-paradigma of milde uitbreidingen (bijv. $w_0w_a$CDM). Er bestaat een aanzienlijke kloof in het toepassen van HEFT op gemodificeerde zwaartekrachttheorieën (MG), zoals $f(R)$-zwaartekracht, waar de structuurvorming schaalafhankelijk is en screening-mechanismen (zoals chameleon) de berekening van LPT-groeifuncties en loop-integralen compliceren.

Methodologie
De auteurs ontwikkelen een raamwerk om loop-gecorrigeerde gebiaste vermogensspectra te berekenen binnen de HEFT-formaliteit voor gemodificeerde zwaartekracht-kosmologieën, specifiek gericht op $f(R)$-zwaartekracht. De methodologie verloopt via verschillende stadia:

1. Lagrangian Perturbation Theory (LPT) in Algemene Relativiteitstheorie: De auteurs herzien de Eulerse en Lagrangian formuleringen van de perturbatietheorie. In het Lagrangian beeld wordt de evolutie van donkere materie beschreven door een verplaatsingsveld $\Psi(q, \tau)$ dat initiële Lagrangian coördinaten $q$ in kaart brengt naar finale Eulerse posities $x$. Het matter vermogensspectrum wordt afgeleid uit de Jacobiaan van deze mapping, waarbij de cumulaattheorema wordt gebruikt om infrarood (IR) verplaatsingen niet-perturbatief te resumeren.
2. Uitbreiding naar Gemodificeerde Zwaartekracht: De auteurs herzien de bewegingsvergelijkingen voor scalaire-tensor theorieën (specifiek het Hu-Sawicki $f(R)$ model). Zij leiden de noodzakelijke groeifactoren af tot de derde orde, $D^{(1)}(k)$, $D^{(2)}(k_1, k_2)$, en $D^{(3),\text{symm.}}(k_1, k_2, k_3)$, die nu schaalafhankelijk zijn vanwege de gemodificeerde Poisson-vergelijking en de aanwezigheid van een scalair veld. Dit omvat het iteratief oplossen van gekoppelde continuïteits-, Euler- en Klein-Gordon vergelijkingen.
3. Numerieke Implementatie van Gegeneraliseerde Kernels: De auteurs implementeren een numerieke code om de gegeneraliseerde groeifuncties op een rooster van momenta op te lossen. Zij berekenen de Lagrangian kernels $L^{(n)}$ en de bijbehorende loop-integralen ($Q_n, R_n$ functies) die nodig zijn voor het one-loop matter vermogensspectrum. Zij testen expliciet de geldigheid van de Einstein–de Sitter (EdS) benadering, die uitgaat van schaalonafhankelijke groei, tegenover deze volledige schaalafhankelijke oplossingen.
4. Gebiaste Tracer Expansie: Het raamwerk wordt uitgebreid naar gebiaste tracers met behulp van het lokale Lagrangian bias schema. De tracer dichtheid wordt geëxpandeerd in termen van de initiële dichtheidsveld $\delta_L$, de tidale shear $s^2$, en hogere-orde operatoren. De auteurs berekenen de relevante Lagrangian correlatoren die zowel verplaatsingsvelden als initiële dichtheidsvelden omvatten, waarbij de scalaire functies ($Q_I, R_I$) worden aangepast aan de schaalafhankelijke MG-context.
5. Validatie: De implementatie wordt gevalideerd tegen bestaande codes, specifiek velocileptors (voor EdS-vergelijkingen) en mgpt (voor volledige MG-vergelijkingen), om consistentie in de berekening van loop-integralen en vermogensspectra te waarborgen.

Belangrijkste Bijdragen

• Gegeneraliseerd LPT Raamwerk voor MG: Het artikel biedt een gedetailleerde afleiding en numerieke implementatie van LPT-groeifuncties en kernels voor $f(R)$-zwaartekracht, rekening houdend met schaalafhankelijke groei en chameleon screening effecten tot de derde orde.
• Kwantificering van de Falen van de EdS Benadering: De auteurs tonen aan dat de Einstein–de Sitter benadering, hoewel zeer accuraat voor $\Lambda$CDM (sub-procentuele fouten), significant faalt in scenario's met gemodificeerde zwaartekracht. In $f(R)$-modellen wijkt de EdS benadering af van exacte oplossingen, met name in het licht-niet-lineaire regime ($k \sim 0.1\text{--}0.4 \, h\text{Mpc}^{-1}$) en in 'squeezed triangle' configuraties waar mode-koppeling het sterkst is.
• HEFT Uitbreidingsstrategie: Het werk schetst de noodzakelijke ingrediënten om bestaande HEFT-gebaseerde emulators (zoals bacco en Aemulus) uit te breiden naar beyond-$\Lambda$CDM kosmologieën. Dit houdt in dat de standaard EdS kernels worden vervangen door de gegeneraliseerde, schaalafhankelijke kernels die in dit werk zijn afgeleid.
• Validatie van Loop-integralen: De auteurs verifiëren hun numerieke integratie van de gegeneraliseerde loop-integralen ($Q_n, R_n$) tegen de mgpt code, wat een uitstekende overeenkomst laat zien over zowel $\Lambda$CDM als $f(R)$ modellen.

Resultaten

• Schaalafhankelijke Groei: De berekende tweede- en derde-orde Lagrangian groeifactoren vertonen een sterke schaalafhankelijkheid in $f(R)$-zwaartekracht, waarbij de meest significante afwijkingen optreden in 'squeezed' configuraties.
• Afwijkingen in Loop-integralen: Vergelijkingen van de $Q_n$ en $R_n$ functies laten zien dat hoewel de EdS benadering $\Lambda$CDM-resultaten met hoge getrouwheid reproduceert, deze zichtbare fouten introduceert in $f(R)$-zwaartekracht. Deze fouten zijn het meest uitgesproken waar loop-correcties pieken, wat aangeeft dat het gebruik van EdS kernels in MG-analyses zou leiden tot bevooroordeelde theoretische voorspellingen.
• Matter Vermogensspectrum: De inclusie van volledige-kernel loop-correcties in LPT levert een matter vermogensspectrum op dat verschilt van de EdS voorspelling in $f(R)$-modellen. De exponentiële onderdrukking (Zel'dovich bijdrage) is meer geaccentueerd in $f(R)$ door grotere verplaatsingsvarianties ($\sigma_L^2$).
• Consistentie van Gebiaste Tracers: Het gegeneraliseerde formalisme berekent succesvol het gebiaste tracer vermogensspectrum, waarmee wordt bevestigd dat de standaard lokale Lagrangian bias expansie toepasbaar blijft, mits de onderliggende groeifuncties en loop-integralen met de juiste schaalafhankelijkheid worden behandeld.

Betekenis
Het artikel legt de theoretische en numerieke basis die vereist is om het Hybrid Effective Field Theory raamwerk toe te passen op gemodificeerde zwaartekracht-kosmologieën. Door expliciet de beperkingen van de Einstein–de Sitter benadering te kwantificeren in scenario's met schaalafhankelijke groei, betogen de auteurs dat nauwkeurige modellering van toekomstige Stage-IV survey data in niet-$\Lambda$CDM theorieën het gebruik van gegeneraliseerde, schaalafhankelijke LPT kernels vereist. Dit werk maakt de uitbreiding van hoog-precieze emulators mogelijk om zwaartekrachttheorieën buiten de Algemene Relativiteitstheorie te testen, waardoor de kloof tussen de computationele efficiëntie van perturbatietheorie en de complexe niet-lineaire fysica van gemodificeerde zwaartekracht wordt overbrugd.