Thermodynamic-limit dispersion relations on trapped-ion quantum hardware

Dit artikel toont de haalbaarheid aan van het berekenen van grondtoestandsenergieën en quasi-deeltjesdispersies in de thermodynamische limiet voor het Ising-model met transversaal veld met behulp van een 20-qubit val-ionenquantumprocessor binnen een raamwerk voor numerieke verbonden-clusteruitbreiding, terwijl tegelijkertijd de uitdagingen van ruisversterking tijdens niet-lineaire klassieke nabewerking worden aangepakt met nieuwe technieken zoals de CX-test.

De kern

Het Grote Geheel: Een Reuzenpuzzel Oplossen met Kleine Deeltjes

Stel je voor dat je probeert te begrijpen hoe een enorme, oneindige menigte mensen zich gedraagt. Je kunt niet iedereen tegelijk bekijken; de menigte is te groot en de interacties te complex.

In de wereld van de fysica wordt deze "oneindige menigte" de thermodynamische limiet genoemd. Wetenschappers willen weten hoe deeltjes interageren in een oneindig materiaal, maar klassieke computers (het soort dat we vandaag de dag gebruiken) lopen tegen een muur aan wanneer ze proberen deze enorme, sterk verbonden systemen te simuleren. Ze blijven steken in de wiskunde.

Dit artikel beschrijft een nieuwe manier om dit probleem op te lossen met een kwantumcomputer (een speciale machine die de wetten van de kwantumfysica gebruikt om te rekenen). In plaats van echter te proberen de hele oneindige menigte in één keer te simuleren – wat onmogelijk is voor de kleine kwantumcomputers van vandaag – gebruikten de onderzoekers een slimme strategie genaamd Numerical Linked-Cluster Expansion (NLCE).

De Analogie:
Zie de oneindige menigte als een gigantisch mozaïek. In plaats van te proberen het hele ding in één keer te schilderen, schilderen de onderzoekers kleine, losse tegels (kleine clusters van deeltjes). Ze gebruiken vervolgens een speciaal wiskundig recept om deze tegels aan elkaar te naaien om te voorspellen hoe het hele oneindige plaatje eruitziet.

De Uitdaging: Het "Ruis" in de Kamer

De onderzoekers gebruikten een echte kwantumcomputer (een 20-qubit valstrik-ionenmachine) om deze kleine tegels te schilderen. Maar er is een addertje onder het gras: huidige kwantumcomputers zijn "ruisig". Het is alsof je probeert een meesterwerk te schilderen in een kamer waar de lichten flikkeren en de wind de verf rondwaait.

Het specifieke probleem dat ze aanpakten, was dat hun wiskundige recept niet-lineaire nabewerking vereist.

• Eenvoudige Analogie: Stel je voor dat je de temperatuur van een kop koffie meet. Dat is een simpel getal. Maar als je de wortel van die temperatuur moet berekenen, of één meting door een andere moet delen, worden kleine fouten in je initiële meting enorm opgeblazen.
• De Claim van het Artikel: De onderzoekers vroegen zich af: "Is onze kwantumcomputer nauwkeurig genoeg om ons getallen te geven die niet exploderen wanneer we later deze lastige wiskundige bewerkingen uitvoeren?"

De Gereedschappen die Ze Gebruikten

Om dit werkbaar te maken, combineerden ze een paar verschillende technieken:

1. De "Cluster Solver" (VQE versus ASP):
   Om de kleine tegels te schilderen, gebruikten ze twee verschillende methoden:

   • VQE (Variational Quantum Eigensolver): Denk hierbij aan een student die een toets maakt. De computer probeert een oplossing, krijgt een cijfer, leert van de fout en probeert het opnieuw totdat hij het beste antwoord vindt.
   • ASP (Adiabatic State Preparation): Denk hierbij aan het langzaam draaien aan een knop. Je begint met een eenvoudig systeem en verandert het heel langzaam in het complexe systeem dat je wilt.
   • Resultaat: De "student" (VQE) deed het beter dan de "langzame knop" (ASP) op deze specifieke hardware, waarschijnlijk omdat de langzame knop te lang duurde en te veel in de war raakte door de ruis.

