L'universo è costruito su un insieme di regole invisibili che governano il modo in cui le particelle interagiscono, regole che i fisici descrivono utilizzando strutture matematiche chiamate teorie di gauge. Queste teorie sono essenziali per comprendere tutto, dalla luce che ci permette di vedere alle forze che tengono insieme i nuclei atomici. Tuttavia, simulare queste regole su un computer è notoriamente difficile. Gli oggetti matematici al cuore di queste teorie, noti come campi di gauge, si comportano come ruote che girano e che possono puntare solo in direzioni specifiche e discrete, molto simile alle lancette di un orologio che possono fermarsi solo sui segni delle ore. Al contrario, i computer quantistici più avanzati disponibili oggi non utilizzano ruote che girano; utilizzano sistemi vibranti, simili a una corda di chitarra, che possono vibrare con qualsiasi quantità di energia e puntare in qualsiasi direzione. Questo disallineamento fondamentale ha a lungo impedito agli scienziati di utilizzare l'hardware quantistico per simulare questi tipi specifici di leggi fisiche con perfetta accuratezza.

Un team di ricercatori ha ora trovato un modo per colmare questo divario, creando un metodo per tradurre il comportamento di queste ruote che girano nel linguaggio delle corde vibranti senza perdere alcuna parte essenziale della fisica. In uno studio recente, gli autori dimostrano come codificare la natura ristretta e circolare di questi campi di gauge nello spazio continuo e illimitato di un oscillatore quantistico. Sono riusciti a farlo utilizzando un tipo speciale di codice di correzione degli errori, un quadro matematico che costringe le vibrazioni continue a comportarsi come se fossero confinate in un cerchio. I ricercatori hanno dimostrato che questa codifica non è solo un'approssimazione, ma un match esatto nel limite ideale, e anche quando l'hardware è imperfetto, gli errori sono prevedibili e possono essere rimossi. Applicando questa tecnica a un modello semplificato di elettromagnetismo in tre dimensioni, sono stati in grado di recuperare le minuscole differenze di energia che derivano dalla topologia unica del sistema, provando che il metodo funziona con alta precisionità.

La sfida centrale affrontata dal team era la differenza tra l'hardware e la teoria. L'hardware quantistico basato su modi bosonic, come i circuiti superconduttori o gli ioni intrappolati, supporta naturalmente variabili continue. Una particella in un tale sistema può avere una posizione o un momento che è qualsiasi numero reale. I campi di gauge nella teoria, tuttavia, sono compatti, il che significa che sono periodici; se ci si sposta abbastanza lontano in una direzione, si torna al punto di partenza dopo aver completato il giro. Tradizionalmente, gli scienziati hanno cercato di costringere l'hardware continuo a imitare questo comportamento frammentando lo spazio in piccoli pezzi discreti, ma questo introduce errori che crescono man mano che la simulazione diventa più complessa. Il nuovo approccio evita completamente questa troncatura. Invece di tagliare lo spazio, i ricercatori hanno utilizzato uno stabilizzatore, uno strumento matematico che agisce come un filtro. Questo filtro seleziona un modello specifico di vibrazioni che si ripete a intervalli regolari, avvolgendo efficacementamente la linea infinita di possibilità su un cerchio. Ciò consente all'hardware continuo di trasportare esattamente le stesse informazioni della teoria compatta, a condizione che il sistema sia preparato nello stato corretto.

Per testare il loro metodo, i ricercatori si sono concentrati su una versione specifica dell'elettrodinamica quantistica, una teoria che descrive come la luce e la materia interagiscono, ridotta a un singolo anello quadrato di spazio. Hanno introdotto cariche elettriche statiche in questo sistema, che agiscono come ostacoli fissi che torcono le condizioni al contorno dell'onda. In questo ambiente "torcente", il sistema sviluppa un minuscolo spostamento di energia noto come energia di torsione (twist energy), un fenomeno che deriva dal tunneling quantistico del flusso magnetico attraverso l'anello. Questa energia è incredibilmente piccola e difficile da misurare perché è sepolta sotto contributi di energia classica molto più grandi. Il team ha simulato l'evoluzione temporale del sistema, creando una coppia di particella e antiparticella e osservando come interagivano con il campo di gauge. Calcolando attentamente i grandi contributi di energia noti ed estrapolando i risultati per eliminare gli effetti della precisione dell'hardware, sono stati in grado di isolare la minuscola energia di torsione.

