Feasibility of Distributed Fault-Tolerant Quantum Computing: From Quantum Links to Algorithms

Het bouwen van een praktische kwantumcomputer is een van de meest ambitieuze doelen in de moderne wetenschap, met de belofte problemen op te lossen die voor de huidige supercomputers duizenden jaren zouden duren. De weg naar deze toekomst wordt echter geblokkeerd door een eenvoudige fysieke realiteit: de machines zijn ongelooflijk moeilijk te bouwen. Om een kwantumcomputer krachtig genoeg te maken om nuttig te zijn, moeten wetenschappers miljoenen minuscule deeltjes, genaamd qubits, met elkaar verbinden. Momenteel kunnen de meest geavanceerde apparaten slechts enkele honderden of enkele duizenden van deze deeltjes bevatten. De uitdaging is dat naarmate je probeert meer qubits in een enkele machine te proppen, de koelsystemen, bedrading en besturingselektronica te groot en complex worden om binnen een enkele laboratoriumopstelling te beheren. Het is also려 het proberen te passen van het volledige elektriciteitsnet van een stad in een enkel huis; de ruimte en middelen raken simpelweg op.

Om dit op te lossen, hebben onderzoekers een andere aanpak voorgesteld: in plaats van één gigantische machine te bouwen, zouden ze veel kleinere machines kunnen bouwen en deze met elkaar verbinden. Dit idee, bekend als gedistribueerde kwantumcomputing, houdt in dat aparte kwantumprocessors via een netwerk worden verbonden, waardoor ze als één massief systeem kunnen werken. Het nadeel is dat deze processors informatie onmiddellijk en perfect moeten delen, wat een speciaal type verbinding vereist dat een verstrengelde link (entangled link) wordt genoemd. Het creëren van deze links tussen verre machines is technisch zeer moeilijk, en tot nu toe was het onduidelijk of de communicatielinks perfect zouden moeten zijn om het systeem te laten werken, of dat het systeem enige imperfecties zou kunnen tolereren.

Een team van onderzoekers heeft nu nauwkeurig in kaart gebracht hoe zo's een gedistribueerd systeem zou functioneren, waarbij de grenzen van de huidige technologie worden afgewogen tegen de behoeften van complexe berekeningen. Ze hebben niet alleen de theorie van het idee uitgewerkt; ze hebben een gedetailleerde simulatie gebouwd die de reis van informatie volgt, van het moment dat twee verre machines proberen te verbinden, door het proces van het opschonen van fouten in die verbinding, tot aan de uitvoering van een echt wiskundig probleem. Hun werk onthult een verrassende afruil: het is mogelijk om een massieve, fouttolerante kwantumcomputer te bouwen met slechts één communicatiekanaal tussen elke node, maar dat gaat ten koste van de snelheid.

De onderzoekers richtten zich op supergeleidende kwantumprocessors, die momenteel tot de meest geavanceerde soorten kwantumhardware behoren. Ze modelleerden twee verschillende manieren waarop deze processors met elkaar kunnen communiceren: met behulp van microgolfsignalen, die goed reizen over korte afstanden, en met behulp van optisch licht, dat beter is voor lange afstanden maar momenteel meer ruis en verlies met zich meebrengt. Ze begonnen met het berekenen hoeveel "verstrengelde paren" deeltjes — in feite de grondstof voor communicatie — per seconde gegenereerd kunnen worden met realistische hardware. Ze ontdekten dat terwijl microgolfverbindingen potentieel een miljoen van deze paren per seconde kunnen genereren, optische verbindingen er misschien slechts duizend zouden kunnen beheren, en dat alleen als de technologie aanzienlijk verbetert.

