Efficient Quantum Circuits for Electronic Hamiltonian Simulation without Pauli Expansion

In hun zoektocht naar het begrijpen van de materiële wereld, richten wetenschappers zich vaak op het gedrag van elektronen, de minuscule deeltjes die rond de kernen van atomen draaien. Om te voorspellen hoe deze elektronen interageren en moleculen vormen, vertrouwen onderzoekers op complexe wiskundige modellen die bekend staan als Hamiltonians. Het simuleren van deze modellen is een fundamentele uitdaging in de natuurkunde en chemie, maar het is ook een van de meest veelbelovende toepassingen voor quantumcomputers. In tegen tegenstelling tot klassieke computers, die informatie verwerken in bits die ofwel nul of één zijn, gebruiken quantumcomputers qubits die tegelijkertijd in meerdere toestanden kunnen bestaan. Deze unieke capaciteit stelt hen in staat om de quantumaard van elektronen direct na te bootsen. Het vertalen van de vergelijkingen die het elektronengedrag beschrijven naar instructies die een quantumcomputer kan volgen, is echter traditioneel een onhandig proces geweest. De standaardmethode houdt in dat de complexe interacties tussen elektronen wordt afgebroken in een lange lijst van eenvoudigere, rigide componenten. Hoewel deze aanpak werkt, verhult het vaak de diepere, meer elegante patronen die inherent zijn aan de oorspronkelijke vergelijkingen, wat leidt tot circuits die onnodig groot zijn en foutgevoelig zijn.

Een team onderzoekers van RIKEN en de Universiteit van Tokio heeft een nieuwe manier ontwikkeld om dit probleem te navigeren, wat een efficiënter pad biedt voor het simuleren van elektronische systemen. In plaats van de elektronvergelijkingen af te breken in die rigide, vereenvoudigde componenten, kozen de onderzoekers ervoor om de oorspronkelijke structuur zo lang mogelijk intact te houden. Ze concentreerden zich op specifieke paren wiskundige termen die van nature in de vergelijkingen voorkomen, door deze te behandelen als verenigde blokken in plaats van afzonderlijke stukken. Door deze grotere structuren te behouden, waren zij in staat om quantumcircuits te ontwerpen die aanzienlijk compacter zijn en veel minder operaties vereisen om uit te voeren. Deze methode vermijdt een veelvoorkomende bron van fouten die de traditionele aanpak teistert, waarbij vaak benaderingen nodig zijn om de berekeningen beheersbaar te maken.

De kern van deze nieuwe strategie omvat een techniek genaamd ladder-string-pair diagonalisatie. In de traditionele methode zouden wetenschappers de wiskundige beschrijving van de beweging van een elektron nemen en deze uitbreiden naar een lange keten van basislogische poorten, vergelijkbaar met het vertalen van een gedicht naar een woordenboek van individuele woorden en vervolgens proberen de betekenis woord voor woord te reconstrueren. Dit proces verbergt vaak het ritme en de flow van de oorspronkelijke tekst. De nieuwe aanpak erkent echter dat bepaalde paren termen in de elektronvergelijkingen van nature aan elkaar gelinkt zijn. Door deze paren te identificeren en ze samen te behandelen, kunnen de onderzoekers een circuit construeren dat de natuurlijke relaties tussen de onderdelen respecteert. Dit stelt hen in staat om specifieke transformaties te gebruiken die de toestand van de quantumcomputer op een manier voorbereiden die perfect aansluit bij het probleem, in plaats van het probleem te dwingen in een vooraf bestaande, rigide mal te passen.

