In het opkomende veld van quantum computing proberen wetenschappers de vreemde regels van de subatomaire wereld te benutten om problemen op te lossen die onmogelijk zijn voor de machines van vandaag. De standaardmanier om deze berekeningen te beschrijven is via een "circuit", een vaste sequentie van stappen waarbij minuscule deeltjes die qubits worden genoemd door een reeks poorten gaan. Denk hierbij aan een trein op een vast spoor: zodra de reis begint, ligt de route vast en kan de trein niet van richting veranderen of van snelheid veranderen op basis van wat hij onderweg ziet. Deze statische aanpak werkt goed voor eenvoudige, vooraf geplande taken. Echter, de krachtigste toepassingen van quantumtechnologie vereisen een ander soort flexibiliteit. Real-world quantumprogramma's moeten vaak beslissingen nemen terwijl ze draaien, waarbij ze hun pad aanpassen op basis van willekeurige gebeurtenissen of de resultaten van metingen die tijdens het proces worden genomen. Dit creëert een hybride systeem waarin klassieke logica en quantummechanica constant met elkaar moeten communiceren. De huidige hulpmiddelen voor het bouwen van deze programma's hebben moeite met deze heen-en-weer beweging, waardoor ontwikkelaars vaak gedwongen worden om één enkele, vloeiende taak op te splitsen in vele afzonderlijke, rigide stukken.

Een team van onderzoekers van de Universiteit van Edinburgh en de Universiteit van Cambridge heeft een nieuwe manier geïntroduceerd om deze hybride programma's te bouwen, waarbij de stappen van de berekening worden behandeld als flexibele, levende waarden in plaats van vaste instructies. In plaats van een programma te definiëren als een statische lijst met poorten die moet worden opgeschreven voordat de computer start, staat hun nieuwe systeem toe dat de poorten zelf worden gecreëerd en gekozen terwijl het programma draait. In dit nieuwe kader is een poort geen permanente baksteen in een muur; het is een waarde die kan worden doorgegeven, gecombineerd met andere waarden, en kan worden beslist door klassieke data, net als elk ander stuk informatie. Deze verschuiving stelt de computer in staat om het quantumgedrag dynamisch te sturen, waardoor het kan aanpassen aan ruis, fouten on the fly kan corrigeren, of zijn strategie kan wijzigen op basis van wat het zojuist heeft gemeten, allemaal binnen één enkele, verenigde beschrijving.

De onderzoekers demonstreerden de kracht van deze aanpak door te laten zien hoe het complexe taken vereenvoudigt die momenteel moeilijk te beheren zijn. Overweeg bijvoorbeeld een veelvoorkomend probleem waarbij een quantum systeem onderhevig is aan willekeurige ruis, wat een poort de staat van een qubit met een bepaalde waarschijnlijkheid doet omdraaien. In het oude statische model vereiste het representeren van deze onzekerheid het genereren van een volledig nieuw circuit voor elke mogelijke uitkomst, wat leidde tot een enorme explosie van afzonderlijke programma's. Met de nieuwe dynamische representatie wordt de keuze om de poort wel of niet toe te passen afgehandeld als een enkele, vloeiende operatie die afhankelijk is van een willekeurig getal dat tijdens de runtime wordt gegenereerd. Dit houdt de structuur van het programma schoon en compact. De onderzoekers lieten zien dat ze door deze methode te gebruiken, meerdere probabilistische stappen konden samenvoegen tot een enkele, gestroomlijnde operatie, waardoor de complexiteit van de code aanzienlijk werd verminderd.

