Remarks on non-invertible symmetries on a tensor product Hilbert space in 1+1 dimensions

1. Il Problema e il Contesto

Negli ultimi anni, il concetto di simmetria nella fisica teorica è stato generalizzato per includere operatori conservati non invertibili. In 1+1 dimensioni, queste simmetrie sono descritte matematicamente dalle categorie di fusione. Mentre nelle teorie di campo quantistiche (QFT) relativistiche tali simmetrie sono ben definite tramite operatori topologici, la loro realizzazione su reticoli (lattice) presenta sfide fondamentali.

Il problema centrale affrontato nel paper è la realizzabilità delle simmetrie di categoria di fusione su uno spazio di Hilbert prodotto tensoriale (ovvero, sistemi di spin locali con spazi di Hilbert a dimensione finita).

• È noto che le categorie di fusione "integrali" (dove tutti gli oggetti hanno dimensioni quantistiche intere) possono essere realizzate esattamente su tali reticoli.
• Tuttavia, per le categorie "non integrali" (come la categoria di Ising), la realizzazione esatta è impossibile senza modifiche. Si è osservato che alcune di queste possono essere realizzate permettendo una "miscela" con traslazioni reticolari o, più in generale, con Automori Cellulari Quantistici (QCA).
• Esiste una congettura recente ([32, 33]) secondo cui una simmetria di categoria di fusione può essere realizzata su uno spazio prodotto tensoriale (anche miscelata con QCA) se e solo se la categoria è "debolmente integrale" (il prodotto delle dimensioni quantistiche dei semplici è un intero).

L'obiettivo del paper è fornire un approccio rigoroso per verificare questa congettura, definendo un indice per le simmetrie non invertibili e studiando le condizioni sotto cui le regole di fusione possono essere realizzate su reticolo.

2. Metodologia

L'autore adotta due approcci complementari per analizzare il problema:

A. Approccio Assiomatico (Basato su Assunzioni Fisiche)

In questa sezione, non si assume una definizione specifica degli operatori di simmetria, ma si postulano quattro proprietà fisiche fondamentali sugli spazi di Hilbert dei difetti (Defect Hilbert Spaces):

1. Esistenza: Per ogni operatore di simmetria $D_X$, esistono spazi di Hilbert associati alla presenza di un difetto orientato ($H^l_{D_X}$ e $H^r_{D_X}$).
2. Prodotto: Il prodotto di due operatori di simmetria è un operatore di simmetria; lo spazio associato è isomorfo allo spazio con due difetti distanti.
3. Somma: La somma di operatori corrisponde alla somma diretta degli spazi di Hilbert dei difetti.
4. Compatibilità Unitaria: L'aggiunto hermitiano $D^\dagger_X$ è un operatore di simmetria con spazi di Hilbert scambiati rispetto all'orientamento.

Sulla base di queste assunzioni, l'autore definisce le dimensioni sinistra e destra ($ldim$e$rdim$) come rapporti tra la dimensione degli spazi di difetto e quella dello spazio originale. Da queste, deriva un indice generalizzato dell'indice GNVW (Gross-Nesme-Vogts-Werner) per gli operatori non invertibili.

B. Approccio basato su Tensor Network (MPO)

Per dare una definizione concreta e costruttiva, l'autore introduce una classe specifica di operatori di rete tensoriale: i Topological Injective MPO (Matrix Product Operators).

• Questi MPO sono definiti da condizioni di "topologia" che coinvolgono i punti fissi (sinistri e destri) della matrice di trasferimento.
• Questa classe include tutte le simmetrie invertibili (QCA/MPU), le simmetrie di categoria di fusione non anomale e le simmetrie di dualità Kramers-Wannier.
• All'interno di questo framework, l'autore costruisce esplicitamente gli spazi di Hilbert dei difetti e gli operatori di movimento (movement operators) che spostano il difetto lungo il reticolo.

3. Contributi Chiave e Risultati

1. Generalizzazione dell'Indice GNVW

L'autore definisce l'indice per un operatore di simmetria non invertibile $D_X$ come:
$$\text{ind}(D_X) = \sqrt{\frac{ldim(D_X)}{rdim(D_X)}}$$
e la "dimensione quantistica reticolare" come:
$$qdim_{lat}(D_X) = \sqrt{ldim(D_X) \cdot rdim(D_X)}$$
Questo indice generalizza l'indice GNVW (che vale 1 per le simmetrie invertibili senza traslazione) a operatori non invertibili.

