Schatten norms and determinants of linear combinations of matrix tensor powers via virtual representations

In de wereld van de kwantumfysica moeten wetenschappers vaak complexe materietoestanden vergelijken om te bepalen welke aanwezig is. Stel je voor dat je probeert het verschil te zien tussen twee licht verschillende wolken van atomen, of twee verschillende patronen van licht. Om dit nauwkeurig te doen, moeten onderzoekers deze systemen niet slechts één keer analyseren, maar vele malen, waarbij ze kopieën van dezelfde toestand op elkaar stapelen. Dit proces creëert een wiskundig object dat explosief groot wordt bij elke nieuwe kopie die wordt toegevoegd. Als je een klein systeem hebt en je stapelt het slechts een paar keer op elkaar, wordt de hoeveelheid informatie die nodig is om het geheel te beschrijven zo enorm dat zelfs de krachtigste supercomputers het niet in hun geheugen kunnen houden. Dit is een fundamentele flessenhals bij het testen van kwantumtheorieën en het ontwerpen van toekomstige technologieën. Decennialang wisten wiskundigen hoe ze deze enorme stapels moesten afhandelen wanneer er slechts één of twee verschillende soorten items werden gecombineerd, maar een derde type wierp altijd chaos aan in de berekening, waardoor het onoplosbaar leek zonder brute kracht.

Een team onderzoekers in Boedapest heeft nu een manier gevonden om deze explosie van complexiteit te omzeilen, althans voor systemen van een specifieke grootte. Ze hebben een nieuwe methode ontwikkeld om de "grootte" of het "gewicht" van deze enorme wiskundige stapels te berekenen, zelfs wanneer ze zijn opgebouwd uit drie verschillende ingrediënten. Hun aanpak probeert niet het gigantische object te bouwen en het dan te meten. In plaats daarvan gebruikt het een diepe symmetrie die in de natuur wordt gevonden om het probleem op te splitsen in veel kleine, beheersbare stukjes. Door het probleem te herschikken in deze kleinere blokken, kunnen ze het antwoord berekenen in een fractie van de tijd die nodig zou zijn om het volledige object op te slaan. In een testgeval waarbij het volledige object meer opslagruimte zou vereisen dan er wereldwijd op alle harde schijven bestaat, loste hun methode het probleem op in minder dan een minuut.

De kern van het probleem ligt in de manier waarop deze kwantumtoestanden worden gecombineerd. Wanneer wetenschappers kopieën van een systeem op elkaar stapelen, creëren ze wat een tensor macht wordt genoemd. Als je een enkel systeem hebt en je stapelt dit tien keer op, groeit de wiskundige beschrijving met een factor van de systeemgrootte tot de tiende macht. Voor een systeem dat al groot is, wordt dit getal astronomisch. De onderzoekers waren geïnteresseerd in een specifiek type meting dat wordt gebruikt om verschillende kwantumtoestanden te onderscheiden, een taak die centraal staat in kwantumhypothesetesten. Deze meting houdt in dat men verschillende van deze enorme stapels bij elkaar optelt, elk gewogen met een ander aantal. Wanneer er slechts twee stapels bij elkaar worden opgeteld, hebben wiskundigen lang een afkorting gekend om de berekening te vereenvoudigen. Echter, wanneer een derde stapel wordt geïntroduceerd, verdwijnt de afkorting. De derde term kan niet eenvoudig worden uitgedrukt in termen van de anderen, en de berekening wordt een nachtmerrie van exponentiële groei.

Om dit op te lossen, wenden de auteurs zich tot een tak van de wiskunde genaamd representatietheorie, die bestudeert hoe symmetriegroepen op ruimtes inwerken. Ze maakten gebruik van een principe dat bekend staat als Schur–Weyl dualiteit, dat onthult dat de enorme stapel kopieën niet één chaotisch blok is, maar een verzameling van kleinere, onafhankelijke blokken die niet met elkaar interageren. Denk hierbij aan een enorme bibliotheek die, bij nadere inspectie, blijkt te bestaan uit een verzameling kleine, aparte kamers, elk met een specifiek type boek. De onderzoekers vonden een manier om deze kamers te identificeren zonder de bibliotheek ooit te hoeven bouwen. Ze bewezen dat voor elke verzameling matrices die deze kwantumtoestanden vertegenwoordigen, het gigantische object kan worden opgesplitst in deze kleinere stukken met behulp van een enkele, vaste transformatie. Dit betekent dat het complexe, hoogdimensionale probleem kan worden vervangen door een som van vele kleinere, laagdimensionale problemen.