I risultati della simulazione sono stati sorprendenti. I ricercatori hanno scoperto che il loro sistema codificato riproduceva l'esatta dinamica della teoria compatta entro l'uno percento del valore reale. Sono stati in grado di misurare la scissione di energia tra diversi settori di carica, un valore che è esponenzialmente piccolo e che funge da seme per la fisica dei monopoli magnetici inerente alla teoria. Lo studio ha confermato che gli errori introdotti dalla finita energia dell'hardware non erano rumore casuale, ma spostamenti sistematici che potevano essere calcolati e sottratti. Eseguendo la simulazione a diversi livelli di "squeezing" (compressione), un parametro che controlla la precisione dello stato quantistico, sono stati in grado di estrapolare i risultati verso il limite ideale, recuperando l'esatto valore teorico. Ciò ha dimostrato che la codifica preserva l'integrità della fisica anche quando l'hardware non è perfetto.

Il documento ha anche esplorato come il loro metodo gestisce la presenza di materia dinamica, dove le cariche non sono fisse ma possono muoversi. In questo scenario, la torsione diventa una variabile dinamica piuttosto che un'impostazione fissa. I ricercatori hanno dimostrato che il loro quadro concettuale può accomodare questa complessità, mantenendo il budget degli errori gestibile. Hanno dettagliato come gli errori si manifestano come piccoli spostamenti nei livelli di energia e come questi spostamenti dipendano dalla configurazione specifica del sistema. Fondamentalmente, hanno dimostrato che gli errori principali possono essere corretti o mitigati attraverso l'estrapolazione, il che significa che i risultati non dipendono dalla perfezione dell'hardware, ma dalla capacità di comprendere e modellare le imperfezioni. Questa distinzione è vitale, poiché suggerisce che i dispositivi quantistici attuali e quelli di prossima generazione possono essere utilizzati per studiare queste teorie complesse senza attendere macchine a tolleranza agli errori (fault-tolerant).

Uno degli aspetti più significativi del lavoro è il modo in cui gestisce la conservazione delle leggi fisiche. Nella teoria ridotta, i ricercatori hanno risolto un vincolo noto come legge di Gauss, che assicura che la carica totale in una regione sia bilanciata. Questa riduzione ha lasciato con un insieme di oscillatori indipendenti, ciascuno dei quali rappresenta un grado di libertà del campo di gauge. Hanno dimostrato che lo stabilizzatore introdotto commuta con la dinamica del sistema, il che significa che la correzione dell'errore non interferisce con l'evoluzione del sistema stesso. Ciò consente una misurazione non distruttiva dello "error syndrome" (segnale di errore), un segnale che indica se il sistema si è allontanato dallo stato previsto. Misurando questo segnale, i ricercatori possono rilevare e correggere gli errori di spostamento causati dalla perdita di fotoni o da operazioni imperfette, mantenendo la simulazione in carreggiata.

Lo studio ha anche confrontato due modi diversi di organizzare le variabili nella simulazione, noti come "frame" (quadri). Un frame tratta il flusso magnetico come la variabile primaria, mentre l'altro tratta gli angoli di legame come la variabile primaria. Entrambi i quadri descrivono la stessa realtà fisica, ma differiscono per le risorse computazionali richieste e per la natura specifica degli errori che introducono. I ricercatori hanno fornito un resoconto dettagliato di queste differenze, mostrando che un frame potrebbe essere più efficiente per certi tipi di calcoli. Hanno scoperto che la scelta del frame influenza l'entità del bias sistematico, con un frame che offre un profilo di errore più pulito. Questo livello di dettaglio fornisce una tabella di marcia per le implementazioni future, consentendo agli scienziati di scegliere il percorso più efficiente per i loro specifici obiettivi di simulazione.

Nella analisi finale, il lavoro rappresenta un passo avanti significativo nel campo della simulazione quantistica. Va oltre l'idea di approssimare semplicemente teorie complesse con risorse limitate e offre invece un metodo rigoroso per codificarle esattamente. I ricercatori hanno dimostrato che il divario tra la natura continua dell'hardware bosone e la natura compatta dei campi di gauge può essere colmato utilizzando una combinazione di stabilizzatori e mitigazione degli errori. Validando il loro metodo su un singolo plaquette, hanno gettato le basi per scalare la tecnica su reticoli più grandi. La capacità di recuperare scissioni di energia esponenzialmente piccole con alta precisione suggerisce che questo approccio potrebbe presto essere utilizzato per esplorare i regimi non perturbativi delle teorie quantistiche di campo, regioni che sono attualmente inaccessibili ai computer classici. Lo studio conferma che, con la giusta codifica, i limiti dell'hardware possono essere gestiti, trasformando le vibrazioni continue di un oscillatore quantistico in uno strumento preciso per sondare le leggi fondamentali dell'universo.