Improved Fermionic Scattering for the NISQ Era

Dit artikel introduceert een efficiëntere methode voor het voorbereiden van fermionische verstrooiingstoestanden op NISQ-hardware, die de circuits diepte met bijna de helft vermindert door het lokaliseren van golffuncties, terwijl de anti-commutatierelaties behouden blijven en de nauwkeurigheid in zwak interagerende kritieke theorieën wordt aangetoond via MPS-simulaties en experimenten op de IonQ Forte 1.

De kern

Deel 1: Het Probleem – Een Quantumcomputer met een Korte Aandachtsspanne

Stel je voor dat je een quantumcomputer hebt, maar deze is nog niet perfect. Hij is als een zeer talentvolle, maar erg nerveuze pianist. Hij kan prachtige muziek maken (rekeningen uitvoeren), maar hij raakt snel moe en vergeet de noten als hij te lang speelt. In de wereld van de wetenschap noemen we dit de NISQ-tijdperk (Noisy Intermediate-Scale Quantum).

Omdat de computer zo snel "vergeetachtig" wordt (door ruis en decoherentie), kunnen we hem maar heel kort laten spelen. We mogen slechts een paar honderd tot duizend "muzieknootjes" (gates) achter elkaar spelen. Als het stuk te lang is, valt de muziek uit elkaar en krijg je geen goed resultaat.

De uitdaging waar dit papier over gaat, is het simuleren van deeltjes die tegen elkaar botsen (zoals in een versneller). Normaal gesproken is het voorbereiden van deze deeltjes (de "wave packets") als het bouwen van een enorme, ingewikkelde brug. Dat kost te veel tijd en de quantumcomputer valt onderweg in slaap.

Deel 2: De Oplossing – Een Slimme Korte Weg

Michael Hite, de auteur, komt met een slimme truc om deze brug korter te maken zonder hem instabiel te maken. Hij past twee bestaande methoden aan:

1. De "Givens Rotatie" (De Bouwmeester):
   Stel je voor dat je twee deeltjes wilt laten botsen. Normaal moet je ze over het hele speelveld (de hele quantumcomputer) verspreiden. Dat is als proberen twee mensen in een groot stadion te laten praten; je moet overal microfoons neerzetten.
   Hite zegt: "Wacht even, laten we ze gewoon dicht bij elkaar houden." Hij lokaliseert de deeltjes. Hij zorgt dat ze alleen in hun eigen halve stadion spelen.

   • Het voordeel: In plaats van een brug over het hele stadion te bouwen, bouw je twee kleine bruggen naast elkaar. Dit halveert de tijd die de computer nodig heeft. Het is alsof je in plaats van één lange trein, twee korte treinen gebruikt die parallel kunnen rijden.

2. De "Ladder Operator" (De Magische Lift):
   In de quantumwereld is het soms lastig om een deeltje "te creëren" (het toe te voegen aan het systeem) omdat de wiskunde daarvoor niet altijd netjes werkt op een computer.
   Hite gebruikt een methode die hij een "Ladder Operator Block Encoding" noemt.

   • De analogie: Stel je voor dat je een deeltje wilt toevoegen aan een kamer, maar de deur is op slot. In plaats van de deur te forceren (wat de computer kapot maakt), gebruik je een magische lift (een extra hulppuntje, een 'ancilla qubit'). Je stapt de lift in, het deeltje komt erbij, en als je de lift weer verlaat, is het deeltje veilig in de kamer, zonder dat de deur ooit opengebroken is. Dit zorgt ervoor dat de wetten van de natuur (de "fermionische regels") niet worden overtreden.

Deel 3: De Test – Werkt het in de Wereld?

Hite heeft dit idee eerst getest op een supercomputer (met een methode genaamd MPS, die werkt als een zeer slimme simulator).

• Het resultaat: Hij ontdekte dat voor deeltjes die niet te hard met elkaar interageren (zwakke interactie), deze "korte" deeltjes bijna exact hetzelfde gedragen als de echte, lange deeltjes. De fouten waren verwaarloosbaar klein (minder dan 10%).

Daarna heeft hij het echt geprobeerd op een echte quantumcomputer van IonQ (een machine die ionen gebruikt, vergelijkbaar met gevangen vliegen in een magneetveld).

• Het resultaat: Het werkte! De computer kon de deeltjes voorbereiden met een nauwkeurigheid van ongeveer 83% (en zelfs 92% als je de minder belangrijke details negeert). Voor een machine die nog in de kinderschoenen staat, is dit een enorm succes.

Conclusie: Waarom is dit belangrijk?

Dit papier is als het vinden van een kortere route door een drukke stad.
Vroeger dachten we dat we voor quantum-simulaties enorme, complexe routes moesten nemen die onze huidige computers te zwaar waren. Hite laat zien dat we, door slimme afkortingen te nemen (lokaliseren) en slimme hulpmiddelen te gebruiken (de magische lift), toch de bestemming kunnen bereiken.

Dit opent de deur voor het simuleren van fundamentele natuurverschijnselen (zoals hoe deeltjes botsen) op de computers die we vandaag al hebben, in plaats van te wachten tot we over 20 jaar perfectere machines hebben. Het is een stap in de juiste richting voor de toekomst van de quantumfysica.

Technische samenvatting

Probleemstelling

In het tijdperk van NISQ (Noisy Intermediate-Scale Quantum) zijn digitale quantumcomputers beperkt door systeemruis en decoherentie van qubits. Dit beperkt de diepte van quantumcircuits tot ongeveer duizend poortlagen. Voor simulaties van fermionische verstrooiing (scattering) is dit een groot obstakel, omdat de standaard methoden voor het voorbereiden van golfpakketten (wave packets) vaak leiden tot circuits die te diep en complex zijn om op huidige hardware te draaien.

