A low-circuit-depth quantum computing approach to the nuclear shell model

Deze studie introduceert een nieuwe qubit-toewijzingsstrategie voor de Variational Quantum Eigensolver die Slater-determinanten in plaats van individuele deeltjestoestanden als basis gebruikt, waardoor eenvoudigere circuits ontstaan die met succes zijn toegepast op zeven kernen, waaronder zware isotopen, met een nauwkeurigheid van minder dan 4% na toepassing van Zero-Noise Extrapolation.

De kern

Kernfysica op een kwantumcomputer: Een nieuwe manier om atoomkernen te simuleren

Stel je voor dat je een enorme, ingewikkelde legpuzzel probeert op te lossen. In de wereld van de kernfysica is die puzzel de atoomkern. Wetenschappers willen weten hoe de deeltjes in die kern (protonen en neutronen) zich gedragen, zodat ze kunnen voorspellen hoe stabiel een kern is of hoe hij energie vrijgeeft.

Vroeger deden ze dit met supercomputers, maar voor zware kernen wordt de puzzel zo groot dat zelfs de krachtigste computers het niet meer kunnen oplossen. Hier komt de kwantumcomputer om de hoek kijken. Die is gemaakt om met zulke complexe puzzels om te gaan.

Maar er is een probleem: de huidige kwantumcomputers zijn nog niet perfect. Ze zijn snel, maar ook "ruisig" (ze maken fouten) en ze kunnen niet heel diepe of ingewikkelde berekeningen uitvoeren voordat de informatie verloren gaat.

Dit artikel van Chandan Sarma en P. D. Stevenson introduceert een slimme nieuwe manier om deze puzzel op te lossen, speciaal voor de huidige, nog imperfecte kwantumcomputers.

De oude manier: De "Brievenbus"-methode

Stel je de atoomkern voor als een appartementencomplex met veel kamers (de energie-niveaus).

• De oude methode: Je geeft elke enkele kamer een eigen sleutel (een kwantumbit of 'qubit'). Als je wilt weten hoe de bewoners (de deeltjes) zich gedragen, moet je elke sleutel apart gebruiken en ze allemaal met elkaar laten praten.
• Het probleem: Voor zware kernen heb je duizenden kamers. Je hebt dus duizenden sleutels nodig. En omdat de bewoners constant met elkaar praten, moet je de sleutels heel vaak en heel snel omwisselen. Op een ruisige kwantumcomputer gaat dit mis; de "gesprekken" worden verstoord door ruis voordat het antwoord klaar is.

De nieuwe methode: De "Groepsfoto"-methode

De auteurs van dit paper zeggen: "Wacht even, laten we het anders doen."
In plaats van elke kamer apart te coderen, kijken ze naar de combinaties van bewoners.

• De nieuwe methode: Ze maken een lijst van alle mogelijke groepsfoto's (in de vaktaal: Slater-determinanten) die de bewoners kunnen maken. Elke mogelijke groepsfoto krijgt nu één sleutel (één qubit).
• Het voordeel: Hoewel je misschien iets meer sleutels nodig hebt dan bij de oude methode (afhankelijk van de kern), is het grote voordeel dat je de sleutels niet meer constant hoeft te laten "praten" op een ingewikkelde manier. Je hoeft ze alleen maar een beetje te verschuiven om van de ene groepsfoto naar de andere te gaan.
• De analogie: Het is alsof je in plaats van elke persoon in een zaal apart te besturen, gewoon een knop hebt voor "De hele zaal staat op", "De hele zaal zit", etc. De berekening wordt veel korter en simpeler.

Wat hebben ze gedaan?

De wetenschappers hebben deze nieuwe methode getest op zeven verschillende atoomkernen, variërend van lichte kernen (zoals Lithium) tot zware kernen (zoals Polonium en Lood).

1. De test: Ze draaiden hun berekeningen op een gesimuleerde kwantumcomputer (die ruis nabootst) en op een echte kwantumcomputer (de IBM Pittsburgh).
2. Het probleem met ruis: Net als bij een slechte telefoonverbinding, waren de eerste resultaten niet perfect. De berekende energie was soms te hoog of te laag.
3. De oplossing (ZNE): Ze gebruikten een truc genaamd Zero-Noise Extrapolation.
   • De analogie: Stel je voor dat je een foto maakt in de mist. Je maakt eerst een foto, dan een foto met extra mist (door de berekening twee keer te herhalen), en dan nog een met extra mist. Door te kijken hoe de foto eruitziet met steeds meer mist, kun je wiskundig terugrekenen hoe de foto eruit zou zien als er geen mist was.
   • Dit werkt wonderbaarlijk goed.

