Lee-Yang theorems for $q$-deformed oscillators and doubly-scaled SYK

In het uitgestrekte landschap van de theoretische fysica bestaat een klasse van systemen die bekend staat als gedesordreerde systemen, waarbij de regels die bepalen hoe deeltjes met elkaar interageren niet vaststaan, maar worden getrokken uit een willekeurige verdeling. Stel je een kamer voor vol mensen voor waarbij elk paar vreemden een andere, willekeurig toegewezen regel heeft voor hoe zij handen schudden; het algemene gedrag van de kamer ontstaat uit dit chaotische web van verbindingen. Een van de meest beroemde voorbeelden van een dergelijk systeem is het Sachdev-Ye-Kitaev-model, een wiskundig construct dat door natuurkundigen wordt gebruikt om te bestudelen hoe complexe kwantumsystemen zich gedragen wanneer ze veel interagerende onderdelen bevatten. Het begrijpen van deze systemen is cruciaal omdat ze dienen als vereenvoudigde laboratoria voor het verkennen van de aard van zwarte gaten, het gedrag van vreemde metalen en de fundamentele limieten van hoe kwantuminformatie wordt verwerkt. Een centrale vraag bij het bestuderen van deze systemen is of ze een faseovergang ondergaan, een plotselinge en dramatische verandering in hun staat, vergelijkbaar met water dat bevriest tot ijs. Om dit te beantwoorden, kijken wetenschappers naar een specifiek wiskundig object genaamd de partitiefunctie, die fungeert als een universele sleutel tot de thermodynamische eigenschappen van het systeem. Als de nulpunten van deze functie — de punten waar de waarde naar niets daalt — zich in specifieke regio's van het wiskundige vlak bevinden, onthult dit of het systeem stabiel is of dat het op de rand van een faseverandering staat.

Decennialang heeft een krachtig idee, bekend als de Lee-Yang-eigenschap, natuurkundigen bij deze zoektocht begeleid. Dit concept suggereert dat voor bepaalde typen fysieke systemen de nulpunten van de partitiefunctie niet willekeurig verspreid zijn, maar beperkt zijn tot een enkele, rechte lijn in het complexe vlak. Wanneer dit gebeurt, garandeert het dat het systeem geen faseovergang ervaart bij een eindige temperatuur, wat betekent dat het gedrag vloeiend en voorspelbaar blijft. Hoewel deze eigenschap bewezen is voor veel geordende systemen, zoals magneten waarbij elke atoom zich uitlijnt met zijn buren, bleef het een mysterie voor gedesordreerde systemen zoals het Sachdev-Ye-Kitaev-model. De willekeur van de interacties maakt de wiskunde ongelooflijk moeilijk, en eerdere pogingen om de nulpunten van de partitiefunctie van dit model te begrijpen, vertrouwden op benaderingen of simulaties die geen rigoureus bewijs konden leveren.

In een recente studie hebben onderzoekers Arpon Basu en Siddhant Midha van Princeton University dit langlopende raadsel eindelijk opgelost voor het Sachdev-Ye-Kitaev-model in een specifiek regime dat bekend staat als de dubbel geschaalde limiet. Ze bewezen dat de partitiefunctie van dit gedesordreerde systeem zich met dezelfde elegante orde gedraagt als de simpelere, geordende systemen, maar specifiek in de thermodynamische limiet waar de systeemgrootte oneindig groot wordt. Specifiek hebben zij aangetoond dat alle nulpunten van de partitiefunctie zich exact op de imaginaire as bevinden in deze limiet, een resultaat dat bevestigt dat het systeem vrij is van faseovergangen bij elke eindige temperatuur wanneer het de oneindige omvang nadert. Deze bevinding is niet slechts een wiskundige curiositeit; het biedt een rigoureuze fundering voor het begrijpen van waarom deze complexe kwantumsystemen zo computationeel hanteerbaar zijn, wat verklaart waarom algoritmen deze systemen efficiënt kunnen simuleren ondanks hun inherente willekeur.

Om tot deze conclusie te komen, vielen de auteurs het complexe Sachdev-Ye-Kitaev-model niet direct aan. In plaats daarvoor wenden zij zich tot een eenvoudiger, gerelateerd wiskundig object genaamd een q-gedeformeerde oscillator. Deze oscillator is een vereenvoudigde versie van een kwantumsysteem waarbij de regels voor hoe deeltjes worden gecreëerd en vernietigd, licht worden aangepast door een parameter, aangeduid met q, die de mate van deformatie controleert. Wanneer deze parameter gelijk is aan één, gedraagt het systeem zich als een standaard boson; wanneer deze gelijk is aan min één, gedraagt het zich als een fermion; en voor waarden daartussenin neemt het een middenweg in die de essentiële kenmerken van het gedesordreerde systeem vangt. De onderzoekers concentreerden zich op de "vacuümpartitiefunctie" van deze oscillator, een specifieke wiskundige expressie die de toestand beschrijft wanneer het systeem leeg is. Zij zetten zich in om te bewijzen dat deze expressie ook de Lee-Yang-eigenschap bezit, wat betekent dat de nulpunten allemaal puur imaginair zijn.

Het pad naar dit bewijs vereiste dat het team de kloof overbrugde tussen abstracte algebra en combinatoriek, de studie van tellen en ordenen. Ze ontdekten dat de vacuümpartitiefunctie begrepen kan worden als een limiet van een sequentie van polynomen, wat uitdrukkingen zijn die gebouwd zijn uit variabelen verheven tot diverse machten. Deze polynomen, die zij q-gedeformeerde matching-polynomen noemden, worden geconstrueerd door de manieren te tellen waarop elementen in een verzameling gekoppeld kunnen worden, maar met een twist: telkens wanneer twee paren elkaar kruisen in een specifieke diagrammatische representatie, wordt de telling gewogen door de deformatieparameter. De onderzoekers bewezen dat voor elke waarde van de parameter tussen min één en één, deze polynomen een opmerkelijke eigenschap hebben: al hun wortels zijn reële getallen. Dit is een betekenisvol resultaat op zich, aangezien het de willekeurige kruisingen van deze diagrammen verbindt met een zeer gestructureerde geometrische eigenschap van de resulterende vergelijkingen.