Zodra deze ruwe verbindingen tot stand zijn gekomen, zijn ze vaak te luidruchtig om direct voor berekeningen te worden gebruikt. De onderzoekers simuleerden een proces genaamd distillatie (distillation), waarbij meerdere ruisige verbindingen worden gecombineerd om een enkele, hoogwaardige verbinding te produceren. Deze stap is cruciaal omdat het het systeem in staat stelt te werken, zelfs als de initiële links imperfect zijn. Deze zuiveringsprocedure kost echter tijd en verbruikt middelen. Het team ontdekte dat als de initiële verbindingssnelheid te laag is, de wachttijd voor een schone link zo lang wordt dat de kwantuminformatie in de processors vervaagt voordat deze gebruikt kan worden. Dit stelt een harde limiet: om het systeem efficiënt te laten werken, moeten de fysieke links de verstrengelde paren met een snelheid van minstens honderdduizend per seconde genereren, een drempel die momenteel haalbaar is met microgolftechnologie, maar die voor optische verbindingen nog een verre doelstelling is.

Met deze hardwarebeperkingen in het achterhoofd, ging het team over naar de volgende fase: het genereren van "logische" verbindingen. Dit zijn de foutgecorrigeerde links die de eigenlijke kwantumalgoritmen gebruiken. Ze vergeleken twee methoden voor het creëren van deze links. De ene methode, bekend als lattice surgery, vereist een zeer hoog aantal gelijktijdige verbindingen en extreem hoogwaardige links. De andere methode, genaamd state injection, is flexibeler en kan werken met minder verbindingen en luidruchtigere links, hoewel het meer complexe verwerking vereist om de fouten op te schonen. Hun simulaties toonden aan dat de injectiemethode veel vergevingsgezinder is. Het stelt het systeem in staat te functioneren, zelfs als de fysieke links niet perfect zijn, mits er genoeg tijd is om de fouten te verwerken.

Ten slotte testten de onderzoekers hoe deze hardwarebeperkingen de werkelijke snelheid van het draaien van een kwantumalgoritme zouden beïnvloeden. Ze simuleerden het uitvoeren van standaard wiskundige taken, zoals het ontbinden van grote getallen of het schatten van de energie van moleculen, over een netwerk van tien afzonderlijke kwantumprocessors. De resultaten waren duidelijk en kwantificeerbaar. Door het werk te verdelen over tien nodes, konden ze het aantal fysieke deeltjes dat in elke individuele machine nodig is, met een factor tien verminderen. Dit is een enorme opluchting voor ingenieurs, aangezien het betekent dat elke machine kleiner, gemakkelijker te koelen en eenvoudiger te bouwen kan zijn. Echter, dit voordeel kwam met een boete: de totale tijd om de berekening te voltooien, nam met ongeveer tien keer toe.

De studie concludeert dat gedistribueerde kwantumcomputing haalbaar is, zelfs met beperkte communicatieresurces. Een systeem met slechts één communicatiekanaal per node kan de noodzakelijke berekeningen uitvoeren, mits de hardware verstrengelde paren met een snelheid van ongeveer één miljoen per seconde kan genereren met een hoge getrouwheid (fidelity). Als de hardware trager of luidruchtiger is, kan het systeem nog steeds werken, maar de wachttijden groeien en de totale computationele tijd wordt aanzienlijk langer. Om het systeem net zo snel te laten draaien als een enkele, gigantische machine, zouden de communicatielinks veel superieur moeten zijn, wat honderden parallelle kanalen en bijna perfecte getrouwheid vereist, wat momenteel buiten ons technologische bereik ligt.

Dit werk biedt een realistisch stappenplan voor de toekomst. Het laat zien dat we niet hoeven te wachten op perfecte, foutloze kwantumverbindingen om een nuttige gedistribueerde kwantumcomputer te bouwen. In plaats daarvan kunnen we kleinere, beheersbare machines bouwen en deze verbinden met de huidige of nabije technologie, waarbij we accepteren dat de berekeningen langer zullen duren. De onderzoekers hebben precies gekwantificeerd hoe veel langer dat zal duren en welke specifieke verbeteringen in communicatiesnelheid en -kwaliteit nodig zijn om die berekeningen sneller te maken. Hun bevindingen suggereren dat de weg vooruit niet één enkele sprong naar perfectie is, maar een reeks beheersbare stappen waarbij hardwarebeperkingen en algoritmisch ontwerp in balans worden gebracht om praktische resultaten te bereiken.