Stel je het universum voor als een gigantisch, kosmisch orkest. Decennialang hebben natuurkundigen geprobeerd de partituur voor dit orkest te schrijven, waarin beschreven wordt hoe minuscule deeltjes zoals elektronen en fotonen samen dansen. Dit veld wordt Kwantumveldentheorie (QFT) genoemd, en het is het beste regelboek dat we hebben voor hoe de subatomaire wereld werkt. Maar er is een enorm probleem met de muziek: soms, wanneer het orkest bepaalde noten speelt, verandert de partituur in een chaos van oneindige krabbels. Dit worden "infrarood divergenties" genoemd. Denk aan een microfoon die te gevoelig is; hij pikt niet alleen de stem van de zanger op, maar ook het gezoem van de airconditioning, het verkeer buiten en het geritsel van het publiek, alles gemengd in een oorverdovend lawaai dat het onmogelijk maakt om het lied te horen. In het specifieke geval van Kwantumelektrodynamica (QED) — de theorie van hoe licht en materie met elkaar interageren — heeft dit "gebrul" van laagenergetische fotonen het onmogelijk gemaakt om de waarschijnlijkheid van bepaalde gebeurtenissen te berekenen met de standaardmethoden. Natuurkundigen zitten al lange tijd vast in een poging om deze ruis weg te filteren.

Dit artikel, gepresenteerd door A. Schwarz aan het Simons Center for Geometry and Physics in 2024, biedt een nieuwe manier om naar het orkest te luisteren. In plaats van te proberen de oude partituur te laten werken, introduceert de auteur een "geometrische benadering" met behulp van iets dat L-functionalen wordt genoemd. Je kunt een L-functional niet zien als een enkele noot, maar als een speciaal soort "klankbord" of een meesteropname die de volledige staat van het orkest in één keer vastlegt, inclusief alle achtergrondruis en de interacties tussen de instrumenten. Het artikel suggereert dat we door dit klankbord te gebruiken, de oneindige krabbels die de oude methoden teisteren, kunnen omzeilen. Het stelt een slimme truc voor: in plaats van elektronen en fotonen te behandelen als afzonderlijke spelers die plotseling met elkaar interageren, behandelen we de "stroom" (de ladingsstroom) als een bewegend doelwit dat langzaam over de tijd verandert. Door onze wiskundige "microfoon" aan te passen aan deze langzame verandering, suggereert het artikel dat we eindelijk de waarschijnlijkheden van deze chaotische interacties kunnen berekenen zonder dat de getallen naar oneindig exploderen. Hoewel de auteur toegeeft dat dit een "conjectuur" is (een zeer sterke, goed onderbouwde gok) in plaats van een volledig bewezen stelling, opent het een deur naar een schonere, stabielere manier om te begrijpen hoe het licht en de materie van het universum zich daadwerkelijk gedragen.

Het Geometrische Klankbord

Om te begrijpen wat Schwarz doet, moeten we eerst kijken naar hoe natuurkundigen gewoonlijk een kwantumsysteem beschrijven. Traditioneel beginnen ze met een set regels (een algebra) en vragen ze vervolgens: "Wat zijn de mogbare toestanden van dit systeem?" Een "toestand" is als een snapshot van het universum op een specifiek moment, die ons de waarschijnlijkheid vertelt om deeltjes op bepaalde plaatsen te vinden. Op de oude manier zijn deze snapshots simpelweg getallen of eenvoudige lijsten.

Schwarz draait dit om. Hij begint met de geometrische benadering. Stel je de verzameling van alle mogelijke toestanden niet voor als een lijst, maar als een vorm — een convexe verzameling, zoals een gladde, ronde bal. Elk punt op deze bal is een geldige toestand van het universum. De "L-functional" is een instrument waarmee we over deze bal kunnen lopen en dingen kunnen meten. In plaats van naar één specifief deeltje te kijken, kijkt de L-functional naar de hele "wolk" van mogelijkheden. Het is alsof je, in plaats van te proberen elk zandkorreltje op een strand één voor één te tellen (wat onmogelijk is en tot fouten leidt), de totale volume van het strand meet.

