Fisher and DALI posterior approximations for testing gravity with gravitational waves

Diep in de stilte van de kosmos draaien massieve objecten zoals zwarte gaten naar elkaar toe, gevangen in een laatste, wanhopige dans voordat ze botsen. Terwijl ze bewegen, rekken en knijpen ze het weefsel van de ruimte en tijd zelf uit, waardoor rimpelingen ontstaan die bekend staan als zwaartekrachtgolven. Voor het eerst in de menselijke geschiedenis hebben we instrumenten gebouwd die gevoelig genoeg zijn om deze zwakke fluisteringen op te vangen. Binnenkort zullen er nog krachtigere detectoren online komen, die in staat zijn om duizenden van deze botsingen per jaar te horen. Deze vloedgolf aan gegevens belooft de geheimen te onthullen van hoe het universum werkt, maar het brengt een enorm probleem met zich mee: het analyseren van de gegevens van een enkele botsing is zo rekenintensief dat het dagen of zelfs weken kan duren op krachtige computers. Als wetenschappers de fundamentele wetten van de fysica willen testen tegenover duizenden gebeurtenissen, kunnen ze niet voor elke enkele reactie zo lang wachten. Ze hebben een manier nodig om de juiste resultaten veel sneller te krijgen zonder nauwkeurigheid te verliezen.

Een team van onderzoekers heeft dit knelpunt aangepakt door een wiskundige afkorting te verfijnen die wordt gebruikt om deze kosmische signalen te interpreteren. Hun werk richt zich op een specifieke methode om te testen of de zwaartekracht zich precies gedraagt zoals Albert Einstein het voorspelde, of dat er kleine afwijkingen zijn die wijzen op nieuwe fysica. Om dit te doen, vergeleken ze de standaard, trage methode voor het analyseren van de gegevens met verschillende snellere, benaderende technieken. Ze ontdekten dat ze door een slimme wiskundige expansie te gebruiken die rekening houdt met de vorm van de gegevens, de analyse met factoren twintig tot duizend konden versnellen, afhankelijk van de sterkte van het signaal. Dit betekent dat wetenschappers in de toekomst de wetten van de zwaartekracht kunnen testen op duizenden botsingen van zwarte gaten in de tijd die voorheen nodig was om slechts één analyse uit te voeren.

De wetenschappers concentreerden zich op een raamwerk genaamd TIGER, dat fungeert als een stresstest voor Einsteins algemene relativiteitstheorie. In deze aanpak kijken onderzoekers naar de zwaartekrachtgolven die voortkomen uit de vroege fase van een samensmelting van zwarte gaten, de zogenaamde 'inspiral', en controleren of de golven overeenkomen met de perfecte voorspelling van Einsteins vergelijkingen. Als de golven zelfs maar licht afwijken, zou dit kunnen betekenen dat ons begrip van de zwaartekracht incompleet is. Om deze afwijkingen te vinden, draaien wetenschappers gewoonlijk complexe computersimulaties die elke mogelijke variatie van de gebeurtenis bemonsteren om een volledig beeld van wat er is gebeurd op te bouwen. Dit is de "exacte" methode, en hoewel het de meest nauwkeurige is, is het ook ongelooflijk traag.

Om een snellere manier te vinden, testten de onderzoekers een reeks benaderingen gebaseerd op een hulpmiddel genaamd de Fisher-matrix. Beschouw dit hulpmiddel als een manier om de vorm van het antwoord te schatten zonder elk afzonderlijk punt te berekenen. De eenvoudigste versie van dit hulpmiddel gaat ervan uit dat het antwoord een gladde, klokvormige curve is. De onderzoekers ontdekten echter dat deze eenvoudige aanname vaak niet in staat is de werkelijke complexiteit van de gegevens te vangen, vooral wanneer het signaal zeer sterk is. Ze testten vervolgens geavanceerdere versies van dit hulpmiddel, die extra lagen detail aan de berekening toevoegen. Deze geavanceerde versies, die ze 'singlet', 'doublet' en 'triplet' noemden, bouwen voort op het basisidee door hogere-orde details toe te voegen over hoe het signaal verandert.

