Revealing the quantum nature of memory in non-Markovian dynamics on IBM Quantum

De auteurs onderzoeken op IBM Quantum-processoren hoe een botsingsmodel en ancilla-koppeling kunnen worden gebruikt om kwantumeffecten van geheugen in niet-Markovische dynamica te karakteriseren, waarbij ze aantonen dat huidige hardware kwantums geheugen in één-qubit-systemen kan verifiëren en een alternatief voorbeeld biedt voor twee-qubit-systemen.

De kern

De Quantumgeheugentest: Hoe IBM's Computers Herinneringen Bewaren (En Soms Vergeten)

Stel je voor dat je een quantumcomputer ziet als een zeer snelle, maar ook erg nerveuze kok in een drukke keuken. Deze kok (de computer) moet een recept (een natuurkundig proces) volgen. In de ideale wereld zou hij perfect werken, maar in de echte wereld is de keuken rommelig, zijn de lichten flikkerend en maken de buren ruzie. Dit noemen we ruis of noise.

De vraag die de auteurs van dit artikel stellen, is simpel: Is deze nerveuze kok in staat om een recept te volgen waarbij hij zijn eigen verleden moet onthouden? En nog belangrijker: Is dat geheugen echt "quantum" (mysterieus en verbonden) of is het gewoon een gewone, saaie notitieblok?

Hier is wat ze hebben ontdekt, vertaald in alledaags taal:

1. Het Verschil tussen "Geen Herinnering" en "Een Notitieblok"

In de quantumwereld praten we vaak over Markoviaanse en Niet-Markoviaanse dynamiek.

• Markoviaans (Geen geheugen): Stel je voor dat je een bal gooit. Waar de bal nu is, hangt alleen af van hoe je hem nu gooit. De manier waarop hij daarvoor bewogen heeft, maakt niet uit. Het is alsof de bal elke seconde zijn geheugen verwijdert.
• Niet-Markoviaans (Met geheugen): Hier is het alsof de bal een spoor trekt in de modder. Waar de bal nu is, hangt af van zijn hele geschiedenis. De omgeving "onthoudt" wat er eerder gebeurd is en beïnvloedt de toekomst.

Maar hier wordt het interessant: Wat voor soort geheugen is dat?

• Klassiek geheugen: De omgeving houdt een notitieblok bij. "Ik heb gezien dat de bal links was, dus nu ga ik hem rechts sturen." Dit kan een simpele computer doen.
• Quantumgeheugen: De omgeving en de bal zijn op een onzichtbare, magische manier met elkaar verweven (verstrengeld). Ze weten iets van elkaar zonder dat er een notitieblok nodig is. Dit is de "heilige graal" van quantumcomputing.

2. De Experimenten: De "Klap-Model"

De onderzoekers wilden testen of de huidige IBM-quantumcomputers (die nogal ruisig zijn) dit quantumgeheugen echt kunnen nabootsen. Ze gebruikten een slimme truc genaamd het Klap-model (Collision Model).

Stel je voor dat je een systeem hebt (een qubit) en een omgeving (een andere qubit). In plaats van dat ze continu met elkaar praten, laten ze elkaar "klappen" (interageren) in korte momenten.

• Proef 1: De Eenzame Qubit (1 Qubit)
  Ze lieten één qubit "klappen" met een andere qubit die diende als omgeving. Ze keken of de omgeving de geschiedenis van de qubit kon onthouden op een manier die alleen met quantumwiskunde mogelijk is.

  • Het Resultaat: Ja! Zelfs met de ruis van de echte IBM-computer, zagen ze dat de qubit en de omgeving verstrengeld bleven op een manier die een klassiek notitieblok niet kan verklaren. De computer slaagde voor de test: het quantumgeheugen was echt.

• Proef 2: De Twee Qubits (2 Qubits)
  Vervolgens probeerden ze dit met twee qubits tegelijk. Dit is als proberen twee mensen tegelijk te laten dansen terwijl de muziek uitvalt.

  • Het Resultaat: De eerste poging mislukte. De computer was te ruisig en de berekeningen te complex. De "dans" werd zo verstoord dat het quantumgeheugen verdween en het leek alsof er alleen maar klassiek geheugen was. De ruis was te sterk.

