Sequential realization of Quantum Instruments

In de wereld van quantumcomputing werken wetenschappers momenteel met machines die krachtig maar fragiel zijn. Deze apparaten, vaak noisy intermediate-scale quantum computers genoemd, hebben een beperkt aantal minuscule verwerkingseenheden, bekend als qubits, en ze hebben moeite om informatie heel lang vast te houden. Om complexe taken uit te voeren, moeten onderzoekers meestal een grote groep van deze qubits voorbereiden, een reeks operaties uitvoeren en ze aan het einde allemaal meten. Echter, een nieuwere en flexibelere aanpak komt in opkomst: adaptieve circuits. In deze methode voert de computer niet alleen een vooraf geschreven script uit. In plaats daarvan meet de computer een qubit halverwege een proces, leest het resultaat en gebruikt die informatie om te beslissen welke operatie vervolgens wordt uitgevoerd. Dit vermogen om in real time te reageren, stelt de machine in staat om veel efficiënter te zijn, maar het vereist een manier om wiskundig te beschrijven hoe deze stap-voor-stap beslissingen de uiteindelijke uitkomst vormgeven.

De kernuitdaging ligt in de vraag hoe men deze complexe quantumgedragingen kan opbouwen wanneer de machine maar heel weinig qubits te over, heeft. Traditioneel gezien, om een specifiek quantumeffect te creëren, zoals een meting die gedeeltelijke informatie onthult of een transformatie die de toestand van een systeem verandert, zouden wetenschappers extra qubits moeten toevoegen om het proces te ondersteunen. Deze extra eenheden, genaamd ancillas, fungeren als tijdelijke helpers. Het probleem is dat voor veel moeilijke taken het aantal benodigde helpers zo groot is dat de huidige machines simpelweg niet genoeg kunnen bieden. De vraag wordt: is er een manier om hetzelfde resultaat te bereiken met minder helpers, bijvoorbeeld door dezelfde helpers herhaaldelijk te gebruiken, mits de computer ze snel kan meten en resetten?

Een team van onderzoekers aan het Instituut voor Fysica in Bratislava heeft dit probleem aangepakt door een nieuw wiskundig kader te ontwikkelen om deze adaptieve sequenties te beschrijven. Ze concentreerden zich op een concept genaamd een quantuminstrument, wat een algemene beschrijving is van een quantumproces dat zowel een klassiek resultaat produceert, zoals een getal op een scherm, als een nieuwe quantumtoestand. De onderzoekers toonden aan dat elk dergelijk instrument kan worden afgebroken tot een reeks kleinere stappen, waarbij de keuze van de volgende stap afhangt van het resultaat van de vorige. Deze afbraak maakt het mogelijk om het gehele proces te realiseren met behulp van een sequentie van metingen en operaties, in plaats van een enkele, massieve en zeer resource-intensieve operatie.

De meest significante bevinding van hun werk is een precieze afruil tussen het aantal stappen dat een proces doorloopt en het aantal helper-qubits dat nodig is. Ze bewezen dat voor veel quantumtaken, vooral die waarbij de omvang van het quantumsysteem wordt vergroot, men een zeer klein aantal helper-qubits kan gebruiken als men bereid is het proces vele malen te herhalen. Specifiek demonstreerden zij dat voor een taak die een systeem van $n$ qubits transformeert naar een systeem van $m$ qubits (waarbij $m$ groter is dan $n$), het mogelijk is om het proces uit te voeren met slechts $m-n$ helper-qubits. Deze weinige helpers worden gedurende de sequentie herhaaldelijk gemeten en gereset, waardoor ze effectief het werk doen van een veel grotere set ongebruikte qubits. Dit resultaat is contra-intuïtief omdat het suggereert dat tijd, in de vorm van herhaalde stappen, kan worden uitgewisseld voor ruimte, in de vorm van extra hardware.

