Multireference error mitigation for quantum computation of chemistry

Questo articolo introduce la Mitigazione dell'Errore a stato Multireferenziale (MREM), una tecnica avanzata di mitigazione dell'errore quantistico che utilizza stati multireferenziali compatti costruiti tramite rotazioni di Givens per migliorare significativamente l'accuratezza dei calcoli di chimica quantistica per sistemi molecolari fortemente correlati, superando i limiti della tradizionale Mitigazione dell'Errore a stato di Riferimento.

L'essenziale

Immagina di cercare di scattare una fotografia perfetta, ad alta definizione, di una scena complessa usando una fotocamera leggermente guasta. L'obiettivo è sporco e il sensore ha un po' di interferenza. Non importa quanto tu sia attento a inquadrare l'inquadratura, l'immagine risultante sarà sfocata e distorta.

Nel mondo del calcolo quantistico, gli scienziati stanno cercando di "fotografare" il comportamento delle molecole (come l'acqua o l'azoto) per comprenderne la chimica. Ma le "fotocamere" che usano oggi — chiamate dispositivi quantistici a rumore intermedio (NISQ - Noisy Intermediate-Scale Quantum) — sono molto simili a questa fotocamera guasta. Sono soggette al "rumore" (interferenza ed errori) che rovina il calcolo, rendendo i risultati inaffidabili.

Questo articolo presenta un nuovo e intelligente trucco per correggere queste immagini sfocate senza dover aspettare la costruzione di fotocamere perfette ed costose. Ecco come ci sono riusciti, spiegato in modo semplice:

Il Problema: La "Fotocamera Guasta"

Quando gli scienziati usano i computer quantistici per calcolare l'energia di una molecola, il rumore della macchina rende errata la risposta. Di solito, la risposta è troppo alta, come una bilancia che aggiunge sempre qualche chilo extra al tuo peso.

Per risolvere questo problema, in precedenza utilizzavano un metodo chiamato Mitigazione dell'Errore con Stato di Riferimento (REM - Reference-State Error Mitigation).

• Il vecchio trucco: Immagina di sapere esattamente come dovrebbe apparire la foto "perfetta" di un oggetto semplice (come una pallina bianca liscia). Scatti una foto di quella pallina con la tua fotocamera guasta, vedi quanto è sfocata e poi usi quel "fattore di sfocatura" per pulire la foto di una scena complessa.
• Il limite: Questo funzionava molto bene per molecole semplici (come una singola pallina). Ma per molecole complesse con elettroni "fortemente correlati" (dove gli elettroni danzano in un modo complicato e sincronizzato), il riferimento della "pallina bianca liscia" non era abbastanza buono. Il riferimento era troppo semplice per aiutare a correggere la foto complessa.

La Nuova Soluzione: MREM (Il "Riferimento Intelligente")

Gli autori, guidati da Hang Zou e dai suoi colleghi, hanno sviluppato un nuovo metodo chiamato Mitigazione dell'Errore con Stato Multiriferimento (MREM - Multireference-State Error Mitigation).

Inve di usare un semplice "riferimento di una pallina bianca liscia", utilizzano un progetto pre-schizzato complesso che assomiglia molto alla molecola reale che stanno studiando.

• L'analogia: Se il vecchio metodo era come usare la foto di un muro bianco per correggere la foto di una strada cittadina affollata, il nuovo metodo usa uno schizzo grezzo di quella stessa strada cittadina. Poiché lo schizzo cattura già la complessità della folla, la "sfocatura" sullo schizzo ti dice esattamente come correggere la foto sfocata della strada reale.

Come Costruire il Progetto: Rotazioni di Givens

Per creare questi schemi di riferimento complessi su un computer quantistico, avevano bisogno di uno strumento speciale. Hanno utilizzato qualcosa chiamato rotazioni di Givens.

• La metafora: Pensa a uno stato quantistico come a un mazzo di carte impilate. Un riferimento semplice è solo una carta. Un riferimento complesso è un mix specifico di alcune carte mescolate insieme.
• Lo strumento: Le rotazioni di Givens sono come un mescolatore magico e molto preciso. Permettono agli scienziati di prendere uno stato iniziale semplice e mescolarci solo alcune carte extra (configurazioni quantistiche) per creare un riferimento che assomigli da vicino alla realtà disordinata e complessa della molecola.
• Perché è importante: Non hanno cercato di mescolare ogni possibile carta (il che richiederebbe troppo tempo e introdurrebbe troppo rumore). Hanno scelto le 2 o 3 carte più importanti che contavano di più. Questo ha mantenuto il processo veloce ed efficiente, pur essendo abbastanza accurato da correggere gli errori.

