Entanglement-Aware Quantum Circuit Optimization through Globally Optimal Partitioning

In de race om nuttige quantumcomputers te bouwen, vechten wetenschappers niet alleen om fragiele atomen in een staat van quantumsuperpositie te houden; ze voeren ook een oorlog om efficiëntie. Een quantumcomputer werkt door het manipuleren van kleine eenheden informatie die qubits worden genoemd. Om een berekening uit te voeren, moeten deze qubits met elkaar interageren via een reeks operaties die poorten (gates) worden genoemd. Echte quantummachines zijn echter rommelig en beperkt. Ze kunnen vaak niet elke qubit direct met elke andere qubit verbinden, en elke interactie introduceert een kleine hoeveelheid ruis die de berekening kan verpesten. Om een resultaat te krijgen, moeten ingenieurs een complexe wiskundige probleem vertalen naar een specifieke sequentie van deze poorten, een proces dat compilatie wordt genoemd. Het doel is om zo min mogelijk poorten te gebruiken en ze zo te rangschikken dat ze de fysieke verbindingen van de machine respecteren. Als de sequentie te lang of te verstrengeld is, zal de ruis het signaal overstemmen voordat het antwoord is gevonden.

De uitdaging is dat het vinden van de meest efficiënte sequentie ongelooflijk moeilijk is. Het is alsof je probeert de kortste route te vinden door een doolhof met miljarden mogelijke routes, waarbij de muren verschuiven terwijl je loopt. Bestaande tools nemen vaak sluiproutes en maken snelle, lokale beslissingen die op dat moment goed lijken, maar leiden tot een langere, rommeligere reis in totaal. Ze kunnen een klein deel van de berekening optimaliseren zonder te zien wat de gevolgen zijn voor de rest. Dit artikel introduceert een nieuwe aanpak die verandert hoe deze berekeningen worden afgebroken en weer opgebouwd. In plaats van te vertrouwen op snelle gissingen, hebben de onderzoekers een methode ontwikkeld die naar de gehele circuit tegelijk kij wilt om de beste manier te vinden om deze op te delen in beheersbare stukken, en vervolgens een diep begrip van hoe die stukken verstrengeld zijn te gebruiken om ze efficiënter te reconstrueren.

De onderzoekers, werkzaam vanuit instellingen in Hongarije, creëerden een framework dat het quantumcircuit behandelt als een kaart van afhankelijkheden. Ze realiseerden zich dat de beste manier om een groot circuit te optimaliseren is door het in kleinere, zelfvoorzienende blokken te snijden, elk blok individueel te optimaliseren en ze vervolgens weer aan elkaar te naaien. De manier waarop je het circuit snijdt, is echter van enorm belang. Als je het circuit slecht snijdt, kun je kansen missen om de logica te vereffien, of je kunt een nieuw probleem creëren waarbij de blokken niet in de juiste volgorde kunnen worden uitgevoerd. Het team formuleerde dit snijprobleem als een wiskundige puzzel die garandeert dat de beste mogelijke selectie van blokken wordt gemaakt uit een lijst van alle haalbare opties. Ze noemen dit een globaal optimale partitie. Het zorgt ervoor dat de verzameling gekozen blokken de verzameling is die leidt tot het kleinste totale aantal poorten, in plaats van slechts een verzameling blokken die toevallig lokaal efficiënt zijn.

Zod zodra het circuit in deze optimale blokken is gesneden, passen de onderzoekers een tweede, even slimme techniek toe om ze te reconstrueren. Ze gebruiken een eigenschap van de quantummechanica genaamd de operator-Schmidt-rang, die meet hoe diep de qubits binnen een blok met elkaar verstrengeld zijn. Denk aan deze rang als een maatstaf voor hoe zeer de qubits met elkaar "verstrengeld" zijn; een hogere rang betekent dat ze complexer verbonden zijn. De onderzoekers gebruiken deze meting om een zoektocht te sturen naar de eenvoudigst mogelijke arrangement van poorten die het gedrag van het blok kunnen recreëren. In plaats van elke willekeurige combinatie van poorten te proberen, kijkt hun methode naar de verstrengelingsstructuur en voorspelt welke poortarrangementen het meest waarschijnlijk zullen slagen. Dit stelt hen in staat om een oplossing te vinden die minder poorten gebruikt dan eerdere methoden, specif으로 door onnodige stappen te vermijden die niet bijdragen aan het uiteindelijke verstrengelingspatroon.

