Hamiltonians to all Orders in Perturbation Theory and Higher Loop Corrections in Single Field Inflation with PBHs Formation

Dit artikel leidt all-orde interactie-Hamiltonianen en niet-lineaire veldrelaties af voor single-field inflatie met een transient ultra-slow-roll-fase, en toont aan dat luscorrecties voor lange-golfverstorende perturbaties snel groeien als $(\Delta N \mathcal{P}_e L)^L$, waardoor de perturbatieve controle bij de vierde lusorde in standaardmodellen die worden gebruikt voor de vorming van primordiale zwarte gaten, instort.

De kern

Het Grote Geheel: Een Kosmisch Kasteel Bouwen

Stel je het vroege heelal voor als een bouwplaats waar een gigantisch kosmisch kasteel (het heelal dat we vandaag zien) wordt gebouwd. De architecten gebruiken een specifiek bouwplan genaamd "Inflatie", een periode waarin het heelal ongelooflijk snel uitdijt.

Meestal verloopt deze bouw soepel en gestaag. De auteurs van dit artikel bestuderen echter een specifieke, lastige scenario genaamd Ultra Slow-Roll (USR). In dit scenario komt het bouwteam terecht op een stuk "super-glijdend ijs". Voor een korte tijd beginnen de bouwmaterialen (quantumfluctuaties) te glijden en ongecontroleerd op te stapelen in plaats van zich te stabiliseren.

Het doel van dit artikel is om uit te zoeken: Als we op dit glijdende ijs bouwen, wordt de stapel dan zo hoog dat de hele constructie instort onder zijn eigen gewicht?

Het Probleem: Het "Sneeuwbal"-effect

In de standaardfysica kijk je bij het berekenen van hoe deze stapels materiaal met elkaar interageren, meestal eerst naar de grote, voor de hand liggende interacties. Maar in dit "glijdend ijs"-scenario ontdekten de auteurs dat de kleine, verborgen interacties (genaamd luscorrecties) gaan werken als een uit de hand lopende sneeuwbal.

Stel je het als volgt voor:

• De Hoofdzaak: Een paar grote rotsblokken (de hoofdinflatie) die een heuvel afrollen.
• De Lussen: Kleine kiezelstenen die tegen de rotsblokken opbotsen.
• Het Probleem: Op normaal terrein stuiteren de kiezelstenen gewoon af en stoppen ze. Maar op dit "glijdende ijs" krijgt elke kiezelsteen die afstuit een beetje meer energie en creëert het meer kiezelstenen. Als je deze stuiteringen (lussen) blijft berekenen, explodeert het aantal kiezelstenen.

Het artikel vraagt zich af: Op welk moment wordt de stapel kiezelstenen zo massief dat onze wiskunde het begeeft?

Het Gereedschap: De "Meestersleutel" (EFT)

Het berekenen van deze interacties is meestal een nachtmerrie. Het is als proberen een puzzel op te lossen waarbij elk stukje van vorm verandert zodra je het aanraakt. De auteurs gebruikten een speciaal gereedschap genaamd Effectieve Veldtheorie (EFT).

Beschouw EFT als een Meestersleutel of een Universele Vertaler. In plaats van de puzzel stukje bij stukje op te lossen (elke interactie één voor één te berekenen), vonden ze één compacte formule die alle interacties tegelijk beschrijft, hoe complex ze ook worden.

• Ze vertaalden de rommelige, ingewikkelde wiskunde van de zwaartekracht naar een eenvoudigere taal die een "Goldstone-veld" omvat (laten we het $\pi$ noemen).
• Ze maakten een woordenboek om deze eenvoudige taal terug te vertalen naar de taal van de vorm van het heelal (krommingsperturbaties, of $R$).

Dit stelde hen in staat het hele plaatje te zien zonder verdwaald te raken in de details van elke enkele baksteen.

De Ontdekking: De "Scherpe Bocht"-valstrik

