Om een computer te bouwen die problemen kan oplossen die buiten het bereik van de huidige machines liggen, moeten wetenschappers eerst een probleem van kwetsbaarheid oplossen. Kwantumcomputers vertrouwen op delicate toestanden van materie die bij de kleinste verstoring instorten in ruis, vergelijkbaar met een kaartenhuis in een briesje. Om dit te voorkomen, gebruiken onderzoekers een strategie genaamd kwantumfoutcorrectie, waarbij informatie niet in een enkel deeltje wordt verborgen, maar in het collectieve gedrag van vele deeltjes die in een specifiek patroon zijn gerangschikt. De meest veelbelovende versie van deze strategie steunt op topologie, een tak van de wiskunde die eigenschappen bestudeert van vormen die onveranderd blijven, zelfs wanneer de vorm wordt uitgerekt of gedraaid. In dit visie wordt informatie opgeslagen in de globale verbindingen van een systeem in plaats van in lokale details, wat het van nature resistent maakt tegen de kleine, lokale fouten die standaardcomputers teisteren. Een van de leidende kaders voor deze aanpak is het Kitaev quantum double model, een theoretisch rooster waarbij deeltjes interageren volgens de regels van een eindige groep, een wiskundige structuur die symmetrie beschrijft. Binnen dit rooster gedragen excitaties, bekend als quasipartikels, zich als anyons: exotische entiteiten die om elkaar heen kunnen vlechten om berekeningen uit te voeren zonder gemakkelijk door hun omgeving te worden verstoord.

De uitdaging is geweest om de juiste wiskundige ingrediënten te vinden om deze beschermende structuren te bouwen voor verschillende soorten informatie. Hoewel sommige modellen goed werken voor eenvoudige twee-toestandsunits genaamd qubits, is het creëren van systemen die complexere informatie kunnen vasthouden, bekend als qudits, moeilijk gebleken. Een nieuwe studie door Naihong Hu en Futao Wang biedt een algemeen blauwdruk voor het construeren van deze beschermde logische qudits binnen het Kitaev-kader. De onderzoekers ontwikkelden een methode gebaseerd op de representatietheorie van eindige groepen, een tak van de wiskunde die classificeert hoe symmetriegroepen op vectorruimten kunnen inwerken. Ze identificeerden een specifieke conditie, die ze een stabiele representatie noemen, die een groep in staat stelt om een beschermde logische ruimte van de gewenste grootte te ondersteunen. Door groepen te vinden die aan deze conditie voldoen, bewezen ze dat het mogelijk is om een systeem te ontwerpen waarin informatie wordt gecodeerd op een manier die immuun is voor lokale fouten, mits het systeem zich in zijn laagste energietoestand bevindt.

De kern van de ontdekking ligt in de manier waarop de onderzoekers de symmetrie van het systeem manipuleren. Ze toonden aan dat als een groep over een bepaald type symmetrieoperatie beschikt met een specifieke orde, deze gebruikt kan worden om een logische ruimte met een overeenkomend aantal dimensies te creëren. Zo demonstreerden ze dat de symmetrische groepen, die alle mogelijke manieren beschrijven om een verzameling objecten te herrangschikken, gebruikt kunnen worden om beschermde twee-toestandsunits, of qubits, te creëren voor elk aantal objecten groter dan twee. Verrassenderwijs ontdekten ze dat de alternerende groep van vier elementen, een specifieke symmetriegroep, van nature een drie-toestandsunit, of qutrit, ondersteunt. Dit is significant omdat qutrits een rijkere informatie-ruimte bieden dan qubits, wat potentieel efficiëntere berekeningen mogelijk maakt. Het team bewees verder dat door een specifieke familie van groepen te gebruiken die geconstrueerd is uit een combinatie van kleinere symmetriegroepen, zij beschermde logische eenheden van elke willekeurige grootte konden creëren, van twee toestanden tot elk aantal dat de onderzoeker kiest. Dit betekent dat de methode niet beperkt is tot een paar specifieke gevallen, maar een schaalbaar pad biedt naar het bouwen van kwantumgeheugens met verschillende capaciteiten.

