Hamiltonian-Dependent Compressibility and Physical Preservation in Approximate Quantum Compilation using Tensor Networks

Quantumcomputers beloven problemen op te lossen die onmogelijk zijn voor de machines van vandaag, met name het simuleren van hoe deeltjes interageren in complexe materialen. Om dit te doen, programmeren wetenschappers de computer om het verstrijken van de tijd voor een specifiek systeem na te bootsen, een proces dat een lange sequentie van kleine, precieze instructies vereist die poorten worden genoemd. De huidige quantumhardware is echter fragiel; hoe langer de sequentie van instructies, hoe groter de kans dat de machine fouten maakt door ruis en interferentie. Dit creëert een moeilijke afweging: om een nauwkeurig resultaat te krijgen, heb je een lange, complexe schakeling nodig, maar om een resultaat te krijgen voordat de machine vastloopt, heb je een korte, eenvoudige schakeling nodig. Onderzoekers hebben een methode ontwikkeld genaamd benaderende quantumcompilatie om deze kloof te overbruggen. In plaats van de lange, perfecte sequentie uit te voeren, probeert deze methode een veel kortere sequentie van poorten te vinden die bijna dezelfde eindtoestand produceert. Het is als het zoeken naar een kortere route door een dicht bos die naar dezelfde bestemming leidt als het lange, kronkelende pad, maar dan zonder te verdwalen.

In een recente studie testten onderzoekers deze verkortingsmethode op een grootschalige quantumsimulatie met tachtig qubits, de basisunits van informatie in een quantumcomputer. Ze richtten zich op een specifiek model van magnetische deeltjes gerangschikt in een lijn, bekend als een anisotrope XYZ Heisenberg-keten, wat een standaardmanier is om te bestuderen hoe spins interageren in materialen. Het team gebruikte een computeralgoritme gebaseerd op tensornetwerken, een wiskundig hulpmiddel dat helpt bij het beheren van de complexiteit van vele interagerende onderdelen, om een simulatie die oorspronkelijk tien herhalingen van een complexe poortsequentie vereiste, te comprimeren naar slechts vijf herhalingen. Het doel was om te zien of deze gecomprimeerde versie nog steeds de essentiële fysica van het systeem kon vangen terwijl er aanzienlijk minder middelen werden gebruikt.

De resultaten toonden aan dat de compressie zeer succesvol was. Door de schakeling van tien herhalingen naar vijf te verminderen, brachten de onderzoekers de totale diepte van de instructies met bijna zesenveertig procent omlaag en verminderden ze het aantal twee-qubit-poorten, die de meest foutgevoelige operaties zijn, met bijna achtenveertig procent. Ondanks deze drastische vermindering behield de gecomprimeerde schakeling een getrouwheid (fidelity) van 0,995474 met de oorspronkelijke doeltoestand, wat betekent dat het extreem dicht bij het beoogde resultaat bleef. Wanneer het team zowel de originele als de gecomprimeerde schakeringen draaide op daadwerkelijke quantumhardware bij IBM, ontdekten ze dat de kortere schakering de belangrijkste fysieke kenmerken van de simulatie behield. Metingen van magnetisatie, de uitlijning van naburige deeltjes en de totale energie van het systeem kwamen allemaal even goed overeen met de verwachte waarden als de langere schakering, en in sommige gevallen cumuleerde de kortere schakering zelfs minder fouten vanuit de hardware.

Voorbij het simpelweg bewijzen dat de afkorting werkte, onderzocht de studie waarom sommige simulaties gemakkelijker te comprimeren zijn dan andere. De onderzoekers ontdekten dat de moeilijkheid van het vinden van een goede afkorting sterk afhangt van de specifieke rangschikking van de magnetische interacties en de richting van het externe magnetische veld dat op het systeem wordt toegepast. Ze vonden een sterke link tussen de comprimeerbaarheid van de schakering en de wiskundige structuur van de Hamiltonian, de vergelijking die de energie van het systeem beschrijft. Specifiek correleerde de gemak van compressie met een maatstaf voor hoeveel de verschillende delen van de energievergelijking met elkaar "illoepeert" wanneer ze in verschillende volgordes worden toegepast. Wanneer deze onenigheid, of niet-commutativiteit, hoog was, was de compressie moeilijker. Dit suggereert dat de onderliggende structuur van het fysieke systeem zelf bepaalt hoeveel een simulatie kan worden vereenvoudigd, in plaats van alleen de complexiteit van de eindtoestand.

Het team keek ook dieper dan alleen de eindcijfers om te verzekeren dat de gecomprimeerde schakering zich werkelijk gedroeg als de originele. Ze gebruikten een techniek genaamd lokale gereduceerde-toestand tomografie om kleine groepen van vier qubits op verschillende locaties langs de keten te onderzoeken. Hoewel het gehele tachtig-qubit systeem te groot is om volledig in kaart te brengen, onthulden deze lokale snapshots dat de gecomprimeerde schakering dezelfde interne correlaties en zuiverheid behield als de originele schakering over het hele systeem. Hoewel de hardware enige ruis introduceerde die de algehele kwaliteit van de gegevens vergeleken met een perfecte simulatie verlaagde, presteerde de gecomprimeerde schakering net zo goed als de originele schakering in het behouden van deze lokale details. Dit bevestigt dat de afkorting niet alleen het juiste antwoord raadde, maar ook een pad volgde dat fysiek consistent bleef met de oorspronkelijke, langere evolutie.

Deze bevindingen bieden een praktisch pad vooruit voor het draaien van betekenisvolle simulaties op de huidige imperfecte quantummachines. Door aan te tonen dat een reductie van vijftig procent in de middelen van de schakering kan worden bereikt zonder de fysieke essentie van de simulatie te verliezen, laat het werk zien dat we waardevolle wetenschappelijke gegevens kunnen extraheren uit hardware die anders te luidruchtig zou zijn om te gebruiken. De studie biedt ook een nieuwe manier om te voorspellen welke simulaties vatbaar zijn voor dit soort compressie, gebaseerd op de specifieke magnetische eigenschappen van het bestudeerde systeem. Hoewel het onderzoek beperkt was tot een eendimensionale keten en één type magnetische interactie, vestigt het een duidelijke verbinding tussen de wiskundige structuur van een fysiek probleem en de haalbaarheid van het vereenvoudigen van de quantumsimulatie ervan. Dit inzicht helpt onderzoekers te weten wanneer ze een afkorting kunnen verwachten te werken en wanneer een systeem te complex is om te comprimeren, wat de vormgeving van toekomstige experimenten op grotere en meer uitdagende quantumsystemen stuurt.