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

Questo lavoro introduce una nuova strategia di mappatura dei qubit basata sui determinant di Slater per il Variational Quantum Eigensolver, che, pur richiedendo talvolta più qubit, genera circuiti a bassa profondità ideali per dispositivi NISQ, permettendo con successo la simulazione di sette nuclei fino a 29 qubit con errori mitigati inferiori al 4% rispetto alle previsioni del modello a shell.

L'essenziale

Immagina di voler risolvere un gigantesco puzzle che descrive come sono fatti i nuclei degli atomi. Questo puzzle è chiamato Modello a Guscio Nucleare. Per decenni, i fisici hanno cercato di risolverlo usando i supercomputer classici, ma il puzzle è diventato troppo grande: il numero di pezzi cresce in modo esplosivo, rendendo impossibile trovare la soluzione per molti atomi pesanti.

I ricercatori di questo studio hanno pensato: "E se usassimo un computer quantistico?" Questi computer sono come maghi che possono vedere tutte le soluzioni del puzzle contemporaneamente. Tuttavia, c'è un problema: i computer quantistici di oggi sono ancora "fragili" (rumorosi) e i circuiti che li guidano sono troppo complessi e lunghi, come un viaggio in autostrada con troppi caselli e buche.

Ecco come gli autori hanno risolto il problema, spiegato con parole semplici e metafore:

1. Il Cambio di Strategia: Dal "Singolo Pezzo" al "Pezzo Completo"

Nell'approccio tradizionale, ogni "pezzo" del puzzle (ogni singola particella che ruota nel nucleo) veniva assegnato a un qubit (il bit quantistico, come un interruttore che può essere acceso, spento o entrambi).

• Il problema: Per descrivere un nucleo complesso, avevi bisogno di troppi interruttori e di collegarli tutti tra loro con fili molto intricati. Più fili = più errori.

La nuova idea degli autori: Invece di assegnare un qubit a ogni singola particella, hanno deciso di assegnare un qubit a ogni configurazione completa del puzzle (chiamata "Determinante di Slater").

• L'analogia: Immagina di dover descrivere una stanza piena di persone.
  • Vecchio metodo: Assegni un microfono a ogni singola persona e devi farle parlare tutte insieme per capire la dinamica della stanza. È un caos.
  • Nuovo metodo: Assegni un microfono a ogni possibile "scena" della stanza (es. "tutti seduti", "tutti in piedi", "uno che balla"). Ora, invece di gestire mille voci, gestisci solo le scene.

2. Il Vantaggio: Circuiti più Semplici (e meno "rumorosi")

Questa strategia ha un prezzo: a volte servono più microfoni (qubit) perché le possibili "scene" sono molte. Ma il guadagno è enorme:

• I circuiti quantistici diventano molto più semplici e corti.
• È come passare da un labirinto con mille vicoli ciechi a una scala dritta che porta al piano di sopra.
• Poiché i circuiti sono più corti, fanno meno errori quando girano sui computer quantistici reali, che sono ancora un po' "malati" (rumorosi).

3. La Prova sul Campo: Dai Piccoli ai Giganti

Gli scienziati hanno testato questa idea su 7 nuclei diversi, dai piccoli (come il Litio) ai giganti (come il Polonio e il Piombo).

• I piccoli: Per i nuclei leggeri, il nuovo metodo ha funzionato benissimo, quasi perfettamente.
• I giganti: Per i nuclei pesanti, il nuovo metodo ha permesso di simulare sistemi enormi (fino a 29 qubit) che sarebbero stati impossibili con il metodo vecchio.

4. Il Trucco Finale: "Pulire" gli Errori

Anche con circuiti più semplici, i computer quantistici reali fanno ancora qualche errore. Gli autori hanno usato una tecnica chiamata Estrapolazione a Rumore Zero (ZNE).

• L'analogia: Immagina di ascoltare una canzone registrata con un microfono difettoso. Invece di buttare la registrazione, la riproduci a volume sempre più alto (aggiungendo "rumore" artificiale) e poi usi un software intelligente per indovinare come sarebbe suonata la canzone se il microfono fosse stato perfetto.
• Applicando questo trucco, gli errori sono crollati. Alla fine, i risultati ottenuti dai computer reali si sono discostati dalla teoria corretta di meno del 4%.

In Sintesi

Questo studio ci dice che, per usare i computer quantistici oggi (che sono ancora piccoli e rumorosi), a volte è meglio usare più risorse (più qubit) per costruire macchine più semplici e robuste.

È come dire: "Invece di costruire un'auto da corsa velocissima ma fragile che si rompe al primo ostacolo, costruiamo un fuoristrada un po' più pesante ma che arriva sicuro a destinazione anche su strade piene di buche".

Questa è una grande vittoria per la fisica nucleare: ci avvicina al giorno in cui potremo simulare il cuore della materia con la precisione che i computer classici non potranno mai raggiungere.

Sommario tecnico

Titolo: Un approccio a bassa profondità di circuito per il modello a gusci nucleare basato su mappatura di qubit

Autori: Chandan Sarma e P. D. Stevenson (Università di Surrey, Regno Unito)

---

1. Il Problema

Il modello a gusci nucleare, fondamentale per comprendere le proprietà strutturali dei nuclei atomici, affronta la "maledizione della dimensionalità" quando applicato a sistemi complessi o lontani dai numeri magici. Nella formulazione classica di Interazione di Configurazione (CI), la dimensione dello spazio di Hilbert cresce combinatorialmente con il numero di particelle, rendendo molti sistemi nucleari intrattabili per i computer classici.

