NetQMPI: An MPI-Inspired library for programming Distributed Quantum Applications over Quantum Networks using NetQASM SDK

Quantum computing belooft problemen op te lossen die voor klassieke computers duizenden jaren zouden duren om te kraken, maar de machines die we vandaag de dag hebben zijn klein en fragiel. Ze worden beperkt door het aantal minuscule deeltjes, genaamd qubits, die stabiel genoeg gehouden kunnen worden om berekeningen uit te voeren. Om een machine te bouwen die krachtig genoeg is om reële uitdagingen aan te pakken, kijken wetenschappers naar een andere aanpak: het verbinden van vele kleine kwantumprocessors om samen als één gigantische supercomputer te fungeren. Dit concept, bekend als gedistribueerde quantum computing, vertrouwt op een kwantumnetwerk om deze afzonderlijke apparaten te koppelen. Het bouwen van een dergelijk netwerk is echter ongelooflijk moeilijk omdat de informatie die tussen machines wordt doorgegeven niet gemakkelijk kan worden gekopieerd of opgeslagen, en de verbindingen vereisen een delicate dans van het genereren van gedeelde kwantumtoestanden en het synchroniseren van timing met perfecte precisie.

Voor onderzoekers die proberen software te schrijven voor deze toekomstige netwerken, zijn de huidige hulpmiddelen frustrerend moeilijk. Bestaande programmeermethoden dwingen ontwikkelaars om als low-level engineers te handelen, waarbij ze elke individuele stap van het verbindingsproces handmatig moeten beheren. Ze moeten de computer expliciet vertellen hoe ze een link tussen twee machines creëren, wachten tot die link gevormd is, de resultaten meten, correctiesignalen via een klassiek kanaal verzenden, en vervolgens correcties toepassen op de kwantumdata. Dit proces is luidruchtig en foutgevoelig, wat betekent dat naarmate het netwerk groter wordt, de code exponentieel complexer en moeilijker te onderhouden wordt. Het is een barrière die wetenschappers verhindert zich te concentreren op de eigenlijke algoritmen die ze willen uitvoeren, waardoor ze in plaats daarvan gevangen raken in de mechanica van de hardware.

Om dit op te lossen, heeft een team van onderzoekers een nieuw softwareframework ontwikkeld genaamd NetQMPI. Dit hulpmiddel is ontworpen om het programmeren van gedistribueerde kwantumtoepassingen even eenvoudig te maken als het schrijven van een standaard computerprogramma voor een cluster van klassieke machines. De onderzoekers hebben NetQMPI gebouwd om bovenop bestaande, rigoureuze simulatietools te liggen, waarbij het fungeert als een vertaler die de rommelige details van het fysieke netwerk verbergt. In plaats van de programmeur te dwingen voor elke machine in het netwerk afzonderlijke instructies te schrijven, stelt NetQMPI hen in staat om één enkel script te schrijven dat gelijktijdig op alle machines draait. In deze opstelling kent elke machine zijn eigen unieke ID-nummer, waardoor het enkele script automatisch kan bepalen welke rol het moet spelen — of het nu de hoofdcontroller is of een ontvangende node — zonder dat de programmeur voor elk apparaat verschillende code hoeft te schrijven.

De kerninnovatie van dit werk is de introductie van high-level commando's die de complexe fysica automatisch afhandelen. Op de oude manier vereiste het verplaatsen van een stuk kwantuminformatie van de ene machine naar de andere een protocol met meerdere stappen, bestaande uit het creëren van verstrengelde paren, lokale metingen en de transmissie van klassieke databits. Met NetQMPI geeft een programmeur simpelweg een commando om een qubit naar een specifieke bestemming te sturen, en de software handelt de gehele onderliggende sequentie van gebeurtenissen af. De onderzoekers hebben ook een speciale set commando's geïntroduceerd voor operaties die meerdere machines tegelijk betreffen. Omdat de wetten van de fysica het kopiëren van een onbekende kwantumtoestand verbieden, konden ze informatie niet simpelweg naar iedereen uitzenden (broadcasten). In plaats daarvan creëerden ze een methode om een kwantumtoestand te "exponeren", waardoor deze conceptueel beschikbaar komt voor alle verbonden machines voor een gezamenlijke berekening zonder dat deze ooit fysiek gekopieerd wordt, en vervolgens de toestand weer te "unexponeren" om het systeem na voltooiing van het werk terug te brengen naar een normale staat.

Het team heeft hun framework getest door de creatie van een sterk verstrengelde toestand, bekend als een Greenberger–Horne–Zeilinger-toestand, te simuleren over een netwerk van meerdere nodes. Dit is een standaardtest voor kwantumnetwerken, vergelijkbaar met een "hello world"-programma voor klassieke computing, maar het vereist nauwkeurige coördinatie tussen alle deelnemers. Wanneer zij hun nieuwe tool vergeleken met bestaande software, was het verschil in complexiteit treffend. Bij het gebruik van de oudere, low-level tools groeide de hoeveelheid code die nodig was om het netwerk en de logica op te zetten snel naarmate er meer machines werden toegevoegd; het toevoegen van een vierde machine betekende het schrijven van volledig nieuwe bestanden en het dupliceren van grote blokken code. In contrast hiermee bleef de NetQMPI-code exact even groot, ongeacht hoeveel machines er in het netwerk zaten. De onderzoekers ontdekten dat door hun single-program approach te gebruiken, de complexiteit van het schrijven van de software daalde van een niveau dat meegroeide met het kwadraat van het aantal machines naar een constant niveau dat helemaal niet veranderde.

Dit werk beweert niet dat zij een fysiek kwantumnetwerk hebben gebouwd of deze programma's al op echte hardware hebben gedraaid. In plaats daarvan hebben de onderzoekers aangetoond dat hun software correct werkt wanneer deze wordt uitgevoerd op high-fidelity simulators die het gedrag van echte kwantumapparaten met grote nauwkeurigheid modelleren. Deze simulaties bevatten de ruis en imperfecties die in de werkelijke fysica voorkomen, wat bewijst dat het framework de realistische omstandigheden kan aan. Het resultaat is een brug tussen de abstracte ideeën van kwantumalgoritmen en de rigide vereisten van fysieke hardware. Door de moeilijke details van verstrengelingsgeneratie en synchronisatie te abstraheren, stelt NetQMPI ontwikkelaars in staat zich te concentreren op de logica van hun toepassingen. Deze verschuiving suggereert dat wanneer kwantumnetwerken uiteindelijk een realiteit worden, de software die nodig is om ze te draaien beheersbaar en schaalbaar zal zijn, in plaats van een onbeheersbare wirwar van low-level instructies.