Optimised T counts and active volume estimates for high- and low- level arithmetic subroutines
Dit artikel presenteert geoptimaliseerde T-counts en schattingen van het actieve volume voor hoog- en laagniveau rekenkundige subroutines op surface code kwantumcomputers, waarbij wordt aangetoond dat de circuitstructuur het actieve volume significant beïnvloedt en een methode wordt voorgesteld die gebruikmaakt van georiënteerde ZX-diagrammen om de ruimtetijd-overhead verder te verminderen.
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer
Quantumcomputers beloven problemen op te lossen die klassieke machines duizenden jaren zouden kosten, maar ze worden geconfronteerd met een fundamentele hindernis: ze zijn ongelooflijk fragiel. De kleinste verstoring uit de omgeving kan de berekening corrumperen, dus moeten wetenschappers foutcorrectie gebruiken om de gegevens veilig te houden. Een van de meest veelbelovende methoden hiervoor is de zogenaamde surface code, die een enkel stuk informatie niet behandelt als één minuscuul deeltje, maar als een grote, veerkrachtige patch bestaande uit vele fysieke deeltjes die samenwerken. Om een complex programma uit te voeren, moeten deze patches op een specifieke manier worden gerangschikt en verbonden. Jarenlang ging de standaardbenadering voor het bouwen van deze machines uit van een rigide, roosterachtige structuur waarbij de patches op vaste posities zitten. Dit ontwerp dwingt veel van de patches om onwerkzaam af te wachten, wachtend op hun beurt om deel te nemen, wat een enorme hoeveelheid tijd en ruimte verspilt. Een nieuwere, flexibelere benadering genaamd de active volume architecture heeft als doel dit op te lossen door de computer toe te staan data vrij rond te bewegen, waardoor elk deel van de machine wanneer mogelijk aan het werk is, vergelijkbaar met een drukke fabrieksvloer waar geen enkele werker ooit stilstaat.
In dit werk onderzochten onderzoekers aan Imperial College London hoe veel efficiënter deze active volume-benadering zou kunnen zijn als ze de basisbouwstenen van kwantumwiskunde zouden herontwerpen. Net zoals een menselijke rekenmachine moet weten hoe ze moet optellen, aftrekken, vermenigvuldigen en delen, heeft een quantumcomputer gespecialiseerde routines nodig om deze taken uit te voeren. Het team nam de meest geavanceerde ontwerpen voor deze rekenkundige routines en herontwierp ze specifiek voor de active volume architecture. Ze richtten zich op twee hoofddoelen: het verminderen van de hoeveelheid "magische" middelen die nodig zijn om de berekeningen te laten werken en het minimaliseren van de totale ruimte die de berekening inneemt terwijl deze wordt uitgevoerd. Door een visuele methode te gebruiken die de verbindingen tussen kwantumbits in kaart brengt, waren ze in staat om onnodige stappen te verwijderen en de datastroom te herschikken om stilstand te elimineren.
De resultaten laten zien dat deze nieuwe manier van denken over circuitontwerp leidt tot spectaculaire besparingen. Voor de basisopgave van het vermenigvuldigen van twee getallen vonden de onderzoekers een ontwerp dat aanzienlijk minder middelen gebruikt dan eerdere methoden, waarbij de belangrijkste kostenfactor met meer dan de helft werd teruggebracht. Ze pasten vergelijkbare verbeteringen toe op complexere functies, zoals het berekenen van vierkantswortels, trigonometrische waarden zoals sinus, en logaritmen. In elk geval vereisten de nieuwe ontwerpen minder van de dure, foutgevoelige operaties die quantumcomputers vertragen. Een van de meest verrassende ontdekkingen was dat de fysieke rangschikking van de gates net zo belangrijk was als het aantal gebruikte gates. Twee circuits die exact dezelfde wiskundige taak uitvoerden met hetzelfde aantal stappen, konden zeer verschillende kosten hebben, afhankelijk van hoe die stappen werden geordend. Dit betekent dat het simpelweg tellen van de onderdelen van een quantumprogramma niet genoeg is; de structuur van het programma zelf bepaalt hoe efficiënt het kan draaien.
De onderzoekers hebben ook aangetoond dat deze besparingen niet slechts theoretisch zijn. Ze boden een duidelijke, stap-voor-stap methode om de werkelijke kosten van elke quantumroutine in deze nieuwe architectuur te berekenen, waarbij ze verder gaan dan eenvoudige gate-aantallen om het werkelijke "active volume" van de berekening te meten. Dit volume vertegenwoordigt de hoeveelheid ruimte en tijd waarin de computer daadwerkelijk bezig is met werk, exclusief de wachttijden die oudere ontwerpen teisteren. Door de laag-niveau wiskundige routines te optimaliseren waarvan hoog-niveau algoritmen afhankelijk zijn, heeft het team een catalogus van efficiëntere instrumenten voor toekomstige quantumsoftware gecreëerd. Hoewel deze verbeteringen via simulatie in plaats van op een fysieke machine zijn geverifieerd, is de logica solide en de potentiële impact aanzienlijk. Als deze geoptimaliseerde routines worden geadopteerd, zou dit kunnen betekenen dat dezelfde quantumcomputer veel sneller moeilijke problemen kan oplossen, of dat een kleinere, goedkopere machine dezelfde resultaten kan behalen als een veel grotere machine. Het werk suggereert dat de weg naar praktische quantumcomputing niet alleen ligt in het bouwen van betere hardware, maar in het herontwerpen van hoe we de software organiseren die er een op draait.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.