I Risultati: Immagini Più Nitide

Il team ha testato questo nuovo metodo su tre molecole: l'acqua ($H_2O$), l'azoto ($N_2$) e il fluoro ($F_2$).

1. Acqua ($H_2O$): Il nuovo metodo ha pulito il rumore in modo significativo, fornendo un'immagine molto più nitida dell'energia della molecola rispetto al vecchio metodo.
2. Azoto ($N_2$): Questa molecola è molto complicata perché i suoi elettroni sono altamente correlati. Il vecchio metodo faticava qui, ma questo nuovo approccio a "progetto complesso" è riuscito a recuperare il corretto comportamento fisico, specialmente quando la molecola viene allungata.
3. Fluoro ($F_2$): Questo è stato il successo maggiore. Il nuovo metodo ha ridotto l'errore di circa 100 volte rispetto ai dati rumorosi grezzi, e di 10 volte rispetto al vecchio metodo. Ha ottenuto un risultato così vicino al valore teorico "perfetto" da essere quasi indistinguibile da un calcolo privo di rumore.

In Sintesi

L'articolo afferma che, utilizzando un "riferimento" leggermente più complesso (un mix di alcuni stati quantistici chiave) invece di uno semplice, e utilizzando un modo specifico ed efficiente per costruire tale riferimento (rotazioni di Givens), è possibile correggere gli errori nei computer quantistici attuali in modo molto migliore.

Ciò permette agli scienziati di ottenere risultati affidabili e accurati per problemi chimici difficili oggi, anche mentre i computer quantistici stessi sono ancora imperfetti e rumorosi. È come ottenere una foto cristallina da una fotocamera guasta usando un modo più intelligente per correggere la sfocatura.

Sommario tecnico

Sintesi Tecnica: Mitigazione dell'Errore Multiriferimento per il Calcolo Quantistico della Chimica

Definizione del Problema
La mitigazione dell'errore quantistico (QEM) è fondamentale per migliorare l'affidabilità degli algoritmi di chimica quantistica sui dispositivi NISQ (Noisy Intermediate-Scale Quantum). Sebbene la Mitigazione dell'Errore con Stato di Riferimento (REM) si sia dimostrata efficace per sistemi debolmente correlati, utilizzando un singolo determinante di Hartree-Fock (HF) per quantificare e correggere gli errori di energia indotti dal rumore, essa affronta limitazioni significative nei regimi a forte correlazione (ad esempio, la dissociazione del legame). In questi scenari, lo stato fondamentale target è spesso uno stato multiriferimento (MR) — ovvero una combinazione lineare di molteplici determinanti di Slater (SD). Un singolo determinante HF non riesce a fornire una sovrapposizione sufficiente con il vero stato fondamentale, rendendo la REM standard inefficace e portando a una correzione dell'errore imprecata.

Metodologia
Gli autori introducono la Mitigazione dell'Errore con Stato Multiriferimento (MREM), un'estensione della REM progettata per gestire la forte correlazione elettronica. La metodologia principale prevede:

1. Stati di Riferimento Multiriferimento: Invece di un singolo determinante HF, la MREM utilizza funzioni d'onda multiriferimento troncate (composte da 2–3 SD dominanti) derivate da metodi convenzionali di chimica quantistica (ad esempio, CISD, CCSD, DMRG). Questi stati sono scelti per avere una sovrapposizione sostanziale con lo stato fondamentale target.
2. Rotazioni di Givens per la Preparazione dello Stato: Per preparare efficientemente questi stati MR sull'hardware quantistico, gli autori impiegano le rotazioni di Givens. Queste trasformazioni unitarie agiscono su due elementi selezionati dello spazio di Hilbert, permettendo la miscelazione controllata dei determinanti di Slater pur preservando le proprietà fisiche chiave, specificamente la conservazione del numero di particelle e la proiezione dello spin ($m_s$).
   • Le rotazioni di Givens a singola eccitazione ($G(\theta)$) miscelano gli stati $|01\rangle$ e $|10\rangle$.
   • Le rotazioni di Givens a doppia eccitazione ($G^{(2)}(\theta)$) miscelano stati a quattro qubit come $|0011\rangle$ e $|1100\rangle$.
   • Rotazioni di Givens controllate ($CG(\theta)$) e gate Controlled-X ($CX$) sono utilizzati per costruire configurazioni specifiche, in particolare quando il tapering dei qubit (riduzione della simmetria) interrompe le mappature dirette spin-orbitale.