Om dit systeem praktisch te maken, heeft het team specifieke hulpmiddelen ontwikkeld die "gadgets" worden genoemd en die fungeren als bouwstenen voor deze dynamische beslissingen. Een dergelijke gadget stelt de computer in staat om verschillende soorten basis-quantumswitches, bekend als Pauli-poorten, gemakkelijk te combineren in een enkele conditionele eenheid. Deze capaciteit is cruciaal voor geavanceerde technieken zoals randomized compilation, een methode die wordt gebruikt om de effecten van ruis op een quantumcomputer te verzachten. In traditionele opstellingen houdt dit proces in dat dezelfde circuit vele malen wordt uitgevoerd met licht verschillende willekeurige aanpassingen, waarna de resultaten worden gemiddeld. Dit vereist meestal het genereren en optimaliseren van duizenden afzonderlijke circuits, een traag en inefficiënt proces. Het nieuwe systeem stelt de compiler in staat om het hele proces te optimaliseren voordat er willekeurige keuzes worden gemaakt, waardoor de creatie van individuele circuits wordt uitgesteld tot het allerlaatste moment. Bij tests bleek dat deze aanpak tot twintig procent sneller was dan de huidige methoden voor het genereren van grote aantallen van deze gerandomiseerde circuits, terwijl het ook veel minder geheugen gebruikte om de programmadefinitie op te slaan.

Het nut van deze dynamische representatie strekt zich uit tot foutcorrectie, een vitale vereiste voor het bouwen van betrouwbare quantumcomputers. In deze systemen moet de computer constant controleren op fouten en correcties toepassen, maar de tijd die het kost om een beslissing over een correctie te nemen, kan het hele proces vertragen. De onderzoekers toonden aan dat hun nieuwe framework deze correctieve stappen toestaat om te worden uitgesteld en gecombineerd met toekomstige stappen, waardoor het werk effectief wordt gebufferd zodat de volgende ronde van controle kan beginnen voordat de vorige correctie volledig is voltooid. Deze optimalisatie is essentieel voor moderne foutcorrectie-workflows die ernaar streven miljoenen cycli per seconde uit te voeren. Door de correctie te behandelen als een dynamische waarde die kan worden verplaatst en samengevoegd, verminderde het systeem het aantal benodigde quantumoperaties met een aanzienlijke marge, wat bewijst dat de aanpak de intense eisen van real-world fault-tolerant computing kan aan kunnen.

Buiten foutcorrectie overbrugt het nieuwe systeem de kloof tussen twee verschillende manieren van denken over quantumcomputing: het standaard circuitmodel en een nieuwere benadering genaamd measurement-based computing, waarbij de berekening volledig wordt gedreven door de handeling van het meten van deeltjes. De onderzoekers demonstreerden dat hun framework programma's van de ene stijl naar de andere kan vertalen met behulp van eenvoudige, lokale wijzigingen, zonder dat er complexe, globale herschrijvingen nodig zijn. Deze flexibiliteit suggereert dat het systeem als een universele taal voor verschillende quantumparadigma's kan dienen, waardoor ontwikkelaars er naadloos tussen kunnen schakelen. Wanneer het team hun nieuwe representatie vergeleken met bestaande industriestandaarden met behulp van een suite van diverse hybride algoritmen, produceerde hun systeem consequent meer beknopte code. Het vereiste minder regels tekst, minder afzonderlijke operaties en een aanzienlijk minder complexe control flow, waardoor de programma's gemakkelijker te analyseren en te transformeren waren.

Het werk gepresenteerd door deze onderzoekers beweert niet elk probleem in quantum computing te hebben opgelost, maar het biedt een fundamentele verschuiving in hoe deze programma's worden beschreven en geoptimaliseerd. Door poorten te verheffen tot de status van dynamische waarden, heeft het team een representatie gecreëerd die beter geschikt is voor de rommelige, adaptieve realiteit van hybride quantum-klassieke toepassingen. De resultaten wijzen erop dat deze aanpak de compilatie van complexe programma's sneller en efficiënter kan maken, terwijl het ook de deur opent naar nieuwe soorten optimalisaties die voorheen onmogelijk waren in een statisch model. Naarmate quantumhardware zich blijft ontwikkelen, zal het vermogen om programma's te schrijven die in real time kunnen nadenken en aanpassen, waarschijnlijk net zo belangrijk worden als de hardware zelf, en deze nieuwe intermediaire representatie biedt een solide fundament voor die toekomst.