Structure of matrix product locally purifiable density operators

Sintesi Tecnica: Struttura degli Operatori di Densità Localmente Purificabili a Prodotto di Matrici

Enunciato del Problema
I metodi a reti tensoriali, in particolare gli Stati a Prodotto di Matrici (MPS), forniscono un quadro rigoroso per caratterizzare le fasi della materia a stato puro, sostenuto dal teorema fondamentale degli MPS che classifica la libertà di gauge tra rappresentazioni tensoriali equivalenti. Tuttavia, una comprensione analoga per gli stati misti rimane ampiamente assente. Nello specifico, per gli Operatori di Densità a Prodotto di Matrici (MPDO), non è chiaro come due diversi tensori locali (tensori di purificazione) che generano la stessa matrice di densità globale siano correlati. Questo lavoro affronta il problema del "teorema fondamentale" per gli Operatori di Densità Localmente Purificabili (LPDO): caratterizzare i gradi di libertà che connettono le rappresentazioni equivalenti di LPDO. Gli autori osservano che, sebbene gli LPDO siano empiricamente utili per descrivere stati termici e i confini dei sistemi topologici, la loro struttura matematica non è ben compresa, e si prevede che la libertà nelle rappresentazioni equivalenti sia più ricca rispetto agli MPS a causa della presenza di legami sia virtuali che di purificazione.

Metodologia
Gli autori si concentrano su una vasta sottoclasse di LPDO nota come LPDO generati sequenzialmente (sLPDO). Questi stati sono definiti come quelli generati dall'applicazione successiva di canali quantistici su uno stato iniziale, ammettendo un'interpretazione in cui la purificazione corrisponde a una sequenza di interazioni. Lo studio procede attraverso:

1. Definizione di Equivalenza: Stabilire che due tensori di purificazione $A$ e $B$ sono equivalenti se generano la stessa matrice di densità $\rho^{(N)}$ per tutte le dimensioni del sistema $N$.
2. Sfruttamento della Teoria della Purificazione: Utilizzare il fatto che due purificazioni qualsiasi di uno stato sono correlate da un'isometria parziale globale (Lemma II.1). La sfida centrale è determinare quando tale isometria globale ammette una decomposizione locale del tensore network (specificamente, un'Isometria a Prodotto di Matrici o MPI).
3. Identificazione di Condizioni Sufficienti: Gli autori derivano due condizioni sufficienti indipendenti sui tensori di purificazione sotto le quali l'isometria globale può essere decomposta localmente, stabilendo così un teorema fondamentale.
4. Costruzione di Controesempi: Investigare casi oltre l'ansatz sLPDO (specificamente, LPDO con Condizioni al Contorno Periodiche o PBC) per testare i limiti di questi teoremi.

Contributi Chiave e Risultati

1. Teorema Fondamentale per sLPDO Step-Iniettivi
La prima condizione sufficiente introdotta è la step-iniettività. Un tensore di purificazione $A$ è step-iniettivo se ammette un inverso a sinistra (visto come una mappa da virtual $\otimes$ ancilla a fisico $\otimes$ virtual).

• Risultato: Se due rappresentazioni sLPDO sono generate da tensori step-iniettivi $A$ e $B$ (e rispettivi stati iniziali), e generano lo stesso stato, esse sono correlate da un'Isometria a Prodotto di Matrici (MPI) che agisce sui legami di purificazione.
• Meccanismo: La step-iniettività assicura che la purificazione sia minimale e possieda un inverso a sinistra del tensore network. Ciò consente di costruire esplicitamente l'isometria parziale globale che connette le due purificazioni come un tensore network (un'MPI), collegando i tensori locali $A$ e $B$ tramite isometrie locali.

2. Teorema Fondamentale per sLPDO Ciclici
La seconda condizione sufficiente è la ciclicità. Una coppia $(A, \omega)$ è ciclica se l'algebra generata dai canali quantistici che agiscono sullo stato iniziale $\omega$ spazia l'intero spazio degli operatori sul memory virtuale.

