Fast Hamiltonian engineering from cut polytope geometry

Kwantumcomputers beloven problemen op te lossen die onmogelijk zijn voor de huidige machines, maar ze zijn berucht fragiel. Om ze bruikbaar te maken, moeten wetenschappers het gedrag van complexe kwantumsystemen, zoals moleculen of nieuwe materialen, simuleren door een kwantumapparaat te programmeren om te handelen als het systeem dat ze willen bestuderen. Dit proces, bekend als Hamiltonian engineering, houdt in dat men een inheems apparaat dat van nature bepaalde interacties uitvoert, vormgeeft met een reeks controlepulsen om het gedrag te veranderen naar een andere, gewenste interactie. De uitdaging is dat deze controlepulsen tijd kosten om uit te voeren, en hoe langer een kwantumsysteem actief is, hoe groter de kans dat het zijn delicate kwantumtoestand verliest aan ruis en fouten. Daarom is het meest cruciale doel om de snelst mogelijke sequentie van pulsen te vinden die de gewenste simulatie bereikt, waarbij de tijd dat de machine wordt blootgesteld aan de omgeving wordt geminimaliseerd.

Een team van onderzoekers heeft een nieuwe, verenigde methode ontwikkeld om deze optimale pulssequenties te vinden voor een breed scala aan kwantumsystemen, waaronder systemen gemaakt van qubits, hogere-dimensie qudits en fermionen. Door het probleem te behandelen als een geometrisch puzzelstuk met vormen in een hoogdimensionale ruimte, creëerden ze algoritmen die controlepulsen genereren die specifiek zijn afgestemd op het systeem en de doelsimulatie. Hun aanpak vindt consequent oplossingen die bijna zo snel zijn als de theoretisch best mogelijke, waarmee ze eerdere methoden die vertrouwden op willekeurig gokken aanzienlijk overtreffen. In tests op complexe modellen verminderde hun techniek de vereiste tijd tot een niveau dat niet groeit met de grootte van het systeem, terwijl oudere methoden trager werden naarmate het systeem groter werd.

De kern van het probleem ligt in de manier waarop kwantumsystemen interageren. Stel je een kwantumapparaat voor dat van nature toestaat dat deeltjes op een specifieke manier interageren, maar een wetenschapper wil een ander soort interactie simuleren. Om deze kloof te overbruggen, past de wetenschapper lagen van controleoperaties toe, of pulsen, die de toestand van het systeem verdraaien. Het doel is om de juiste combinatie van deze draaiingen te vinden, zodat het systeem effectief gedraagt alsof het de nieuwe regels volgt. De onderzoekers realiseerden zich dat voor veel belangrijke typen kwantumsystemen de relatie tussen de natuurlijke interacties en de controlepulsen een eenvoudige regel volgt: de pulsen veranderen de interactie alleen door een specifieke faseverschuiving, zoals het draaien van een knop naar een specifieke hoek. Deze observatie stelde hen in staat om de complexe taak van het vinden van de beste pulsen te vertalen naar een vraagstuk van geometrie.

Ze visualiseerden het probleem als een lichtstraal die vanuit een startpunt in een enorme, meerdimensionale ruimte schiet. De doelinteractie definieert de richting van deze straal. De verzameling van alle mogelijke interacties die gecreëerd kunnen worden door de beschikbare pulsen vormt een specifieke geometrische vorm, die de onderzoekers een polytope noemen. De snelst mogelijke simulatie komt overeen met het punt waar deze straal voor het eerst het oppervlak van die vorm raakt. Als de straal de vorm snel raakt, is de simulatie snel; als hij ver moet reizen, is de simulatie traag. De onderzoekers bewezen dat het vinden van dit exacte punt wiskundig onmogelijk is om perfect op te lossen voor grote systemen binnen een redelijke tijd. Dit is een bekende moeilijkheid in de informatica, wat betekent dat men voor elke praktische toepassing moet genoegen nemen met een zeer goede benadering in plaats van een perfect antwoord.

Om dit te overwinnen, bedachten het team een slimme workaround. In plaats van te proberen de exacte vorm te raken, versoepelden ze het probleem naar een gladdere, eenvoudigere vorm die de oorspronkelijke vorm omringt. Vervolgens gebruikten ze een wiskundige techniek om het pad van hun zoekstraal te buigen, zodat wanneer ze uiteindelijk specifieke pulsen uit deze versoepelde vorm zouden kiezen, het resultaat precies zou landen waar het moest zijn. Dit proces genereert wat zij "geïnformeerde" pulsen noemen—controle sequenties die niet willekeurig worden gekozen, maar worden berekend op basis van de specifieke details van het systeem en het doel. Deze geïnformeerde pulsen worden vervolgens gevoed aan een standaard optimalisatietool om de uiteindelijke timing en volgorde te bepalen.

