Gauge field digitization in the Hamiltonian limit

Per comprendere l'universo alle sue scale più piccole, i fisici spesso trattano lo spazio e il tempo non come un tessuto liscio e continuo, ma come una griglia di minuscoli punti, molto simile ai pixel su uno schermo. Questo approccio, noto come teoria dei campi su reticolo (lattice field theory), permette loro di calcolare come le particelle interagiscono utilizzando potenti computer. Tuttavia, un grande ostacolo sorge nel tentativo di simulare determinate condizioni, come il comportamento della materia a densità estremamente elevate o l'evoluzione in tempo reale. In questi scenari, i metodi matematici standard utilizzati per sommare tutti i possibili percorsi delle particelle falliscono perché i numeri coinvolti diventano complessi e si cancellano a vicenda in un modo che rende il calcolo impossibile. Questo è noto come il problema dell'azione complessa (complex action problem), e ha a lungo impedito agli scienziati di esplorare queste frontiere della fisica.

Una soluzione promettente risiede nei computer quantistici. A differenza delle macchine classiche che faticano con queste somme complesse, un computer quantistico può simulare naturalmente il comportamento quantistico delle particelle, aggirando efficacementmente il problema. Ma c'è un limite: i computer quantistici hanno un numero limitato di unità di memoria, chiamate qubit. Per eseguire una simulazione, i fisici devono tradurre le possibilità continue e infinite dei campi che governano le particelle in un insieme finito e gestibile di opzioni. Questo processo è chiamato digitalizzazione. Consiste nel sostituire un gruppo matematico liscio e continuo con un insieme più piccolo e discreto di passi, in modo simile a come una foto digitale rappresenta un'immagine fluida con un numero finito di pixel. La domanda critica è se questa semplificazione introduca errori che distorcono la fisica, specialmente quando la simulazione viene eseguita nel particolare quadro matematico richiesto dai computer quantistici, noto come limite Hamiltoniano.

In uno studio recente, i ricercatori Attila Pásztor e Dávid Pesznyák hanno indagato esattamente come questa digitalizzazione influenzi la simulazione di una forza fondamentale, nello specifico un campo di gauge U(1), un modello semplificato dell'elettromagnetismo. Si sono concentrati sulla sostituzione del campo continuo con un sottogruppo discreto chiamato Z(N), dove N rappresenta il numero di passi o valori consentiti. Sebbene studi precedenti che utilizzavano griglie uniformi standard avessero suggerito che, per deboli intensità di interazione, questi gruppi discreti fossero ottime approssimazioni della realtà continua, i ricercatori sospettavano che la storia potesse essere diversa se vista attraverso la lente del limite Hamiltoniano. Si sono posti l'obiettivo di mappare il percorso preciso che una simulazione deve seguire per raggiungere questo limite e vedere se gli errori introdotti dalla digitalizzazione persistono anche quando la simulazione non si trova in uno stato congelato e immutabile.

Il team ha eseguito estese simulazioni al computer su reticoli anisotropi, ovvero griglie in cui la spaziatura tra i punti nel tempo è trattata diversamente dalla spaziatura nello spazio. Regolando attentamente la forza delle interazioni nelle direzioni temporale e spaziale, sono riusciti a guidare il sistema verso il limite Hamiltoniano mantenendo fissa la scala di energia complessiva. Hanno derivato regole specifiche, o traiettorie, che le intensità di interazione devono seguire per raggiungere questo limite. Per la teoria continua, l'intensità di interazione nella direzione del tempo cresce secondo una legge di potenza, un aumento rapido. Tuttavia, hanno scoperto che per le teorie Z(N) digitalizzate, questa stessa intensità di interazione cresce molto più lentamente, seguendo un percorso logaritmico. Questa differenza fondamentale nel modo in cui i due sistemi si comportano all'avvicinarsi del limite è stata una scoperta teorica chiave.

Utilizzando queste nuove regole, i ricercatori hanno eseguito simulazioni per misurare il comportamento medio dei campi, guardando specificamente ai loop più piccoli di interazione sulla griglia. Hanno confrontato i risultati della teoria continua con quelli delle versioni digitalizzate con diversi valori di N, compresi tra 3 e 6. I risultati sono stati sorprendenti. Nelle simulazioni su griglia uniforme standard, le teorie digitalizzate corrispondevano quasi perfettamente alla teoria continua a basse intensità di interazione, con i punti dati che si sovrapponevano entro il margine di errore. Ma nel limite Hamiltoniano, il quadro cambia completamente. Anche quando il sistema non è congelato, le teorie digitalizzate deviano costantemente da quella continua. I ricercatori hanno riscontrato discrepanze di circa il 20-30% nei valori misurati, un divario significativo che suggerisce che la digitalizzazione introduca errori sistematici sostanziali che non possono essere ignorati.

Lo studio ha anche confermato che un fenomeno noto come "congelamento" (freezing), in cui il sistema rimane bloccato in un singolo stato immutabile, persiste nel limite Hamiltoniano per questi gruppi discreti. Ciò accade quando l'intensità di interazione diventa troppo elevata, causando la soppressione di tutte le configurazioni non triviali. Tuttavia, la scoperta più sorprendente è stata che l'errore esiste anche al di fuori di questo regime di congelamento. Il numero finito di passi nel gruppo digitalizzato crea una differenza permanente rispetto alla teoria continua, indipendentemente dal fatto che il sistema sia congelato o meno. Questo contrasta nettamente con il comportamento osservato nelle simulazioni standard, dove l'approssimazione discreta era considerata altamente accurata a bassi accoppiamenti.

I ricercatori hanno verificato i loro risultati confrontando le loro simulazioni con soluzioni matematiche esatte per sistemi piccoli, assicurandosi che i loro metodi di estrapolazione fossero solidi. Hanno anche tenuto conto con cura degli effetti di temperatura finita, che possono distorcere i risultati se la dimensione temporale della simulazione non è sufficientemente lunga. Controllando questi fattori, hanno stabilito che le differenze osservate erano effettivamente dovute alla digitalizzazione del campo di gauge stesso. Il lavoro fornisce un parametro di riferimento cruciale per il futuro del calcolo quantistico nella fisica. Offre un metodo classico chiaro per quantificare gli errori sistematici che inevitabilmente sorgeranno quando i fisici utilizzeranno gruppi digitalizzati per simulare teorie di gauge su hardware quantistici.

Questa ricerca non suggerisce che le simulazioni quantistiche di queste forze siano impossibili, ma evidenzia che la scelta di come digitalizzare i campi è molto più critica di quanto precedentemente pensato. Gli errori non sono semplicemente una questione di eseguire una simulazione più a lungo o con maggiore precisione; sono inerenti al metodo di sostituzione di un gruppo continuo con uno finito nel quadro Hamiltoniano. Mentre il campo si muove verso le teorie non-Abelian, che descrivono la forza forte che tiene uniti i nuclei atomici, queste scoperte saranno essenziali. Lo studio conclude che, sebbene i sottogruppi finiti possano approssimare i gruppi continui, l'approssimazione nel limite Hamiltoniano è fondamentalmente diversa dalle simulazioni euclidee standard, e gli errori risultanti devono essere gestiti con cura per garantire l'affidabilità dei futuri calcoli quantistici.