Specifiek voor fermionische systemen zijn de creatie-operatoren niet-unitair en niet-lokaal (vanwege de Jordan-Wigner-transformatie). Standaard decompositiemethoden (zoals Möttönen of Quantum Shannon) laten de circuitdiepte te snel groeien met de systeemgrootte, waardoor ze onbruikbaar worden voor grotere systemen in de NISQ-omgeving.

Methodologie

De auteur introduceert een verbeterde methode voor het voorbereiden van fermionische verstrooiingstoestanden door twee bestaande technieken te combineren en aan te passen:

1. Lokalisatie van Golfpakketten (Truncatie):

   • In plaats van golfpakketten te definiëren over het volledige systeem (wat $N(N-1)/2$ termen vereist), worden de golfpakketten gelokaliseerd in de ruimtelijke half-ruimte.
   • Voor een systeem met $N$ sites worden twee golfpakketten voorbereid in gescheiden subruimtes (bijv. links en rechts).
   • Dit reduceert het aantal termen in de operator aanzienlijk naar $N(N/2 - 1)/4$.
   • Voordeel: Hierdoor kunnen de twee golfpakketten parallel worden voorbereid in plaats van serieel, wat de circuitdiepte bijna halveert. Deze benadering is geldig in zwak-interagerende regimes (perturbatief), waar de truncatie-effecten verwaarloosbaar zijn.

2. Givens Rotaties:

   • De methode gebruikt Givens-rotatiematrices om de toestand te diagonaliseren. Dit omvat het verwijderen van fasen (via $Z$-rotaties) en het aanpassen van de coëfficiënten (via rotaties op naburige qubits).
   • De auteurs passen de methode van Chai et al. aan door de lokale truncatie toe te passen.

3. Ladder Operator Block Encoding (LOBE):

   • Om de niet-unitaire fermionische creatie-operator ($\hat{c}^\dagger$) op een quantumcomputer te implementeren, wordt de LOBE-methode van Simon et al. gebruikt.
   • Dit vereist een externe controle-qubit en een ancilla-qubit om de operator in een grotere unitaire ruimte te plaatsen.
   • Door meting van de ancilla in de $|0\rangle$-toestand wordt de correcte unitaire evolutie geforceerd, terwijl de fermionische anti-commutatie-relaties behouden blijven.

4. Model:

   • De simulaties zijn uitgevoerd op een gemodificeerd 1+1D Transverse Field Ising-model met een vier-fermion interactieterm (geïntroduceerd via een $ZZ$-term).
   • De tijdevolutie wordt gesimuleerd met behulp van de Lie-Trotter-formule.

Belangrijkste Bijdragen

• Circuitverdieping: De voorgestelde methode reduceert de CNOT-diepte (Controlled-NOT gates) met bijna 50% ten opzichte van de originele niet-getruncateerde Givens-rotatiemethode door parallelle uitvoering mogelijk te maken.
• Unitaire Creatie: Het succesvol toepassen van LOBE voor het creëren van golfpakketten in kritieke theorieën, waarbij de fermionische statistieken strikt worden behouden.
• Hybride Aanpak: Het combineren van VQE (Variational Quantum Eigensolver) voor de vacuümvoorbereiding met deze efficiënte, niet-variationalle methode voor de excitatie van golfpakketten.

Resultaten

1. MPS Simulaties (Classische verificatie):

   • Met behulp van Matrix Product State (MPS) simulaties (ITensor bibliotheek) werd aangetoond dat de "getruncateerde unitaire" golfpakketten een uitstekende benadering zijn van de exacte golfpakketten in zwak-interagerende regimes ($g \ll h/2$).
   • De gemiddelde relatieve fout in bezettingsgetallen en verstrengeling-entropie bleef onder de 10% voor de meeste parameters, zelfs in de buurt van het kritieke punt.
   • De fout neemt toe naarmate de interactie sterker wordt, maar blijft acceptabel voor NISQ-toepassingen.

2. Hardware Implementatie (IonQ Forte 1):

   • De methode werd geïmplementeerd op de IonQ Forte 1 quantumcomputer (gevangen ionen).
   • Een 8-site verstrooiingstoestand werd voorbereid bovenop een VQE-voorbereide grondtoestand.
   • Van de 5.000 shots (metingen) resulteerden er 4.536 in de gewenste ancilla-toestand ($|0\rangle$).
   • Foutmarge: De relatieve procentuele fout tussen de op de hardware voorbereide toestand en de exacte klassieke berekening was 17,2%.
   • Bij het negeren van sites met zeer lage bezettingskans daalde de fout tot 7,53%. Dit toont aan dat de methode robuust is ondanks de beperkte error-correction en sample size van huidige hardware.

Betekenis en Toekomstperspectief

Dit werk biedt een praktische en efficiënte algoritme voor fermionische verstrooiingssimulaties in het NISQ-tijdperk. Door de circuitdiepte te halveren en lokale operaties te gebruiken, wordt het mogelijk om grotere systemen te simuleren op huidige hardware zoals IonQ en IBM (transmon).

De methode is direct toepasbaar op bestaande quantumprocessors en vormt een brug naar toekomstige toepassingen, zoals het simuleren van sterk-interagerende theorieën (waarbij de golfpakketten overlappen, wat weliswaar de diepte weer vergroot) en het onderzoeken van gestaggerde theorieën zoals Gross-Neveu. Het bewijst dat nauwkeurige initiële toestanden voor verstrooiingssimulaties haalbaar zijn met de technologie van vandaag.