De auteurs richtten zich op een specifieke opstelling die wordt gebruikt om Primordiale Zwarte Gaten (PBH's) te verklaren. Dit zijn kleine zwarte gaten die in het vroege heelal zijn gevormd, en sommige wetenschappers denken dat dit de "Donkere Materie" zou kunnen zijn die sterrenstelsels bij elkaar houdt.

Om deze zwarte gaten te maken, moet het heelal voor een specifieke tijd (ongeveer 2,5 "e-voudingen", of uitdijingscycli) op dat "glijdende ijs" pauzeren om genoeg materiaal op te stapelen. Daarna moet het onmiddellijk terugveren naar de normale snelheid.

Hier is de cruciale bevinding:

1. De Scherpe Bocht: De overgang van het "glijdende ijs" terug naar "normaal terrein" is als een auto die tegen een bakstenen muur botst in plaats van een zachte helling.
2. De Explosie: Omdat de bocht zo scherp is, schreeuwen de kleine kiezelstenen (luscorrecties) niet alleen; ze schreeuwen. De wiskunde toont aan dat voor elke extra laag berekening (lus) die je toevoegt, de fout met een enorme factor groeit.
3. Het Breukpunt: De auteurs berekenden dat als je probeert dit specifieke type zwarte gat te bouwen, de wiskunde onder controle blijft voor de eerste paar lagen berekening. Maar bij de 4e laag (4 lussen) worden de getallen zo groot dat de theorie de controle verliest. Het is als proberen een toren van Jenga-blokken te stapelen waarbij elk nieuw blok 10 keer zwaarder is dan het blok eronder; de toren stort in voordat je de 4e verdieping hebt voltooid.

De Twee Bronnen van Chaos

De auteurs onderverden de chaos in twee bronnen:

1. De Bulk (Het Ijsstuk): Terwijl het heelal over het ijs glijdt, groeien de fouten, maar ze groeien langzaam genoeg zodat je ze allemaal kunt optellen tot een nette, definitieve uitkomst. Het is als een langzaam lek in een boot; je kunt het dichten.
2. De Grens (De Muur): Het moment waarop het heelal tegen de "muur" botst om terug teveren naar de normale snelheid, is waar het echte rampspoed gebeurt. De scherpte van deze muur creëert wiskundige "pieken" (delta-functies). Deze pieken worden met elke laag berekening erger. Dit is het deel dat zich niet laat temmen en ervoor zorgt dat de theorie bezwijkt.

De Conclusie

Het artikel concludeert dat het populaire model voor het creëren van Primordiale Zwarte Gaten met deze "glijdend ijs"-methode wiskundig instabiel is in zijn eenvoudigste vorm.

• Als de overgang terug naar normaal te scherp is (instant), breekt de wiskunde bij de 4e lus.
• Hoe langer het heelal op het "ijs" blijft, hoe sneller de wiskunde bezwijkt.
• Om dit op te lossen, zou de overgang een zachte helling moeten zijn, geen muur. Het berekenen van die zachte helling is echter zo moeilijk dat de auteurs het met hun huidige gereedschappen niet konden doen; het zou een supercomputersimulatie vereisen.

Kortom: De auteurs bouwden een universele rekenmachine voor kosmische interacties en ontdekten dat het specifieke recept voor het maken van "Donkere Materie Zwarte Gaten" te onstabiel is. De wiskunde explodeert voordat het recept klaar is, wat suggereert dat deze specifieke manier om zwarte gaten te maken misschien niet werkt zo simpel als we dachten.

Technische samenvatting

Technische Samenvatting: Hamiltonianen tot alle Ordes in Storingstheorie en Hogere Luscorrecties in Eenvoudige Veldinflatie met PBH-vorming

Probleemstelling
Het artikel adresseert de theoretische uitdaging van het berekenen van kosmologische correlatoren en luscorrecties tot willekeurige ordes in storingstheorie binnen modellen voor inflatie met één veld die een tijdelijke Ultra-Slow-Roll (USR) fase bevatten. Dergelijke modellen worden frequent ingezet om Primordiale Zwarte Gaten (PBH's) te genereren als kandidaten voor donkere materie. Een kritiek probleem in deze opstellingen is de potentiële ineenstorting van de perturbatieve controle door grote kwantum-luscorrecties. Eerdere studies, met name door Kristiano en Yokoyama [6] en daaropvolgende werken [16, 28–30, 41], hebben aangegeven dat één-luscorrecties van USR-modi de verstoringen op lange golflengte-schaal van de CMB significant kunnen beïnvloeden, wat potentieel de geldigheid van de perturbatieve expansie kan vernietigen. Een volledige analyse van hogere-orde lussen (twee-lus en daarboven) is echter gehinderd door de technische complexiteit van het afleiden van interactie-Hamiltonianen voorbij de quartische orde en het enorme aantal Feynman-diagrammen dat hierbij betrokken is.

Methodologie
De auteurs maken gebruik van het formalisme van de Effectieve Veldtheorie (EFT) van inflatie in de ontkoppelingslimiet, waarbij gravitationele terugreacties (lapse- en shift-functies) worden verwaarloosd. Deze aanpak zorgt voor een aanzienlijke vereenvoudiging bij het afleiden van de actie en interactie-Hamiltonianen voor het Goldstone-veld $\pi$, dat de breking van tijd-diffeomorfisme-invariantie codeert.

1. Afleiding van Hamiltonianen tot alle ordes: De auteurs leiden een compacte, niet-perturbatieve uitdrukking af voor de interactie-Hamiltoniaan tot alle ordes in storingstheorie. Door de Hubble-parameter $H(t+\pi)$ en zijn afgeleiden in de materie-actie te ontwikkelen, verkrijgen zij een gesloten-vorm uitdrukking voor de actie van de $n$-de orde. Dit leidt tot een niet-perturbatieve interactie-Hamiltoniaan $H_I$ uitgedrukt in termen van $\pi$.
2. Niet-lineaire mapping: Een niet-lineaire relatie tussen het Goldstone-veld $\pi$ en de meebewegende krommingsverstoring $\mathcal{R}$ wordt vastgesteld tot alle ordes. Deze "woordenlijst" is essentieel voor het vertalen van resultaten vanuit de $\pi$-basis (waar de Hamiltoniaan eenvoudig is) naar de $\mathcal{R}$-basis (waar observabelen gedefinieerd zijn).
3. Strategie voor lusberekening: Om $L$-luscorrecties te berekenen, richten de auteurs zich op een specifiek subset van Feynman-diagrammen: die welke een enkele vertex met $L$ aangehechte lussen bevatten. Dit komt overeen met een interactie-Hamiltoniaan van orde $n = 2L + 2$. De auteurs betogen dat voor een gegeven $L$ deze enkel-vertex diagrammen de dominante bijdrage leveren ten opzichte van meer-vertex diagrammen, voornamelijk omdat de singuliere termen geassocieerd met de overgang van USR naar Slow-Roll (SR) scherper worden bij hogere interactieordes.
4. In-in formalisme: De luscorrecties worden berekend met behulp van het in-in formalisme. De analyse onderscheidt bijdragen uit de "bulk" van de USR-fase (waar $\eta = -6$ constant is) en de "grens" op het overgangstijdstip $\tau_e$ (waar $\eta$ een scherpe sprong ondergaat, gemodelleerd door een Dirac-deltafunctie en zijn afgeleiden).

Belangrijkste Bijdragen en Resultaten

• Niet-perturbatieve Hamiltoniaan: Het artikel levert een algemene, niet-perturbatieve uitdrukking voor de interactie-Hamiltoniaan in de ontkoppelingslimiet (Vergelijking 3.22) die geldig is voor elk model met één veld met geluidssnelheid $c_s=1$. In de bulk van de USR-fase neemt deze de vorm aan van $H_I \propto (e^{-\eta H \pi} - 1)\dot{\pi}^2 + (e^{\eta H \pi} - 1)(\partial \pi)^2$.
• Relatie tot alle ordes: Een algemene formule die $\mathcal{R}$ relateert aan $\pi$ tot willekeurige ordes is afgeleid (Vergelijking 3.29), wat de berekening van correlatoren mogelijk maakt zonder de niet-lineaire mapping te trunceren.
• Schaalverhouding van luscorrecties: De auteurs berekenen de $L$-luscorrecties voor het vermogensspectrum. Zij vinden dat de fractionele luscorrectie schaalt als:
  $$\frac{\Delta P}{P_{cmb}} \sim \left( 18 L \Delta N P_e \right)^L$$
  waarbij $\Delta N$ de duur van de USR-fase is, $P_e$ het piekvermogensspectrum aan het einde van USR, en $L$ de lusorde.
• Bulk versus Grensbijdragen:
  • Bulk: De bijdragen uit de bulk van de USR-fase kunnen worden hersommeerdeerd tot een niet-perturbatief resultaat dat hypergeometrische functies omvat (Vergelijking 5.34). Deze bijdragen blijken convergent te zijn voor grote $L$.
  • Grens: De bijdragen van de scherpe overgangsgrens (waar $\dot{\eta}$ en hogere afgeleiden singulier zijn) domineren de luscorrecties. De dimensieloze coëfficiënt $R_b(L)$ geassocieerd met de grens schaalt als $(18L)^L$ voor grote $L$. Bijgevolg convergeren de grensbijdragen niet en groeien ze snel met $L$.
• Kritieke Lusorde ($L_c$): Voor een gegeven duur $\Delta N$ bestaat er een kritieke lusorde $L_c$ waarboven de luscorrecties de boom-niveau resultaat overschrijden, wat een verlies van perturbatieve controle aangeeft.
  • In de conventionele PBH-vormingsopstelling waar $\Delta N \simeq 2.5$ (nodig om het vermogensspectrum met $\sim 7$ ordes van grootte te versterken), vinden de auteurs dat $L_c \simeq 3.4$.
  • Dit impliceert dat voor $\Delta N \simeq 2.5$ de perturbatieve expansie ineenstort bij de vier-lus orde ($L=4$).

Betekenis en Beweringen
Het artikel claimt een krachtig raamwerk te bieden voor het berekenen van kosmologische correlatoren tot elke orde in storingstheorie met behulp van de EFT van inflatie. De primaire betekenis van de resultaten ligt in de demonstratie dat enkel-veld USR-modellen met scherpe overgangen, vaak gebruikt voor PBH-vorming, mogelijk niet onder perturbatieve controle staan.

De auteurs concluderen dat de snelle groei van luscorrecties een onvermijdelijk gevolg is van de scherpte van de overgang van de USR-fase naar de uiteindelijke SR-aantrekker. De singulariteiten geïntroduceerd door de sprong in $\eta$ (gemodelleerd als deltafuncties) drijven de divergentie van de storingsreeks bij hogere lusordes. Hoewel de auteurs erkennen dat een gladde overgang of een verlengde relaxatieperiode (waar $|h| \ll 1$) deze correcties potentieel zou kunnen temmen, merken zij op dat dergelijke scenario's analytisch onberekenbaar zijn en numeriek onderzoek vereisen.

Het artikel claimt niet het probleem van PBH-vorming op te lossen, maar wijst eerder op een theoretische beperking: in de eenvoudigste realisatie van deze modellen (instantane scherpe overgang) faalt de perturbatieve aanpak bij relatief lage lusordes ($L=4$). De auteurs suggereren dat dit gedrag generiek kan zijn voor inflatiemodellen met scherpe, gelokaliseerde kenmerken in het potentieel. Zij merken ook op dat hoewel renormalisatie noodzakelijk is voor eindige fysische grootheden, het onwaarschijnlijk is dat deze de groei op de leidende orde van de luscorrecties zal opheffen vanwege het ontbreken van een onderliggende symmetrie.