Magische toestand: de missende schakel naar een werkende kwantumcomputer
Een kwantumcomputer rekent met qubits: de kwantumversie van een bit, die niet alleen 0 of 1 kan zijn maar ook een mengeling van beide. Het probleem is dat qubits extreem gevoelig zijn voor storing. Om toch betrouwbaar te kunnen rekenen, verdelen onderzoekers de informatie van één robuuste logische qubit over tientallen tot honderden fysieke qubits, volgens een foutencorrectiecode. Voor de meeste bewerkingen werkt dat goed. Maar er is één groep bewerkingen die zich hardnekkig aan deze bescherming onttrekt, en juist die bewerkingen heb je nodig om een kwantumcomputer echt alles te laten doen wat hij in theorie kan.
De oplossing die onderzoekers daarvoor gebruiken heet een magische toestand: een speciaal voorbereide kwantumtoestand die, zodra je hem "verbruikt", de ontbrekende bewerking alsnog mogelijk maakt. Vergelijk het met een katalysator in de scheikunde: een stofje dat zelf niet in het eindproduct terechtkomt, maar wel een reactie laat gebeuren die anders niet zou plaatsvinden. Het probleem is dat deze magische toestanden zelf ook erg kwetsbaar zijn voor fouten, en ze moeten eerst gezuiverd worden voordat ze bruikbaar zijn — een proces dat in de jargon "magic state distillation" heet, naar analogie met het distilleren of zuiveren van een stof. Dit zuiveringsproces is op dit moment een van de grootste technische knelpunten op weg naar een echt bruikbare, foutbestendige kwantumcomputer.
Wat is het precies?
Om te snappen waarom magische toestanden nodig zijn, moet je eerst weten dat kwantumbewerkingen ("gates") in twee soorten komen. De eerste soort heet de Clifford-groep: bewerkingen zoals de Hadamard-gate en de CNOT-gate. Deze zijn relatief makkelijk te beschermen met foutencorrectiecodes, zoals de populaire "surface code". Je kunt ze zelfs vrij direct op de beschermde, gecodeerde qubits uitvoeren.
Het probleem: een kwantumcomputer die uitsluitend Clifford-bewerkingen gebruikt, is niet krachtiger dan een gewone computer. Dat volgt uit een wiskundig resultaat dat bekendstaat als de Gottesman-Knill-stelling: zo'n circuit is namelijk altijd efficiënt te simuleren op een klassieke computer. Voor echte kwantumvoordeel is minstens één extra type bewerking nodig buiten de Clifford-groep, meestal de zogeheten T-gate (ook wel π/8-gate). Juist deze T-gate laat zich niet simpelweg "veilig" uitvoeren binnen de gangbare foutencorrectiecodes.
Bravyi en Kitaev losten dit in 2005 theoretisch op met een omweg. In plaats van de T-gate rechtstreeks op je data uit te voeren, bereid je een extra qubit voor in een specifieke, zorgvuldig gekozen toestand: de magische toestand. Via een truc die "gate teleportation" heet, kun je deze voorbereide toestand vervolgens gebruiken om het effect van de T-gate op je eigenlijke data-qubit over te brengen, waarbij de magische toestand wordt "opgebruikt". Zo verplaats je het lastige probleem: niet de bewerking zelf moet veilig zijn, maar de voorbereiding van één specifieke hulptoestand.
Die voorbereiding is echter zelf foutgevoelig. De oplossing is distillatie: je maakt een flink aantal ruwe, nog onzuivere kopieën van de magische toestand, en voert die door een controlecircuit dat uitsluitend uit veilige Clifford-bewerkingen en metingen bestaat. Dat circuit filtert de slechtste kopieën eruit en levert een kleiner aantal kopieën op met een veel hogere zuiverheid. Door dit proces in meerdere rondes te herhalen, kun je de kwaliteit net zo hoog opschroeven als nodig is. Het deel van een kwantumchip dat permanent bezig is met dit zuiveringswerk, wordt in de architectuurliteratuur een "magic state factory" genoemd.
Wat wil men ermee bereiken?
Het einddoel is een universele, foutbestendige kwantumcomputer: een machine die willekeurig lange en complexe kwantumberekeningen kan uitvoeren zonder dat opgehoopte fouten het resultaat onbruikbaar maken. Foutencorrectiecodes zoals de surface code geven je die bestendigheid, maar leveren er bijna gratis alleen Clifford-bewerkingen bij. Zonder een werkende, efficiënte manier om magische toestanden te produceren, blijft de computer dus steken op bewerkingen die een klassieke computer ook al aankan.
Dat is geen detail: algoritmes die men juist interessant vindt — zoals het factoriseren van grote getallen met het algoritme van Shor (relevant voor het breken van huidige encryptie) of het simuleren van complexe moleculen voor medicijn- en materiaalonderzoek — hebben allemaal grote aantallen non-Clifford-bewerkingen nodig. De hoeveelheid benodigde magische toestanden, en hoeveel fysieke qubits en tijd het kost om ze te zuiveren, bepaalt dan ook grotendeels hoe groot en duur een toekomstige kwantumcomputer voor zulke taken moet zijn. Efficiëntere distillatiemethoden vertalen zich direct in kleinere, haalbaardere machines.
Voorbeelden uit de praktijk
Een paar mijlpalen illustreren hoe dit veld zich heeft ontwikkeld:
- Sergey Bravyi en Alexei Kitaev (2005) introduceerden in hun paper "Universal quantum computation with ideal Clifford gates and noisy ancillas" het oorspronkelijke idee van magic state distillation.
- Austin Fowler, Simon Devitt en collega's (rond 2012) werkten dit idee uit binnen de surface-code-architectuur, met het concept van lattice surgery en toegewijde "fabrieken" voor magische toestanden binnen de chip-indeling.
- Craig Gidney en Austin Fowler (2019, gepubliceerd in het tijdschrift Quantum) presenteerden een aanzienlijk efficiëntere distillatiemethode (de "gekatalyseerde CCZ-naar-2T-transformatie"), die het aantal benodigde fysieke qubits per gezuiverde magische toestand flink terugbracht.
- Daniel Litinski (2019) publiceerde met "A Game of Surface Codes" een invloedrijk architectuurontwerp waarin magic state factories volledig zijn geïntegreerd in een praktisch bruikbaar chipontwerp.
- Microsoft's Azure Quantum Resource Estimator (sinds 2022/2023) is een publiek beschikbaar rekentool waarmee onderzoekers precies kunnen uitrekenen hoeveel magische toestanden, qubits en tijd een gegeven kwantumalgoritme zou kosten op een toekomstige foutbestendige machine.
Hoe ver is de techniek?
Magic state distillation is grotendeels nog theorie en simulatie, met enkele kleinschalige experimentele bouwstenen. Geen enkele kwantumcomputer voert vandaag een volledige, grootschalige magic state factory uit als onderdeel van een echte berekening. Google's "Willow"-chip (aangekondigd in december 2024) liet weliswaar zien dat foutencorrectie "onder de drempel" kan werken — hoe groter de foutencorrectiecode, hoe lager de resterende foutenkans, in plaats van omgekeerd — maar dat was een demonstratie van foutencorrectie van opgeslagen informatie, niet van het produceren van magische toestanden.
De kernuitdaging blijft de overhead: schattingen lopen uiteen, maar één enkele, voldoende zuivere logische magische toestand kan tientallen tot honderden fysieke qubits en meerdere zuiveringsrondes vergen. Omdat nuttige algoritmes duizenden tot miljarden van zulke toestanden nodig hebben, lopen de totale schattingen voor een echt bruikbare machine op tot miljoenen fysieke qubits. Verbeteringen zoals die van Gidney en Fowler hebben deze overhead al met ruwweg een factor vijf tot tien verlaagd ten opzichte van de eerste schattingen uit 2005, maar de kloof naar praktisch bruikbare schaal is nog groot.
Bedrijven als IBM en Google noemen in hun roadmaps doelen rond 2029-2030 voor een grootschalige, bruikbare foutbestendige kwantumcomputer, waarbij de efficiëntie van magische-toestandproductie expliciet wordt genoemd als een van de belangrijkste nog op te lossen technische knelpunten. Dit zijn bedrijfsdoelen, geen gegarandeerde uitkomsten; vergelijkbare roadmaps zijn in het verleden al eens naar achteren verschoven.
Wie werken eraan?
Dit onderzoek zit op het snijvlak van theoretische natuurkunde, informatica en chipontwikkeling. Belangrijke spelers:
- Google Quantum AI (Santa Barbara, VS) — onderzoek naar surface codes en efficiënte magic state factories, onder meer door Craig Gidney en Austin Fowler.
- IBM Quantum (VS) — eigen roadmap richting foutbestendige systemen, met onderzoek naar foutencorrectiecodes die de overhead van magische toestanden moeten verlagen.
- Microsoft / Azure Quantum (VS) — resource-estimation-tools en onderzoek naar topologische qubits, die in theorie van nature minder gevoelig zijn voor fouten en dus minder zuivering nodig zouden hebben.
- Quantinuum (VS/VK, ionenval-technologie) — experimentele demonstraties van logische qubits als stap richting foutbestendige bewerkingen.
- Academische instituten, waaronder Caltech (waar Alexei Kitaev werkt), en in Nederland QuTech in Delft (een samenwerking van TU Delft en TNO), dat onderzoek doet naar kwantumfoutencorrectie als onderdeel van de bredere Europese kwantuminspanning.