Decoupling Spectral Gaps from Entanglement Complexity in Quantum Annealing

In de wereld van quantum computing is er een specifieke methode voor het oplossen van moeilijke problemen genaamd quantum annealing. Stel je voor dat je probeert het laagste punt te vinden in een uitgestrekt, mistig landschap vol heuvels en valleien. Een klassieke computer zou in een kleine kuil kunnen blijven steken, denkend dat hij de bodem heeft gevonden, terwijl er net over de volgende rug een veel diepere vallei ligt. Quantum annealing gebruikt de vreemde regels van de quantummechanica om het systeem door deze heuvels te laten "tunnelen" in plaats van eroverheen te klimmen, in de hoop het ware laagste punt te bereiken, wat de perfecte oplossing voor een probleem vertegenwoordigt. De snelheid waarmee dit proces werkt, hangt af van een cruciale factor: de grootte van de energieafstand (energy gap) tussen de huidige staat en de volgende mogelijke staat. Als deze afstand te klein is, vertraagt het proces tot een kruipend tempo, waarbij het potentieel langer duurt dan de leeftijd van het universum om te voltooien. Jarenlang hebben wetenschappers zich afgevraagd of deze moeilijke, trage momenten altijd gepaard gaan met een specif kind soort quantumcomplexiteit genaamd entanglement (verstrengeling). Entanglement is een fenomeen waarbij deeltjes zo diep met elkaar verbonden raken dat de staat van de één de ander onmiddellijk beïnvloedt, ongeacht hoe ver ze van elkaar verwijderd zijn. Het heersende idee was dat als een probleem moeilijk was vanwege een minuscule energieafstand, de betrokken quantumstaat ook ongelooflijk complex en sterk verstrengeld moest zijn.

Een team onderzoekers heeft nu aangetoond dat deze aanname onjuist is. Ze ontdekten dat de moeilijkheidsgraad van een quantum annealing-proces en de complexiteit van de entanglement daarin niet aan elkaar gekoppeld zijn. Het is mogelijk om een situatie te hebben waarin de energieafstand minuscuul klein wordt, waardoor het proces extreem traag verloopt, terwijl de entanglement verrassend eenvoudig en beperkt blijft. Omgekeerd vonden zij gevallen waarin de entanglement zeer complex werd, terwijl de energieafstand niet zo drastisch kromp als men zou verwachten. Om dit te bewijzen, hebben de wetenschappers niet alleen getheoretiseerd, maar ook verschillende specifieke modellen van quantumsystemen gebouwd en geanalyseerd. Ze onderzochten standaardmodellen die worden gebruikt in optimalisatie, waarbij het systeem probeert de beste rangschikking van variabelen te vinden, en ze construeerden ook volledig nieuwe, op maat gemaakte modellen om de grenzen van deze relaties te testen. Hun werk onthult dat de snelheid van het annealing-proces wordt bepaal door hoe de verschillende mogelijke oplossingen met elkaar verbonden zijn in de abstracte ruimte van mogelijkheden, in plaats van hoe verstrengeld de deeltjes raken.

De onderzoekers begonnen door te kijken naar bekende modellen die wat men eerste-orde transities noemt vertonen. In deze scenario's moet het systeem abrupt overgaan van het ene type gedrag naar het andere, wat vaak leidt tot een dramatische daling van de energieafstand. In deze gevallen wordt de energieafstand exponentieel klein, wat betekent dat deze zo snel krimpt dat het verdubbelen van de grootte van het systeem de afstand een miljoen keer kleiner maakt, daarna een miljard keer kleiner, enzovoort. Dit impliceert meestal dat het probleem onmogelijk op te lossen is in een redelijke tijd. Echter, het team ontdekte dat zelfs met deze ernstige vertraging de entanglement tussen de delen van het systeem begrensd bleef. Het groeide niet mee met de grootte van het systeem; in plaats daarvan bleef het op een vast, laag niveau. Dit was verrassend omdat het betekende dat de quantumstaat niet complexer werd in termen van entanglement, ook al werd het proces van het vinden van de oplossing exponentieel moeilijker. Ze bevestigden dit gedrag in modellen waarbij het systeem moest kiezen tussen enkele duidelijke, concurrerende toestanden, waarmee ze lieten zien dat de flessenhals werd veroorzaakt door de moeilijkheid om tussen deze toestanden te bewegen, en niet door de complexiteit van de toestanden zelf.

Om er zeker van te zijn dat dit niet slechts een eigenaardigheid van specifieke modellen was, richtten de wetenschappers zich op een ander type transitie, bekend als een continue transitie. Hierbij verandert het systeem zijn gedrag geleidelijk in plaats van abrupt. In deze gevallen krimpt de energieafstand wel naarmate het systeem groter wordt, maar doet hij dat veel langzamer, volgens een polynomiale snelheid in plaats van een exponentiële een. Dit betekent dat het probleem oplosbaar blijft, hoewel het moeilijker wordt naarmate het systeem groeit. Bij deze continue transities observeerden de onderzoekers dat de entanglement inderdaad groeide, waarbij deze logaritmisch toenam met de grootte van het systeem. Dit bevestigde de traditionele visie dat sommige problemen wel degelijk de grootte van de energieafstand en de entanglement-complexiteit koppelen, maar het benadrukte ook dat de relatie niet universeel is. Het cruciale verschil lag in de manier waarop de toestanden met lage energie met elkaar verbonden waren. In het continue geval verkende het systeem een uitgestrekt, verbonden landschap van mogelijkheden, wat een complex web van entanglement vereiste om doorheen te navigeren. In de moeilijke eerste-orde gevallen zat het systeem vast tussen twee geïsoleerde eilanden, en de moeilijkheid kwam voort uit de enorme afstand tussen hen, niet uit de complexiteit van de eilanden zelf.

