Ground-State Preparation by Projection onto the Maximal Decoherence-Free Subspace: Operator-Algebraic Derivation and Constant-Depth Execution on 156-Qubit Processors

In de wereld van quantumcomputing is het grootste obstakel niet een gebrek aan kracht, maar een gebrek aan tijd. Quantumcomputers werken door delicate toestanden van materie in een kwetsbaar evenwicht te houden, maar op het moment dat deze toestanden interageren met de ruisige omgeving om hen heen, storten ze in. Dit fenomeen, bekend als decoherentie, werkt als een meedogenloze statische ruis die informatie wist voordat complexe berekeningen kunnen worden voltooid. Jarenlang hebben wetenschappers geprobeerd dit te bestrijden door steeds diepere circuits te bouwen, in de hoop de berekening te voltooien voordat de ruis wint. Echter, naarmate problemen groter worden, overschrijdt de tijd die nodig is om deze berekeningen uit te voeren vaak het kleine venster van stabiliteit dat de hardware kan bieden. De standaardbenadering is geweest om het quantum-systeem langzaam naar zijn antwoord te leiden, zoals een wandelaar die zich in de mist een weg naar beneden zoekt, maar deze langzame reis raakt vaak verdwaald in de ruis of komt vast te zitten in lokale doodlopende wegen.

Een nieuwe benadering, gedetailleerd in recent onderzoek door Mohamed Hassan, suggereert een andere manier om de bestemming te bereiken: in plaats van het pad te bewandelen, stap je simpelweg direct op de grond. De onderzoekers stellen een methode voor die niet probeert een quantumtoestand in de loop van de tijd te laten evolueren, maar die de natuurwetten gebruikt om het systeem direct in een beschermde toestand te projecteren. Deze toestand, een decoherentievrije subruimte genoemd, is een speciale regio waar de quantum-informatie van nature immuun is voor de omringende ruis. Door het experiment zo te ontwerpen dat het antwoord op een probleem binnen deze beschermde regio ligt, kan de computer rechtstreeks naar de oplossing springen zonder de ruis stap voor stap te hoeven bevechten. Deze methode is getest op echte, werkende quantumprocessors met 156 qubits, wat bewijst dat het mogelijk is om complexe quantumtoestanden in een enkele, constante stap voor te bereiden, ongeacht hoe groot het probleem is.

De kern van deze ontdekking ligt in een verschuiving van dynamische simulatie naar structurele projectie. Traditionele methoden, zoals de Variational Quantum Eigensolver, vertrouwen op een proces van trial-and-error waarbij de computer een circuit uitvoert, het resultaat meet en vervolgens de instellingen aanpast om het opnieuw te proberen. Deze lus kan duizenden herhalingen vergen en is gevoelig voor vastlopen, een probleem dat bekend staat als een 'barren plateau', waarbij de computer al zijn vermogen verliest om te leren van zijn fouten. In contrast hiermee identificeert het nieuwe framework een specifieke wiskundige structuur binnen het probleem die overeenkomt met een "veilige zone" in het quantum-systeem. Deze veilige zone wordt gedefinieerd door de manier waarop de quantum bits interageren met hun omgeving. Als het probleem correct is gecodeerd, past de grondtoestand — de laagste energietoestand en het juiste antwoord — zich van nature aan deze veilige zone aan. De onderzoekers hebben aangetoond dat door een enkele structurele operatie toe te passen, zij alle ongewenste toestanden konden wegfilteren en alleen het juiste antwoord overhielden, waardoor de noodzaak voor lange, foutgevoelige reeksen operaties effectief werd omzeild.

Het team valideerde deze theorie op drie verschillende IBM quantumprocessors, elk met 156 qubits. Ze voerden 55 onafhankelijke experimenten uit, waarbij het protocol op live hardware werd uitgevoerd om te zien of de theoretische bescherming standhield tegen de realiteit van de ruis. De resultaten waren opmerkelijk. In tests met betrekking tot combinatorische optimalisatieproblemen identificeerde de methode succesvol de juiste oplossing met een waarschijnlijkheid die honderdduizenden malen hoger was dan wat men op basis van toeval zou verwachten. Bijvoorbeeld, in één specifieke test met een graaf van 12 knooppunten produceerde het systeem de juiste 'maximum cut' in meer dan 82 procent van de gevallen, terwijl een willekeurige gok minder dan één op tweeduizend keer zou slagen. De onderzoekers testten de methode ook op problemen uit verschillende velden, waaronder moleculaire chemie, cryptografie en portfolio-optimalisatie, waarmee zij aantoonden dat hetzelfde onderliggende mechanisme diverse soorten problemen kon oplossen zonder de fundamentele diepte van het quantumcircuit te veranderen.

Een cruciaal aspect van dit werk is wat het niet beweert te doen. De onderzoekers zijn expliciet over het feit dat de "constante diepte" van hun methode alleen betrekking heeft op de quantum-executie zelf. De moeilijkheid van het probleem is niet verwijderd; het is simpelweg verplaatst. Bij de traditionele benadering zit de moeilijkheid verborgen in de tijd die nodig is om het circuit uit te voeren. In deze nieuwe benadering wordt de moeilijkheid vooraf afgehandeld door een klassieke computer die de specifieke instructies voorbereidt om het probleem in de beschermde zone te mappen. Als een probleem zo moeilijk is dat een klassieke computer niet snel genoeg weet hoe het moet mappen, kan deze methode het ook niet oplossen. De innovatie is dat zodra de mapping is voltooid, het quantumgedeelte van de taak ongelooflijk snel en robuust is, zonder dat er foutcorrectie of lange wachttijden nodig zijn. Dit onderscheid is essentieel: de methode maakt moeilijke problemen niet makkelijk, maar maakt het quantumgedeelte van het oplossen ervan wel haalbaar op de huidige, imperfecte machines.

