Local minima in quantum systems

In de fysieke wereld is de natuur een meedogenloze optimizer. Wanneer een heet object afkoelt, streeft het naar de laagst mogelijke energietoestand, een conditie die natuurkundigen de grondtoestand noemen. Dit proces is fundamenteel voor hoe materialen ontstaan, hoe chemische reacties verlopen en hoe het universum tot stabiliteit komt. Decennialang hebben wetenschappers geprobeerd om computers te gebruiken om deze laagst-energetische toestanden te voorspellen voor complexe systemen bestaande uit vele interagerende deeltjes, zoals de elektronen in een nieuw materiaal of de atomen in een eiwit. Het vinden van het absolute laagste punt in deze systemen is echter berucht moeilijk. Het is een probleem dat zo lastig is dat zelfs de krachtigste klassieke computers, de soorten die we vandaag de dag gebruiken, moeite hebben om het voor veel interessante gevallen op te lossen. Bovendien suggereert theoretisch werk dat het vinden van grondtoestanden QMA-hard is, wat betekent dat het in sommige gevallen zelfs voor quantumcomputers onhandelbaar wordt verwacht te zijn.

Deze moeilijkheid ontstaat omdat het landschap van mogelijke energietoestanden vaak vol zit met vallen. Stel je een bergketen voor waarbij een wandelaar de diepste vallei wil bereiken. Als het terrein ruig is, kan de wandelaar vast komen te zitten in een kleine, ondiepe kuil die van een afstandje lijkt op de bodem, maar eigenlijk veel hoger ligt dan de ware vallei. In de natuurkunde worden deze ondiepe kuilen lokale minima genoemd. Wanneer de natuur een systeem afkoelt, komt het vaak vast te zitten in deze lokale minima in plaats van de ware grondtoestand te vinden. Dit is waarom sommige materialen, zoals bepaalde magnetische glazen, zelfs na een lange tijd van afkoelen nooit hun theoretische laagste energie bereiken. In plaats daarvan settle ze zich in een toestand die weliswaar stabiel is, maar niet de best mogelijke.

Een team van onderzoekers van het California Institute of Technology, Google Quantum AI en het Massachusetts Institute of Technology heeft nu dit fenomeen van vastlopen in lokale minima onderzocht. Ze stelden een specifieke vraag: als de natuur niet altijd de perfecte grondtoestand kan vinden, kan een computer dan een lokaal minimum vinden in plaats daarvan? En zo ja, is die taak gemakkelijker voor een klassieke computer of een quantumcomputer? Hun werk onthult een verrassende wending in het verhaal van quantumoptimalisatie. Ze ontdekten dat hoewel het vinden van een lokaal minimum triviaal is voor een klassieke computer onder één set regels, het een taak wordt die gemakkelijk is voor een quantumcomputer maar moeilijk voor een klassieke computer onder de regels die de natuur daadwerkelijk beheerst tijdens het afkoelen van zaken.

Om hun ontdekking te begrijpen, moet men eerst onderscheid maken tussen twee manieren waarop een systeem kan worden aangepast of verstoord. De onderzoekers beschouwden het eerste type, dat betrokken is bij het veranderen van een systeem met behulp van reversibele, wiskundige operaties die lokale unitaire perturbaties worden genoemd. In dit scenario is het energielandschap gevuld met een overweldigend aantal lokale minima. Sterker nog, bijna elke willekeurige toestand van het systeem is een lokaal minimum. Omdat er zoveel van zijn, kan een klassieke computer er gemakkelijk een vinden; het is alsoals wandelen over een uitgestrekte, vlakke vlakte waar elke stap een lokaal minimum is. Het probleem is zo eenvoudig dat het in essentie triviaal is, maar het weerspiegelt niet hoe de natuur werkelijk werkt, omdat de natuur systemen afkoelt door middel van irreversibele interacties met een warmtebad, en niet door middel van reversibele wiskundige trucjes.

Vervolgens richtten de onderzoekers zich op het tweede type perturbatie, dat het echte fysieke proces van afkoelen nabootst. Ze modelleerden een systeem dat interacteert met een thermisch bad, een reservoir van warmte bij een specifieke temperatuur. In deze realistische setting evolueert het systeem irreversibel, waarbij het energie verliest aan de omgeving. Hier verandert het landschap drastisch. De onderzoekers bewezen dat voor een quantumcomputer het vinden van een lokaal minimum onder deze thermische condities efficiënt is. Ze ontwikkelden een methode genaamd quantum thermal gradient descent, die het afkoelingsproces nabootst. Door het pad te volgen waar de energie het steilst daalt, kan een quantumcomputer betrouwbaar een lokaal minimum vinden in een redelijke hoeveelheid tijd, ongeacht waar het begint.