Het meest opmerkelijke deel van het onderzoek kwam toen het team besloot de regels die ze zojuist hadden waargenomen te breken. Ze stelden een gedurfde vraag: konden ze een situatie creëren waarin de energieafstand exponentieel klein werd, net als in de moeilijkste eerste-orde transities, maar waar de entanglement groot werd, zoals bij de continue transities? Om dit te beantwoorden, ontwierpen ze een nieuw, op maat gemaakt model dat ze een "mirror-twin manifold" noemen. In deze opstelling creëerden ze twee concurrerende groepen quantumtoestanden. Binnen elke groep waren de toestanden gemakkelijk met elkaar verbonden, waardoor het systeem zich kon verspreiden en een complex, groeiend web van entanglement kon creëren. De twee groepen werden echter ver van elkaar verwijderd gehouden in de abstracte ruimte van mogelijkheden. Om van de ene groep naar de andere te bewegen, moest het systeem een enorm aantal spins gelijktijdig omdraaien, een proces dat extreem zeldzaam en moeilijk is. Het resultaat was een systeem waarbij de entanglement gestaag groeide naarmate het systeem groter werd, terwijl de energieafstand tussen de twee groepen exponentieel klein bleef. Dit bewees dat de twee eigenschappen — de grootte van de energieafstand en de entanglement-complexiteit — onafhankelijk van elkaar zijn. De ene kan groot zijn terwijl de andere klein is, en vice versa.

Ze keken ook naar een ander type systeem, een keten van magneten met alternerende velden, om de tegenovergestelde mogelijkheid aan te tonen. In dit model heeft het systeem een groot aantal toestanden met een lage energie, die een grote, verbonden groep vormen. Ondanks dit grote aantal toestanden kromp de energieafstand niet exponentieel; deze kromp slechts polynomiaal, wat betekent dat het probleem beheersbaar bleef. Bovendien groeide de entanglement in dit systeem niet groot; het bleef begrensd en eenvoudig. Dit gebeurde omdat de verschillende toestanden in de groep niet echt onafhankelijk waren op een manier die nieuwe entanglement over het hele systeem creëerde. Ze waren allemaal variaties van één enkel, eenvoudig patroon met een bewegend defect. De onderzoekers toonden aan dat de manier waarop deze toestanden met elkaar verbonden waren en hoe ze eruit zagen wanneer ze in twee helften werden gesplitst, de entanglement bepaalden, en niet alleen het aantal beschikbare toestanden. Dit versterkte het idee dat de geometrie van het probleem — hoe de mogelijke oplossingen gerangschikt en verbonden zijn — de werkelijke drijfveer is van de moeilijkheid van de annealing.

De implicaties van deze bevindingen zijn significant voor hoe we quantumcomputers begrijpen en bouwen. Lange tijd hebben wetenschappers entanglement gebruikt als een primaire maatstaf voor hoe "quantum" een proces is en hoe moeilijk het zou kunnen zijn. Ze namen aan dat als een probleem moeilijk was, de quantumtoestand ook ongelooflijk complex moest zijn. Dit nieuwe werk laat zien dat entanglement-complexiteit alleen geen betrouwbare indicator is van moeilijkheidsgraad. Een probleem kan moeilijk zijn omdat het pad naar de oplossing geblokkeerd wordt door een hoge barrière, zelfs als de toestand zelf niet erg complex is. Omgekeerd kan een toestand zeer complex zijn zonder dat het noodzakelijkerwijs moeilijk is om te bereiken. Dit suggereert dat onderzoekers, om quantum annealing te verbeteren, verder moeten kijken dan alleen entanglement. Ze moeten de vorm van het landschap begrijpen waar het systeem doorheen reist. De moeilijkheid komt voort uit de specifieke manier waarop de toestanden met lage energie met elkaar verbonden zijn en hoe ver zij van elkaar verwijderd zijn in de abstracte ruimte van mogelijkheden.

De onderzoekers concluderen dat de werkelijke hulpbron die nodig is voor efficiënte quantum annealing waarschijnlijk een geometrische eigenschap is van het pad dat het systeem aflegt door zijn mogelijke toestanden. Het gaat erom hoe het systeem de verbindingen tussen verschillende configuraties navigeert, in plaats van alleen hoe verstrengeld de deeltjes raken. Hoewel entanglement zeker een onderdeel is van de quantumwereld, is het niet het hele verhaal. De volgende stap voor het vakgebied is om nieuwe manieren te vinden om deze geometrische structuur te meten, bijvoorbeeld met behulp van instrumenten die de vorm van de reis van de quantumtoestand in kaart brengen. Door zich te richten op de connectiviteit en de geometrie van het probleem, in plaats van alleen op de complexiteit van de entanglement, kunnen wetenschappers mogelijk betere quantumalgoritmen ontwerpen die problemen kunnen oplossen die voorheen als onmogelijk werden beschouwd. Het werk lost het probleem van trage annealing niet op, maar het biedt een duidelijkere kaart van waar de obstakels werkelijk liggen, door het onderscheid te maken tussen de moeilijkheid van de reis en de complexiteit van de reiziger.