Metrological Benchmarking of Random Quantum Circuits

In de race om te bewijzen dat quantumcomputers dingen kunnen doen die klassieke machines niet kunnen, hebben wetenschappers zich gericht op een specifieke soort test: het uitvoeren van willekeurige reeksen operaties op een quantumprocessor en controleren of de output overeenkomt met een complex, onvoorspelbaar patroon. Deze aanpak, bekend als random circuit sampling, is momenteel de leidende methode voor het demonstreren van "quantumvoordeel". Er blijft echter een grote hindernis bestaan. Om te verifiëren dat een ruisige, echte quantumcomputer daadwerkelijk deze complexe berekeningen correct uitvoert, moeten onderzoekers traditioneel de perfecte, ideale oplossing kennen om mee te vergelijken. Het berekenen van deze ideale oplossing voor grote systemen is zo moeilijk dat het vaak supercomputers vereist, wat het doel van de test tenietdoet. Bovendien kan ruis in de hardware ervoor zorgen dat de resultaten bedrieglijk eenvoudig lijken te simuleren, waardoor de werkelijke prestaties van de machine verborgen blijven. Wetenschappers hebben een manier nodig om te controleren of deze machines naar behoren werken zonder eerst het onmogelijke wiskundige probleem van de perfecte oplossing te hoeven oplossen.

Een team onderzoekers van het Korea Advanced Institute of Science and Technology heeft een nieuwe manier voorgesteld om dit probleem op te lossen. In plaats van te proberen de uiteindelijke output van een willekeurig quantumcircuit te berekenen, stellen ze voor om te kijken hoe het systeem reageert wanneer het zachtjes wordt aangestoten. Stel je een quantumcomputer voor die een complexe, willekeurige reeks operaties uitvoert. De onderzoekers stellen voor om in het midden van deze reeks een kleine, gecontroleerde verstoring in te brengen en vervolgens de operaties in omgekeerde volgorde uit te voeren. Door te meten hoeveel de eindtoestand van het systeem verandert als reactie op deze duw, kunnen ze de kwaliteit en complexiteit van de dynamiek van het circuit beoordelen. Deze reactie wordt gekwantificeerd door een maatstaf genaand quantum Fisher-informatie, wat in essentie vertelt hoe gevoelig het systeem is voor de verstoring. Het team ontdekte dat deze gevoeligheid fungeert als een krachtige benchmark, die onthult of het circuit zich gedraagt als een echt willekeurig, complex systeem of als een eenvoudiger, voorspelbaar systeem, zonder dat hiervoor de ideale output-waarschijnlijkheden berekend hoeven te worden.

De onderzoekers testten hun idee door twee zeer verschillende soorten quantumcircuits met elkaar te vergelijken. Het eerste type bestaat uit circuits die wiskundig willekeurig en extreem complex zijn, bekend als Haar-random circuits. Het tweede type gebruikt een specifieke set regels die Clifford-circuits worden genoemd. Deze Clifford-circuits zijn interessant omdat ze informatie net zo breed over het hele systeem kunnen verspreiden als de complexe varianten, maar ze blijven eenvoudig genoeg om door een klassieke computer gesimuleerd te worden. Als de benchmark alleen zou rusten op hoe ver informatie zich verspreidt, zouden beide typen circuits er hetzelfde uitzien. De onderzoekers ontdekten echter een scherp verschil. Wanneer zij hun duw-en-meet-protocol toepasten op de complexe Haar-random circuits, vertoonde het systeem een sterke, meetbare reactie. De gevoeligheid groeide naarmate het aantal qubits toenam, waarbij een maximaal niveau van responsiviteit werd bereikt. In tegen tegenstelling hiertoe, toen zij exact dezelfde test toepasten op de Clifford-circuits, vertoonde het systeem een nulreactie. Hoewel de informatie net zo ver was verspreid, was het systeem volledig ongevoelig voor de gecontroleerde verstoring. Dit resultaat bewijst dat de benchmark iets diepers detecteert dan alleen de verspreiding van informatie; het onderzoekt de specifieke, chaotische aard van de dynamiek die een circuit werkelijk moeilijk simuleerbaar maakt.

Om deze test praktisch bruikbaar te maken voor verschillende soorten quantumhardware, heeft het team twee variaties van het protocol ontwikkeld. De ene versie maakt gebruik van precieze controle over individuele qubits, waarbij de verstoring op één enkel deeltje wordt toegepast. De andere versie gebruikt een collectieve aanpak, waarbij de verstoring tegelijkertijd op het hele systeem wordt toegepast, wat nuttig is voor machines die individuele qubits niet afzonderlijk kunnen adresseren. Beide methoden slaagden erin om onderscheid te maken tussen de complexe en de eenvoudige circuits. De onderzoekers introduceerden ook een "butterfly"-protocol, een specifieke reeks operaties die ervoor zorgt dat de test kan worden uitgelezen door slechts één enkel qubit aan het einde te meten. Hoewel de gemiddelde respons van dit butterfly-protocol hetzelfde was voor zowel complexe als eenvoudige circuits, ontdekten de onderzoekers dat de fluctuaties — de manier waarop de resultaten van de ene run naar de andere varieerden — volkomen verschillend waren. De complexe circuits vertoonden zeer kleine fluctuaties, terwijl de eenvoudige circuits grote, voorspelbare variaties vertoonden. Dit betekent dat zelfs met een eenvoudige, single-qubit uitlezing, wetenschappers het verschil kunnen zien tussen een werkelijk willekeurig quantumproces en een eenvoudiger proces door te kijken naar het patroon van deze variaties.

Ten slotte pakte het team de realiteit van ruis aan, die aanwezig is in elk huidig quantumapparaat. Ze modelleerden het effect van ruis als een globale, willekeurige interferentie die de perfecte quantumtoestand mengt met een volledig willekeurige, nutteloze toestand. Ze leidden een nauwkeurige wiskundige relatie af die laat zien hoe de ideale gevoeligheid afneemt naarmate de ruis toeneemt. Cruciaal is dat deze relatie standhoudt zonder dat de ideale oplossing vooraf bekend hoeft te zijn. Als het systeem ruis bevat, schaalt de gemeten gevoeligheid simpelweg op een voorspelbare manier omlaag, waardoor onderzoekers exact kunnen kwantificeren hoeveel ruis de benchmark beïnvloedt. Dit biedt een kwantitatieve referentie voor hoe de benchmark verandert met de sterkte van de ruis, waardoor de ideale theorie wordt verbonden met de experimenten in de echte wereld.

Het werk biedt een nieuwe weg vooruit voor het valideren van quantumcomputers. Door zich te richten op hoe een systeem reageert op een gecontroleerde duw in plaats van te proberen de uiteindelijke bestemming te berekenen, kunnen onderzoekers ruisige random circuits benchmarken zonder de computationele last van het vinden van de ideale oplossing. Het vermogen om complexe, chaotische dynamiek te onderscheiden van eenvoudigere, klassiek simuleerbare processen met behulp van lokaal of globaal beheer — en zelfs met single-qubit uitlezingen — biedt een robuust instrument voor het vakgebied. Naarmate quantumprocessors groter worden, zullen deze methoden wetenschappers in staat stellen om te verifiëren dat hun machines werkelijk de complexe landschappen van de quantummechanica verkennen, en te garanderen dat het voordeel dat zij nastreven echt is en geen illusie veroorzaakt door ruis of eenvoud.