Resource complexity of Symmetry Protected Topological phases

Sintesi Tecnica: Complessità delle Risorse delle Fasi Topologiche Protette da Simmetria

Enunciato del Problema
Una sfida centrale nella scienza dell'informazione quantistica è identificare le specifiche risorse quantistiche che abilitano la supremazia quantistica, distinguendo gli stati quantistici che offrono vantaggi computazionali rispetto alle simulazioni classiche. Sebbene l'entanglement sia stato storicamente visto come il ponte primario tra la fisica dei molti corpi e l'informazione quantistica, oggi si comprende che l'entanglement da solo è insufficiente; stati altamente entangled possono essere classicamente simulabili, mentre alcuni vantaggi quantistici possono emergere con un entanglement minimo. Di conseguenza, la "magia quantistica" (o non-stabilizzabilità) è emersa come una risorsa critica, quantificando la distanza di uno stato quantistico dalla varietà degli stati stabilizer (stati preparabili tramite circuiti di Clifford).

Le fasi topologiche della materia, in particolare le Fasi Topologiche Protette da Simmetria (SPTP), sono spesso ipotizzate per ospitare un'alta complessità quantistica a causa della loro codifica non locale e della protezione contro perturbazioni locali. Tuttavia, questa connessione non è universale (ad esempio, lo stato fondamentale del codice torico è uno stato stabilizer con magia zero). Nei sistemi monodimensionali, le SPTP sono più fragili rispetto alle fasi topologiche intrinseche, eppure fungono da risorse per la computazione quantistica basata su misurazione (MBQC). La domanda centrale affrontata in questo lavoro è se l'ordine topologico intrinseco nelle SPTP 1D si manifesti come un aumento intrinseco della magia quantistica rispetto ai loro omologhi topologicamente triviali.

Metodologia
Gli autori valutano la magia quantistica utilizzando l'Entropia di Rényi dello Stabilizer di rango 2 ($M_2$), definita per uno stato puro $|\psi\rangle$ di $L$ qubit come:
$$M_2(|\psi\rangle) = \log_2 \left( \frac{1}{2^L} \sum_P |\langle \psi| P |\psi\rangle|^4 \right)$$
dove la somma corre su tutte le stringhe di Pauli $P$. Lo studio si concentra su modelli monodimensionali che possiedono una mappatura di dualità esatta che mappa una fase topologica in una fase banale. Ciò consente un confronto rigoroso della magia ai punti duali.

L'analisi impiega tre modelli specifici:

1. Catena XX dimerizzata (modello SSH): Esibisce una SPTP per dimerizzazione $\delta \in (0, 1]$ e una fase banale per $\delta \in [-1, 0)$.
2. Catena Cluster–Ising: Esibisce una SPTP (fase cluster) quando l'interazione a tre corpi del cluster domina ($\lambda < 1$) e una fase antiferromagnetica banale quando domina l'accoppiamento Ising ($\lambda > 1$).
3. Catena Ising in campo trasverso: Un modello non topologico con una auto-dualità tra fasi ferromagnetica e paramagnetica, utilizzato come caso di controllo.

Le simulazioni numeriche utilizzano il Density Matrix Renormalization Group (DMRG) per ottenere gli stati fondamentali tramite Matrix Product States (MPS). La $M_2$ viene valutata utilizzando due approcci complementari, con dimensioni di legame troncate a $\chi \approx 200-450$ per l'espansione della base di Pauli. Lo studio confronta sistematicamente i risultati sotto Condizioni al Contorno Periodiche (PBC), che preservano la dualità, e Condizioni al Contorno Aperte (OBC), che rompono la dualità e introducono stati di bordo.

Risultati Chiave
L'indagine produce diversi risultati controintuitivi riguardanti la relazione tra ordine topologico e magia quantistica:

• Magia Identica ai Punti Duali (PBCs): Sotto condizioni al contorno periodiche, dove la simmetria di dualità è esatta, i valori di $M_2$ per gli stati fondamentali delle fasi topologiche e banali ai punti duali sono identici. Per la catena XX dimerizzata, $M_2(\delta) = M_2(-\delta)$; per il modello Cluster–Ising, $M_2(\lambda) = M_2(1/\lambda)$. Ciò indica che la natura topologica della fase non aumenta intrinsecamente le risorse non-Clifford necessarie per preparare lo stato.
• Asimmetria Subestensiva sotto OBCs: Sotto condizioni al contorno aperte, sorge una differenza nella magia, $\Delta M_2$, tra i punti duali. Tuttavia, questa asimmetria non è un invariante topologico. Si tratta, invece, di una correzione subestensiva che dipende dai parametri microscopici dell'Hamiltoniana e dalla dimensione del sistema. All'aumentare della dimensione del sistema $L$, $\Delta M_2$ converge a una funzione finita e non costante del parametro di controllo (ad esempio, $\delta$ o $\lambda$).
• Origine Non-Topologica: L'asimmetria osservata sotto OBC è attribuita alla rottura della simmetria di dualità causata dagli effetti di bordo, piuttosto che alla presenza di ordine topologico. Ciò è confermato dalla catena Ising in campo trasverso, che manca totalmente di ordine topologico ma esibisce la stessa fenomenologia: una $\Delta M_2$ finita e dipendente dai parametri sotto OBC che svanisce sotto PBC.
• Contrasto con la Frustrazione Topologica: I risultati contrastano con i sistemi a frustrazione topologica, dove le eccitazioni delocalizzate inducono una crescita logaritmica della magia con la dimensione del sistema. Nelle SPTP studiate qui, la magia totale è ampiamente insensibile al settore topologico.

Significatività e Rivendicazioni
Gli autori concludono che l'ordine topologico nelle 1D SPTP non è necessariamente una vera risorsa computazionale in termini di magia quantistica (non-stabilizzabilità). Gli stati fondamentali delle SPTP possono essere preparati utilizzando la stessa quantità di risorse non-Clifford dei loro duali topologicamente banali.

Il lavoro suggerisce che il percepito vantaggio computazionale delle SPTP nei framework di MBQC potrebbe non derivare da un aumento intrinseco della magia totale. Invece, gli autori propongono che la valutazione della complessità computazionale in questi sistemi possa richiedere quantità alternative, come la Magia a Lungo Raggio (LRM), che cattura componenti di non-stabilizzabilità che non possono essere eliminate da circuiti locali superficiali. Le scoperte mettono in discussione l'assunto che l'ordine topologico equivalga automaticamente a una maggiore complessità computazionale all'interno del framework delle risorse di Clifford, evidenziando che la "magia" di questi stati è largamente determinata dalle condizioni al contorno e dalle violazioni di dualità, piuttosto che dalla fase topologica stessa.

Lo studio sottolinea che, sebbene le SPTP siano risorse preziose per compiti computazionali specifici (come l'MBQC), la loro classificazione all'interno di un framework di risorse di Clifford rimane non banale, e la complessità osservata può essere una manifestazione di effetti di bordo o di specifici protocolli di misurazione piuttosto che una proprietà intrinseca dell'ordine topologico.