De resultaten

Na het toepassen van deze "mist-verwijdering" (foutcorrectie):

• Waren de resultaten voor alle zeven kernen binnen 4% van de perfecte theoretische waarde.
• Voor de zwaarste kernen (Lood-210) was de oorspronkelijke fout zelfs 85%, maar na de correctie was het weer bijna perfect.

Waarom is dit belangrijk?

Deze nieuwe manier van werken (elke mogelijke configuratie als één qubit zien) is een grote stap vooruit voor de toekomst.

• Het maakt het mogelijk om zware atoomkernen te simuleren op de huidige, nog niet-perfecte computers.
• Het is een bewijs dat je soms meer "ruimte" (meer qubits) kunt gebruiken om de "rekenweg" (de circuitdiepte) korter en simpeler te houden.

Kort samengevat:
De auteurs hebben een slimme nieuwe manier bedacht om atoomkernen op een kwantumcomputer te simuleren. In plaats van elke bouwsteen apart te coderen, coderen ze hele groepen tegelijk. Dit maakt de berekening korter en minder gevoelig voor fouten. Met een slimme truc om de ruis weg te rekenen, kregen ze zeer nauwkeurige resultaten, zelfs voor de zwaarste kernen. Dit opent de deur naar het simuleren van de kern van de materie met de technologie die we vandaag al hebben.

Technische samenvatting

Titel: Een quantumcomputing-benadering met lage circuits diepte voor het nucleaire schillenmodel

Auteurs: Chandan Sarma en P. D. Stevenson (Universiteit van Surrey, VK)
Datum: 16 oktober 2025

---

1. Het Probleem

Het nucleaire schillenmodel is een fundamentele paradigma voor het beschrijven van de structuur van atoomkernen. In de klassieke berekeningen (Configuratie-Interactie of CI) wordt de golf functie van de kern uitgedrukt als een lineaire combinatie van Slater-determinanten (SD). Hoewel dit efficiënt is voor kernen dicht bij "magische getallen", leidt de exponentiële groei van de Hilbert-ruimte met het aantal valentie-deeltjes tot het "vloek van de dimensionaliteit". Dit maakt berekeningen voor veel kernen onbereikbaar voor klassieke computers.

Quantumcomputers beloven dit probleem op te lossen door de exponentiële schaling van de Hilbert-ruimte met het aantal qubits te benutten. Echter, de huidige generatie quantumhardware (NISQ - Noisy Intermediate-Scale Quantum) heeft te kampen met ruis en decoherentie. De standaard methode om het schillenmodel te mappen naar qubits (waarbij elk qubit een enkel-deeltjestoestand vertegenwoordigt) vereist vaak diepe circuits met veel twee-qubit-gates. Deze diepte overstijgt de coherentietijd van huidige hardware, wat leidt tot onnauwkeurige resultaten.

2. Methodologie

De auteurs introduceren een nieuwe qubit-mappingstrategie voor de Variational Quantum Eigensolver (VQE):

• SD-basis Mapping: In plaats van een qubit toe te wijzen aan elke individuele enkel-deeltjestoestand, wijst deze methode één qubit toe aan elke mogelijke Slater-determinant (SD) configuratie.
• Hamiltoniaan-transformatie: De Hamiltoniaan wordt herschreven in de basis van SD-configuraties. Omdat de pariteit van de enkel-deeltjestoestanden al is verwerkt in de definitie van de SD's, kunnen de complexe Z-gates (van de Jordan-Wigner-transformatie) worden weggelaten. Dit resulteert in een vereenvoudigde qubit-Hamiltoniaan.
• Ansatz (Schakelnetwerk):
  • In de traditionele enkel-deeltjesbasis zijn dubbele excitaties nodig om de golffunctie te construeren, wat complexe circuits vereist.
  • In de SD-basis worden de toestanden gekoppeld via enkelvoudige excitaties (Single Excitations). Dit maakt gebruik van Givens-rotaties die als een "ladder" worden geïmplementeerd. Dit leidt tot aanzienlijk eenvoudigere circuits met een lagere diepte.