Het team heeft deze methoden getest tegen een uitgebreide catalogus van gesimuleerde botsingen van zwarte gaten, waarbij een specifiek model voor het geluid van de samensmelting werd gebruikt, genaamd IMRPhenomD. Ze maten hoe dicht de snelle benaderingen bij de trage, exacte resultaten kwamen. De resultaten waren duidelijk: de eenvoudigste benadering was vaak niet goed genoeg, maar de volgende stap omhoog, de doublet-methode, zorgde voor een enorme sprong in nauwkeurigheid. In veel gevallen was de doublet-methode bijna even nauwkeurig als de trage, exacte methode, maar draaide deze honderden keren sneller. De onderzoekers ontdekten dat voor signalen met een hoge signaal-ruisverhouding — een maatstaf voor hoe duidelijk het signaal is ten opzichte van de achtergrondruis — de doublet-methode bijna ononderscheidbaar was van het exacte resultaat. Dit suggereert dat voor de luidste en duidelijkste gebeurtenissen, die het belangrijkst zijn voor het testen van de fysica, wetenschappers veilig de snelle methode kunnen gebruiken.

De studie onthulde echter ook een limiet aan hoe ver deze afkorting kan gaan. Wanneer de onderzoekers de meest complexe versie probeerden, de triplet-methode, presteerde deze niet altijd beter. Sterker nog, het produceerde soms resultaten die minder betrouwbaar waren dan de simpelere doublet-methode. Dit geeft aan dat het toevoegen van meer wiskundige complexiteit niet altijd tot betere antwoorden leidt; soms introduceert het instabiliteit. Het team ontdekte ook dat het snelheidsvoordeel van deze methoden nog groter wordt bij het gebruik van meer volledige modellen van de samensmelting van zwarte gaten die meer details over de golven bevatten. Voor deze complexe modellen kan de exacte methode dagen nodig hebben om te draaien, terwijl de snelle benaderingen een fractie van een uur nodig hebben.

Om deze tools beschikbaar te stellen aan anderen, ontwikkelden de onderzoekers een nieuwe stuk software genaamd SymDALI. Dit programma gebruikt een symbolische taal om de noodzakelijke wiskundige afgeleiden automatisch te berekenen, waardoor het de complexe vergelijkingen van de zwaartekracht kan afhandelen zonder menselijke fouten. Het kan standaard zwaartekrachtgolfgegevens analyseren, evenals de specifieke tests voor afwijkingen van Einsteins theorie. De software is ontworpen om snel en efficiënt te zijn, en is in staat om op standaardcomputers te draaien. De onderzoekers geloven dat dit hulpmiddel essentieel zal zijn voor de volgende generatie zwaartekrachtgolfobservatoria, die naar verwachting tienduizenden samensmeltingen van zwarte gaten zullen detecteren. Zonder dergelijke efficiënte methoden zou de enorme hoeveelheid gegevens van deze toekomstige detectoren de huidige analysetechnieken overweldigen.

De studie concludeert dat voor de meest veelbelovende signalen de doublet-benadering de beste balans biedt tussen snelheid en nauwkeurigheid. Het stelt wetenschappers in staat om rigoureuze tests van de zwaartekracht op grote schaal uit te voeren, waardoor wat ooit een traag proces van één-bij-één was, verandert in een snelle, systematische survey van het universum. Hoewel de exacte methode de gouden standaard blijft voor de moeilijkste gevallen, bieden de nieuwe benaderingen een krachtige manier om de gegevens te filteren, zodat ervoor wordt gezorgd dat geen enkele potentiële ontdekking wordt gemist simpelweg omdat de computer te traag is om bij te houden. Terwijl het universum blijft spreken via deze rimpelingen in de ruimte en tijd, zorgen deze nieuwe instrumenten ervoor dat de mensheid klaar zal zijn om te luisteren, te begrijpen en te leren van elke enkele stem.