L'informatica quantistica offre una soluzione promettente grazie alla scalabilità esponenziale dello spazio di Hilbert multi-qubit. Tuttavia, l'implementazione attuale su dispositivi quantistici a scala intermedia rumorosa (NISQ) è limitata dalla profondità del circuito e dal rumore. Le mappature tradizionali (es. m-scheme), che assegnano un qubit a ogni singolo stato di particella, richiedono circuiti profondi con molte porte a due qubit (spesso gate di entanglement complessi), che sono altamente suscettibili agli errori sui hardware attuali.

2. Metodologia

Gli autori propongono una nuova strategia di mappatura qubit per l'Algoritmo Variazionale per l'Autostato (VQE):

• Mappatura basata su Determinanti di Slater (SD): Invece di assegnare un qubit a ogni singolo stato di particella, ogni qubit rappresenta un'intera configurazione di Determinante di Slater (SD) compatibile con i numeri quantici totali del sistema (es. spin totale $J$ e proiezione $M$).
• Riformulazione dell'Hamiltoniana: L'Hamiltoniana del modello a gusci viene riscritta nella base delle configurazioni SD. Poiché le transizioni tra SD adiacenti in questa base avvengono tramite eccitazioni singole (rotazioni di Givens a un corpo), l'Hamiltoniana risultante in termini di operatori di creazione/distruzione di SD richiede solo rotazioni a un qubit (o coppie di qubit semplici) invece delle complesse eccitazioni doppie richieste dalla mappatura a singola particella.
• Ansatz di Circuito: Viene utilizzato un ansatz a "scalata" (ladder) di eccitazioni singole. Questo riduce drasticamente la profondità del circuito e il numero di gate a due qubit rispetto agli ansatz tradizionali basati su eccitazioni doppie.
• Mitigazione degli Errori: Per compensare il rumore hardware, viene applicata l'Estrazione a Rumore Zero (ZNE) tramite il "folding" dei gate a due qubit (CZ). Si esegue il circuito con fattori di rumore scalati (1x, 3x, 5x) e si estrapola il risultato al limite di rumore zero.

3. Contributi Chiave

• Nuova Strategia di Codifica: Dimostrazione che mappare le configurazioni di molti corpi (SD) direttamente ai qubit, pur aumentando talvolta il numero totale di qubit necessari, semplifica notevolmente la struttura del circuito quantistico.
• Riduzione della Complessità: L'approccio SD trasforma un problema che richiederebbe eccitazioni doppie (gate complessi) in una serie di eccitazioni singole, riducendo la profondità del circuito e il numero di termini di Pauli da misurare.
• Validazione su Sistemi Diversi: Applicazione del metodo a sette nuclei di diverse masse:
  • Isotopi leggeri del Litio ($^6$Li - $^9$Li) nel guscio $p$.
  • $^{18}$F nel guscio $sd$.
  • Nuclei pesanti $^{210}$Po e $^{210}$Pb (oltre $^{208}$Pb).
• Simulazione su Hardware Reale: Esecuzione dei circuiti su simulatori rumorosi (backend IBM FakeFez) e su hardware quantistico reale (IBM Pittsburgh), applicando tecniche di mitigazione degli errori.

4. Risultati

• Efficienza delle Risorse: Per nuclei come $^6$Li e $^{18}$F, l'ansatz a eccitazione singola (SD) richiede significativamente meno gate a due qubit e una profondità inferiore rispetto all'ansatz a eccitazione doppia (mappatura singola particella). Ad esempio, per $^{18}$F, l'approccio SD riduce il numero di termini di Pauli da 2112 a 618.
• Accuratezza Senza Mitigazione:
  • I risultati grezzi su hardware mostrano errori variabili. Per i nuclei leggeri ($^6$Li, $^7$Li), l'errore è intorno al 7% (sotto-legame). Per i nuclei più pesanti ($^{210}$Po, $^{210}$Pb), l'errore grezzo è elevato (fino all'85% per $^{210}$Pb) a causa della profondità del circuito.
• Risultati con Mitigazione (ZNE):
  • Dopo l'applicazione della ZNE, la precisione migliora drasticamente.
  • Per tutti e sette i nuclei studiati, gli errori mitigati scendono sotto il 4% rispetto alle previsioni del modello a gusci classico.
  • Caso emblematico: Per $^{210}$Pb, l'errore grezzo dell'85% viene ridotto a 1.19% dopo l'estrapolazione lineare a rumore zero.
• Scalabilità: È stato dimostrato che sistemi complessi come $^{210}$Po e $^{210}$Pb possono essere simulati rispettivamente come sistemi a 22 e 29 qubit, rendendo fattibile lo studio di nuclei pesanti su hardware NISQ attuale.

5. Significato e Conclusioni

Questo lavoro offre una via promettente per le simulazioni quantistiche nella fisica nucleare a breve termine.

• Trade-off Ottimizzato: L'approccio accetta un possibile aumento del numero di qubit (per codificare le configurazioni SD) in cambio di una drastica riduzione della complessità del circuito (profondità e gate a due qubit). Questo è cruciale per i dispositivi NISQ, dove il rumore dei gate a due qubit è il principale collo di bottiglia.
• Versatilità: Il metodo si rivela particolarmente efficace per nuclei leggeri e sistemi a due nucleoni, ma dimostra anche la fattibilità per nuclei pesanti se combinato con tecniche di mitigazione degli errori avanzate.
• Futuro: Man mano che l'hardware quantistico evolverà verso dispositivi su scala utile (oltre 100 qubit), strategie che scambiano il conteggio dei qubit con una minore complessità dei gate e circuiti più superficiali diventeranno fondamentali per simulazioni nucleari scalabili.

In sintesi, gli autori dimostrano che una riformulazione intelligente della mappatura qubit-problema può rendere il modello a gusci nucleare accessibile ai computer quantistici attuali, superando le limitazioni imposte dal rumore e dalla profondità dei circuiti.