Beyond Bond Gauge: Exact Tensor-Network Tangent Spaces at Weighted Graph States

Sintesi Tecnica: Oltre il Gauge del Legame: Spazi Tangenti Esatti di Reti di Tensori su Stati di Grafi Pesati

Enunciato del Problema
Gli Stati di Coppie Entangled Proiettate (PEPS) descrivono stati quantistici molti-corpo tramite tensori locali contratti lungo un grafo. Una questione strutturale fondamentale riguarda la libertà di rappresentazione di queste reti: le trasformazioni invertibili sui legami virtuali (gauge del legame) esauriscono tutte le possibili variazioni dei tensori che lasciano invariato lo stato fisico? Sebbene teoremi fondamentali per i PEPS "normali" stabiliscano una finitezza di equivalenza sotto specifiche ipotesi di iniettività, questo articolo affronta una questione differenziale del primo ordine a una rappresentazione fissa. Essa si chiede:

1. Quali variazioni infinitesimali dei tensori lasciano lo stato invariante ma non sono gauge del legame infinitesimali (il "nucleo non-legame" o non-bond kernel)?
2. Quali direzioni fisiche (vettori tangenti) non possono essere raggiunte da alcuna variazione del tensore (le "direzioni mancanti")?

Queste due domande sono logicamente indipendenti; rimuovere i parametri ridondanti (rimozione del nucleo) non può ripristinare le direzioni fisiche mancanti, e la presenza di parametri ridondanti non implica direzioni mancanti.

Metodologia
L'autore analizza gli Stati di Grafi Pesati (WGS), una famiglia di reti tensoriali esattamente risolvibili generate da porte di fase a due siti commutanti. I WGS includono risorse di stati di grafi per il calcolo quantistico basato sulla misura (MBQC). Lo studio si concentra sui casi in cui la dimensione fisica $d$ è uguale alla dimensione del legame $D = q \ge 2$.

La metodologia si basa su una caratterizzazione algebrica esatta della differenziale ( $J_A$) della mappa di contrazione e dell'azione del gauge del legame ($\Phi_A$):

• Isomorfismo Locale: Dividendo una variazione del tensore a singolo sito per l'ampiezza non nulla del WGS, l'autore mappa la variazione in una funzione arbitraria sul vicinato chiuso $N[v]$ del vertice.
• Decomposizione di Fourier: Lo spazio tangente fisico è identificato con l'estensione (span) dei caratteri prodotto (modi di Fourier) supportati su questi vicinati chiusi.
• Classificazione del Nucleo: Il nucleo non-legame sorge quando più vertici condividono un vicinato chiuso, permettendo a diverse variazioni dei tensori di produrre lo stesso vettore fisico. L'autore classifica queste relazioni identificando "regioni minime" sul grafo dove tali dipendenze sono certificate.
• Conteggio Periodico: Per le tassellature regolari di poligoni periodici (inclusi tutti gli 11 reticoli di Archimede e 20 tassellature 2-uniformi), l'autore deriva formule esatte per la nullità non-legame basate sulle densità delle facce e sull'ordinamento ciclico.
• Confronto Generico: L'autore confronta il rango della differenziale nei punti WGS rispetto a tensori generici nello spazio dei parametri completo per determinare se la nullità osservata sia un difetto specifico del punto WGS o un difetto di dimensione della varietà.

Contributi Chiave e Risultati

1. Caratterizzazione Esatta dello Spazio Tangente e del Nucleo:
   Il documento fornisce una descrizione esatta dello spazio tangente fisico $T_A$ e del nucleo completo della differenziale. Lo spazio tangente consiste in tutte le deformazioni diagonali $f\psi$ dove $f$ è una funzione supportata sull'unione dei vicinati chiusi. Il nucleo non-legame è generato dalle differenze di variazioni dei tensori ai vertici i cui vicinati chiusi si sovrappongono.

2. Motivi Generatori Minimi:
   Sulle tassellature regolari di poligoni periodici, il nucleo non-legame è generato da esattamente tre motivi geometrici:

• Triangoli: Tre vertici mutuamente adiacenti.
• Quadrati Senza Corde: Quattro vertici che formano un ciclo senza diagonali.
• Diamanti a Spigolo Condiviso: Due triangoli che condividono un lato.
  L'autore deriva i conteggi esatti per la nullità non-legame $\nu$ per tutte le 39 famiglie di reticoli studiati. Notevolmente, il reticolo esagonale (honeycomb) ha una nullità non-legame pari a zero ($\nu=0$) per ogni $q$, nonostante abbia un alto numero di coordinazione.

