Het universum, zoals natuurkundigen het begrijpen, is geweven uit velden die zich over de ruimte en de tijd uitstrekken. Om te beschrijven hoe deze velden met elkaar interageren, hoe deeltjes bewegen en hoe krachten zoals zwaartekracht of elektromagnetisme zich gedragen, vertrouwen wetenschappers op een wiskundige taal genaamd tensoralgebra. Stel je voor dat je probeert de regels op te schrijven voor een complex spel waarbij elk stuk een specifieke positie, oriëntatie en relatie heeft met elk ander stuk. In de natuurkunde zijn deze stukken tens, en hun posities worden gemarkeerd door indices—labels die ons vertellen of een waarde in een bepaalde richting wijst of fungeert als een bron van kracht. Wanneer natuurkundigen de meest exotische hoeken van de realiteit bestuderen, zoals het gedrag van deeltjes met "spin" of de geometrie van de ruimtetijd zelf, worden de vergelijkingen die zij opschrijven ongelooflijk lang en ingewikkeld. Ze bevatten sommaties over talloze combinaties van deze indices, en de regels voor hoe ze interageren kunnen subtiel zijn, vooral bij het werken met deeltjes die anders zich gedragen dan gewone materie, bekend als fermionen.

Decennialang hebben onderzoekers computerprogramma's gebruikt om deze enorme berekeningen te beheren, maar de beschikbare hulpmiddelen waren vaak traag, moeilijk te gebruiken of beperkt in hun vermogen om de specifieke eigenaardigheden van de moderne natuurkunde aan te pakken. De uitdaging is niet alleen het opschrijven van de vergelijkingen, maar ook het vereenvoudigen ervan. Een enkele expressie kan duizenden termen bevatten die er verschillend uitzien, maar eigenlijk hetzelfde zijn, of termen die elkaar volledig opheffen. Dit met de hand doen is onmogelijk, en het met oudere software doen kan uren of zelfs dagen duren, of simpelweg het antwoord niet kunnen vinden. Hier komt een nieuw hulpmiddel, ontwikkeld door Jesse Woods aan de Universiteit van Bern, in beeld om het landschap te veranderen.

Het artikel introduceert een nieuwe softwarepackage genaamd Alakazam, een programma dat is ontworpen om deze complexe tensor-expressies met snelheid en precisie te manipuleren. Gebouwd met de programmeertaal Julia, die bekend staat als zowel gemakkelijk te schrijven als ongelooflijk snel, werd Alakazam specifiek gecreëerd om te voldoen aan de eisen van veldentheorie en kwantummechanica. De onderzoeker bouwde het vanaf de grond af op om de unieke eigenschappen van de fysieke wereld te begrijpen, zoals het feit dat sommige deeltjes niet commuteren—wat betekent dat de volgorde waarin je ze vermenigvuldigt ertoe doet—en dat anderen een "grading" bezitten die bepaalt hoe ze met elkaar interageren. Deze grading is cruciaal voor berekeningen binnen de supersymmetrie, een theoretisch kader dat een diepe verbinding postuleert tussen deeltjes van materie en deeltjes van kracht. In deze berekeningen kan een enkele fout in een teken of een verkeerd geplaatste index een hele resultaat ongeldig maken, dus moet de software foutloos zijn.

De kernprestatie van dit werk is de creatie van een systeem dat een verstrengeld web van wiskundige termen kan nemen en deze efficiënt kan ontwarren. De software begrijpt hoe indices verhoogd en verlaagd moeten worden, hoe termen vereenvoudigd worden waar indices worden opgeteld, en hoe de regels van de calculus op deze abstracte objecten kunnen worden toegepast. Het kan de specifieke symmetrieën van de Riemann-tensor aan, die de kromming van de ruimtetijd beschrijft, en de complexe identiteiten van gamma-matrices, die worden gebruikt om het gedrag van elektronen en andere fermionen te beschrijven. Wat Alakazam bijzonder krachtig maakt, is het vermogen om te herkennen wanneer twee expressies equivalent zijn, zelfs als ze er aan de oppervlakte volkomen verschillend uitzien. Het gebruikt een methode gebaseerd op grafentheorie om de structuur van de termen te vergelijken, waardoor het patronen kan herkennen die andere programma's missen.

