Fault-tolerant embedding of quantum circuits on hardware architectures via swap gates

Quantumcomputers beloven problemen op te lossen die klassieke machines er duizenden jaren over zouden doen om te voltooien, maar ze worden geconfronteerd met een hardnekkige fysieke hindernis. Om te kunnen werken, moeten deze machines delicate operaties uitvoeren tussen paren van minuscule deeltjes die qubits worden genoemd. In een ideale wereld zou elke qubit direct met elke andere qubit kunnen communiceren. In de echte wereld hebben de chips die we vandaag de dag bouwen echter strikte architecturale beperkingen; een qubit kan meestal alleen interageren met zijn directe buren. Wanneer een berekening vereist dat twee verre qubits samenwerken, moet de informatie die zij dragen over de chip worden verplaatst om elkaar te ontmoeten. Dit gebeurt met behulp van een specifieke operatie genaamd een 'swap', die de toestanden van twee qubits uitwisselt, waardoor de data effectief langs een lijn van tussenliggende deeltjes wordt geschoven totdat het juiste paar elkaar ontmoet.

De uitdaging is dat deze echte swaps niet perfect zijn. Terwijl een theoretische swap simpelweg informatie van de ene plek naar de andere verplaatst, introduceert een fysieke swap ruis en kan het ervoor zorgen dat fouten zich door de schakeling verspreiden. Dit is een cruciaal probleem voor fouttolerante computing, een methode die is ontworpen om berekeningen correct te laten verlopen, zelfs wanneer individuele componenten falen. Als het proces van het verplaatsen van data de manier waarop fouten zich gedragen verandert, kan dit precies de veiligheidsmechanismen breken die de berekening beschermen. Onderzoekers bij Entropica Labs en Yale-NUS College hebben nu een manier aangetoond om data over deze beperkte chips te verplaatsen zonder het fouttolerante veiligheidsnet te breken. Ze vonden een eenvoudige set regels voor hoe deze swaps uitgevoerd kunnen worden die de foutcorrigerende eigenschappen van het oorspronkelijke plan behouden, waardoor complexe kwantumschakelingen op de huidige hardware kunnen draaien zonder dat een volledig nieuw ontwerp nodig is.

De kern van het probleem ligt in de manier waarop fouten door een kwantumschakeling reizen. In een perfect theoretisch model zijn fouten geïsoleerd en beheersbaar. Maar wanneer onderzoekers proberen deze modellen op werkelijke hardware uit te voeren, moeten ze swap-gates invoegen om qubits naar de juiste locaties te routeren. Deze echte swaps zijn luidruchtig; ze kunnen nieuwe fouten introduceren of een fout op één qubit kunnen besmetten met zijn buurman. Als het patroon van deze fouten te veel verandert, kan de foutcorrigerende code, die is ontworpen om specifieke soorten fouten te herstellen, falen. De onderzoekers vroegen zich af of het mogelijk was om een routeringsstrategie te ontwerpen die de qubits verplaatst, maar de foutpatronen er precies zo uit laat zien als in de ideale, ongeconnecteerde versie van de schakeling.

Om dit te beantwoorden, ontwikkelde het team een strategie die de manier waarop swaps worden uitgevoerd beperkt. Ze identificeerden twee specifieke soorten bewegingen die veilig zijn om te gebruiken. Het eerste type betreft het wisselen van een qubit die data draagt met een lege qubit die alleen voor transport wordt gebruikt. Het tweede type betreft het wisselen van twee data-dragende qubits die samen een berekening gaan uitvoeren. Door de routering te beperken tot alleen deze twee soorten bewegingen, toonden de onderzoekers aan dat alle fouten die door de swaps worden geïntroduceerd, wiskundig behandeld kunnen worden alsof het slechts extra, geïsoleerde fouten op de data-qubits zelf zijn. Dit betekent dat de foutcorrigerende code hetzelfde patroon van problemen ziet dat het was ontworpen om te verwerken, ook al is de schakeling fysiek herschikt. Het complexe web van fouten veroorzaakt door het verplaatsen van data wordt effectief "geabsorbeerd" in het standaard foutmodel, waardoor het zelfcorrigerend vermogen van de schakeling behouden blijft.

Het team testte dit idee door de implementatie van een populaire foutcorrectiemethode, bekend als de surface code, te simuleren op twee verschillende soorten hardwarelay-outs: een heavy-hexagonal lattice en een standaard hexagonal lattice. Deze lay-outs vertegenwoordigen de fysieke verbindingen die men vindt in echte kwantumprocessors, zoals die van IBM. In hun simulaties introduceerden ze willekeurige fouten bij elke stap van het proces, inclusief de swap-gates, om te zien hoe goed het systeem standhield. Ze vergeleken de prestaties van hun nieuwe routeringsstrategie met een theoretisch ideaal waarbij geen swaps nodig waren. De resultaten toonden aan dat hoewel de fysieke schakeling met de swaps inderdaad luidruchtiger was, de fundamentele manier waarop deze met fouten omging, intact bleef. De relatie tussen de snelheid van fysieke fouten en de snelheid van logische fouten bleef consistent, wat bewees dat het fouttolerante karakter van de code behouden bleef.

De simulaties onthulden een specifieke prijs voor het gebruik van deze methode. De extra ruis die door de swap-gates werd geïntroduceerd, betekende dat de fysieke foutensnelheid lager moest zijn voor het systeem om effectief te werken vergeleken met het ideale scenario. Voor de heavy-hexagonal layout was de effectieve ruis ongeveer 3,6 keer hoger dan de ruwe fysieke ruis, terwijl deze voor de hexagonal layout ongeveer 1,25 keer hoger was. Ondanks deze toename stelden de onderzoekers vast dat het systeem nog steeds een duidelijke drempel vertoonde: onder een bepaald niveau van fysieke ruis werkte de foutcorrectie, en boven dat niveau faalde het systeem. Dit drempelgedrag is het kenmerk van een succesvol fouttolerant systeem. Het feit dat de curves voor de fysieke en ideale schakelingen in vorm en helling overeenkwamen, bevestigde dat de routeringsstrategie de onderliggende logica van de foutcorrectie niet brak.

Dit werk biedt een rechtstreeks pad naar het draaien van complexe kwantumalgoritmen op de huidige beperkte hardware. Voorheen vereiste het aanpassen van een schakeling aan een specifieke chip vaak het herontwerpen van het algoritme zelf of het accepteren dat de foutcorrectie zou falen. Nu kunnen onderzoekers een abstracte schakeling die ontworpen is voor een perfecte machine, in kaart brengen op een echt apparaat met behulp van deze specifieke swap-regels, met de zekerheid dat de veiligheidsmechanismen nog steeds zullen functioneren. De studie suggereert dat hoewel de hardware imperfect is, de manier waarop we informatie verplaatsen dat niet hoeft te zijn. Door de routering eenvoudig en beperkt te houden, hebben de onderzoekers aangetoond dat we de kloof kunnen overbruggen tussen theoretische kwantumcomputing en de fysieke machines die we vandaag de dag kunnen bouwen, zonder de betrouwbaarheid op te offeren die nodig is om echte problemen op te lossen.