De doorbraak kwam toen zij deze splitsingstechniek combineerden met een andere wiskundige identiteit, de Jacobi–Trudi-formule. Deze formule stelt de onderzoekers in staat om de complexe blokken uit te drukken als verschillen van eenvoudigere blokken gemaakt van symmetrische machten. In het geval van een drie-bij-drie systeem, wat de kleinste grootte is waar deze nieuwe moeilijkheid optreedt, kon elk complex blok worden gereduceerd tot het verschil tussen slechts twee expliciet berekenbare termen. Deze reductie is exact; het is geen benadering of een gok. Het is een rigoureus wiskundig bewijs dat de waarde van het gigantische object exact gelijk is aan de som van deze kleinere, gesigneerde verschillen. Omdat de kleinere blokken veel kleiner zijn dan het oorspronkelijke object, passen ze gemakkelijk in het computergeheugen.

Het team implementeerde deze methode in een softwarepakket en testte deze tegen de oude brute-force aanpak. Ze gebruikten willekeurige drie-bij-drie matrices om kwantumtoestanden te vertegenwoordigen en vergeleken de resultaten. Voor een klein aantal kopieën, waar beide methoden konden draaien, produceerde de nieuwe methode resultaten die de oude methode tot een extreem hoge mate van precisie benaderden, met fouten die zo klein waren dat ze effectief nul waren. Naarmate ze het aantal kopieën verhoogden, werd de oude methode onmogelijk. Op een niveau waarop de volledige matrix ongeveer 2,4 quintiljoen bytes aan opslagruimte zou vereisen — veel meer dan een computer kan bevatten — berekende de nieuwe methode het antwoord in ongeveer 47 seconden op een standaard computerprocessor. Het grootste blok dat de nieuwe methode moest verwerken, was slechts ongeveer 18.000 bij 18.000, een omvang die triviaal is voor moderne computers.

De onderzoekers controleerden ook de stabiliteit van hun methode. Omdat de berekening het subtraheren van twee grote getallen om een klein resultaat te krijgen inhoudt, bestaat het risico dat afrondingsfouten in de computer het antwoord kunnen ruïneren. Ze ontwikkelden een manier om deze potentiële annulering te monitoren en bevestigden dat de resultaten voor het geteste bereik stabiel en accuraat bleven. Ze merkten op dat hoewel de methode perfect werkt voor twee of drie termen, deze zich niet uitstrekt tot de operatornorm, een ander type meting dat berust op het vinden van een maximale waarde in plaats van een som. Deze beperking is inherent aan de wiskundige structuur die zij gebruikten. Echter, voor het specifieke probleem van het berekenen van de sporenorm en determinanten van deze combinaties, is de methode exact en efficiënt.

Dit werk biedt een praktisch instrument voor het verkennen van een regime in de kwantumfysica dat voorheen onbereikbaar was. Het stelt wetenschappers in staat om hypothesen betrokken bij meerdere kwantumtoestanden te simuleren en te testen met een detailniveau dat voorheen onmogelijk was. De auteurs benadrukken dat dit geen magische truc is die alle kwantumproblemen oplost, maar een precieze wiskundige reductie die een onmogelijke berekening in een haalbare maakt. Door het probleem te scheiden in zijn fundamentele symmetrische delen, hebben ze de deur geopend naar het bestuderen van eindige kopieën van kwantumtoestanden op een manier die de grenzen van fysieke hardware respecteert. De code en gegevens die in hun studie zijn gebruikt, zijn beschikbaar voor anderen om te verifiëren en op voort te bouwen, waardoor wordt gewaarborgd dat deze nieuwe weg vooruit openstaat voor de gehele wetenschappelijke gemeenschap.