• Experimentele Opstelling:
  • De auteurs testen de methode op zeven kernen: vier lithium-isotopen ($^6$Li, $^7$Li, $^8$Li, $^9$Li), $^{18}$F, en twee zware kernen ($^{210}$Po, $^{210}$Pb).
  • Hardware/Simulatie: Berekeningen worden uitgevoerd op een ruis-simulator (IBM FakeFez) en op echte quantumhardware (IBM Pittsburgh).
  • Foutmitigatie: Er wordt gebruik gemaakt van Zero-Noise Extrapolation (ZNE) via het vouwen van twee-qubit-gates (CZ-gates). Hierbij worden extra gate-paren toegevoegd (die als identiteit werken) om het ruisniveau te verhogen, waarna de resultaten worden geëxtrapoleerd naar het nul-ruis limiet.

3. Belangrijkste Bijdragen

1. Nieuwe Mapping: Een bewijs van concept dat het mappen van SD's naar qubits (in plaats van enkel-deeltjestoestanden) leidt tot circuits met een lagere diepte en minder twee-qubit-gates, ondanks een mogelijk hoger totaal aantal qubits.
2. Vergelijking van Benaderingen: Een directe vergelijking toont aan dat de SD-basis met enkelvoudige excitaties aanzienlijk minder resources (gates, parameters, Pauli-termen) vereist dan de dubbele excitatie-benadering in de enkel-deeltjesbasis.
3. Schaalbaarheid: De methode wordt succesvol toegepast op zware kernen ($^{210}$Po en $^{210}$Pb), die worden gemodelleerd als systemen van respectievelijk 22 en 29 qubits.
4. Foutmitigatie Effectiviteit: Demonstratie dat ZNE de resultaten van ruisige hardware en simulaties aanzienlijk verbetert, waardoor de nauwkeurigheid binnen de acceptabele grenzen komt.

4. Resultaten

• Lithium-isotopen: Voor de lichtere kernen ($^6$Li tot $^9$Li) lieten de ruisige simulaties en hardware-resultaten een onderbinding (underbinding) zien van ongeveer 7% ten opzichte van de klassieke schillenmodel-waarden.
• Vergelijking SD vs. Enkel-deeltje: Voor $^6$Li en $^{18}$F toonde de SD-basis (enkelvoudige excitatie) een fout van minder dan 10% in ruisige simulaties. De traditionele dubbele excitatie-benadering vertoonde echter enorme fouten (55-65% onderbinding) door de hoge circuitdiepte en ruisgevoeligheid.
• Zware Kernen: Voor $^{210}$Po en $^{210}$Pb waren de ruwe hardware-resultaten zeer onnauwkeurig (tot 85% afwijking voor $^{210}$Pb) vanwege de diepe circuits.
• Effect van ZNE: Na toepassing van Zero-Noise Extrapolation verbeterden de resultaten drastisch. De beste gemitigeerde resultaten voor alle zeven kernen lagen binnen 4% afwijking van de exacte schillenmodel-predicties.
  • Opmerkelijk voorbeeld: Voor $^{210}$Pb daalde de fout van 85% (ruw) naar slechts 1,19% na lineaire ZNE.

5. Betekenis en Conclusie

De studie concludeert dat het mappen van Slater-determinanten naar qubits een veelbelovende route is voor nabije-toekomstige quantum-simulaties in de kernfysica, vooral voor lichtere kernen en systemen met twee nucleonen.

• Trade-off: De methode wisselt een hoger aantal qubits (in sommige gevallen) uit voor een drastische reductie in circuitdiepte en complexiteit. Dit is ideaal voor huidige NISQ-apparaten waar fouten de beperkende factor zijn, niet het aantal qubits.
• Toekomstperspectief: Hoewel de methode uitdagend wordt voor zeer complexe kernen (waar het aantal qubits de hardwarelimieten zou kunnen overschrijden), biedt het een schaalbare strategie. Voor complexere systemen kan men overwegen om SD's te coderen als multi-qubit toestanden (bijv. Gray-code), maar voor nu biedt deze SD-basis een effectieve balans tussen nauwkeurigheid en uitvoerbaarheid op huidige hardware.

De auteurs benadrukken dat deze aanpak de weg vrijmaakt voor het simuleren van grotere kernsystemen en potentieel het opnemen van drie-nucleonenkrachten binnen dezelfde circuitontwerpstrategie.