3. Completezza del Gauge Generico e Calo del Rango:
   L'autore dimostra che per 33 delle 39 famiglie, i tensori generici sono "completamente gauge" (ovvero, il nucleo non-legame è nullo) per ogni $q \ge 2$. Per le restanti 6 famiglie, la completezza del gauge è stabilita specificamente per $q=2$; il caso per $q > 2$ in queste sei famiglie rimane un problema aperto. Di conseguenza, la nullità non-legame osservata nei punti WGS è identificata come un calo di rango della parametrizzazione in questi punti speciali, piuttosto che un difetto di dimensione della varietà del tensore-rete stessa, entro l'ambito dimostrato.

4. Direzioni Fisiche Mancanti (Limiti di Espressività):
   Lo studio identifica direzioni fisiche inaccessibili alla rappresentazione a rete tensoriale. Sulle 11 tassellature di Archimede, ogni direzione $XX$ e $YY$ di primo vicinato è mancante dallo spazio tangente nei punti di stato a grafo (dove le fasi degli spigoli sono $\pi$).

• Questo "blocco completo" si verifica anche sul reticolo esagonale, dove il nucleo non-legame è vuoto.
• L'ostruzione non è dovuta alla ridondanza delle coordinate, ma al supporto dell'operatore: il rapporto di ampiezza di un termine $XX$ abbraccia due vicinati chiusi, il che non è contenuto in alcun singolo vicinato chiuso richiesto per lo spazio tangente.
• Ostruzioni a livello di Stato: Utilizzando i limiti del rango di Schmidt, il documento dimostra che sui tori esagonali e quadrati, lo stato perturbato da un piccolo errore coerente $XX$ non può essere rappresentato da alcun PEPS con dimensione di legame $D=2$ sullo stesso grafo.

5. Equivalenze Finite e Integrabilità:
   L'autore costruisce esplicite trasformazioni preservanti lo stato a dimensione finita (equivalenze finite) corrispondenti alle direzioni del nucleo non-legame. Per centri non adiacenti, queste sono moltiplicazioni diagonali. Tuttavia, per centri adiacenti (ad esempio, quadrati senza corde paralleli), le ostruzioni del secondo ordine impediscono l'esistenza di curve analitiche lisce, indicando che la fibra della mappa di contrazione non è liscia in questi punti.

6. Strategie di Rimedio:

• Rimozione del Nucleo: La rimozione dei modi zero non-legame regolarizza il sistema lineare ridotto (ad esempio, per TDVP) senza alterare le velocità fisiche.
• Espansione del Legame: Per recuperare le direzioni mancanti, la rappresentazione deve essere ampliata. L'autore mostra che espandere la dimensione del legame su uno specifico spigolo permette di rappresentare la direzione $XX$ mancante mantenendo fisso lo stato alla base.

Significato
Il lavoro stabilisce una rigorosa separazione tra ridondanza (nucleo) ed espressività (immagine) nelle rappresentazioni a reti tensoriali. Dimostra che:

• La ridondanza "non-legame" è una proprietà locale, esplicitamente enumerabile, determinata dai pattern di intersezione dei vicinati chiusi.
• L'incapacità di rappresentare certe dinamiche fisiche (come la dinamica di Ising con campo trasverso con termini $XX$) nei punti di stato a grafo è un limite fondamentale della rappresentazione a dimensione di legame fissa, non un artefatto numerico risolvibile.
• Le tecniche standard di fissaggio del gauge o di regolarizzazione non possono recuperare le direzioni fisiche mancanti; solo l'espansione del legame può farlo.
• I risultati forniscono benchmark esatti per testare le strategie di regolarizzazione e di espansione del legame negli algoritmi di evoluzione PEPS, particolarmente per sistemi vicini agli stati a grafo o nel regime subcritico ($d=D$).

Il lavoro completa la letteratura esistente sulla teoria delle dimensioni e sulla geometria del gauge fornendo risultati esatti e non perturbativi per una specifica, fisicamente rilevante classe di stati, evidenziando come la "normalità" (iniettività dei tensori bloccati) e la "completezza del gauge" siano proprietà distinte.