Hybrid Lattice Surgery between Smooth Boundaries

Kwantumcomputers beloven problemen op te lossen die onmogelijk zijn voor de huidige machines, maar ze zijn ongelooflijk fragiel. De kleinste verstoring door warmte of trilling kan de delicate informatie die ze bevatten verstoren. Om deze data te beschermen, gebruiken wetenschappers kwantumfoutcorrectiecodes, die een enkel stuk informatie verspreiden over vele fysieke deeltjes, zodat als er één faalt, de hele boodschap overleeft. Een van de meest veelbelovende van deze codes is de surface code, die deeltjes in een plat, tweedimensionaal rooster rangschikt. Deze structuur is eenvoudig en robuust, wat het een favoriet maakt bij het bouwen van echte kwantummachines. Het beschermen van informatie is echter niet genoeg; een computer moet de informatie ook kunnen verwerken. Het uitvoeren van berekeningen vereist het combineren van verschillende stukken informatie op specifieke manieren, een taak die berucht moeilijk is om te doen zonder nieuwe fouten te introduceren.

Om deze berekeningen uit te voeren, gebruiken onderzoekers een techniek genaamd lattice surgery (roosterchirurgie). Stel je twee aparte eilanden van beschermde data voor die drijven in een zee van foutcorrectie. Lattice surgery stelt wetenschappers in staat om deze eilanden tijdelijk langs hun randen aan elkaar te koppelen, een meting uit te voeren die hun inhoud verbindt, en ze vervolgens weer uit elkaar te trekken. Dit proces is de standaardmanier om logische poorten te bouwen, de fundamentele bouwstenen van berekeningen, binnen de surface code. Jarenlang was deze methode beperkt tot een specifiek type verbinding, vergelijkbaar met het proberen te verbinden van twee puzzelstukjes die slechts in één oriëntatie passen. Een team onderzoekers aan de Florida State University heeft nu een nieuwe, flexibelere versie van deze chirurgie ontwikkend die werkt op de gladde randen van deze data-eilanden, wat de deur opent naar een veel breder scala aan berekeningen.

De onderzoekers, Grace Ding, Yanzhu Chen en Sheng-Jie Huang, richtten zich op een generalisatie van de standaard surface code die wiskundige groepen gebruikt om de data te organiseren. Terwijl de gewone surface code vertrouwt op een eenvoudig tweetoestandssysteem, kunnen deze groep-surface codes complexere structuren aan, inclusief structuren die niet de gebruikelijke regels van commutativiteit volgen waarbij de volgorde van operaties uitmaakt. De centrale prestatie van het team is een nieuw protocol voor het samenvoegen en splitsen van deze complexe codepatches langs hun gladde grenzen. Ze toonden aan dat wanneer twee dergelijke patches worden samengevoegd, de operatie niet alleen controleert of de data overeenkomt; het voert een specifieke meting uit die de gecombineerde informatie sorteert in afzonderlijke categorieën, of cosets, gebaseerd op de wiskundige relatie tussen de twee groepen.

Deze nieuwe methode werkt als een krachtig filter. Wanneer de onderzoekers twee patches samenvoegen, meet het systeem een specifieke eigenschap van hun gecombineerde staat. Afhankelijk van de resultaten wordt de informatie geprojecteerd in een specifieke subspace, waardoor een specifieke logische uitkomst wordt geselecteerd terwijl de delicate kwantumrelaties binnen die selectie behouden blijven. Als de patches overeenkomen met de standaard, eenvoudige surface code, reduceert deze operatie tot de bekende pariteitscontrole die in huidige systemen wordt gebruikt. Echter, wanneer de patches complexere groepen bevatten, wordt de operatie een gegeneraliseerde meting die tussen veel meer mogelijkheden kan onderscheiden. Het team bewees dat dit proces werkt, zelfs wanneer de twee patches gebaseerd zijn op verschillende wiskundige groepen, wat een hybride interface mogelijk maakt die voorheen onmogelijk was.

Om deze theorie praktisch te maken, ontwikkelden de onderzoekers expliciete circuits om deze metingen uit te voeren en creëerden zij procedures om fouten te herstellen die onvermijdelijk optreden tijdens het proces. In een echte kwantumcomputer leveren metingen niet altijd het perfecte, verwachte resultaat op. Het team liet zien hoe deze niet-ideale uitkomsten gedetecteerd kunnen worden en hoe correcties parallel kunnen worden toegepast, waardoor meerdere fouten tegelijk worden hersteld in plaats van één voor één. Deze parallelle correctie is cruciaal voor snelheid en efficiëntie, omdat het voorkomt dat men moet wachten op een traag, sequentieel reparatieproces dat meer fouten zou kunnen laten accumuleren. Ze gebruikten een wiskundig raamwerk dat bekend staat als een tensornetwerk om deze circuits in kaart te brengen, wat een duidelijk blauwdruk biedt voor hoe de fysieke operaties op een chip moeten worden gerangschikt.

De ware kracht van deze nieuwe chirurgie wordt duidelijk wanneer men kijkt naar wat het kan bouwen. Het team illustreerde hun raamwerk door protocollen te ontwerpen voor het creëren van "magic states", speciale bronnen die vereist zijn om de moeilijkste soorten berekeningen uit te voeren die standaard foutcorrectiecodes niet alleen kunnen afhandelen. Ze toonden aan hoe de middelen nodig voor de T-gate, de controlled-Z gate, de Toffoli gate en de CS gate gegenereerd kunnen worden. Deze poorten zijn essentieel voor het bereiken van universele kwantumcomputatie, wat betekent het vermogen om elk algoritme uit te voeren. Opmerkelijk genoeg kunnen hun protocollen deze geavanceerde bronnen produceren die gecodeerd zijn in standaard, eenvoudige surface code patches, waarbij de complexere groepscodes slechts als tijdelijke helpers tijdens het proces worden gebruikt.

Dit werk suggereert een significante uitbreiding van de gereedschapskist die beschikbaar is voor kwantumcomputing. Door het bereik van logische operaties die via lattice surgery kunnen worden uitgevoerd te verbreden, hebben de onderzoekers een pad geboden om gecodeerde informatie vrijer te manipuleren. Hun bevindingen wijzen erop dat door zorgvuldig te kiezen hoe verschillende typen codepatches aan elkaar worden gekoppeld, wetenschappers complexe logische poorten kunnen implementeren en noodzakelijke bronnen kunnen voorbereiden met een beheersbare overhead. Hoewel het artikel zich richt op de theoretische constructie en de logische afleiding van deze protocollen, legt het de basis voor toekomstige numerieke simulaties om te testen hoe goed deze methoden standhouden tegen ruis in realistische omstandigheden. Het vermogen om deze operaties op gladde grenzen uit te voeren, in plaats van beperkt te zijn tot ruwe grenzen, biedt een nieuwe vrijheidsgraad bij het ontwerpen van fouttolerante kwantumcomputers, wat de weg naar bruikbare kwantummachines potentieel duidelijker en directer maakt.