Deze benadering is bijzonder nuttig omdat het "decoherentie" natuurlijk afhandelt. In de kwantumwereld, wanneer een systeem interageert met zijn omgeving (zoals een foton dat een elektron raakt), verliest het zijn "kwantumachtigheid" en begint het zich meer als een klassiek object te gedragen. De L-functional formalisme is gebouwd om deze interacties met willekeurige, adiabatische (langzaam veranderende) perturbaties af te handelen. Het zegt in feite: "Laten we niet doen alsof het systeem geïsoleerd is; laten we de ruis vanaf het begin in de wiskunde inbouwen."

Het Infraroodprobleem: Het Oneindige Gebrul

De belangrijkste schurk in dit verhaal is het infraroodprobleem. In QED, wanneer een elektron verstrooit, stuitert het niet alleen weg; het zendt een wolk van laagenergetische fotonen uit. Het probleem is dat er geen limiet is aan hoeveel van deze laagenergetische fotonen uitgezonden kunnen worden. Als je probeert de waarschijnlijkheid te berekenen dat een elektron verstrooit zonder enige fotonen uit te zenden, geeft de wiskunde je nul. Als je probeert het te berekenen met één foton, is het nog steeds nul. Je moet álle mogelijke aantallen fotonen meenemen, en wanneer je dat doet, loopt de standaard wiskunde vast omdat de getallen oneindig groot worden.

Het is als het proberen te berekenen van de kosten van een feestje waarbij de prijs van de taart afhangt van hoeveel mensen er verschijnen, maar het aantal mensen oneindig is. De standaard "verstrooiingsmatrix" (het instrument dat deze waarschijnlijkheden berekent) bestaat simpelweg niet voor deze processen.

Schwarz wijst erop dat hoewel de standaardmatrix faalt, een inclusieve verstrooiingsmatrix mogelijk wel werkt. Dit is een ander instrument. In plaats van te vragen: "Wat is de waarschijnlijkheid van precies deze uitkomst?", vraat het: "Wat is de waarschijnlijkheid van deze uitkomst plus nog iets anders dat we mogelijk niet kunnen detecteren?" Het is als vragen: "Wat is de kans dat de band een rocknummer speelt?" in plaats van: "Wat is de kans dat ze precies het nummer 'Stairway to Heaven' spelen?". De "inclusieve" benadering groepeert alle chaotische, ondetecteerbare laagenergetische fotonen in één enkele "iets anders"-categorie, wat de wiskunde vaak eindig en beheersbaar maakt.

De L-functional Oplossing

Dus, hoe lost de L-functional dit op? Het artikel introduceert een methode waarbij we niet alleen naar de operatoren (de wiskundige instrumenten) kijken in isolatie. We kijken naar hen als functionalen — functies die andere functies als input nemen.

Stel je voor dat je een complexe machine hebt (het kwantumsysteem). De L-functional is een bedieningspaneel dat een knop heeft voor elke mogbare instelling van de machine. Door deze knoppen (vertegenwoordigd door de testfuncties $f$ en $g$) te draaien, kun je het systeem beproeven. Het artikel laat zien dat deze functionalen fungeren als "genererende functionalen" voor correlatiefuncties. In gewone mensentaal betekent dit dat als je de vorm van de L-functional kent, je alle mogelijke metingen die je ooit zou kunnen doen, daaruit kunt afleiden.

De kerninnovatie hier is de verdubbeling van velden. In de L-functional formalisme vereist de wiskunde dat we twee kopieën van het systeem tegelijkertijd overwegen. Eén kopie beweegt vooruit in de tijd, en de andere beweegt achteruit. Dit klinkt misschien vreemd, maar het is een standaardtruc in de niet-evenwichtsfysica (zoals de Keldysh-formalisme) die helpt bij het bijhouden hoe energie stroomt en hoe het systeem evolueert. Door deze "dubbele visie" te gebruiken, kan de L-functional de chaotische interacties tussen deeltjes en de achtergrondruis aan zonder dat de wiskunde explodeert.

De Conjectuur: De Microfoon Afstellen

Het meest opwindende deel van het artikel is de conjectuur over QED. Schwarz suggereert dat de reden voor de infrarood divergenties is dat we de verkeerde "vrije Hamiltonian" (de basisenergie van het systeem) als ons vertrekpunt gebruiken.

Denk er zo over na: als je een zanger probeert op te nemen en je begint je opname met de microfoon ingesteld op "Stilte", terwijl de zanger al aan het neuriën is, krijg je een harde knal. Als je de microfoon eerst op "Neurien" zet, is de opname vloeiend.