Om deze abstracte wiskundige bevindingen bruikbaar te maken, beschreven de auteurs hoe men deze beschermde toestanden fysiek kan manipuleren. Ze schetsen een proces met lintachtige paden over het rooster om de quasipartikels die de informatie dragen te creëren en te verplaatsen. Door deze paden zorgvuldig te vlechten, lieten ze zien hoe men logische operaties kan uitvoeren, zoals het verschuiven van de toestand van de informatie van het ene niveau naar het volgende. In het specifieke geval van de drie-toestandsunit afgeleid van de alternerende groep, detailsden ze een volledig schema voor universele kwantumcomputatie. Dit schema omvat het vermogen om verstrengelde toestanden te creëren tussen verschillende eenheden en om continue rotaties uit te voeren, die noodzakelijk zijn voor complexe berekeningen. Ze toonden aan dat door de toestand van de quasipartikels op specifieke punten te meten, men de verschillende logische toestanden kan onderscheiden en fouten kan corrigeren die tijdens het proces zijn opgetreden. De gehele procedure berust op het feit dat elke fout die de lokale ordening van de deeltjes verstoort, onmiddellijk detecteerbaar is, waardoor het systeem stabiel blijft.

De studie verduidelijkte ook de grenzen van wat mogelijk is met deze aanpak. De onderzoekers toonden aan dat voor bepaalde groepen, zoals de alternerende groepen met vijf of meer elementen, de noodzakelijke wiskundige condities niet kunnen worden vervuld, wat betekent dat deze specifieke groepen niet gebruikt kunnen worden om de beschreven beschermde logische ruimtes te creëren. Dit negatieve resultaat is even belangrijk als de positieve resultaten, omdat het helpt de grenzen te definiëren waar deze specifieke soort topologische bescherming kan worden toegepast. Het werk bevestigt dat hoewel het Kitaev quantum double model een krachtig instrument is, de keuze van de onderliggende symmetriegroep cruciaal is. De auteurs leverden een rigoureus bewijs dat hun constructie werkt, waarmee zij een noodzakelijke en voldoende conditie vaststelden voor het bestaan van deze beschermde toestanden. Dit brengt het veld van een verzameling geïsoleerde voorbeelden naar een systematische theorie waarbij men precies kan voorspellen welke groepen welk type beschermde informatie zullen opleveren.

De implicaties van dit werk strekken zich uit tot de hardware die op een dag deze algoritmen zou kunnen draaien. Door een duidelijk recept te bieden voor het construeren van logische qudits van willekeurige dimensie, biedt de studie een nieuw doelwit voor experimentalisten die aan topologische kwantumcomputers bouwen. In plaats van beperkt te zijn tot de standaard twee-toestands qubits, zouden ingenieurs potentieel systemen kunnen ontwerpen die gebruikmaken van drie, vier of meer toestanden per eenheid, wat het aantal fysieke componenten dat nodig is voor een gegeven berekening drastisch zou kunnen verminderen. Het artikel beweert niet zo'n computer te hebben gebouwd, noch heeft het de hardwareprestaties gesimuleerd, maar het legt het wiskundige fundament dat vereist is om dit te doen. Het bewijst dat de theoretische machinerie bestaat om complexe kwantuminformatie te beschermen met behulp van de symmetrieën van eindige groepen. Naarmate het veld van kwantumcomputing volwassen wordt, zal het vermogen om de juiste symmetriegroep te kiezen die past bij de gewenste computationele taak waarschijnlijk een standaard onderdeel van het ontwerpproces worden, waardoor de abstracte wiskunde van groepentheorie verandert in de fysieke architectuur van de volgende generatie computers.