T-poort: de schaarse bouwsteen die kwantumcomputers hun kracht geeft
Een T-poort is een van de kleinste bouwstenen in een kwantumcomputer, maar tegelijk een van de duurste. Het is een instructie die op één qubit (het kwantumequivalent van een bit) een heel specifieke, kleine draaiing uitvoert. Op zichzelf klinkt dat onopvallend, maar zonder deze poort zou een kwantumcomputer in feite niets kunnen wat een gewone computer niet ook al kan. Met de T-poort erbij ontstaat pas echte kwantumkracht.
Vergelijk het met een keuken waarin de meeste ingrediënten gewoon uit de voorraadkast komen: goedkoop, makkelijk te combineren, altijd op voorraad. De T-poort is het zeldzame kruid dat een gerecht pas bijzonder maakt, maar dat eerst grondig gezuiverd moet worden voordat je het kunt gebruiken, omdat de ruwe versie te veel verontreinigingen bevat. Die zuivering kost tijd, apparatuur en veel van het ruwe materiaal om een klein beetje bruikbaar product over te houden. Precies dat gebeurt er in een kwantumcomputer met T-poorten: ze zijn onmisbaar, maar het produceren van een schone, betrouwbare T-poort is een van de grootste technische opgaven in het vakgebied.
Wat is het precies?
Een kwantumcomputer rekent met qubits, die in tegenstelling tot gewone bits niet alleen 0 of 1 kunnen zijn, maar ook een mengvorm daarvan. Om iets met qubits te berekenen, pas je op ze een reeks «poorten» toe: kleine bewerkingen die de toestand van een qubit veranderen, vergelijkbaar met logische poorten (AND, OR) in klassieke chips, maar dan volgens de regels van de kwantummechanica.
Een groot deel van die poorten behoort tot een groep die wiskundigen de Clifford-groep noemen, met bekende leden als de Hadamard-poort en de CNOT-poort. Deze poorten zijn krachtig ogend, maar er is een verrassend feit: een gewone computer kan alles wat zo'n Clifford-circuit doet, efficiënt naspelen. Dat volgt uit een wiskundig resultaat dat bekendstaat als het Gottesman-Knill-theorema. Met andere woorden: als een kwantumcomputer alleen Clifford-poorten zou gebruiken, zou hij geen enkel voordeel bieden ten opzichte van een klassieke computer.
De T-poort doorbreekt dat. Het is een «fasedraaiing» van een achtste van een volledige cirkel (vandaar de bijnaam «π/8-poort») op de toestand die met 1 overeenkomt. Die poort valt buiten de Clifford-groep, en zodra je Clifford-poorten combineert met T-poorten, wordt universele kwantumcomputatie mogelijk: je kunt in principe elk kwantumalgoritme uitvoeren. De T-poort is dus het ingrediënt dat een kwantumcomputer daadwerkelijk meer laat doen dan een klassieke machine.
Het probleem zit in de betrouwbaarheid. Qubits zijn extreem gevoelig voor storingen, dus gebruikt men foutcorrigerende codes, zoals de veelgebruikte «surface code», die informatie verdelen over veel fysieke qubits om er één stabiele «logische qubit» van te maken. Clifford-poorten kunnen op zo'n gecodeerde qubit relatief eenvoudig en fouttolerant worden uitgevoerd. De T-poort echter niet: hij laat zich niet «transversaal», dat wil zeggen rechtstreeks en veilig, op de gecodeerde informatie toepassen.
De oplossing die onderzoekers Sergey Bravyi en Alexei Kitaev in 2005 voorstelden heet magic state distillation (het destilleren van «magische toestanden»). Je maakt eerst een groot aantal ruwe, foutgevoelige kwantumtoestanden aan die de informatie van een T-poort in zich dragen, de zogeheten magic states of T-states. Vervolgens combineer je meerdere van die ruwe exemplaren met alleen Clifford-poorten en metingen, waarbij je de slechtste exemplaren eruit filtert. Wat overblijft is een kleiner aantal magic states met een veel hogere zuiverheid. Die gezuiverde toestand wordt daarna via een truc genaamd «gate-teleportatie» ingevoegd in de eigenlijke berekening, wat effectief neerkomt op het veilig uitvoeren van een T-poort.
Omdat dit proces zoveel ruwe exemplaren en extra qubits kost, richten ontwerpers van kwantumchips vaak een apart gedeelte van de chip in dat continu magic states produceert en zuivert: een T-factory. Die T-factory levert de gezuiverde T-poorten aan die de rest van de chip vervolgens verbruikt tijdens de berekening. Hoeveel van die T-poorten een algoritme nodig heeft, heet het T-count, en dat getal is een van de belangrijkste maten om te bepalen hoe duur een kwantumberekening in de praktijk zal zijn.
Wat wil men ermee bereiken?
Het uiteindelijke doel is een fouttolerante kwantumcomputer die grootschalige, nuttige berekeningen kan uitvoeren: het simuleren van moleculen voor medicijn- of batterijontwikkeling, het oplossen van bepaalde optimalisatieproblemen, of het uitvoeren van Shor's algoritme, dat in theorie veelgebruikte cryptografische systemen kan kraken door grote getallen te factoriseren. Al deze toepassingen vereisen niet-Clifford-bewerkingen en dus T-poorten.
Omdat T-poorten de schaarse, dure resource zijn in een fouttolerante architectuur, is het verlagen van de T-poort-overhead een centrale drijfveer in het vakgebied. Elke verbetering, of het nu gaat om efficiëntere destillatieprotocollen, slimmere T-factories, of algoritmes die simpelweg minder T-poorten nodig hebben, brengt een bruikbare kwantumcomputer met minder fysieke qubits en minder tijd dichterbij. Zonder die verbeteringen zouden de benodigde machines onwerkbaar groot en traag blijven.
Voorbeelden uit de praktijk
Het theoretische fundament werd gelegd door Sergey Bravyi en Alexei Kitaev, die in 2005 het concept van magic state distillation introduceerden. Hun werk vormt tot op de dag van vandaag de basis van vrijwel elk fouttolerantie-ontwerp voor kwantumcomputers.
Een concreet voorbeeld van hoe T-count-onderzoek de echte wereld raakt, is het werk van Craig Gidney en Martin Ekerå, die rond 2019 becijferden hoeveel bronnen nodig zouden zijn om met een kwantumcomputer een RSA-2048-sleutel te factoriseren, destijds geschat op enkele tientallen miljoenen ruizige fysieke qubits, grotendeels vanwege de T-poort-overhead. Latere vervolgstudies, waaronder werk van Gidney zelf, hebben die schattingen door verbeterde algoritmes en codes flink naar beneden bijgesteld; de precieze actuele getallen verschillen per publicatie en moeten met enige voorzichtigheid worden gelezen, maar de trend van dalende overhead is duidelijk zichtbaar.
Bij Google Quantum AI is de afgelopen jaren, mede via publicaties in Nature, aangetoond dat foutcorrectie met de surface code steeds beter gaat naarmate men meer fysieke qubits per logische qubit gebruikt, en is geëxperimenteerd met het rechtstreeks aanmaken van magic states waarvan de kwaliteit die van de onderliggende fysieke qubits overtreft. Dat laatste wordt gezien als een belangrijke stap, al blijft schaal een probleem.
IBM Quantum onderzoekt sinds enkele jaren alternatieven voor de surface code, waaronder kwantum-LDPC-codes, die in gepubliceerd onderzoek (onder meer rond 2024) een lagere overhead beloven voor fouttolerante bouwstenen, wat ook de kosten van T-poort-productie zou kunnen verlagen.
In Nederland doet QuTech, een samenwerking tussen de TU Delft en TNO, onderzoek naar surface codes en de architectuur van fouttolerante kwantumchips, inclusief de vraag hoe je T-factories efficiënt inricht. Ook bedrijven als Quantinuum (met zeer nauwkeurige trapped-ion-qubits) en PsiQuantum (dat een fotonische, «fusion-based» aanpak volgt) werken expliciet aan magic-state-protocollen die passen bij hun eigen hardware.
Hoe ver is de techniek?
De huidige generatie kwantumcomputers bevindt zich in wat wel het NISQ-tijdperk wordt genoemd (Noisy Intermediate-Scale Quantum): machines met honderden tot een paar duizend fysieke qubits, zonder volledige foutcorrectie. Magic state distillation is inmiddels op kleine, experimentele schaal aangetoond, en de kwaliteit van gedistilleerde toestanden verbetert gestaag. Maar een volwaardige T-factory die op de schaal draait die nodig is voor werkelijk nuttige algoritmes, al snel duizenden tot mogelijk miljoenen fysieke qubits per logische T-poort, bestaat nog niet.
Schattingen over wanneer grootschalige, fouttolerante kwantumcomputers beschikbaar zullen zijn, lopen sterk uiteen; onderzoekers en bedrijven noemen vaak een periode ergens in de jaren 2030, maar dat blijft met flinke onzekerheid omgeven. De belangrijkste obstakels zijn niet alleen het aantal fysieke qubits, maar ook hun foutpercentage, de snelheid waarmee magic states geproduceerd kunnen worden, en de vraag of algoritmes zodanig herschreven kunnen worden dat ze minder T-poorten nodig hebben. Overhead-reductie, zowel in de hardware als in de software, wordt breed gezien als een van de grootste openstaande problemen op weg naar praktisch bruikbare kwantumcomputers.
Wie werken eraan?
Toonaangevende bedrijven op dit terrein zijn Google Quantum AI, IBM Quantum, Quantinuum en PsiQuantum, elk met een eigen hardware-aanpak (supergeleidende circuits, trapped ions of fotonica) maar met vergelijkbare uitdagingen rond T-poorten. Ook Microsoft is actief, met een aanpak gebaseerd op zogeheten topologische qubits die in theorie van nature stabieler zouden zijn; deze route is nog relatief onbewezen en sommige claims op dit gebied zijn in de wetenschappelijke gemeenschap bediscussieerd, dus voorzichtigheid is hier op zijn plaats.
Aan de academische kant spelen instituten als QuTech (TU Delft, Nederland), Caltech, MIT en Yale een belangrijke rol in het fundamentele onderzoek naar foutcorrectie en magic state distillation. Op landenniveau investeren vooral de Verenigde Staten, Nederland en het Verenigd Koninkrijk fors in kwantumonderzoek, en ook China heeft omvangrijke nationale programma's op dit gebied lopen.