Toen de onderzoekers deze methode toepasten op het meest algemene geval van elektroninteracties, ontdekten zij dat hun nieuwe circuits opmerkelijk efficiënt waren. Voor een specifiek type interactie waarbij twee elektronen bewegen tussen vier verschillende locaties, zou de traditionele methode de quantumcomputer vereisen om zestien afzonderlijke, onderscheidende instructies te verwerken. In contrast hiermee behandelt de nieuwe methode deze zelfde interactie als een enkele, samenhangende eenheid. Deze consolidatie betekent dat de computer niet de extra stappen hoeft uit te voeren die nodig zijn om de som van die zestien delen te benaderen, waardoor een laag van fouten die gewoonlijk tijdens de berekening oploopt, effectief wordt geëlimineerd. Het resulterende circuit is niet alleen korter, maar ook nauwkeuriger omdat het niet vertrouwt op de stapsgewijze benaderingen die de oudere methode vereist.

De winst in efficiëntie wordt nog spectaculairder wanneer de onderzoekers groepen van deze interacties samen bekijken. Zij ontdekten dat drie gerelateerde elektroninteracties, die dezelfde set locaties delen, een natuurlijke groep vormen die als een enkele eenheid geoptimaliseerd kan worden. Wanneer deze drie gezamenlijk worden behandeld, vallen veel van de complexe schakeloperaties die de quantumcomputer vereist, tegen elkaar weg. In een specifiek voorbeeld uit de studie werd aangetoond dat deze groepering het aantal vereiste schakeloperaties reduceerde van zesendertig naar slechts twaalf. Dit is een enorme reductie in de werklast voor de quantumprocessor, wat cruciaal is omdat elke operatie een kans toevoegt dat ruis en fouten de berekening verstoren.

Bovendien toonden de onderzoekers aan dat deze optimalisatie kan worden opgeschaald. Door een sequentie van deze groepen in een specifieke volgorde te rangschikken, ontdekten zij dat de besparingen door de hele berekening heen konden resoneren. Voor een systeem met een groot aantal elektronlocaties vereist de traditionele methode een aantal operaties dat kwadratisch groeit, wat betekent dat de hoeveelheid werk snel toeneemt naarmate het systeem groter wordt. De nieuwe methode vermindert deze groei echter tot een lineaire snelheid, waarbij de hoeveelheid werk slechts in directe verhouding tot de grootte van het systeem toeneemt. Deze verschuiving van een kwadratische naar een lineaire schaling suggereert dat de nieuwe aanpak het haalbaar kan maken om veel grotere en complexere moleculen te simuleren dan voorheen mogelijk werd geacht met de huidige quantumhardware.

De studie behandelde ook hoe deze simulaties te besturen zijn, een noodzakelijke stap voor veel geavanceerde quantumalgoritmen. Zij demonstreerden dat het toevoegen van een controlemechanisme aan hun nieuwe circuits eenvoudig is, waarbij slechts een eenvoudige aanpassing aan de bestaande structuur nodig is. Daarnaast ontdekten zij dat voor systemen waar de elektroninteracties worden beschreven door reële getallen in plaats van complexe getallen, de circuits nog verder vereenvoudigd kunnen worden. In deze gevallen kunnen de operaties in een achter-aan-elkaar configuratie worden gerangschikt, wat een nog grotere reductie in het aantal schakeloperaties mogelijk maakt, waarbij in totaal slechts acht operaties nodig zijn voor een specifieke complexe gate.

Uiteindelijk biedt dit werk een systematische route naar een efficiëntere simulatie van elektronische Hamiltonians. Door te weigeren het probleem af te breken in zijn kleinste, meest rigide onderdelen, hebben de onderzoekers de hoogwaardige structuur van de natuurkunde die zij proberen te simuleren, behouden. Deze bewaring maakt een veel bredere scope van optimalisatie mogelijk, waarbij zijnelingen en efficiënties onthult die onzichtbaar zijn wanneer het probleem door de lens van de traditionele, uitgebreide aanpak wordt bekeken. Het resultaat is een set quantumcircuits die niet alleen kleiner zijn, maar fundamenteel beter geschikt zijn voor de taak om de quantumwereld te modelleren, wat een helderder en directer pad biedt naar het begrijpen van het gedrag van materie op haar meest fundamentele niveau.