What crossing symmetry forbids just above $c=1$

In het uitgestrekte landschap van de theoretische natuurkunde is er een speciale plek waar de regels van de natuur ongelooflijk eenvoudig en elegant worden: het domein van tweedimensionale conforme veldentheorieën. Stel je een wereld voor met slechts twee dimensies, zoals een plat vel papier, waar de natuurwetten er precies hetzelfde uitzien, ongeacht hoe je het gezichtsveld uitrekt of krimpt. Deze symmetrie, bekend als conforme symmetrie, werkt als een krachtig filter, waardoor natuurkundigen complexe problemen kunnen oplossen die onmogelijk zouden zijn in onze driedimensionale realiteit. Deze theorieën zijn niet slechts wiskundige curiositeiten; ze beschrijven het gedrag van materialen op kritieke punten, zoals wanneer een magneet zijn magnetisme verliest, en ze vormen de ruggengraat van de snaartheorie, die probeert alle krachten in het universum te verenigen.

Decennialang hebben natuurkundigen deze theorieën met grote precisie in kaart gebracht, maar een specifiek gebied is een mysterie gebleven. Onder een bepaalde drempel van complexiteit is het universum van deze theorieën schaars en discreet, met slechts een handvol bekende mogelijkheden. Boven die drempel lijken de regels losser te worden, wat suggereiert dat er een oneindige variëteit aan theorieën zou moeten bestaan. Echter, er bevindt zich een vreemde kloof net boven die drempel waar niemand ooit een theorie heeft gevonden die aan de eisen voldoet. Het is alsof de kaart een uitgestrekte, lege oceaan laat zien waar eilanden zouden moeten liggen, en voor een lange tijd wist niemand of de eilanden ontbraken omdat ze niet bestaan, of omdat niemand hard genoeg had gezocht om ze te vinden.

Een recente studie door Yu Nakayama aan het Yukawa Instituut voor Theoretische Natuurkunde in Kyoto heeft eindelijk een helder licht in deze kloof geworpen. Door gebruik te maken van een krachtig wiskundig instrument genaamd de numerieke conforme bootstrap, heeft Nakayama aangetoond dat de lege ruimte niet slechts een toevalligheid is van onze zoekmethoden, maar een werkelijk kenmerk van de natuurwetten. De studie onthult dat er net boven een specifiek punt van complexiteit een breed scala aan mogelijkheden strikt verboden is. Als een theorie in deze smalle zone bestaat, moet deze een zeer specifieke, lichte structuur hebben, wat de "middenweg" die velen hoopten te vinden, effectief uitsluit.

Het onderzoek richtte zich op een fundamentele vraag: hoe ziet een geldige theorie eruit onmiddellijk nadat de drempel naar de complexe regio is overschreden? Om dit te beantwoorden, onderzocht Nakayama de interacties tussen deeltjes in deze tweedimensionale werelden. In deze theorieën zijn deeltjes niet alleen punten, maar worden ze beschreven door wiskundige objecten die zogenaamde 'operators', die een specifieke "gewicht" of dimensie hebben die bepaalt hoe ze zich gedragen. De onderzoeker bestudeerde een specifiek type deeltje, een scalair, en vroeg zich af wat er gebeurt wanneer twee van hen botsen en interageren. In een consistente theorie moet de uitkomst van deze botsing voldoen aan een strikte regel genaamd kruissymmetrie. Deze regel zorgt ervoor dat de uitkomst van de interactie er hetzelfde uitziet of je het nu vanuit één hoek bekijkt of vanuit een andere, wat fungeert als een consistentiecontrole waar elke geldige theorie aan moet voldoen.

Nakaya's aanpak was om elk mogelijk gewicht voor dit deeltje, één voor één, te testen om te zien of het deze consistentiecontrole kon doorstaan. Hij nam aan dat het deeltje dat hij bestudeerde het lichtste in zijn familie was, wat betekende dat er geen lichtere deeltjes betrokken waren bij de botsing. Vervolgens gebruikte hij een computer om de complexe vergelijkingen op te lossen die deze interacties beheersen, waarbij hij zocht naar een oplossing waarbij alle getallen die de sterkte van de interacties vertegenwoordigen positief zijn, een vereiste om een fysieke theorie zin te geven. Als de computer voor een specifiek gewicht geen dergelijke oplossing kon vinden, werd dat gewicht als "verboden" verklaard.