2. De "PCAT" (De Lijm):
   Zodra ze de data van de kleine tegels hadden, moesten ze ze aan elkaar lijmen zodat ze niet uit elkaar zouden vallen. Ze gebruikten een methode genaamd PCAT.

   • De Metafoor: Stel je voor dat je twee aparte Lego-constructies hebt. Als je ze gewoon met tape aan elkaar plakt, kunnen ze wiebelen. PCAT is een speciale lijm die ervoor zorgt dat de gecombineerde constructie zich precies zo gedraagt als de twee aparte constructies zouden doen als ze deel zouden uitmaken van een gigantische, oneindige Lego-set. Het houdt zware wiskunde in (matrixinversie en worteltrekken) die elke ruis versterkt.

3. De "CX-Test" (Een Slimmere Manier om te Meten):
   Normaal gesproken gebruiken wetenschappers voor de data die nodig is voor deze wiskunde een standaard meetinstrument genaamd de "Hadamard-test". De auteurs beseften dat dit instrument te zwaar en te ingewikkeld was voor hun ruisige machine.

   • De Innovatie: Ze bedachten een eenvoudiger instrument dat ze de CX-test noemen.
   • De Analogie: Als de Hadamard-test is alsof je een zware, industriële kraan gebruikt om een veer op te tillen, is de CX-test alsof je een pincet gebruikt. Het is veel lichter, sneller en minder waarschijnlijk dat je dingen omver duwt, maar het doet nog steeds de klus. Ze ontdekten dat ze voor hun specifieke wiskundige probleem geen "globale" waarde hoefden te meten, zodat ze het zware tillen volledig konden overslaan.

Wat Ze Vonden

Het team testte dit op een model genaamd het Transverse-Field Ising Model (een standaardtest voor kwantumfysica) in drie verschillende vormen: een lijn, een lijn met een draai, en een ladder.

• Het Goede Nieuws: In veel gevallen produceerde de ruisige kwantumcomputer data die, nadat de lastige wiskunde was toegepast, zeer dicht bij het juiste antwoord leek. De "CX-test" werkte goed, en de "VQE"-methode was robuust genoeg om de ruis het hoofd te bieden.
• Het Slechte Nieuws: De "langzame knop"-methode (ASP) was te diep en te ruisig om nu al goed te werken. Ook, toen ze probeerden een specifieke symmetrie in de fysica te breken (door een longitudinaal veld toe te voegen), werd de wiskunde zo gevoelig voor ruis dat de huidige computer de kleine correcties die nodig waren, niet kon zien.
• De Conclusie: Het artikel bewijst dat huidige kwantumhardware net goed genoeg is om deze complexe, niet-lineaire wiskundige problemen aan te pakken. De resultaten zijn niet perfect, maar ze zijn "herkenbaar" en benaderen het juiste gedrag.

De Kernboodschap

De onderzoekers hebben met succes aangetoond dat je een kleine, ruisige kwantumcomputer kunt gebruiken om problemen over oneindige systemen op te lossen, mits je een slimme "tegel-gebaseerde" strategie (NLCE) en een lichter meetinstrument (CX-test) gebruikt.

Ze lieten zien dat hoewel de machines van vandaag de dag nog een beetje wankel zijn, ze een punt bereiken waar ze data kunnen leveren die nauwkeurig genoeg is voor complexe klassieke wiskunde om het om te zetten in bruikbare wetenschappelijke voorspellingen. Het is een bewijs van concept dat we op het goede pad zitten om kwantumcomputers te gebruiken voor echte fysica-problemen die klassieke computers simpelweg niet kunnen oplossen.

Technische samenvatting

Technische Samenvatting: Thermodynamische-limiet dispersierelaties op kwantumhardware met gevangen ionen

