Analyzing Common Electronic Structure Theory Algorithms for Distributed Quantum Computing

De zoektocht naar het begrijpen van hoe atomen binden om moleculen te vormen, is een van de meest fundamentele uitdagingen in de wetenschap. Om dit te doen, lossen onderzoekers een complex wiskundig probleem op dat bekend staat als de Schrödinger-vergelijking, die het gedrag beschrijft van elektronen die rondom atoomkernen tollen. Decennialang hebben wetenschappers vertrouwd op krachtige klassieke computers om deze oplossingen te benaderen, maar naarmate moleculen groter en complexer worden, worden de berekeningen zo immens dat zelfs de snelste supercomputers ter wereld moeite hebben. Dit is waar quantum computing in beeld komt. In tegenstelling tot klassieke computers die informatie verwerken in bits, gebruiken quantumcomputers quantum bits, of qubits, die zich tegelijkertijd in meerdere toestanden kunnen bevinden. Deze unieke eigenschap biedt het potentieel om chemische reacties te simuleren met een snelheid en nauwkeurigheid die klassieke machines niet kunnen evenaren, wat veelbelovende doorbraken in medicijnontdekking en materiaalkunde belooft. De huidige quantummachines zijn echter nog klein en foutgevoelig, en beschikken slechts over een handvol qubits. Om echte chemische problemen aan te pakken die honderden of duizenden qubits vereisen, verkennen onderzoekers een strategie genaamd distributed quantum computing (gedistribueerde quantumcomputing). Deze aanpak houdt in dat een enorme berekening wordt opgesplitst over verschillende kleinere quantumapparaten, die aan elkaar worden gekoppeld om als één grotere machine te werken.

Een team onderzoekers aan de Universiteit van Toronto heeft dit idee onlangs op de proef gesteld door vijf populaire methoden te onderzoeken die worden gebruikt om chemische structuren te simuleren op quantumcomputers. Hun doel was om te bepalen of deze specifieke algoritmen effectief konden worden opgesplitst en uitgevoerd over meerdere apparaten met behulp van een techniek genaamd circuit cutting (circuit-snijden). In dit proces wordt een enkel quantumcircuit in kleinere stukken gesneden die op aparte machines kunnen worden uitgevoerd, waarna de resultaten later weer aan elkaar worden geplakt. De onderzoekers concentreerden zich op een specifieke manier om dit te doen, genaamd lokale operaties, wat berust op het feit dat de apparaten onafhankelijk van elkaar werken zonder dat er tijdens de berekening complexe signalen heen en weer gestuurd hoeven te worden. Ze testten deze methoden op een eenvoudig molecuul, waterstof, en schaalden dit vervolgens op naar langere ketens van waterstofatomen om te zien hoe de moeilijkheidsgraad toenam. De studie werd uitgevoerd via gedetailleerde computersimulaties, aangezien de onderzoekers niet over toegang beschikten tot een netwerk van gekoppelde quantumcomputers dat groot genoeg was om de volledige experimenten zelf uit te voeren.

De resultaten van dit onderzoek waren onomwonden en onthulden een aanzienlijke hindernis voor de toekomst van gedistribueerde quantumchemie. De onderzoekers ontdekten dat vier van de vijf methoden die ze testten, die momenteel als standaardinstrumenten in het veld worden beschouwd, extreem inefficiënt zouden zijn als ze over meerdere apparaten zouden worden verdeeld. Wanneer ze probeerden de circuits van deze methoden door te snijden, explodeerde het aantal keren dat de experimenten uitgevoerd zouden moeten worden om een betrouwbaar antwoord te krijgen naar triljoenen, quadriljonen of zelfs nog hogere aantallen. Bijvoorbeeld, een van de meest gebruikte methoden zou, wanneer toegepast op een minuscuul waterstofmolecuul, de berekening ongeveer 1,5 keer 10 tot de macht 17 keer moeten uitvoeren om de nauwkeurigheid van een enkele run op een ongesneden machine te evenaren. Om dit in perspectief te plaatsen: als een enkele run één seconde duurde, zou de gedistribueerde versie langer duren dan het huidige universum bestaat. Deze enorme toename in de vereiste inspanning, bekend als sampling overhead, gebeurt omdat de manier waarop deze algoritmen zijn opgebouwd een web van verbindingen creëert dat niet gemakkelijk kan worden doorbroken zonder de essentiële informatie te verliezen die nodig is om het probleem op te lossen.

In contrast hiermee gedroeg de vijfde methode die zij onderzochten, bekend als de lokale unitaire cluster Jastrow ansatz, zich heel anders. Deze aanpak vertoonde een veel meer beheersbare groei in moeilijkheidsgraad naarmate de systeemgrootte toenam. Toen de onderzoekers dezelfde splitsingstechniek op deze methode toepasten, bleef het aantal extra runs dat nodig was klein en redelijk, zelfs terwijl ze grotere ketens van waterstofatomen simuleerden. Voor de grootste systemen die ze testten, was de overhead laag genoeg dat deze potentieel door huidige of nabije quantumhardware kan worden afgehandeld. Dit suggere anything dat hoewel de meest populaire algoritmen voor quantumchemie momenteel slecht geschikt zijn voor het verdelen over meerdere machines, er tenminste één pad vooruit is dat niet tegen een muur van exponentiële complexiteit aanloopt. De bevindingen wijzen erop dat de gemeenschap niet simpelweg bestaande quantumchemische software kan nemen en deze op een netwerk van kleine quantumcomputers kan draaien; de onderliggende wiskundige structuren van de meest voorkomende methoden zijn simpelweg te rigide om efficiënt uit elkaar te worden gehaald.

De studie concludeert dat voor gedistribueerde quantumcomputing een praktische realiteit te worden voor de chemie, wetenschappers geheel nieuwe algoritmen moeten ontwikkelen die vanaf de basis zijn ontworpen om te worden opgesplitst. De huidige "gouden standaard"-methoden, die goed werken op een enkele grote machine, falen wanneer ze in een gedistribueerd kader worden gedwongen omdat de kosten voor het weer samenvoegen van de gebroken stukken te hoog zijn. De onderzoekers benadrukken dat hun werk niet betekent dat gedistribueerde quantumcomputing onmogelijk is, maar dat de instrumenten die momenteel beschikbaar zijn niet de juiste zijn voor de klus. Door te identificeren welke methoden falen en welke belofte tonen, biedt dit onderzoek een duidelijke richting voor toekomstige ontwikkeling. Het suggereert dat de weg naar het oplossen van complexe chemische problemen op een netwerk van quantumapparaten het uitvinden van nieuwe manieren vereist om elektronengedrag te beschrijven, in plaats van te proberen oude methoden in een nieuwe architectuur te dwingen. De hoop is dat door de focus te leggen op methoden zoals de methode die goed presteerde in deze studie, het vakgebied uiteindelijk het volledige potentieel van gedistribueerde quantumkracht voor wetenschappelijke ontdekkingen kan ontsluiten.