2. Omogeneità dell'Indice e Integrità Debole

Il risultato teorico principale è la dimostrazione che, se l'indice è omogeneo (cioè, tutti i canali di fusione di due operatori di simmetria hanno lo stesso indice), allora le regole di fusione realizzabili su uno spazio prodotto tensoriale (anche con QCA) devono appartenere a una categoria di fusione debolmente integrale.

• Se l'indice non è omogeneo, la dimensione quantistica reticolare non soddisfa le regole di fusione in modo additivo, rendendo impossibile la realizzazione coerente.
• Il paper dimostra che l'omogeneità dell'indice implica che la dimensione totale della categoria è un intero, confermando la congettura citata sopra a condizione che l'omogeneità sia vera.

3. Condizioni Sufficienti per l'Omogeneità (Zipper Conditions)

Poiché l'omogeneità non è ancora provata in generale, l'autore fornisce condizioni sufficienti all'interno del framework dei Tensor Network. Introducendo i tensori di fusione e splitting per i canali di fusione degli MPO, definisce due condizioni algebriche:

• Condizione della cerniera rotta (Broken Zipper Condition): Una condizione più debole rispetto alla classica "zipper condition", necessaria per gestire la non invertibilità.
• Condizione della cerniera a due lati (Two-sided Zipper Condition): Una condizione che garantisce la compatibilità con i punti fissi della matrice di trasferimento.

L'autore dimostra che se i tensori di fusione e splitting soddisfano entrambe le condizioni, allora:

1. I canali di fusione sono topologici.
2. Le dimensioni sinistra e destra obbediscono alle regole di fusione.
3. L'indice è omogeneo.

4. Verifica su Esempi Concreti

L'autore verifica esplicitamente che tutte le classi di esempi discussi soddisfano queste condizioni sufficienti:

• Simmetrie invertibili (QCA/MPU): L'indice è omogeneo (in questo caso, l'indice è l'indice GNVW standard).
• Simmetrie di categoria di fusione non anomale (Rep(A)): Realizzate tramite Hopf algebras.
• Simmetria di dualità Kramers-Wannier per $Z_2$ e $Z_N$: Questi sono esempi di simmetrie non invertibili che si mescolano con QCA (traslazioni). Il calcolo mostra che l'indice è $\sqrt{N}$ (o $\sqrt{2}$ per $N=2$) e che le condizioni di cerniera sono soddisfatte.

4. Significato e Implicazioni

• Validazione della Congettura: Il lavoro fornisce un forte supporto alla congettura secondo cui solo le categorie debolmente integrali possono essere realizzate su reticoli con spazi di Hilbert prodotto tensoriale. Sebbene l'omogeneità dell'indice non sia stata provata per tutti gli operatori possibili, è dimostrata per una classe molto ampia e fisicamente rilevante (Topological Injective MPO).
• Strumento Computazionale: L'introduzione dei "Topological Injective MPO" e delle condizioni di cerniera offre un metodo pratico per verificare la realizzabilità di nuove simmetrie non invertibili su reticolo senza dover costruire modelli espliciti caso per caso.
• Connessione tra Algebra e Fisica: Il paper collega profondamente le proprietà algebriche delle categorie di fusione (integrità debole) con le proprietà fisiche degli operatori su reticolo (indice GNVW generalizzato e struttura degli spazi di difetto).
• Limiti e Prospettive: L'autore nota che l'esistenza di tensori di fusione/splitting che soddisfino le condizioni di cerniera non è ancora provata per MPO generici. Tuttavia, il fatto che tutti gli esempi noti le soddisfino suggerisce che potrebbe essere una proprietà universale. Il lavoro apre la strada alla costruzione di modelli reticolari per categorie debolmente integrali più generali.

In sintesi, il paper stabilisce un ponte rigoroso tra la teoria delle categorie di fusione e la fisica della materia condensata su reticolo, proponendo un indice come invariante fondamentale che limita le simmetrie non invertibili realizzabili in sistemi locali.