Schwarz stelt voor dat we in QED de interactieterm (het deel waar elektronen en fotonen met elkaar praten) in twee stukken moeten splitsen. Eén deel is de "harde" interactie die de verstrooiing veroorzaakt, en het andere is een "zachte" interactie die de energie van de deeltjes langzaam over de tijd verschuift. Het artikel betoogt dat als we dit "zachte" deel als onderdeel van onze basis (de vrije Hamiltonian) beschouwen in plaats van als een verstoring, de infrarood divergenties verdwijnen.

Specifiek suggereert de auteur dat we het "numerieke deel van de stroom" (een wiskundige term die de stroom van lading beschrijft) moeten laten overeenkomen met de stroom van de inkomende deeltjes aan het begin van de tijd ($t \to -\infty$) en de uitgaande deeltjes aan het einde van de tijd ($t \to +\infty$). Door dit te doen, worden de "zachte" fotonen opgenomen in de definitie van de deeltjes zelf, in plaats van te worden behandend als afzonderlijke, oneindige ruis.

Het artikel biedt een "schets van een bewijs" voor dit idee. Het breekt de interactieterm $-jA$ (stroom maal elektromagnetisch veld) af en laat zien dat het deel van de interactie dat de oneindige problemen veroorzaakt (het deel met de langzame tijdsafhankelijkheid) geïsoleerd kan worden. Als we dit geïsoleerde deel als het "vrije" systeem behandelen, blijkt het resterende chaotische deel (dat de oneindigheden veroorzaakt) ongevaarlijk te zijn. Het artikel berekent dat de inclusieve doorsnede (de waarschijnlijkheid van de gebeurtenis, inclusief alle onzichtbare ruis) welgedefinieerd en eindig wordt.

Voorbij Elektronen: Zwaartekracht en Wanorde

De schoonheid van deze geometrische benadering is dat deze niet beperkt is tot alleen elektronen en licht. Het artikel raakt kort aan hoe deze methode toepasbaar is op andere gebieden:

1. Quenched Disorder (Gevaste Wanorde): Dit is wanneer een materiaal willekeurige onzuiverheden heeft, zoals een kristal waarbij sommige atomen ontbreken of vervangen zijn door andere. In plaats van te proberen het gedrag voor elke mogelijke arrangement van onzuiverheden te berekenen (wat onmogelijk is), stelt de L-functional natuurkundigen in staat om het gemiddelde gedrag direct te berekenen. Het is als het voorspellen van de gemiddelde verkeersstroom op een weg met willekeurige kuilen, in plaats van elke individuele auto te simuleren.
2. Geliniariseerde Zwaartekracht: Het artikel kijkt ook naar zwaartekracht, waarbij het wordt behandeld als kleine rimpelingen (gravitonen) op een vlakke achtergrond. Net als bij licht is het berekenen van hoe deze rimpelingen interageren lastig. De L-functional benadering biedt een manier om de "inclusieve" verstrooiing van gravitonen te definiëren, wat potentieel vergelijkbare infraroodproblemen in de zwaartekracht oplost die de standaardtheorieën teisteren.

Het Oordeel

Dit artikel beweert niet dat het de problemen van het universum van de ene op de andere dag heeft opgelost. De auteur is voorzichtig genoeg om het hoofdpunt over QED als een conjectuur te bestempelen. Het is een sterke, wiskundig onderbouwde suggestie dat een specifieke manier van het organiseren van de vergelijkingen (het L-functional formalisme met een specifieke keuze van de vrije Hamiltonian) de infrarood divergenties wegneemt.

Het artikel demonstreert dat de inclusieve verstrooiingsmatrix — die rekening houdt met alle ondetecteerbare laagenergetische ruis — een welgedefinieerd concept is, zelfs wanneer de standaard verstrooiingsmatrix faalt. Het toont aan dat we, door de geometrische taal van L-functionalen te gebruiken, deze waarschijnlijkheden kunnen afleiden zonder dat de wiskunde instort.

Kortom, Schwarz reikt ons een nieuwe bril aan. Door deze lenzen ziet de chaotische, oneindige brul van de kwantumwereld eruit als een helder, berekenbaar signaal. Hoewel we nog moeten bewijzen dat dit voor elk mogelijk scenario in QED werkt, ziet het pad vooruit er veel minder mistig uit dan voorheen. Het artikel nodigt ons uit om te stoppen met het bevechten van de ruis en te beginnen op een nieuwe manier naar de muziek te luisteren.