• Proef 3: De Slimme Omweg (Het Speelgoedmodel)
  Maar de onderzoekers gaven niet op. Ze bedachten een nieuw, simpeler circuit (een "speelgoedmodel"). In plaats van een complexe dans, lieten ze de qubits op een heel specifieke, efficiënte manier "klappen".

  • Het Resultaat: Het werkte weer! Door de berekening slimmer te maken, konden ze zelfs met twee qubits bewijzen dat het quantumgeheugen nog steeds aanwezig was, ondanks de ruis.

3. Waarom is dit belangrijk?

Dit onderzoek is als een test voor een nieuwe auto in de regen.

• Als de auto (de quantumcomputer) in de regen (de ruis) nog steeds kan rijden zonder te slippen, betekent dat dat hij sterk genoeg is voor de echte wereld.
• Het bewijst dat we nu al quantumcomputers kunnen gebruiken om complexe natuurkundige processen na te bootsen die echt quantumgeheugen nodig hebben. Dit is cruciaal voor de toekomst, bijvoorbeeld om nieuwe medicijnen te ontwerpen of nieuwe materialen te vinden, omdat die processen vaak van dit soort geheugen afhankelijk zijn.

Conclusie

De boodschap van dit papier is hoopvol: Onze huidige, imperfecte quantumcomputers zijn al slim genoeg om het "quantumgeheugen" te zien en te bewijzen. Ze kunnen de magie van de quantumwereld vasthouden, zelfs als de wereld om hen heen rommelig is. Het is een belangrijke stap van "theorie" naar "reële toepassing".

Kortom: De quantumkok kan zijn recept onthouden, zelfs als de keuken een beetje chaotisch is, zolang hij maar de juiste trucjes (zoals het speelgoedmodel) gebruikt!

Technische samenvatting

Probleemstelling

De huidige generatie kwantumcomputers valt onder het paradigma van "Noisy Intermediate-Scale Quantum" (NISQ). Hoewel deze machines krachtig zijn voor diverse toepassingen, worden ze beperkt door ruis en dissipatie. Een fundamentele uitdaging is het simuleren van niet-Markovische kwantumdynamica, waarbij het systeem geheugen heeft (de toekomstige staat hangt af van de geschiedenis, niet alleen van de huidige staat).

Het specifieke probleem dat in dit paper wordt aangepakt, is het onderscheid maken tussen twee soorten geheugen in dergelijke dynamica:

1. Klassiek geheugen: De niet-Markovische effecten kunnen worden verklaard door klassieke informatie die in het milieu wordt opgeslagen.
2. Kwantumgeheugen: De dynamica vereist echt kwantumgeheugen (bijvoorbeeld verstrengeling of kwantumcorrelaties) om te worden gerealiseerd.

Het is experimenteel zeer moeilijk om te verifiëren of een op een echte kwantumcomputer uitgevoerde simulatie van niet-Markovische dynamica daadwerkelijk kwantumgeheugen behoudt, gezien de sterke invloed van hardware-ruis. De vraag is of huidige IBM Quantum hardware voldoende stabiel is om deze kwantumnatuur van het geheugen te "witnessen" (aantonen).

Methodologie

De auteurs gebruiken een botsingsmodel (collision model) om de dynamica te implementeren. In dit model interacteert het systeem (de qubit(s) van belang) sequentieel met een omgevingsqubit (ancilla) via korte unitaire transformaties ("botsingen").

• Hardware: Experimenten zijn uitgevoerd op de IBM Quantum processor ibm_sherbrooke (een Eagle-processor).
• Detectie van Kwantumgeheugen: In plaats van volledige proces-tomografie (wat experimenteel duur is), gebruiken de auteurs een criterium gebaseerd op dynamische kaarten en verstrengeling:
  • Het systeem wordt gekoppeld aan een extra ancilla-qubit die aanvankelijk maximaal verstrengeld is met het systeem.
  • De auteurs berekenen de concurrentie van vorming ($C$) en de concurrentie van bijstand ($C^\sharp$) voor de gezamenlijke systeem-ancilla-toestand op twee verschillende tijdstippen ($t_1$ en $t_2$).
  • Het criterium: Als $C^\sharp(t_1) < C(t_2)$, dan is het geheugen noodzakelijkerwijs kwantum. Als dit ongelijkheid geldt, kan de dynamica niet worden verklaard door klassiek geheugen.