Door vast te stellen dat deze polynomen "reëel-geworteld" zijn, kon het team een krachtige stelling uit de complexe analyse gebruiken om aan te tonen dat de limiet van deze polynomen — de vacuümpartitiefunctie zelf — ook moet hebben dat de nulpunten beperkt zijn tot een specifieke lijn. In dit geval, vanwege de manier waarop de polynomen geconstrueerd zijn, liggen de nulpunten van de partitiefunctie op de imaginaire lijn. Dit bevestigde een langlopende conjectuur dat de partitiefunctie van de q-gedeformeerde oscillator geen nulpunten heeft buiten de imaginaire as. Bovendien waren zij in staat de nulpunts die het dichtst bij de reële as ligt precies te lokaliseren, waarbij zij aantoonden dat deze op een veilige afstand blijft, wat cruciaal is voor het begrip van de stabiliteit van het systeem.

Met dit rigoureuze bewijs in handen, verbonden de onderzoekers hun bevindingen vervolgens terug aan het oorspronkelijke Sachdev-Ye-Kitaev-model. Zij toonden aan dat in de dubbel geschaalde limiet, waarbij het aantal deeltjes en de complexiteit van hun interacties op een specifieke manier samen groeien, het gedrag van het gedesordreerde systeem ononderscheidbaar is van de q-gedeformeerde oscillator. Dit stelde hen in staat hun resultaten direct over te dragen: aangezien de partitiefunctie van de oscillator alle nulpunten op de imaginaire as heeft, moet de partitiefunctie van het Sachdev-Ye-Kitaev-model in de thermodynamische limiet hetzelfde doen. Dit betekent dat, naarmate het systeem oneindig groot wordt, het een "nulpuntsvrije strook" rond de reële as behoudt waar de partitiefunctie nooit verdwijnt.

De implicaties van deze nulpuntsvrije strook zijn diepgaand voor zowel de fysica als de informatica. In de context van het Sachdev-Ye-Kitaev-model bewijst dit rigoureus dat het systeem bij elke eindige temperatuur geen faseovergang ondergaat in de thermodynamische limiet, wat eerdere numerieke observaties en grootschalige berekeningen bevestigt. Het is belangrijk op te merken dat dit een asymptotische eigenschap is; voor eindige systeemgroottes, zoals n=8 en k=4, kan de partitiefunctie inderdaad nulpunten met niet-nul reële delen bezitten, wat aangeeft dat de Lee-Yang-eigenschap pas verschijnt wanneer het systeem oneindig groot wordt. Breder geformuleerd verklaart dit resultaat waarom deze gedesordreerde kwantumsystemen zo geschikt zijn voor efficiënte simulatie. De afwezigheid van nulpunten in een breed gebied rond de reële as in de thermodynamische limiet impliceert dat de eigenschappen van het systeem berekend kunnen worden met standaard wiskundige technieken zonder tegen de singulariteiten aan te lopen die dergelijke problemen gewoonlijk onhandelbaar maken. Dit biedt een verenigend wiskundig principe dat het algoritmische succes verklaart die de afgelopen jaren gezien is bij het simuleren van deze chaotische kwantumsystemen.

De onderzoekers verkenden ook de combinatorische consequenties van hun bevindingen. Het feit dat de polynomen reëel-geworteld zijn, impliceert een specifiek type vloeiendheid in de sequentie van getallen die de kruisingspatronen van de diagrammen tellen. Deze vloeiendheid, bekend als log-concaafheid, is een eigenschap die vaak in de natuur en de wiskunde voorkomt wanneer systemen stabiel en goed gedrag vertonen. Door deze eigenschap voor de q-gedeformeerde momenten te bewijzen, voegde het team een nieuwe laag van begrip toe aan de combinatorische structuren die ten grondslag liggen aan de kwantumfysica. Zij toonden ook aan dat dit elegante gedrag strikt beperkt is tot het bereik van de deformatieparameter tussen min één en één; buiten dit bereik stort de wiskundige structuur in en kunnen de nulpunten van de lijn afdwalen, wat duidt op een verlies van stabiliteit.

Samenvattend vormt dit werk een belangrijke stap voorwaarts in het begrijpen van de wiskundige architectuur van gedesordreerde kwantumsystemen. Door te bewijzen dat de partitiefunctie van het Sachdev-Ye-Kitaev-model in de thermodynamische limiet aan de Lee-Yang-eigenschap voldoet, hebben de auteurs een rigoureuze verklaring gegeven voor de stabiliteit en computationele hanteerbaarheid van het systeem. Zij bereikten dit door een diepe connectie te ontsluiten tussen de willekeurige kruisingen van combinatorische diagrammen en de geometrische locatie van de wortels van polynomen, waarbij zij aantoonden dat zelfs in een systeem gedefinieerd door willekeur, er een onderliggende orde is die de fysica voorspelbaar houdt in de limiet van oneindige omvang. Deze ontdekking lost niet alleen een specifieke conjectuur over de q-gedeformeerde oscillator op, maar biedt ook een krachtig nieuw instrument voor de analyse van andere gedesordreerde systemen, wat suggereert dat de Lee-Yang-eigenschap een meer universeel kenmerk van kwantummaterie zou kunnen zijn dan voorheen gedacht.