Probleemstelling
Het berekenen van eigenschappen van kwantumveeldeeltjessystemen in de thermodynamische limiet is een centrale uitdaging in de gecondenseerde-materiefysica, met name voor sterk gecorreleerde systemen waar klassieke methoden fundamentele beperkingen ondervinden. Hoewel kwantumcomputers een mogelijke weg bieden, worden huidige Noisy Intermediate-Scale Quantum (NISQ)-apparaten beperkt door het aantal qubits en de gate-fideliteiten, waardoor directe berekeningen beperkt blijven tot kleine systeemgroottes die ver verwijderd zijn van de thermodynamische limiet. Bovendien vereist het extraheren van eigenschappen in de thermodynamische limiet vaak niet-lineaire klassieke nabewerking (zoals matrixinversie en worteltrekken) van kwantumverwachtingswaarden. Een kritieke open vraag is of huidige hardware verwachtingswaarden met voldoende nauwkeurigheid kan leveren om deze niet-lineaire bewerkingen te doorstaan zonder dat de fouten zo worden versterkt dat de resultaten onbruikbaar worden.

Methodologie
De auteurs stellen een raamwerk voor en implementeren dit dat Numerical Linked-Cluster Expansions (NLCE) combineert met Kwantumalgoritmen (QA), genaamd NLCE+QA. Deze benadering berekent grondtoestandsenergieën en dispersies van één kwasi-deeltje (1QP) in de thermodynamische limiet aan de hand van data van kleine clusters.

• Raamwerk: De methode decomposeert extensieve grootheden in bijdragen van verbonden clusters. Om de convergentie van de NLCE te waarborgen, moet de effectieve Hamiltoniaan "cluster-additief" zijn. De auteurs maken gebruik van de Projective Cluster-Additive Transformation (PCAT) om deze eigenschap af te dwingen. PCAT omvat het construeren van een gemodificeerde unitaire transformatie die het 1QP-sectoren ontkoppelt van andere sectoren, terwijl de productstructuur van toestanden op niet-verbonden clusters behouden blijft.
• Kwantumalgoritmen: Er worden twee algoritmen onderzocht voor het voorbereiden van de benodigde toestanden op de kwantumhardware:
  1. Adiabatische Toestandsvoorbereiding (ASP): Een unitaire transformatie die de eigen toestanden van de ongedekte Hamiltoniaan verbindt met de gedekte toestanden.
  2. Variational Quantum Eigensolver (VQE): Een hybride aanpak die een Hamiltonian Variational Ansatz (HVA) gebruikt die klassiek wordt getraind om de Hamiltoniaan blokgewijs te diagonaliseren.
• Meetmethodieken:
  • Grondtoestandsenergie: Berekend met behulp van Sample-based Quantum Diagonalization (SQD).
  • Matrixelementen: De auteurs introduceren de CX-test, een nieuw alternatief voor de standaard Hadamard-test. De CX-test meet overlap en Hamiltoniaan-matrixelementen met behulp van gecontroleerde-X-gates, waardoor de noodzaak voor diepe gecontroleerde-unitaire circuits wordt vermeden. Cruciaal is dat in de context van PCAT de globale prefactor die door de CX-test wordt vereist, wegvalt in de uiteindelijke berekening van de effectieve Hamiltoniaan, waardoor de dure Hadamard-test volledig overbodig wordt.
• Hardware: Experimenten werden uitgevoerd op een 20-qubit kwantumverwerkingseenheid (QPU) met gevangen ionen (AQT Marmot) bij het Leibniz Supercomputing Centre.

Belangrijkste Bijdragen