• Risultato: Se due rappresentazioni sLPDO sono generate da coppie cicliche $(A, \omega)$ e $(B, \omega')$, esse sono correlate da un'isometria on-site che agisce sugli indici ancillari (di purificazione).
• Significato: Questa condizione implica una forma di equivalenza più forte della step-iniettività. Mentre la step-iniettività produce un'MPI (che può avere una dimensione di legame non banale), la ciclicità implica che i tensori siano correlati da una semplice unità/isometria locale sullo spazio ancilla, indipendente dalla dimensione del sistema. Gli autori notano che la ciclicità è una proprietà dello stato stesso, non solo della rappresentazione.

3. Ostacoli negli LPDO Generali (Controesempi)
Gli autori dimostrano che un teorema fondamentale generale per gli LPDO con Condizioni al Contorno Periodiche (PBC) non è valido senza ulteriori assunzioni.

• Controesempio: Costruiscono due rappresentazioni LPDO uniformi con PBC che generano la stessa matrice di densità. Tuttavia, l'unitario che connette le loro purificazioni presenta un rango di Schmidt che cresce esponenzialmente con la dimensione del sistema attraverso una bipartizione.
• Implicazione: Questa crescita esponenziale prova che l'unitario di connessione non può essere rappresentato come un'Unitaria a Prodotto di Matrici (MPU) con dimensione di legamento indipendente dalla dimensione del sistema. Ciò suggerisce che un teorema fondamentale generale per gli LPDO con PBC richieda una riduzione a una forma canonica (che intreccerebbe i gradi di libertà virtuali e di purificazione) o vincoli aggiuntivi, analogamente agli ostacoli di Jordan-block negli MPS.

4. Implicazioni per le Fasi SPT di Stato Misto
Il lavoro discute come questi risultati strutturali impattino la classificazione delle fasi topologiche protette da simmetria (SPT) di stato misto.

• Simmetrie Deboli: La letteratura precedente spesso assumeva che le azioni di simmetria sulla purificazione fossero strettamente on-site. Gli autori mostrano che, per gli sLPDO, la simmetria sul sistema fisico (simmetria debole) può implicare che l'azione di simmetria sullo spazio di purificazione sia un'MPU piuttosto che un operatore on-site.
• Fasi Non Triviali: Costruiscono esempi in cui una matrice di densità possiede solo una simmetria on-site "debole", eppure la purificazione è correlata a una MPU non banale (potenzialmente portante un 2-cociclo non banale). Ciò suggerisce l'esistenza di fasi a stato misto protette solo da condizioni di simmetria debole, che non erano catturate dalle precedenti classificazioni basate su rigide simmetrie di purificazione on-site.

Significatività e Rivendicazioni
Il lavoro sostiene di avviare lo studio di un teorema fondamentale per gli LPDO, fornendo la prima caratterizzazione rigorosa della libertà di gauge negli stati misti generati sequenzialmente.

• Impatto Analitico: I risultati offrono una via per la completa caratterizzazione delle fasi SPT a stato misto in 1D, analogamente a come il teorema fondamentale degli MPS sostiene la classificazione delle fasi SPT pure in 1D.
• Impatto Numerico: Comprendere l'equivalenza delle rappresentazioni LPDO permette l'identificazione ed eliminazione di parametri ridondanti, portando potenzialmente ad algoritmi numerici più efficienti per la simulazione della dinamica a stato misto.
• Limitazioni: Gli autori notano con modestia che i loro risultati sono condizioni sufficienti per gli sLPDO. Affermano esplicitamente che un teorema fondamentale completo per gli LPDO generali (specialmente con PBC) rimane una questione aperta, come dimostrato dai controesempi costruiti dove la connettività locale fallisce. Il lavoro evidenzia come l'interazione tra i legami virtuali orizzontali e i legami di purificazione verticali negli LPDO introduca ostacoli non presenti negli MPS standard.