De resultaten waren opmerkelijk. Net boven de drempel stelde de computer vast dat een groot interval van gewichten, ruwweg tussen 0,17 en 1, volkomen onmogelijk is. In deze smalle band kan geen enkele theorie bestaan die aan de natuurwetten voldoet. Dit is een diepgaande ontdekking omdat, exact op de drempel, een bekende theorie genaamd de compacte boson elke enkele een van deze gewichten toestaat. Het is alsof een deur die bij de drempel wijd openstond, plotseling dichtklapt zod{%} je slechts een fractie verder stapt. De studie toont aan dat het universum van theorieën niet geleidelijk overgaat; in plaats daarvan dwingt het een plotselinge sprong af.

Deze bevinding heeft directe gevolgen voor de zoektocht naar nieuwe theorieën. Door deze nieuwe exclusiezone te combineren met eerdere resultaten van een andere methode genaamd de modulaire bootstrap, die naar de algehele vorm van de theorie kijkt, kon Nakayama een strikte limiet stellen aan hoe een theorie in deze regio eruit moet zien. Hij concludeerde dat als een theorie net boven de drempel bestaat, het lichtste deeltje ervan lichter moet zijn dan 0,17. Dit elimineert effectief een hele klasse van potentiële theorieën die natuurkundigen eerder in overweging hadden genomen. Het zet ook druk op enkele kandidaat-theorieën die werden voorgesteld om deze kloof te vullen. Toen Nakayama deze kandidaten direct testte, merkte hij op dat hoewel sommigen de test konden doorstaan, ze hun interne getallen iets anders moesten hebben dan oorspronkelijk gedacht, wat suggereert dat ze misschien niet de ware oplossing zijn.

Verder weg van de drempel onthulde de studie een fascinerend patroon. Naarmate de complexiteit van de theorie toeneemt, krimpt de verboden zone en verdwijnt deze uiteindelijk. De grens van dit toegestane gebied is echter niet glad; het heeft twee scherpe dalen, of minima, op specifieke waarden. Deze dalen komen exact overeen met twee bekende theorieën die natuurkundigen al jarenlang bestuderen: de Z5-parafermion en een gerelateerde orbifold-theorie. Het feit dat de wiskundige grenzen van het toegestane gebied perfect uitlijnen met deze bekende theorieën suggereert dat deze theorieën speciaal zijn, en wellicht op de rand van het mogelijke liggen. De berekeningen van de computer waren zo precies dat de voorspelde grens binnen een fractie van een procent van de bekende waarden lag, wat bevestigt dat deze theorieën inderdaad de "laagste" mogelijke oplossingen zijn op die specifieke punten.

De studie bestudeerde ook een derde bekende theorie, het N=1 minimale model, dat net boven de verboden zone ligt. Deze theorie bevindt zich niet op de grens, maar zweeft er net boven, rustend op een klein plateau. De wiskundige oplossing die de computer voor dit gebied vond, komt nauw overeen met de structuur van deze bekende theorie, ook al bestaat de theorie zelf niet op dat exacte punt. Dit suggereert dat het wiskundige landschap gevormd wordt door de aanwezigheid van deze bekende theorieën, waardoor een terrein ontstaat waar nieuwe theorieën in de schaduwen van de oude verborgen kunnen zijn.

Uiteindelijk brengt dit werk ons dichter bij het beantwoorden van een langlopende vraag gesteld door de natuurkundige Simeon Hellerman: bestaat er een compacte, unitaire theorie in de smalle kloof tussen de drempel en de volgende bekende theorieën? Het antwoord is een genuanceerd ja, maar met een strenge beperking. De studie bewijst dat als een dergelijke theorie bestaat, deze geen zware, complexe structuur kan hebben. Het moet gebouwd zijn van zeer lichte componenten, lichter dan 0,17. Hoewel de studie deze nieuwe theorie niet construeert, heeft het het pad vrijgemaakt door precies aan te geven waar deze niet kan bestaan. Het vertelt ons dat het universum van tweedimensionale theorieën geen glad continuüm is, maar een landschap met steile kliffen en diepe valleien, waar de regels van symmetrie en consistentie een zeer specifieke, en misschien verrassend schaarse, realiteit uithakken. Het mysterie van wat er in de kloof ligt blijft bestaan, maar we weten nu dat wat er ook is, het lichter en eenvoudiger moet zijn dan wie dan ook durfde te vermoeden.