De meest significante bevinding betreft echter de moeilijkheidsgraad voor klassieke computers. De onderzoekers construeerden een specifieke familie van tweedimensionale quantumsystemen waarbij de grondtoestand het resultaat van een complexe quantumcalculatie codeert. Ze bewezen dat voor deze specifieke systemen geen "slechte" lokale minima bestaan. Elk lokaal minimum is in feite een globaal minimum, wat betekent de grondtoestand. Dit creëert een glad, komvormig energielandschap waar de enige plek waar men in vast kan komen zitten, de absolute bodem is. Omdat het vinden van de grondtoestand voor deze systemen bekend staat als een taak die gemakkelijk is voor quantumcomputers maar moeilijk voor klassieke computers (ervan uitgaande dat quantumcomputatie krachtiger is dan klassieke computatie), concludeerden de onderzoekers dat het vinden van een lokaal minimum in deze thermische setting ook moeilijk is voor klassieke computers. Als een klassieke computer hier efficiënt een lokaal minimum zou kunnen vinden, zou dit impliceren dat klassieke computers elke quantumcalculatie kunnen simuleren, een mogelijkheid die de meeste experts als onjuist beschouwen.

Dit werk vestigt een duidelijke scheiding tussen de capaciteiten van klassieke en quantummachines. Het laat zien dat hoewel klassieke computers gemakkelijk lokale minima kunnen vinden in kunstmatige, reversibele scenario's, ze tegen een muur aanlopen wanneer ze geconfronteerd worden met de irreversibele, thermische processen die de echte wereld beheersen. In tegenstelling hiertoe kunnen quantumcomputers deze thermische landschappen efficiënt navigeren. De studie suggereert dat het lokale minimum-probleem een nieuwe weg biedt voor quantumvoordeel. In plaats van te proberen de beruchte moeilijke taak van het vinden van de absolute grondtoestand voor elk systeem op te lossen, kunnen quantumcomputers efficiënt de stabiele, laag-energetische toestanden vinden die de natuur daadwerkelijk produceert. Dit biedt een fysiek relevant probleem waarbij quantummachines de klassieke computers kunnen overtreffen, wat potentieel helpt wetenschappers om het gedrag van materialen en chemische systemen te begrijpen die tot nu toe buiten bereik bleven.

De onderzoekers verkenden ook waarom sommige systemen vastlopen in suboptimale toestanden terwijl andere dat niet doen. Ze analyseerden een eenvoudige magnetische keten en ontdekten dat het systeem zonder extern magnetisch veld in veel verschillende configuraties met domeinwanden vast kan komen te zitten, die fungeren als suboptimale lokale minima. Echter, wanneer een sterk extern veld wordt toegepast, verdwijnen deze vallen en stroomt het systeem soepel naar zijn ware grondtoestand. Dit weerspiegelt het gedrag van de complexe systemen die zij bestudeerden: de vorm van het energielandschap bepaalt of een systeem zijn laagste energietoestand kan vinden of dat het vast blijft zitten. Hun bevindingen suggeren dat veel fysische systemen van belang "mooie" energielandschappen hebben zonder suboptimale vallen, wat hen ideale kandidaten maakt voor quantumoptimalisatie-algoritmen die het natuurlijke afkoelingsproces nabootsen.

Uiteindelijk herkadert dit artikel de uitdaging van quantumoptimalisatie. Het beweegt weg van het abstracte doel van het vinden van de perfecte grondtoestand en richt zich op de praktische realiteit van het vinden van de stabiele toestanden waarin de natuur tot rust komt. Door te bewijzen dat deze taak klassiek moeilijk is (onder standaard complexiteitsveronderstellingen) maar quantumtechnisch gemakkelijk, hebben de onderzoekers een concreet probleem geïdentificeerd waar quantumcomputers hun superioriteit kunnen demonstreren. Dit is niet slechts een theoretische curiositeit; het wijst naar een toekomst waarin quantummachines problemen in de fysica en chemie kunnen oplossen die momenteel onhandelbaar zijn, door dezelfde afkoelingsprincipes te volgen die het universum sinds het begin heeft gebruikt.