• Validatie: De resultaten op de echte hardware worden vergeleken met:
  1. De ideale theoretische voorspelling (ruisvrij).
  2. Een lokale klassieke simulatie (fake_sherbrooke) die gebruikmaakt van realistische ruismodellen van IBM.

Belangrijkste Bijdragen en Resultaten

1. Eén-qubit dynamica

• Model: De auteurs simuleren een niet-Markovisch amplitude-dempingsproces met een tijdsafhankelijke dempingscoëfficiënt die van teken wisselt. Theoretisch vereist dit proces kwantumgeheugen.
• Implementatie: Een enkel systeemqubit botst herhaaldelijk met één omgevingsqubit.
• Resultaten:
  • De simulatie toont duidelijk niet-Markovisch gedrag (toename van verstrengeling met de ancilla en toename van het volume van de Bloch-sfeer).
  • Cruciaal: De ongelijkheid $C^\sharp(t_1) < C(t_2)$ werd experimenteel waargenomen op de echte hardware ($0.51 < 0.62$).
  • Conclusie: Ondanks de ruis op de NISQ-hardware, is de kwantumnatuur van het geheugen behouden en verifieerbaar. Dit geldt ook voor andere Eagle-processors (ibm_kyiv, ibm_brisbane).

2. Twee-qubit dynamica (Uitdaging)

• Uitdaging: Bij het uitbreiden van het model naar twee systeemqubits (met één omgevingsqubit) bleek de implementatie te complex. De unitaire transformatie vereiste na transpilatie meer dan 500 kwantumgates.
• Resultaat: De uitvoeringstijd overschreed de decoherentietijden ($T_1, T_2$) van de hardware. De ruis was zo dominant dat de kwantumcorrelaties verloren gingen; het systeem gedroeg zich alsof het "klassiek" of willekeurig unitair was. Het criterium voor kwantumgeheugen kon niet worden waargenomen.

3. Alternatief "Toy Model" voor twee qubits

• Oplossing: Om de gate-aantallen te verlagen en de connectiviteit te optimaliseren, ontwierpen de auteurs een vereenvoudigd model. Hierbij koppelt elk systeemqubit direct aan een eigen omgevingsqubit via een specifieke unitaire transformatie, zonder directe interactie tussen de systeemqubits onderling.
• Techniek: Ze gebruikten readout-error mitigation (meting van kalibratie-circuits) om de meetfouten te corrigeren.
• Resultaat: Met dit efficiëntere circuit werd het criterium opnieuw waargenomen: $C^\sharp(t_1) = 0.72 < 0.89 = C(t_2)$.
• Conclusie: Met een zorgvuldig ontworpen circuit dat rekening houdt met hardware-beperkingen (gate-tijd en connectiviteit), is het mogelijk om kwantumgeheugen in twee-qubit dynamica te demonstreren.

Significantie

Dit paper levert een belangrijke bijdrage aan het veld van NISQ-simulaties:

1. Verificatie van Kwantumvoordeel: Het bewijst dat huidige kwantumcomputers niet alleen ruisige systemen zijn, maar dat ze in staat zijn om fundamentele kwantumeigenschappen (zoals kwantumgeheugen) te behouden en te verifiëren, zelfs in dynamische processen.
2. Methodologische Vooruitgang: Het introduceert een efficiëntere methode (gebaseerd op dynamische kaarten en verstrengeling) om kwantumgeheugen te detecteren, die minder experimentele kosten vereist dan volledige proces-tomografie.
3. Praktische Instructies: Het paper benadrukt het belang van circuit-optimisatie en het vermijden van onnodige gate-sequenties bij het simuleren van complexe dynamica op ruisige hardware. Het toont aan dat "toy models" die rekening houden met hardware-topologie essentieel zijn voor succesvolle experimenten.
4. Toekomstperspectief: Het werk legt de basis voor het simuleren van complexere kwantumsystemen (zoals in chemie en materiaalkunde) waarbij het behoud van kwantumcorrelaties over tijd cruciaal is.

Kortom, de auteurs tonen aan dat ondanks de beperkingen van de NISQ-ère, IBM Quantum hardware een krachtig platform is om de kwantumnatuur van geheugen in open kwantumsystemen experimenteel te bestuderen en te bevestigen.