In tests demonstreerde de nieuwe software een dramatische verbetering in snelheid vergeleken met de gevestigde systemen die vandaag de dag door natuurkundigen worden gebruikt. Wanneer gevraagd werd om een basis-tensor met complexe symmetrieën te creëren, voltooide Alakazam de taak in enkele microseconden, terwijl andere programma's honderden keren langer nodig hadden. Wanneer geconfronteerd met de taak om een lange expressie met afgeleiden en meerdere termen te vereenvoudigen, voerde het de berekening uit in een fractie van de tijd die de concurrenten nodig hadden. In sommige gevallen was het bijna honderd keer sneller. Deze snelheidswinsten zijn niet slechts een kwestie van gemak; ze stellen onderzoekers in staat om problemen aan te pakken die voorheen te groot waren om te berekenen. Bijvoorbeeld, in de studie van supersymmetrische theorieën kan het aantal termen in een vergelijking exponentieel groeien, waardoor het snel onhandelbaar wordt. De efficiëntie van Alakazam betekent dat deze berekeningen nu in seconden in plaats van uren kunnen worden uitgevoerd, wat de deur opent naar het verkennen van complexere modellen van het universum.

De ontwikkelaar heeft er ook voor gezorgd dat de software flexibel en toegankelijk is. Het stelt gebruikers in staat om code te schrijven die sterk lijkt op de wiskundige notatie die zij op papier gebruiken, wat het makkelijker maakt om ideeën te vertalen naar berekeningen. Het ondersteunt het gebruik van speciale tekens en symbolen, zodat een natuurkundige direct een Griekse letter in het programma kan typen, precies zoals in een tekstboek. Bovendien is de software open-source, wat betekent dat het gratis beschikbaar is voor iedereen om te gebruiken, te bestuderen en te verbeteren. Deze openheid moedigt een gemeenschap van onderzoekers aan om bij te dragen aan de ontwikkeling, waardoor wordt gegarandeerd dat het meevormt met de grenzen van de natuurkunde.

Naast pure snelheid introduceert de software nieuwe manieren om specifieke fysieke concepten te behandelen. Het kan automatisch expansies genereren voor supervelden, wat wiskundige objecten zijn die deeltjes en hun supersymmetrische partners tegelijkertijd beschrijven. Het kan operaties uitvoeren zoals integreren over extra dimensies op een manier die de unieke regels van de kwantummechanica respecteert. Het bevat ook instrumenten voor het werken met lichtkegel-coördinaten, een gespecialiseerd systeem gebruikt in tweedimensionale theorieën, en voor het afhandelen van de complexe conjugatie van spinor's, wat essentieel is voor het beschrijven van antimaterie. Het pakket staat zelfs het definiëren van aangepaste regels toe, zodat als een natuurkundige een nieuwe identiteit ontdekt of een specifiek type interactie wil modelleren, hij de software kan leren hoe hij daarmee om moet gaan.

Het artikel presenteert een uitgebreide gids voor het gebruik van dit hulpmiddel, waarbij voorbeelden worden behandeld die variëren van het berekenen van verstrooiingsamplituden in de deeltjesfysica tot het verkennen van deformaties in tweedimensionale kwantumveldentheorieën. In één voorbeeld werd de software gebruikt om de waarschijnlijkheid te berekenen van de verstrooiing van een foton door een elektron, een proces dat bekend staat als Compton-verstrooiing. Het programma navigeerde succesvol door de complexe algebra, paste de noodzakelijke vereenvoudigingen toe en reproduceerde een beroemde formule, de Klein-Nishina-formule, waarmee de nauwkeurigheid werd bevestigd. In een ander voorbeeld werd het gebruikt om expressies in de superspace te manipuleren, wat de capaciteit demonstreerde om de complexe boekhouding te beheren die vereist is voor theorieën met extra dimensies.

Hoewel de software krachtig is, merkt de auteur zorgvuldig op dat er momenteel beperkingen zijn. Het voert nog geen berekeningen uit met specifieke numerieke componenten in een vast coördinatenstelsel, maar richt zich in plaats daarvan op de abstracte relaties tussen de wiskundige objecten. Het slaat expressies ook op als lijsten in plaats van bomen, wat een ontwerpkeuze is die invloed heeft op de manier waarop gegevens worden verwerkt. Dit zijn echter gebieden voor toekomstige ontwikkeling, en de auteur ziet het pakket als een fundament dat kan worden uitgebreid. Het werk vormt een belangrijke stap voorwaarts in de gereedschapskist die beschikbaar is voor theoretisch natuurkundigen, en biedt een snelle, betrouwbare en gebruiksvriendelijke manier om door het complexe wiskundige terrein van de moderne veldentheorie te navigeren. Door deze berekeningen sneller en toegankelijker te maken, stelt Alakazam onderzoekers in staat om de grenzen van wat berekenbaar is te verleggen, waardoor we dichter bij een dieper begrip van de fundamentele wetten die het universum beheersen, komen.