Optimizing quantum encodings for analog simulation through dynamical algebra reachability

In hun zoektocht naar het begrijpen van het universum, richten wetenschappers zich vaak op kwantumcomputers: machines die de vreemde regels van de subatomaire wereld benutten om problemen op te lossen die te complex zijn voor elke klassieke supercomputer. Terwijl digitale kwantumcomputers taken afbreken in een sequentie van kleine, discrete stappen, kiezen analoge kwantumcomputers een ander pad. In plaats van een probleem in stukjes te hakken, bouwen ze een fysiek model dat het doel systeem direct nabootst, waardoor de machine op natuurlijke wijze door de tijd kan evolueren. Deze aanpak is bijzonder krachtig voor het bestuderen van hoe groepen deeltjes met elkaar interageren, zoals in de kern van een atoom of in nieuwe materialen. Er is echter een addertje onder het gras. De fysieke onderdelen van een analoge computer zijn niet oneindig flexibel; ze kunnen alleen op specifieke manieren duwen en trekken. Als de manier waarop een wetenschapper een probleem op de machine projecteert niet overeenkomt met deze natuurlijke bewegingen, kan de computer simpelweg het antwoord niet bereiken, ongeacht hoe lang hij draait of hoe nauwkeurig de controles worden afgesteld.

De kernuitdaging ligt in het vertaalproces. Om een fysiek systeem te simuleren, moeten onderzoekers het eerst coderen in de taal van de qubits van de computer, de basisunits van informatie. Er zijn veel manieren om deze vertaling te doen, en hoewel ze allemaal dezelfde onderliggende fysica beschrijven, verschillen ze drastisch in hoe goed ze passen bij de natuurlijke controles van de machine. Een slechte keuze van de codering kan de noodzakelijke dynamiek in een richting plaatsen die de hardware niet kan bereiken, waardoor de simulatie onmogelijk wordt. Een goede keuze kan het onmogelijke mogelijk maken. De vraag is hoe men de juiste vertaling vindt voordat het experiment begint, zonder dat men elke fysieke configuratie van de machine moet raden en testen.

Een onderzoeker heeft een nieuwe methode ontwikkeld om dit puzzelstuk op te lossen door te kijken naar de wiskundige "vorm" van het probleem en de mogelijkheden van de machine. Ze behandelen het doelprobleem en de controles van de computer als twee verschillende collecties richtingen in een hoogdimensionale ruimte. Het doel is om de representatie van het probleem te roteren totdat de richtingen er zo dicht mogelijk bij liggen als de richtingen waarin de machine daadwerkelijk kan bewegen. Dit gaat niet over het veranderen van de fysica van het probleem, die exact hetzelfde blijft, maar over het veranderen van het perspectief van waaruit het probleem wordt bekeken. Door de oriëntatie te vinden die het beste overeenkomt met de natuurlijke vermogens van de machine, kan de onderzoeker ervoor zorgen dat de simulatie niet tegen de hardware vecht.

Om dit idee te testen, paste de onderzoeker de methode toe op een specifiek probleem uit de kernfysica: het simuleren van een deuteron, een eenvoudig atoomkern bestaande uit één proton en één neutron. Ze gebruikten een model van een Rydberg-atoomcomputer, een type analoge machine waarbij atomen worden aangeslagen naar hoge energietoestanden en met elkaar interageren. Deze machines hebben een specifieke set controles: ze kunnen alle atomen tegelijk aansturen met een globaal signaal, hun energieniveaus aanpassen en de fase van het signaal veranderen. De onderzoeker berekende eerst de "bereikbare ruimte" van deze machine—de verzameling van alle mogelijke toestanden die de machine kan genereren met alleen deze globale controles, waarbij de specifieke rangschikking van de atomen even wordt genegeerd. Ze vergeleken deze bereikbare ruimte vervolgens met de wiskundige structuur van het deuteron-probleem.

De resultaten toonden een scherpe tweedeling tussen kleine en grotere systemen. Voor de kleinste versies van het probleem, waarbij drie of vier qubits betrokken waren, was de standaardmanier om het deuteron te coderen volledig niet afgestemd op de mogelijkheden van de machine. De wiskundige richtingen die nodig zijn om de kern te beschrijven, bestonden simpelweg niet binnen de set bewegingen die de machine kon maken. Geen enkele afstemming van de pulsen of aanpassing van de timing kon dit oplossen; de simulatie was fundamenteel geblokkeerd. Echter, toen de onderzoeker hun nieuwe optimalisatiemethode toepaste, vonden ze een andere manier om hetzelfde probleem te coderen. Deze nieuwe codering roteerde de wiskundige structuur zodanig dat deze perfect binnen de bereikbare ruimte van de machine paste. In simulaties stond deze verandering de machine toe om de exacte grondtoestand van het deuteron met perfecte nauwkeurigheid te bereiken, een prestatie die onmogelijk was met de standaardcodering.

Voor grotere systemen, waarbij tot acht qubits betrokken waren, werd het verhaal genuanceerder. Zelfs met de geoptimaliseerde codering kon de machine niet wiskundig gezien elke enkele richting bereiken die nodig is om de volledige complexiteit van de kern te beschrijven. De uitlijning was gedeeltelijk, niet perfect. Toch, wanneer de onderzoeker ook de fysieke rangschikking van de atomen liet variëren, kon de machine nog steeds de specifieke staat bereiken die ze wilden met extreem hoge precisie. Deze bevinding verduidelijkte een cruciaal onderscheid: hoewel het ideaal is dat de gehele wiskundige structuur van een probleem past bij de controles van de machine, is het niet strikt noodzakelijk om één specifieke staat voor te bereiden, zoals het laagste energieniveau. De fysieke interacties tussen de atomen, die afhangen van hun geometrie, bieden extra middelen die het wiskundige mismatch kunnen compenseren.

Het meest significante praktische voordeel van dit werk kwam naar voren toen de onderzoeker de geoptimaliseerde codering testte op verschillende fysieke lay-outs van de atomen. Bij het gebruik van de standaard, niet-geoptimaliseerde codering hing het succes van de simulatie sterk af van de specifieke rangschikking van de atomen; sommige lay-outs werkten goed, terwijl andere volledig faalden. In contrast hiermee werkte de enkele geoptimaliseerde codering, die werd bepaald zonder de specifieke lay-out te kennen, robuust over alle geteste arrangementen heen. Het produceerde consequent resultaten met een hoge getrouwheid, ongeacht hoe de atomen waren gespatieerd. Dit suggereert dat de nieuwe methode fungeert als een krachtige voorbereidende stap. Het stelt wetenschappers in staat om een representatie van hun probleem te kiezen die structureel compatibel is met de basiscontroles van de machine, nog voordat ze de fysieke details van het experiment beslissen.

Deze aanpak biedt een duidelijk pad voorwaarts voor analoge kwantumsimulatie. Het scheidt het probleem van "hoe de code te schrijven" van het probleem van "hoe de machine te bouwen". Door eerst de codering te optimaliseren, kunnen onderzoekers de meest fundamentele barrières voor succes wegnemen, en ervoor zorgen dat het probleem dat ze proberen op te lossen daadwerkelijk bereikbaar is voor de hardware die ze hebben. Hoewel de methode de noodzaak niet vervangt om de fysieke controles of de geometrie van de atomen fijn af te stemmen, neemt het de gok uit het initiële ontwerp. Het zorgt ervoor dat de simulatie op een stevige basis begint, waardoor de kans maximaliseert dat de complexe dans van kwantumdeeltjes succesvol kan worden nagebootst door de analoge computer.