Computational Power of Clifford and Ising Quantum Computers

In de zoektocht naar het bouwen van een machine die problemen kan oplossen die buiten het bereik van de huidige supercomputers liggen, verkent wetenschappers een pad dat steunt op de vreemde regels van de kwantumwereld. In tegenstelling tot klassieke computers, die informatie verwerken als bits die ofwel nul of één zijn, gebruiken kwantumcomputers qubits die in een mengeling van beide toestanden tegelijkertijd kunnen bestaan. Om deze machines praktisch te maken, kijken onderzoekers vaak naar een specifiek type kwantumlogica dat bekend staat als Clifford-operaties. Dit zijn een reeks regels die qubits manipuleren op een manier die wiskundig goed begrepen is en, cruciaal, efficiënt gesimuleerd kan worden door gewone klassieke computers. Dit betekent dat hoewel Clifford-operaties een noodzakelijke tussenstap zijn voor het bouwen van een universele kwantumcomputer, ze op zichzelf niet krachtig genoeg zijn om klassieke machines te overtreffen. Daarnaast is er een parallel onderzoeksveld dat betrekking heeft op deeltjes die anyonen worden genoemd, die alleen bestaan in tweedimensionale lagen materiaal. Deze deeltjes hebben een unieke eigenschap: wanneer ze om elkaar heen worden bewogen, weven hun paden zich samen op een manier die de toestand van het systeem verandert zonder dat de deeltjes elkaar ooit raken. Dit proces, bekend als braiding (vlechten), vormt de basis voor een voorgestelde methode voor kwantumcomputing genaamd topologische kwantumcomputing. De centrale vraag voor natuurkundigen en wiskundigen is geweest of het toevoegen van de mogelijkheid om deze deeltjes te meten, in plaats van ze alleen maar te bewegen, nieuwe computationele vermogens zou ontsluiten die klassieke computers niet kunnen evenaren.

Een team van onderzoekers heeft nu een definitief antwoord gegeven op deze vraag, door te bewijzen dat zelfs met de toevoeging van metingen deze specifieke kwantumsystemen binnen het bereik van klassieke simulatie blijven. De studie richt zich op twee gerelateerde concepten: Clifford-kwantumcomputers, die een beperkte set poorten gebruiken, en Ising-kwantumcomputers, die gebruikmaken van het vlechten en meten van anyonen. De onderzoekers onderzochten of deze machines problemen konden oplossen die als te moeilijk worden beschouwd voor klassieke computers om efficiënt te verwerken. Ze begonnen met het onderzoeken van de theoretische grenzen van Clifford-computers. Ze vonden dat als een klassieke computer de volledige input van het probleem mag zien voordat de kwantumcircuit wordt gegenereerd, de kwantummachine geen voordeel biedt; het repliceert simpelweg wat de klassieke computer al kon doen. Echter, de situatie wordt genuanceerder wanneer de circuitgenerator beperkt is tot het alleen zien van de lengte van de input, en niet de specifieke details. In dit beperkte scenario toonden de onderzoekers aan dat de kwantumcomputer slechts een zeer smalle klasse problemen kan oplossen, bekend als affine talen. Dit zijn problemen die kunnen worden teruggebracht tot eenvoudige lineaire vergelijkingen over binaire getallen. Het team leverde een rigoureus bewijs dat als deze beperkte kwantumcomputers elk probleem in de brede klasse van problemen bekend als P zouden kunnen oplossen, dit een grote, onopgeloste doorbraak in de wiskunde zou impliceren: dat de klasse van problemen die oplosbaar zijn in polynomiale ruimte strikt groter is dan die oplosbaar zijn in polynomiale tijd. Aangezien deze scheiding algemeen als waar wordt beschouwd maar nog niet bewezen is, suggereert dit resultaat dat deze kwantumcomputers inderdaad beperkt zijn.

Het onderzoek richtte zich vervolgens op de Ising-kwantumcomputer, die steunt op het exotische gedrag van anyonen. De onderzoekers bevestigden eerst het bekende feit dat het simpelweg vlechten van deze deeltjes — het rondbewegen van hen om berekeningen uit te voeren — efficiënt gesimuleerd kan worden door een klassieke computer. Dit was al begrepen omdat de braiding-operaties overeenkomen met dezelfde Clifford-poorten die eerder werden genoemd. De nieuwe bijdrage van dit werk was om die simulatie uit te breiden om metingen te includeren. In een topologische kwantumcomputer kan men de collectieve toestand van een groep anyonen meten om informatie te extraheren. De onderzoekers bewezen dat zelfs deze metingen, inclus': de meest krachtige soort die bekend is als interferometrische metingen, geen extra computationeel vermogen toevoegen. Ze toonden aan dat elke mogelijke meetuitkomst in dit systeem wiskundig equivalent is aan een standaardmeting van een specifiek type kwantumeigenschap, bekend als een Pauli-meting. Omdat het gehele proces van het vlechten en meten van Ising-anyonen kan worden vertaald naar een sequentie van Clifford-poorten en Pauli-metingen, valt het hele systeem onder de paraplu van de Gottesman-Knill stelling. Deze stelling stelt dat elke kwantumcomputatie die bestaat uit deze specifieke elementen perfect gesimuleerd kan worden door een klassieke computer in een redelijke hoeveelheid tijd.

De implicaties van deze bevindingen zijn significant voor de toekomst van kwantumengineering. De studie verduidelijkt dat hoewel Ising-anyonen en Clifford-poorten essentiële componenten zijn voor het bouwen van een universele kwantumcomputer, ze op zichzelf niet voldoende zijn om kwantumsuperioriteit te bereiken. Om een machine te bouwen die echt in staat is om klassieke computers te overtreffen, moet men aanvullende middelen introduceren, die vaak "magie" worden genoemd, welke verder gaan dan de mogelijkheden van deze specifieke systemen. De onderzoekers verkenden ook de grenzen van wat deze machines kunnen beslissen wanneer de circuitgenerator blind is voor de details van de input, waarbij ze de oplosbare problemen karakteriseerden als problemen die passen in een specifieke geometrische structuur van de binaire ruimte. Ze boden instrumenten om onderscheid te maken tussen problemen die door deze machines kunnen worden opgelost en problemen die dat niet kunnen, waarbij ze lieten zien dat veel ogenschijnlijk eenvoudige problemen in werkelijkheid buiten hun bereik liggen. Uiteindelijk dient het artikel als een kaart van het gebied, die precies definieert waar de kracht van deze specifieke kwantummodellen eindigt en waar de behoefte aan meer geavanceerde, universele kwantumcapaciteiten begint. Het bevestigt dat zonder de toevoeging van niet-Clifford bronnen, de belofte van topologische kwantumcomputing een simulatie van klassieke logica blijft in plaats van een sprong naar een nieuw computationeel domein.