3. Protocollo MREM:
   • Passaggio Classico: Viene selezionato uno stato MR troncato basato su calcoli classici, e la sua energia esatta (senza rumore) viene calcolata.
   • Passaggio Quantistico: Lo stato MR viene preparato sul dispositivo quantistico tramite circuiti basati su Givens, e la sua energia rumorosa viene misurata per determinare lo spostamento dell'errore ($\Delta E_{MREM}$).
   • Correzione: Il sistema target viene eseguito tramite l'algoritmo Variational Quantum Eigensolver (VQE), e lo spostamento dell'errore misurato viene sottratto dall'energia rumorosa del target per ottenere il risultato mitigato dall'errore.
4. Imposizione della Simmetria: Per affrontare la rottura della simmetria causata dal rumore e dagli ansätze hardware-efficient (HEA), viene aggiunto all'Hamiltoniana un termine di penalità di spin lineare ($\lambda \cdot \hat{S}^2$) per stabilizzare lo stato fondamentale di singoletto.

Contributi Chiave

• Estensione della REM: Il documento propone la MREM, estendendo sistematicamente il framework REM ai sistemi fortemente correlati attraverso l'utilizzo di stati multiriferimento anziché stati HF a singolo riferimento.
• Costruzione Efficiente dei Circuiti: Gli autori dimostrano l'uso delle rotazioni di Givens come un metodo strutturato e preservante la simmetria per costruire stati multiriferimento compatti sull'hardware quantistico, bilanciando l'espressività del circuito con la sensibilità al rumore.
• Strategia di Troncatura: Il lavoro impiega funzioni d'onda troncate (2–3 SD) per evitare una profondità eccessiva del circuito, sfruttando il fatto che poche configurazioni dominanti sono spesso sufficienti per una mitigazione dell'errore efficace.
• Integrazione della Penalità di Spin: L'implementazione include una penalità di spin lineare per mitigare la contaminazione di spin nelle simulazioni VQE rumorose senza introdurre l'elevato overhead di misurazione associato alle penalità di deviazione al quadrato.

Risultati
Gli autori hanno validato la MREM attraverso simulazioni quantistiche digitali rumorose di tre sistemi molecolari: H$_2$O, N$_2$ e F$_2$, utilizzando il modello di rumore FakeSydneyV2.

• H$_2$O: La MREM con 3 SD ha ridotto significativamente gli errori di energia rispetto alla REM a singolo riferimento, recuperando una superficie di energia potenziale (PES) più accurata nonostante l'aumento della complessità del circuito.
• N$_2$: A causa del forte carattere multiriferimento che richiede doppie eccitazioni, il VQE non mitigato con 3 SD è risultato peggiore del VQE basato su HF a causa del rumore. Tuttavia, la MREM ha recuperato con successo il comportamento fisico nella regione di allungamento del legame, dimostrando che i riferimenti MR combinati con la mitigazione dell'errore superano gli approcci a singolo riferimento anche in regimi di alto rumore.
• F$_2$: La MREM con 2 SD ha raggiunto un'accuratezza quasi computazionale (gli errori sono stati ridotti di circa 2 ordini di grandezza rispetto al VQE rumoroso e di circa 1 ordine rispetto alla REM-HF). Lo stato MR ha fornito un'inizializzazione migliore, aiutando il VQE ad evitare minimi locali nelle regioni in cui il VQE standard falliva.

Significatività e Rivendicazioni
Il documento afferma che la MREM amplia l'ambito della mitigazione dell'errore includendo sistemi molecolari con una pronunciata correlazione elettronica, un regime in cui la REM standard fallisce. Utilizzando stati multiriferimento fisicamente motivati e costruiti tramite rotazioni di Givens, il metodo offre un modo efficiente in termini di costi per migliorare l'accuratezza computazionale sui dispositivi NISQ. Gli autori sottolineano che, sebbene gli stati MR da soli possano non migliorare i risultati del VQE rumoroso a causa della maggiore profondità del circuito, essi fungono da riferimenti superiori ed espressivi per la fase di mitigazione dell'errore, consentendo l'estrazione di informazioni fisiche significative in condizioni di rumore. Il lavoro evidenzia il potenziale della combinazione tra intuizione chimica classica (stati MR troncati) e un design efficiente dei circuiti quantistici per superare i limiti dell'hardware.