The Signal
Ricercatori di Fujitsu e NII aggiungono controlli di simmetria ai test dei VQA
Uno studio propone due controlli basati sulle simmetrie per gli algoritmi quantistici variazionali, senza richiedere una soluzione classica esatta. L’approccio viene testato con simulazioni di chimica quantistica e di un modello di gauge su
Quantum.world Team · Scritto con l’IA · verificato ·
«Entrambi i controlli diagnostici derivano dalla struttura del problema e non richiedono la soluzione esatta».
Scrivono gli autori Masaomi Yamaguchi e Fuyuki Ishikawa
Uno studio presentato ad arXiv il 21 ottobre propone di usare le simmetrie fisiche per testare gli algoritmi quantistici variazionali (VQA) senza calcolarne prima le soluzioni esatte su un computer classico. Il metodo, sviluppato da Masaomi Yamaguchi di Fujitsu e Fuyuki Ishikawa del National Institute of Informatics giapponese, verifica se un’esecuzione resta coerente con le simmetrie del problema che deve risolvere.
Gli autori definiscono il loro approccio un framework di test basato sulle simmetrie. Lo valutano in simulazioni di chimica quantistica e di un modello di gauge su reticolo, anche con test in cui sono stati introdotti deliberatamente guasti del software e del sistema. Lo studio è stato accettato alla 2026 IEEE International Conference on Quantum Computing and Engineering, tenutasi a Toronto a settembre.
Due controlli per punti di errore diversi
I VQA combinano un circuito quantistico parametrizzato con un ottimizzatore classico. Il circuito stima una funzione obiettivo, spesso l’energia associata a un’Hamiltoniana, e l’ottimizzatore modifica i parametri del circuito alla ricerca di uno stato a bassa energia. Il test è difficile quando non è disponibile una soluzione esatta con cui confrontare il risultato: un riferimento che potrebbe essere a sua volta irraggiungibile nel regime in cui ci si aspetta un vantaggio quantistico.
Il framework usa come specifiche operatori che commutano con l’Hamiltoniana del problema. Il controllo di integrità confronta, a ogni passo dell’ottimizzazione, i due ordini in cui si possono applicare l’Hamiltoniana e un operatore di simmetria scelto. Se il problema è specificato correttamente, il commutatore dovrebbe essere nullo; uno scostamento può indicare che l’esecuzione si è allontanata dal compito previsto.
Un secondo controllo valuta la varianza dell’operatore di simmetria sullo stato a cui l’ottimizzazione è convergente. Quando lo stato cercato dovrebbe essere un autostato di quell’operatore, la varianza dovrebbe essere prossima a zero. Gli autori sottolineano che questo controllo di accettazione dipende dal problema: in presenza di energie degeneri per lo stato cercato, la scelta di un operatore dal comportamento atteso noto richiede particolare attenzione.
Sei guasti introdotti in un test a quattro qubit
I ricercatori hanno testato anzitutto una simulazione a quattro qubit della molecola di idrogeno, usando il numero di particelle e lo spin totale come operatori di simmetria. Hanno introdotto sei guasti, tra cui una lettura delle misure bloccata sullo zero, un cablaggio spostato, basi di misura randomizzate, pesi errati nell’Hamiltoniana, un termine indesiderato nell’Hamiltoniana e un ansatz circuitale con espressività insufficiente. Nello studio, i controlli di integrità e di accettazione hanno rilevato, insieme, tutti e sei i guasti.
Un esempio mostra perché un’ottimizzazione apparentemente riuscita non basta. L’aggiunta di un termine indesiderato all’Hamiltoniana dell’idrogeno ha comunque prodotto un’esecuzione che sembrava convergere, ma i controlli di simmetria hanno rivelato il problema. Nei vari test, guasti diversi hanno prodotto segnali diversi: alcuni hanno alterato i controlli durante l’ottimizzazione, mentre altri erano più evidenti nella varianza dello stato finale.
Gli autori hanno anche verificato se il controllo di accettazione fosse in grado di distinguere i risultati peggiori da quelli migliori. In 1.000 esecuzioni simulate per l’idrogeno, valutate con 100.000 shot di misura, una soglia scelta ha respinto il 73,7% delle esecuzioni che non soddisfacevano il criterio di accuratezza chimica dello studio, senza respingere nessuna di quelle che lo soddisfacevano. Una soglia più severa ha individuato il 78,2% delle esecuzioni di bassa qualità, ma ha respinto erroneamente il 21,4% di quelle che soddisfacevano il criterio.
Correlazioni tra molecole, e un costo
Per esaminare se il segnale si estendesse oltre l’idrogeno, il gruppo ha confrontato i valori del controllo di accettazione con l’errore sull’energia per LiH, BeH₂, H₂O e un modello di gauge Z₂ su reticolo. Nei test molecolari, la correlazione combinata più forte è stata pari a 0,891 per BeH₂; per il modello di gauge su reticolo, il valore massimo fra sei controlli di simmetria presentava una correlazione di 0,982 con l’errore sull’energia. Questi dati descrivono esperimenti condotti con un simulatore, non risultati ottenuti da un processore quantistico.
In uno studio separato sul rumore, il gruppo ha ripetuto un’esecuzione per l’idrogeno con rumore simulato, aumentato da zero fino a dieci volte un profilo di riferimento. Il valore del controllo di accettazione è cresciuto insieme all’errore sull’energia, mentre quello del controllo di integrità è rimasto vicino a zero in questa configurazione, perché il rumore introdotto non modificava le relazioni di simmetria dell’Hamiltoniana. Il risultato suggerisce che i due controlli diagnostici distinguano alcuni guasti nell’esecuzione dal peggioramento della qualità causato dal rumore, ma non dimostra che lo facciano su ogni dispositivo o con ogni modello di rumore.
L’approccio richiede misure aggiuntive. Per l’Hamiltoniana dell’idrogeno a 15 termini usata nello studio, verificare il numero di particelle e lo spin totale ha richiesto nove termini di Pauli aggiuntivi. Gli autori osservano che raggruppare le misure compatibili ed eseguire periodicamente il controllo di integrità potrebbe ridurre questo costo.
Un segnale d’allarme, non una prova di correttezza
Superare i controlli non dimostra che un VQA abbia trovato lo stato cercato esatto. Alcune esecuzioni che non raggiungevano l’accuratezza chimica hanno superato la soglia di selezione, e il metodo dipende dalla scelta di simmetrie adatte e dalla verifica che commutino con l’Hamiltoniana prevista. Gli autori presentano i test come condizioni necessarie per potersi fidare del risultato, non come garanzie.
Questa distinzione definisce il contributo dello studio: quando non è disponibile una soluzione classica esatta, la simmetria fornisce un segnale di test fondato sul problema stesso. Nell’esempio dell’idrogeno, il costo aggiuntivo misurato è di nove termini di Pauli.