Quantum scrambling of algebras of observables: the $\mathbb{Z}_2$-symmetric case

Sintesi Tecnica: Scrambling Quantistico di Algebre di Osservabili: Il Caso con Simmetria $Z_2$

Problema
Questo articolo estende il formalismo dello scrambling quantistico dagli singoli operatori intere algebre di osservabili. Mentre i lavori precedenti avevano stabilito l'Algebraic Out-of-Time-Order Correlator (A-OTOC) come misura dello scrambling per algebre "collineari" (dove l'algebra e il suo commutante hanno specifiche relazioni dimensionali), mancava una interpretazione metrica per algebre più generali. Gli autori affrontano il caso specifico in cui il commutante dell'algebra delle osservabili $\mathcal{A}$, denotato con $\mathcal{A}'$, è generato da un singolo involuzione hermitiana $S$ (un operatore di parità). In questo contesto con simmetria $Z_2$, $\mathcal{A}' \cong \mathbb{C}Z_2$ e lo spazio di Hilbert si decompone in due settori di parità. L'obiettivo è derivare espressioni analitiche esatte per le misure di scrambling in questo contesto, fornire un'interpretazione geometrica e applicare tali misure per diagnosticare le fasi in catene di spin interagenti.

Metodologia
Gli autori impiegano due misure primarie per quantificare lo scrambling dell'algebra $\mathcal{A}$ sotto un canale unitario $U(\cdot) = U(\cdot)U^\dagger$:

1. Algebraic OTOC (A-OTOC): Definita come la media del quadrato della norma dei commutatori tra le unitarie in $\mathcal{A}$ e le unitarie dinamicamente evolute nel commutante $\mathcal{A}'$.
2. Fedeltà di Plücker: Una quantità di tipo Slater-determinant derivata dall'immersione delle algebre di operatori in uno spazio operativo proiettivo a dimensione superiore, che misura la sovrapposizione tra l'algebra commutante iniziale $\mathcal{A}'$ e la sua immagine dinamica $U(\mathcal{A}')$.

L'analisi si basa sulla decomposizione dello spazio di Hilbert $\mathcal{H}$ nei sottospazi invarianti $\mathcal{H}_+$ e $\mathcal{H}_-$ corrispondenti agli autovalori $\pm 1$ del generatore $S$. I parametri chiave includono il parametro di traccia $\tau = \text{Tr}(S)/d$ (che svanisce per $S$ privo di traccia) e la funzione di autocorrelazione temporale all'infinita temperatura del generatore, $Y(U) = \frac{1}{d}\langle S, U(S) \rangle$.

Contributi Chiave e Risultati

• Espressioni Analitiche Esatte: Gli autori derivano espressioni in forma chiusa sia per l'A-OTOC ($G_\mathcal{A}(U)$) che per la fedeltà di Plücker ($F_\mathcal{A}(U)$) nel caso generale con simmetria $Z_2$. Queste quantità dipendono esclusivamente dal parametro di rottura della simmetria $\tau$ e dall'autocorrelazione $Y(U)$:
  $$G_\mathcal{A}(U) = (1-Y)\left[1 - \frac{1-Y}{2(1-\tau^2)}\right], \quad F_\mathcal{A}(U) = \left| \frac{Y - \tau^2}{1 - \tau^2} \right|$$
  Essi dimostrano che queste misure sono legate dall'identità $G_\mathcal{A}(U) = \frac{1-\tau^2}{2}[1 - F_\mathcal{A}^2(U)]$.

• Interpretazione Geometrica: Un contributo centrale è il recupero di un'interpretazione metrica per queste misure di scrambling. Gli autori mostrano che l'A-OTOC è proporzionale al quadrato della distanza di Hilbert-Schmidt tra l'algebra commutante $\mathcal{A}'$ e la sua immagine dinamica $U(\mathcal{A}')$ sul manifold delle algebre $Z_2$ ($\mathcal{M}_{Z_2}$). Specificamente, $G_\mathcal{A}(U) = \frac{1-\tau^2}{4} D_{HS}^2(\mathcal{A}', U(\mathcal{A}'))$. Ciò estende la comprensione geometrica dello scrambling oltre il precedentemente noto caso collineare.

• Rottura della Simmetria e Scrambling: Lo studio stabilisce che lo scrambling è controllato dalla componente di rottura della simmetria $Z_2$ dell'evoluzione unitaria.

  • Nessuno Scrambling: Si verifica se $U$ preserva l'algebra $\mathcal{A}'$ (ovvero $U(S) = \pm S$). Ciò corrisponde a $Y=1$ o, nel caso privo di traccia ($\tau=0$), $Y=-1$.
  • Scrambling Massimale: Si verifica quando $Y(U) = \tau^2$, portando a $F_\mathcal{A}(U)=0$ e $G_\mathcal{A}(U) = (1-\tau^2)/2$.
  • Valori Tipici: Per unitarie casuali, l'A-OTOC si concentra vicino al suo valore massimale, particolarmente per generatori privi di traccia ($\tau=0$), dove il limite superiore è $1/2$.

• Medie Temporali Lunghe: Per la dinamica generata da Hamiltoniane, la media temporale lunga dell'A-OTOC è determinata dalla componente defasata del generatore $S$ e dalla struttura di degenerazione spettrale dell'Hamiltoniana. Per spettri non degeneri, la media temporale lunga si avvicina al valore di scrambling massimale.

• Applicazioni Numeriche su Catene di Spin: Il formalismo viene testato su catene di spin interagenti per diagnosticare diverse fasi fisiche:

  • Localizzazione a Molti Corpi (MBL): In catene XXZ con campo casuale, la media temporale lunga dell'A-OTOC diminuisce significativamente all'aumentare del disordine, segnalando la transizione verso l'MBL. La sensibilità di questa misura dipende dal supporto dell'operatore di parità, con gli operatori locali che mostrano la risposta più forte.
  • Transizione Ordine-Disordine: Nel modello di Ising in campo trasversale (TFIM), l'A-OTOC aumenta da 0 (fase ordinata) a $\approx 1/2$ (fase disordinata) all'attraversamento del punto critico del campo trasversale, rispecchiando il comportamento del magnetismo dello stato fondamentale.
  • Transizione di Integrabilità: Nel TFIM con un campo longitudinale, l'A-OTOC è esattamente zero al punto di integrabilità (dove la parità globale è una simmetria) e si avvicina rapidamente al valore ergodico con la rottura dell'integrabilità, con la transizione che si fa più netta all'aumentare della dimensione del sistema.

Significato
L'articolo sostiene che il formalismo proposto fornisce un quadro unificato per quantificare lo scrambling quantistico che unisce la non-commutatività algebrica e la distanza geometrica. Limitando il commutante a una struttura $Z_2$, gli autori recuperano un'interpretazione metrica per l'A-OTOC che era precedentemente non disponibile per algebre generali. I risultati suggeriscono che la media temporale lunga dell'A-OTOC, accoppiata con un operatore di parità fisicamente motivato, funge da strumento diagnostico sensibile per distinguere tra fasi integrabili, caotiche e localizzate in sistemi a molti corpi. Il lavoro evidenzia come il comportamento "tipico" delle unitarie casuali conduca allo scrambling massimale, e come le deviazioni da questo comportamento tipico possano rivelare simmetrie strutturali sottostanti o fenomeni di localizzazione in specifici sistemi quantistici.