Om hun ideeën te testen, vergeleken het team hun nieuwe systeem met een bekende tool genaamd BQSKit, die momenteel een standaard is in het vakgebied. Ze draalden beide systemen op een grote set benchmark-circuits, variërend van kleine, eenvoudige voorbeelden tot enorme, complexe berekeningen met tientallen qubits. De resultaten waren duidelijk. In een test van 772 specifieke quantumoperaties vond de nieuwe methode succesvol een geverifieerde, efficiënte oplossing voor 741 van hen, terwijl de standaardtool er slechts 617 wist te vinden. Belangrijker nog, voor de gevallen waarin beide tools een oplossing vonden, produceerde de nieuwe methode een circuit met minder poorten of een gelijk aantal in elk geval, zonder verliezen. Bij het kijken naar het volledige end-to-end proces van het optimaliseren van volledige circuits, verminderde de nieuwe aanpak het totale aantal poorten aanzienlijk, vooral in de beginfasen van de optimalisatie. Terwijl de standaardtool soms moeite had om de taak binnen een redelijke tijd te voltooien voor grotere circuits, voltooide de nieuwe methode het werk, vaak in een fractie van de tijd, en produceerde een schoner, efficiënter resultaat. De tijdresultaten waren echter genuanceerd: voor drie-qubit partities was de standaardtool feitelijk sneller in de totale cumulatieve tijd omdat de nieuwe methode een paar zeer lange runs had, ook al was de nieuwe methode over het algemeen sneller in de initiële optimalisatiefasen.

De studie onderzocht ook wat er gebeurt als de blokken die voor optimalisatie worden gebruikt, iets groter worden gemaakt. Door het systeem toe te staan om groepen van vier qubits te bekijken in plaats van slechts drie, ontdekten de onderzoekers dat ze nog meer efficiëntie konden uitpersen, waardoor het aantal poorten verder werd verminderd. Dit ging echter gepaard met een compromis: de tijd die nodig is om deze oplossingen te vinden, nam toe. Het team kwam tot de conclusie dat hoewel de vier-qubit blokken een betere compressie boden, de extra tijd die werd besteed aan het zoeken naar deze oplossingen niet altijd de moeite waard was voor elk enkel circuit. Dit suggereert dat de beste aanpak afhangt van het specifieke probleem dat wordt behandeld, maar het nieuwe framework biedt de flexibiliteit om de juiste balans te kiezen. De onderzoekers merkten ook op dat hoewel hun methode uitblinkt in het verminderen van het aantal poorten, de fysieke lay-out van de quantumcomputer nog steeds enkele extra stappen afdwingt, bekend als routing, wat poorten terug in het systeem brengt. Zelfs met deze beperking bleven hun geoptimaliseerde circuits superieur aan die van bestaande methoden.

Dit werk vormt een belangrijke stap voorwaarts in het praktisch maken van quantumcomputers. Door een rigoureuze, globale strategie voor het opdelen van een probleem te combineren met een slimme, verstrengelingsbewuste strategie voor het oplossen van de stukken, hebben de onderzoekers aangetoond dat het mogelijk is om betere quantumcircuits te bouwen zonder te wachten op betere hardware. Hun methode past niet alleen de randen van het probleem aan; het herdenkt de structuur van de oplossing zelf. De bevindingen suggereren dat de weg naar bruikbare quantumcomputing niet alleen ligt in het bouwen van grotere machines, maar in het veel slimmer aansturen van wat we die machines vertellen te doen. Het nieuwe framework, geïmplementeerd in een open-source pakket genaamd SQUANDER, biedt een manier om de grenzen van wat huidige quantumcomputers kunnen bereiken te verleggen, door circuits die voorheen te complex waren om uit te voeren, om te zetten in circuits die hanteerbaar en efficiënt zijn.