Entanglement-spectrum fingerprint of a non-invertible symmetry: the Kramers--Wannier duality defect on the lattice

Sintesi Tecnica: Impronta dello Spettro di Entanglement di una Simmetria Non-Invertibile

Enunciato del Problema
Le simmetrie non-invertibili, caratterizzate da categorie di fusione con dimensioni quantistiche irrazionali, hanno ridefinito la comprensia teorica della simmetria nei sistemi quantistici a molti corpi. Sebbene la natura topologica di queste simmetrie sia ben definita tramite difetti di linea, la loro impronta microscopica sulla struttura dell'entanglement degli stati quantistici rimane irrisolta a livello spettrale. Gli studi precedenti hanno identificato la non-invertibilità solo attraverso quantità integrate, come l'entropia di confine scalare ($\log g$) o le entropie risolte per simmetria. Tali misure integrate non riescono a rivelare i modi microscopici specifici responsabili della dimensione quantistica irrazionale o la struttura risolta per livelli dello spazio di Hilbert del difetto. Il problema centrale affrontato è l'identificazione delle caratteristiche dello spettro di entanglement a singola particella che codificano i dati categorici (dimensione quantistica, peso del campo di torsione e torre conforme) di un difetto non-invertibile.

Metodologia
Gli autori si concentrano sull'esempio canonico di una simmetria non-invertibile: il difetto di dualità di Kramers–Wannier (KW) nella catena Ising critica in 1+1D. Lo studio utilizza la solvibilità esatta a fermioni liberi del modello Ising per fungere da benchmark di calibrazione a precisione di macchina.

• Costruzione del Reticolo: Il sistema è modellato come una catena Ising trasversa critica con una condizione al contorno ruotata per dualità (costruzione Aasen–Mong–Fendley). Questo viene implementato tramite un termine di contorno non locale ($-Z_L Y_1$) piuttosto che un legame locale, risultando in un Hamiltoniano con $2L-1$ modi Majorana indipendenti (una lunghezza effettiva $L_{\text{eff}} = L - 1/2$).
• Sonde Numeriche: Gli autori utilizzano il metodo della matrice di correlazione di Peschel per calcolare lo spettro di entanglement (ES) a singola particella e le entropie del sottosistema.
  • Spettro di Entanglement: Derivato dagli autovalori della matrice di correlazione Majorana ristretta, $\xi_k = \ln[(1+\nu_k)/(1-\nu_k)]$.
  • Entropia di Confine ($\log g$): Estratta tramite una doppia estrapolazione dell'entropia del sottosistema ($L \to \infty$ a $\ell$ fisso, poi $\ell \to \infty$).
  • Dati Conformi: Il peso del campo di torsione ($h_\sigma$) è determinato tramite due percorsi indipendenti: (1) lo spostamento del momento degli stati fondamentali sotto un operatore di traslazione modificato (spin conformi), e (2) la curvatura di Casimir della scalatura dell'energia fondamentale (peso conforme).
• Controlli: Lo studio confronta esplicitamente il difetto KW con un difetto di simmetria $\mathbb{Z}_2$ invertibile (un singolo legame con segno invertito) per isolare le caratteristiche uniche della non-invertibilità.

Risultati Chiave
Il lavoro dimostra che l'intero set di dati categorici per il difetto di dualità KW è codificato nello spettro di entanglement a singola particella dello stato fondamentale:

1. La Dimensione Quantistica come Modo Zero: La dimensione quantistica irrazionale $d_\sigma = \sqrt{2}$ si manifesta come un modo zero Majorana massimamente miscelato ($\xi = 0$) nello spettro di entanglement. Questo modo è assente sia nella catena omogenea che nel difetto $\mathbb{Z}_2$ invertibile. Il modo zero trasporta esattamente $\ln 2$ di entropia on-site, che è l'origine spettrale dell'entropia di confine $\log g = \frac{1}{2} \ln 2$. I risultati numerici confermano il modo zero con precisione di macchina ($|\xi| < 5 \times 10^{-16}$).
2. Peso del Campo di Torsione ($h_\sigma$): Il peso conforme $h_\sigma = 1/16$ è fissato con alta precisione ($10^{-5}$ di accordo) tramite due metodi indipendenti:
   • Spin Conformi: I momenti dello stato fondamentale sotto l'operatore di traslazione modificato sono trovati essere $\pm 1/16, \pm 7/16$.
   • Curvatura di Casimir: Il fitting della scalatura dell'energia fondamentale $E_0(L)$ produce $h_{\text{dual}} = 0.062501$, che corrisponde al target $1/16$.
3. Torre Conforme Ruotata: Lo spettro a molti corpi si organizza in una torre conforme $\sigma$-ruotata (tipo Ramond). A differenza della torre Neveu–Schwarz della catena omogenea (offset di $1/4$), il settore del difetto forma una sequenza a semintero $\{0, 1/2, 1, \dots\}$, con deviazioni dai valori esatti del reticolo che rimangono inferiori a $2.7 \times 10^{-4}$ per dimensioni del sistema fino a $L=512$.

Significato e Rivendicazioni
Il documento rivendica di aver risolto l'origine microscopica delle impronte della simmetria non-invertibile sull'entanglement. Promuovendo l'entropia di confine da un singolo numero integrato a una "firma spettrale risolta per livello", il lavoro identifica il modo specifico (il modo zero Majorana massimamente miscelato) che trasporta la dimensione quantistica irrazionale.

• Benchmark di Calibrazione: Gli autori sottolineano che i loro risultati forniscono un punto di riferimento esattamente risolvibile con valori a precisione di macchina. Questo funge da target critico di calibrazione per gli studi di reti tensoriali su difetti di dualità (ad esempio, la catena anyonica di Fibonacci) dove non sono disponibili scorciatoie a fermioni liberi.
• Protocollo Diagnostico: Lo studio stabilisce un programma diagnostico per la non-invertibilità: la presenza di un modo zero quantizzato $\xi=0$ (che trasporta l'entropia $\ln 2$) e una torre conforme a semintero rigida sono le firme definitive. Ciò distingue i difetti non-invertibili dai difetti topologici invertibili, che mancano di tali modi zero e possiedono spettri di entanglement gapati.
• Ambito: Gli autori dichiarano esplicitamente che, sebbene i numeri esatti dipendano dalla solvibilità a fermioni liberi del modello Ising, il framework diagnostico (contorni ruotati per dualità seguiti dall'analisi dell'entanglement risolta per carica o per spettro) è inteso per l'applicazione a contesti non risolvibili. Il lavoro non propone nuovi setup sperimentali, ma fornisce un benchmark teorico per la validazione numerica.