Het succes van het experiment rust op een specifieke eigenschap van de quantumhardware: de manier waarop de qubits verbonden zijn en hoe ze van nature bepaalde soorten ruis weerstaan. De onderzoekers gebruikten een "tiling"-strategie, waarbij ze de grote 156-qubit processor opdeelden in vele kleine, onafhankelijke paren qubits. Elk paar fungeerde als een kleine, zelfvoorzienende eenheid die de projectie simultaan kon uitvoeren. Omdat al deze paren tegelijkertijd werkten, bleef de totale tijd die de quantumtoestand moest overleven constant, ongeacht hoeveel paren er betrokken waren. Dit stelde het systeem in staat om op te schalen zonder het risico op fouten te vergroten. Het team bewees ook wiskundig dat deze bescherming werkt voor complexere interacties waarbij drie, vier of zelfs vijf qubits tegelijkertijd betrokken zijn, waarmee de methode verder gaat dan eenvoudige twee-qubit paren.

Een van de meest significante bevindingen is dat deze methode de noodzaak voor de "variationele" lussen vermijdt die de afgelopen jaren de quantumcomputing-onderzoek domineerden. In plaats van te zoeken naar een antwoord door aan knoppen te draaien en te wachten tot het systeem tot rust komt, gebruikt de nieuwe methode een directe projectie. Het is vergelijkbaar met het hebben van een zeef die alleen het juiste antwoord doorlaat terwijl de rest wordt tegengehouden. De onderzoekers toonden aan dat deze zeef niet slechts een theoretisch idee is, maar een fysieke realiteit die op bestaande hardware gebouwd kan worden. Ze bevestigden dat de quantumtoestanden stabiel bleven en niet uit de beschermde zone dreven tijdens het experiment, zelfs zonder actieve foutcorrectie. Dit suggereert dat de natuurlijke symmetrie van het systeem voldoende is om de informatie te beschermen, mits het probleem op de juiste manier is gecodeerd.

De studie behandelde ook de vraag hoe verschillende soorten problemen in dit systeem gecodeerd moeten worden. De onderzoekers ontwikkelden een "compressie-encoding"-theorema, dat een recept biedt voor het vertalen van problemen uit velden zoals chemie of financiën naar de taal van de quantumprocessor. Ze testten dit op zes verschillende soorten problemen, waaronder de correlatie van elektronen in een waterstofmolecuul en de factorisatie van grote getallen. In elk geval slaagde het systeem erin de grondtoestand van het probleem-Hamiltoniaan voor te bereiden, wat de laagste energietoestand vertegenwoordigt. Dit demonstreert dat de methode niet beperkt is tot één specifiek type probleem, maar kan worden aangepast aan een breed scala aan wetenschappelijke en wiskundige uitdagingen, zolang het probleem kan worden gemapt naar de specifieke structuur van de beschermde subruimte.

Ondanks het succes blijven de onderzoekers voorzichtig over de reikwijdte van hun claims. Zij benadrukken dat deze methode werkt voor een specifieke klasse problemen waarbij de grondtoestandsenergie efficiënt door een klassieke computer kan worden berekend. Voor problemen waarbij het vinden van de grondtoestand inherent moeilijk is en exponentiële tijd vereist, biedt deze methode geen afkorting. De quantum-versnelling komt voort uit het feit dat de quantumstap onmiddellijk en ruisbestendig is, niet uit het oplossen van het moeilijkste deel van het probleem. Het werk is een bewijs van concept dat structurele projectie een levensvatbaar alternatief kan zijn voor dynamische simulatie, en een nieuwe weg vooruit biedt voor quantumcomputing in het tijdperk van noisy, intermediate-scale devices.

De implicaties van dit werk reiken verder dan de directe resultaten. Door aan te tonen dat quantumgrondtoestanden kunnen worden voorbereid zonder diepe circuits of complexe foutcorrectie, opent het onderzoek de deur naar het gebruik van huidige quantumprocessors voor praktische toepassingen die voorheen als onbereikbaar werden beschouwd. Het vermogen om deze experimenten uit te voeren op 156-qubit processors met een hoge getrouwheid suggereert dat de technologie sneller volwassen wordt dan sommige pessimistische modellen hadden voorspeld. De onderzoekers hebben hun gegevens en job-identifiers openbaar gemaakt, in een uitnodiging aan de wetenschappelijke gemeenschap om de resultaten onafhankelijk te verifiëren. Deze transparantie onderstreept het vertrouwen dat zij hebben in de bevindingen en de robuustheid van de methode.

Uiteindelijk presenteert dit artikel een fundamentele verschuiving in hoe we over quantumtoestand-voorbereiding denken. Het beweegt weg van het idee om ruis te bestrijden met steeds langere circuits en beweegt naar het idee om systemen te ontwerpen waarin het antwoord van nature beschermd is. De onderzoekers hebben aangetoond dat, door het diepe algebraïsche structuur van het probleem en de hardware te begrijpen, het mogelijk is om een directe weg naar de oplossing te creëren. Dit pad is kort, het is robuust, en het werkt op de machines die we vandaag de dag bezitten. Hoewel het niet elk probleem in de quantumcomputing oplost, lost het een cruciaal probleem op: hoe een betrouwbaar antwoord te krijgen van een ruisige machine zonder te wachten tot de ruis de informatie vernietigt. Het werk staat als een testament tot de kracht van structureel inzicht, en bewijst dat de beste manier om vooruit te gaan soms is om te stoppen met bewegen en simpelweg in de juiste positie te stappen.