Performing a Quantum Subroutine Using Cluster States

In de zoektocht naar het bouwen van een werkende kwantumcomputer verkennen wetenschappers twee zeer verschillende manieren om de machines te laten denken. De eerste, en meest bekende, benadering is vergelijkbaar met het bouwen van een circuit met piepkleine, fysieke schakelaars die bits aan en uit zetten. Dit is het gate-gebaseerde model, waarbij operaties plaatsvinden in een sequentie, net als een traditioneel computerprogramma. De tweede benadering, bekend als meting-gebaseerde kwantumcomputatie, draait het scenario volledig om. In plaats van schakelaars om te zetten, begint deze methode met een enorme, vooraf verstrengelde web van deeltjes, vaak een clusterstaat genoemd. Denk aan dit web als één enkel, complex object waarbij elk stukje diep verbonden is met elk ander stukje. Om een berekening uit te voeren, drukken onderzoekers niet op knoppen; ze meten simpelweg individuele deeltjes binnen dit web. De handeling van het meten van één deeltje beïnvloedt onmiddellijk de buren, waardoor de informatie door het netwerk wordt geduwd. Omdat de meting de staat van het geobserveerde deeltje vernietigt, is het proces eenmalig en verbruikt het de hulpbron terwijl het proces voortgaat. Deze methode is aantrekkelijk omdat het gemakkelijker te bouwen is met licht en sommige van de ruisige fouten vermijdt die andere ontwerpen teisteren, maar het vereist een nieuwe manier van denken over hoe de kleinste bouwstenen van een programma te construeren.

Een team van onderzoekers van universiteiten in Bangladesh heeft een belangrijke stap gezet in het beheersen van deze tweede benadering door succesvol een specifieke, herbruikbare tool te construeren: een fase-oracle. In de wereld van kwantumalgoritmen is een oracle een zwarte doos die een specifieke oplossing voor een probleem identificeert door deze te markeren met een unieke verandering, terwijl alle andere mogelijkheden ongemoeid worden gelaten. Het is een fundamentele subroutine, een modulair stuk code dat in grotere, complexere algoritmen kan worden ingeplugd. Hoewel wetenschappers eerder hebben gedemonstreerd hoe volledige zoekalgoritmen kunnen worden uitgevoerd met deze meting-gebaseerde methode, sloegen ze de gedetailleerde constructie van de oracle zelf vaak over en behandelden ze deze als een gegeven. Dit nieuwe werk vult deze kloof. De onderzoekers hebben precies aangetoond hoe een twee-qubit fase-oracle te bouwen binnen het meting-gebaseerde framework, wat een helder, transparant blauwdruk biedt voor hoe men dit essentiële onderdeel vanaf de basis kan creëren met experimenteel haalbare arrangementen van verstrengelde deeltjes.

Om dit te bereiken, ontwierp het team een specifieke structuur met zes qubits, de basiseenheden van kwantuminformatie. Ze arrangeerden deze zes deeltjes in een rooster en bereidden ze voor in een hoogverstrengelde staat die dient als de grondstof voor de berekening. Twee van deze deeltjes fungeren als de input, die de te verwerken informatie dragen, terwijl de andere vier dienen als de machine die de operatie uitvoert. De onderzoekers demonstreerden vervolgens hoe ze deze statische web van deeltjes in een functionerende oracle konden veranderen door een specifieke sequentie van metingen op de deeltjes uit te voeren. De sleutel tot het laten werken hiervan ligt in de keuzes die tijdens deze metingen worden gemaakt. Door zorgvuldig de hoek of basis te selecteren waarin elk deeltje wordt gemeten, konden de onderzoekers de informatiestroom sturen om specifieke toestanden te targeten. Ze lieten bijvoorbeeld zien hoe ze de metingen zo konden configureren dat het systeem de fase van de staat die "11" representeert zou omdraaien, terwijl "00", "01" en "10" onveranderd bleven. Ze demonstreerden ook hoe ze dezelfde fysieke opstelling konden herconfigureren om een van de andere drie toestanden te targeten, wat bewees dat de subroutine flexibel en herbruikbaar is.

Een grote uitdaging in dit vakgebied is bewijzen dat de meting-gebaseerde methode daadwerkelijk doet wat de traditionele gate-gebaseerde methode doet. Omdat het meetproces willekeurig is en "bijproducten" achterlaat — ongewenste neveneffecten die gecorrigeerd moeten worden — kan het eindresultaat er slordig uitzien als het niet correct wordt afgehandeld. De onderzoekers pakten dit aan door het hele proces op een computer te simuleren om de staat van het systeem wiskundig te volgen. Ze vergeleken de output van hun meting-gebaseerde ontwerp met de verwachte output van een standaard gate-gebaseerd circuit. Om deze vergelijking duidelijk te maken, begonnen ze met een specifieke initiële staat die gevoelig is voor faseveranderingen. De simulaties toonden aan dat na het toepassen van de noodzakelijke correcties voor de willekeur van de meting, de uiteindelijke staat geproduceerd door de meting-gebaseerde methode identiek was aan de staat geproduceerd door de traditionele methode. De dichtheidsmatrices, die wiskundige beschrijvingen zijn van de kwantumtoestand, kwamen perfect overeen, wat aantoonde dat de juiste fase-omdraaiing plaatsvond op de getargete staat terwijl de anderen onveranderd bleven.

Dit werk claimt niet een fysieke kwantumcomputer te hebben gebouwd die deze algoritmen in een laboratorium draait, maar biedt eerder een rigoureus, geverifieerd blauwdruk voor hoe dat wel kan. De auteurs hebben een verenigd framework vastgesteld dat wetenschappers in staat stelt om de gate-gebaseerde en meting-gebaseerde benaderingen zij aan zij te vergelijken, waarbij wordt aangetoond dat ze operationeel equivalent zijn wanneer de juiste meetpatronen worden gebruikt. Door de oracle af te breken in zijn constituerende delen en precies te laten zien hoe de metingen en correcties samenwerken, neemt de studie de mysterie rond deze subroutines weg. De bevindingen suggereren dat naarmate onderzoekers bewegen naar grotere en complexere kwantumtaken, ze deze meting-gebaseerde benadering kunnen gebruiken om modulaire, herbruikbare componenten te bouwen. Het framework is ontworpen om uitbreidbaar te zijn, wat betekent dat dezelfde principes die gebruikt zijn voor deze twee-qubit systemen kunnen worden toegepast op grotere roosters van deeltjes, wat de weg vrijmaakt voor meer geavanceerde kwantumtechnologieën die robuust zijn tegen de fouten die de vooruitgang in het veld vaak hinderen.