De onderzoekers stelden ook een fundamentele limiet vast op deze uitwisseling. Ze toonden aan dat het product van het aantal stappen en het aantal helper-qubits niet willekeurig klein kan zijn; het wordt begrensd door de complexiteit van de taak zelf. Dit betekent dat hoewel je op hardware kunt besparen door meer stappen te nemen, je niet op beide tegelijkertijd kunt besparen. Als je zeer weinig qubits hebt, moet je veel stappen nemen, en als je zeer weinig stappen hebt, heb je veel qubits nodig. Deze relatie houdt stand, ongeacht de specifieke details van de quantumtaak, en biedt een duidelijke regel voor ingenieurs die deze circuits ontwerpen.

Bovendien boden het team een constructieve methode om deze sequenties te bouwen. Ze lieten zien dat door zorgvuldig te kiezen hoe de mogheden van tussenliggende metingen worden gegroepeerd, men de benodigde middelen kan minimaliseren. Ze ontdekten dat het vereenvoudigen van de uitkomsten, of het "coarse-grainen" ervan, vaak leidt tot efficiëntere implementaties. Bijvoorbeeld, als een meting veel mogelijke resultaten heeft, kan het groeperen van sommige resultaten samen voordat de volgende stap wordt beslist, het aantal benodigde helper-qubits verminderen. Dit inzicht biedt een praktische gids voor het optimaliseren van quantumcircuits op de huidige hardware, waar elke qubit telt.

Het artikel behandelt ook een veelvoorkomend misverstand over hoe deze processen werken. Het werd voorheen gedacht dat het implementeren van bepaalde complexe quantummetingen een groot aantal hulp-qubits tegelijkertijd zou vereisen. Het nieuwe werk laat zien dat dit niet noodzakelijk is. Door een adaptieve sequentie te gebruiken, kan hetzelfde resultaat worden bereikt met een minimale set helpers die worden hergebruikt. Dit is bijzonder relevant voor de huidige generatie quantumcomputers, die beperkt zijn in omvang maar steeds beter in staat worden om mid-circuit metingen uit te voeren. Het vermogen om tijd tegen ruimte uit te wisselen betekent dat taken die voorheen als onmogelijk werden beschouwd op kleine apparaten, nu binnen bereik kunnen liggen.

In hun analyse onderzochten de onderzoekers ook de relatie tussen deze sequentiële implementaties en de compatibiliteit van verschillende quantummetingen. Ze vonden dat het vermogen om een proces in stappen op te splitsen diep verbonden is met de vraag of de betrokken metingen samen uitgevoerd kunnen worden zonder elkaar te verstoren. Hoewel ze niet elk mogelijk geval hebben opgelost, boden ze een robuuste methode voor een breed scala aan instrumenten, inclusclusief die die worden gebruikt voor toestandspreparatie en kanaalsimulatie. Hun werk dient als een blauwdruk voor hoe efficiënte quantumcircuits te ontwerpen die rekening houden met de fysieke beperkingen van de huidige machines, terwijl het potentieel wordt gemaximaliseerd door slimme sequencing.

Uiteindelijk biedt dit onderzoek een helder pad voor de praktische toepassing van adaptieve quantumcircuits. Het gaat verder dan theoretische mogelijkheden en biedt concrete strategieën voor resourcebeheer. Door het exacte verband tussen het aantal stappen en het aantal qubits te begrijpen, kunnen wetenschappers nu experimenten ontwerpen die zijn afgestemd op de specifieke beperkingen van hun hardware. Of het doel nu is om een complexe meting uit te voeren, een quantumkanaal te simuleren of een specifieke toestand voor te bereiden, het nieuwe kader zorgt ervoor dat het proces zo efficiënt mogelijk is. Het werk bevestigt dat de toekomst van quantumcomputing op beperkte hardware niet alleen ligt in het bouwen van grotere machines, maar in slimmere manieren om de machines die we hebben te gebruiken.