De onderzoekers testten deze methode op drie verschillende typen kwantumsystemen. Eerst keken ze naar standaard qubit-systemen, die de basis vormen van de meeste huidige kwantumcomputers. Ze vergeleken hun nieuwe methode met bestaande technieken die gebruikmaken van willekeurige bemonstering van pulsen. In deze tests vond hun geïnformeerde aanpak consequent oplossingen die veel sneller waren, vaak binnen enkele procenten van de theoretisch best mogelijke tijd. In contrast hiermee vereisten de oudere willekeurige methoden vaak aanzienlijk meer tijd, vooral naarmate de complexiteit van de doelsimulatie toenam.

Vervolgens pasten ze de methode toe op qudits, kwantumunits met meer dan twee toestanden, die een rijker scala aan mogelijkheden bieden. Hier was de uitdaging nog groter omdat de interacties complexe getallen involleerden. Hun algoritme navigeerde succesvol door deze complexiteiten en vond pulssequenties die bijna optimaal waren. De resultaten toonden aan dat hun methode kon adapteren aan de specifieke structuur van het doel, terwijl willekeurige methoden niet verbeterden, zelfs niet wanneer de hardware een fijnere controle mogelijk maakte.

Ten slotte testten ze de aanpak op fermionische systemen, die worden gebruikt om elektronen in materialen te modelleren. Dit is een bijzonder moeilijk geval omdat de interacties deeltjes betreft die niet dezelfde toestand kunnen bezetten. Ze gebruikten een model bekend als het Hofstadter-model, dat elektronen beschrijft die bewegen op een rooster in een magnetisch veld. In dit scenario was het verschil tussen hun methode en de oude willekeurige aanpak treffend. De willekeurige methode vereiste een simulatietijd die lineair groeide met de grootte van het rooster; naarmate het rooster groter werd, duurde de simulatie proportioneel langer. Hun geïnformeerde methode vond echter oplossingen waarbij de tijd constant bleef, ongeacht de grootte van het rooster. Dit betekent dat voor grootschalige simulaties van materialen hun aanpak orders van grootte sneller kon zijn, waardoor simulaties die voorheen onpraktisch waren plotseling haalbaar werden.

De betekenis van deze bevindingen strekt zich uit voorbij alleen snelheid. In kwantumsimulatie is de tijd waarin een systeem draait direct gekoppeld aan hoeveel ruis het accumuleert. Een snellere simulatie betekent minder ruis en een nauwkeuriger resultaat. Bovendien, in de context van het simuleren van interagerende deeltjes, bepaalt de snelheid van de simulatie de sterkte van de interacties die kunnen worden geëngineerd. Een snellere methode stelt wetenschappers in staat om sterkere interacties te simuleren dan de hardware van nature ondersteunt, wat de deur opent naar het bestuderen van nieuwe fasen van materie. De onderzoekers toonden ook aan dat hun methode robuust is; zelfs als de controlepulsen niet perfect zijn of een eindige tijd nodig hebben om uit te voeren, kan het algoritme zich aanpassen om deze fouten te onderdrukken zonder zijn snelheidsvoordeel te verliezen.

Door de behandeling van qubits, qudits en fermionen te verenigen onder één enkele geometrische framework, biedt dit werk een krachtig nieuw instrument voor de automatische programmering van kwantumsimulatoren. Het beweegt het vakgebied weg van trial-and-error of willekeurig gokken naar een systematische, wiskundig gefundeerde aanpak. Hoewel de methode steunt op benaderingen omdat de perfecte oplossing computationeel onbereikbaar is, laten de resultaten zien dat deze benaderingen ongelooflijk nauwkeurig zijn. De algoritmen leveren consequent bijna optimale prestaties, wat suggereert dat de theoretische limieten van wat gesimuleerd kan worden veel dichter bij wat haalbaar is dan voorheen gedacht. Deze vooruitgang brengt de droom om kwantumapparaten te gebruiken om echte problemen in chemie en materiaalkunde op te lossen een stap dichter bij de realiteit.