Failure of disjoint additivity under magnetic Gauss constraints

Nel mondo quantistico, le regole che governano il modo in cui le particelle interagiscono sono spesso scritte nel linguaggio della simmetria e del vincolo. Immaginate una griglia di minuscoli magneti, dove la direzione di ciascuno non è libera di puntare ovunque, ma deve allinearsi con i propri vicini per soddisfare una rigorosa regola locale. Questa è l'essenza di una teoria di gauge su reticolo, un quadro che i fisici usano per modellare le forze fondamentali della natura. In questi sistemi, gli stati "fisici" sono solo quelle configurazioni in cui ogni regola locale è rispettata. Una domanda centrale per decenni è stata come descrivere il comportamento di un sistema grande osservando le sue parti più piccole e separate. Se conoscete tutto ciò che può essere misurato in una regione isolata e tutto ciò che può essere misturato in una regione vicina e non a contatto, potete combinare quei due insiemi di conoscenze per conoscere tutto riguardo l'area combinata? Per molti anni, i fisici hanno creduto che la risposta fosse sì, a patto che le regioni fossero abbastanza lontane o che le regole sottostanti fossero abbastanza semplici. Questa idea, nota come additività disgiunta, suggerisce che il tutto sia semplicemente la somma delle sue parti indipendenti.

Uno studio recente sfida questa assunzione in un modo specifico ma profondo. Il ricercatore, lavorando con un modello basato su un gruppo finito di simmetrie matematiche, ha costruito uno scenario in cui due regioni separate su una griglia rispettano tutte le regole locali individualmente e possono essere misurate indipendentemente, eppure le loro misurazioni combinate non riescono a catturare un osservabile specifico che esiste solo quando le due regioni sono considerate insieme. Questo fallimento avviene anche quando le due regioni sono collocate all'interno di un'area piatta e piccola che non si avvolge attorno alla griglia, il che significa che il problema non è causato dalla forma globale dello spazio. Lo studio dimosta che per ogni gruppo non-abeliano — un tipo di struttura di simmetria in cui l'ordine delle operazioni conta, proprio come mettere le calze prima delle scarpe rispetto a mettere le scarpe prima delle calze — questo fallimento dell'additività è garantito in certe condizioni geometriche.

I ricercatori si sono concentrati su un toro quadrato regolare con dimensioni di almeno 8 per 8 e hanno costruito controesempi per ogni gruppo non-abeliano. Hanno esaminato un loop di otto spigoli fissi come punto di riferimento, ma il nucleo del lavoro riguarda una famiglia di supporti periferici posizionati attorno a questo loop, piuttosto che il loop stesso essere l'unico focus. Hanno poi testato se l'algebra degli osservabili fisici generata da queste due regioni separate potesse riprodurre l'algebra della regione combinata. I risultati hanno mostrato una divisione netta: se il gruppo che governa il sistema era Abeliano, dove l'ordine delle operazioni non conta, l'additività era rispettata. Tuttavia, per ogni gruppo non-abeliano, l'additività falliva, ma solo se la seconda regione era posizionata per "coprire" tutte e quattro le facce interne del loop in modo preciso. Nello specifico, il fallimento si verificava quando la seconda regione includeva almeno un bordo da ciascuna delle quattro coppie di bordi che delimitano le facce interne del loop. Se anche una sola di queste facce interne rimaneva scoperta, l'additività veniva ripristinata e le regioni separate potevano nuovamente descrivere il tutto.

Il meccanismo dietro questo fallimento è sottile e si basa su come il sistema risponde ai cambiamenti. Nella configurazione di fallimento, i ricercatori hanno scoperto che una specifica operazione poteva essere eseguita sul sistema combinato che scambiava due stati fisici distinti senza violare alcuna regola locale. Tuttavia, questa operazione non poteva essere costruita a partire dalle operazioni separate consentite nelle due regioni individuali. Le regioni separate potevano ciascuna eseguire le proprie mosse valide, ma quando combinate, mancavano della capacità di coordinare un tipo specifico di transizione che richiedeva uno spostamento condiviso e non centrale dei valori di simmetria. Questa coordinazione era possibile solo perché la seconda regione era "bloccata" alla prima in un modo che selezionava specifici background fisici, permettendo una transizione che altrimenti sarebbe stata proibita. Lo studio dimostra che il sistema congiunto possiede un tipo di coerenza tra diversi settori di simmetria che è invisibile alle parti separate, occultando efficacemente un pezzo della realtà fisica a qualsiasi osservatore limitato alle singole regioni.

Questa scoperta contraddice direttamente una recente proposizione che sosteneva che l'additività disgiunta dovesse sempre valere per questi tipi di vincoli magnetici quando le regioni sono disgiunte nei vertici. Il nuovo lavoro mostra che tale proposizione è errata per i gruppi non-abeliani, anche in geometrie semplici e contrattili. I ricercatori hanno stabilito che il fallimento non è un'anomalia rara, ma una caratterza strutturale dei sistemi non-abeliani, che si verifica in una specifica frazione di possibili configurazioni geometriche. Hanno anche identificato una condizione di "buffer": se la seconda regione viene spostata leggermente più lontano, in modo da non toccare i vicini immediati del loop, l'additività viene ripristinata per tutti i gruppi. Ciò suggerisce che il fallimento è un fenomeno locale, dipendente dalla stretta prossimità e dal modo specifico in cui le regioni coprono le facce interne del loop.

Le implicazioni di questo lavoro sono significative per la nostra comprensione della struttura dell'informazione quantistica nei sistemi vincolati. Rivela che lo spazio fisico di un sistema non è sempre costruito partendo dagli spazi fisici indipendenti delle sue parti, anche quando tali parti sono lontane tra loro in termini di contatto diretto. Lo studio fornisce un controesempio concreto in cui il tutto è strettamente maggiore della somma delle sue parti, non a causa di una qualche esotica topologia globale, ma a causa dell'interazione locale tra simmetrie non-abeliane e la specifica geometria dei supporti. Individuando esattamente quando e perché ciò accade, la ricerca affina le regole della località nei sistemi quantistici, mostrando che la capacità di ricostruire un intero dalle sue parti dipende criticamente dalla natura algebrica delle simmetrie coinvolte e dalla precisa disposizione delle regioni. Il lavoro lascia non dubbi sul fatto che, per i gruppi non-abeliani, l'assunzione di additività disgiunta debba essere abbandonata in favore di una visione più sfumata che tenga conto di queste correlazioni nascoste.