1. Eerste Hardware-implementatie: Dit werk presenteert de eerste hardware-implementatie van het NLCE+VQE-raamwerk en introduceert het NLCE+ASP-raamwerk voor het berekenen van 1QP-dispersies in de thermodynamische limiet.
2. CX-test: De introductie van de CX-test als een efficiënter alternatief voor de Hadamard-test voor het berekenen van een polynoom aantal matrixelementen in de context van PCAT, wat de circuitdiepte aanzienlijk verlaagt.
3. Foutanalyse: Een gedetailleerd onderzoek naar de wisselwerking tussen shot noise, hardware-depolarisatieruis en de niet-lineaire nabewerking die inherent is aan PCAT (matrixinversie/worteltrekken). De auteurs tonen aan dat niet-lineaire functies ruis versterken, wat leidt tot een opwaartse bias in dispersiecurves.
4. Modelstudies: Het raamwerk wordt toegepast op het Transverse-Field Ising Model (TFIM) in drie regimes:
   • 1D-keten (puur TFIM).
   • 1D-keten met een longitudinaal veld (TFIM+LF), wat de $Z_2$-symmetrie breekt en de volledige PCAT-correctie vereist.
   • 2D-laddergeometrie.

Resultaten

• Prestaties: De op VQE gebaseerde aanpak presteerde over het algemeen beter dan ASP op huidige hardware vanwege de geringere circuitdiepte die vereist is. De ASP-circuits bleken te diep voor de huidige ruisniveaus, wat leidde tot significante afwijkingen van analytische oplossingen.
• Nauwkeurigheid: Voor de 1D TFIM in de gepolariseerde fase (voldoende ver verwijderd van het kwantume kritieke punt) benaderden de experimentele dispersies verkregen van de QPU het verwachte analytische gedrag. De resultaten waren nauwkeuriger dan ruwe simulaties met referentie-depolarisatiesnelheden, wat suggereert dat de daadwerkelijke apparaatfoutensnelheden lager waren dan de referentiewaarden.
• Beperkingen:
  • Naarmate het systeem het kwantume kritieke punt nadert ($J/h \to 1$) of een longitudinaal veld bevat, neemt de fout toe. De niet-lineaire nabewerking versterkt fouten, en de volledige PCAT-correctie (vereist voor TFIM+LF) kon niet beslissend worden getest omdat de correctietermen onder de steekproefruisvloer lagen ($\Delta_{ij} \ll 1/\sqrt{M}$).
  • De laddergeometrie (2D) vertoonde grotere fouten dan de 1D-keten, toegeschreven aan een hogere qubit-connectiviteit en het feit dat het systeem dichter bij zijn kritieke punt ligt ten opzichte van de gebruikte clustergrootte.
• Ruisgevoeligheid: De studie bevestigt dat niet-lineaire nabewerking zeer gevoelig is voor ruis. Hoewel de dispersierelaties herkenbaar waren, overladden ze niet perfect met analytische oplossingen, wat aangeeft dat de huidige hardwareprecisie zich op de drempel van levensvatbaarheid voor dergelijke methoden bevindt.

Betekenis en Beweringen
Het artikel beweert dat zijn werk de deur opent naar het uitvoeren van berekeningen in de thermodynamische limiet met ruimtelijke correlaties op kwantumapparaten. Het toont aan dat, in beperkte regimes (specifiek de gepolariseerde fase van de TFIM), de niet-lineaire nabewerkingpijplijn levensvatbaar is op huidige hardware, waardoor herkenbare dispersierelaties worden geproduceerd.

De auteurs stellen dat de precisie van kwantumhardware een stadium heeft bereikt waar het zinvol is om nieuwe algoritmen te ontwikkelen die niet-lineaire klassieke nabewerking van kwantuminformatie omvatten. Zij concluderen dat, hoewel de huidige resultaten nog niet buiten het bereik van klassieke methoden liggen, een vermindering van de foutensnelheden met een factor 10 tot 100 een nauwkeurige berekening van dispersierelaties met ASP zou mogelijk maken en het testen van complexere correcties (zoals de volledige PCAT voor symmetriegebroken systemen) zou toelaten. Het werk benadrukt dat hybride benaderingen die kwantummetingen combineren met niet-lineaire klassieke nabewerking een veelbelovende weg vooruit bieden naarmate de hardware verbetert en de overgang naar foutentolerantie zich uitbreidt.