Resolving topological order crossovers on NISQ hardware

Sintesi Tecnica: Risoluzione dei Crossover dell'Ordine Topologico su Hardware NISQ

Enunciato del Problema
Sebbene le fasi topologiche della materia offrano una strada promettente per l'elaborazione robusta dell'informazione quantistica, la loro realizzazione sperimentale su dispositivi attuali a livello Noisy Intermediate-Scale Quantum (NISQ) affronta una sfida critica: determinare se le firme dei crossover topologici rimangano risolvibili sotto imperfezioni realistiche. I modelli teorici spesso assumono condizioni ideali, ma la transizione dai regimi topologici a quelli triviali in sistemi a dimensione finita è sensibile al disordine statico, al rumore accumulato nei circuiti e agli effetti non-Hermitiani (perdita). Questo lavoro affronta la questione se le firme diagnostiche di dimensione finita del modello di Wen–plaquette possano essere distinte dal comportamento triviale su hardware quantistico reale in presenza di tali imperfezioni.

Metodologia
Gli autori impiegano una strategia in due fasi utilizzando l'hardware IBM Quantum per caratterizzare e scalare la simulazione del modello di Wen–plaquette:

1. Caratterizzazione Variazionale su un Sistema Piccolo:

   • Modello: Un reticolo aperto $3 \times 3$ di nove qubit che implementa l'Hamiltoniana di Wen–plaquette ($H_{wen}$), estesa con un campo trasversale ($g$), disordine on-site ($h$) e un campo immaginario effettivo non-Hermitiano ($\gamma$).
   • Preparazione dello Stato: Gli stati target (stati fondamentali di equilibrio e stati evoluti temporalmente sotto quench unitari e non-unitari) sono approssimati utilizzando un circuito quantistico variazionale efficiente per l'hardware ($V_n(\theta)$). I parametri sono ottimizzati classicamente per minimizzare l'infedeltà tra l'output del circuito e lo stato target esatto.
   • Diagnostica: Vengono misurati due osservabili:
     • Stabilizzatore Locale di Plaquette ($F_1$): Sondifica la struttura del settore dello stabilizzatore locale.
     • Loop di Wilson Nonlocale ($W$): Sondifica la persistenza della risposta del loop a dimensione finita e l'ordine topologico.
   • Amplificazione del Rumore: Per quantificare la robustezza, vengono inseriti nel circuito dei layer "identità" (sequenze di gate che agiscono come identità nel limite privo di rumore) per amplificare sistematicamente gli errori accumulati di gate e decoerenza senza alterare l'evoluzione unitaria ideale.

2. Implementazione Scalabile Basata sulla Proiezione:

   • Modello: Un reticolo quadrato $5 \times 5$ più grande su un processore 2D IBM (IBM Miami).
   • Preparazione dello Stato: Invece dell'ottimizzazione variazionale, viene utilizzato un metodo di costruzione a "qubit rappresentativo". Questo metodo impone coerentemente i vincoli locali di plaquette ($\Pi_{i,j} = (I + F_{i,j})/2$) per proiettare direttamente uno stato prodotto nel desiderato settore dello stabilizzatore $Z_2^A$. Ciò evita la misura mid-circuit e l'addestramento variazionale.
   • Test di Robustezza: Perturbazioni coerenti locali controllate e amplificate (rotazioni casuali $R_x$ a singolo qubit) vengono applicate allo stato preparato per testare la stabilità della risposta della plaquette mediata sul reticolo.

Risultati Chiave

• Resilienza della Diagnostica al Rumore:

  • Il crossover a dimensione finita tra il regime dominato dallo stabilizzatore e il regime polarizzato triviale rimane chiaramente risolto anche quando la profondità del circuito viene significativamente aumentata tramite l'inserimento di layer di identità.
  • Il segnale del loop di Wilson nonlocale ($\langle W \rangle$) è preservato sotto l'amplificazione sistematica del rumore, dimostrando che l'implementazione hardware mantiene il segnale topologico rilevante nonostante gli errori accumulati.

• Diagnostica di Equilibrio:

  • Robustezza Locale vs. Nonlocale: Lo stabilizzatore di plaquette locale ($\langle F_1 \rangle$) rimane una diagnostica robusta anche in presenza di forte disordine ($h=5$), distinguendo chiaramente i settori $Z_2^A$ e $Z_2^B$. Al contrario, la risposta del loop di Wilson nonlocale è fortemente soppressa dal disordine, indicando che le firme non locali sono più fragili all'inomogeneità statica rispetto a quelle locali.
  • Risoluzione del Crossover: La transizione da una forte risposta del loop a un regime triviale è osservabile in sistemi puliti, ma viene attenuata in sistemi fortemente disordinati.

• Stabilità Dinamica (Quench):

  • Quench Unitari: La sopravvivenza dinamica della firma di plaquette dipende dalla competizione tra l'intensità del disordine e la scala di energia dello stabilizzatore. Vicino al crossover di dimensione finita (accoppiamento debole), la risposta della plaquette decade rapidamente sotto l'effetto del disordine. Nel profondo del regime di forte accoppiamento, la risposta è sostanzialmente più robusta, decadendo lentamente e rimanendo non nulla per tempi lunghi.
  • Quench Non-Hermitiani: Trend simili si osservano sotto evoluzione non-unitaria (campi immaginari). Gli stati nel profondo del regime di stabilizzatore mantengono una grande risposta di plaquette sotto deboli effetti non-Hermitiani, mentre gli stati vicino al crossover sono rapidamente destabilizzati. La perdita della risposta di plaquette correla con l'emergere di autovalori complessi nello spettro.

• Implementazione Scalabile:

  • La preparazione basata sulla proiezione sul reticolo $5 \times 5$ genera con successo uno stato nel settore dello stabilizzatore target.
  • La risposta di plaquette mediata sul reticolo ($\bar{F}$) mostra solo una debole degradazione sotto perturbazioni coerenti locali intenzionalmente amplificate, confermando la stabilità locale della struttura topologica preparata.
  • La struttura locale a strati del circuito permette l'esecuzione in parallelo, suggerendo una via favorevole per la scalabilità verso sistemi più grandi senza richiedere circuiti completamente non locali.

Significatività e Rivendicazioni
Il lavoro sostiene di fornire una via pratica per preparare e sondare le firme topologiche su processori quantistici a breve termine. Il suo contributo primario non è la dimostrazione dell'ordine topologico termodinamico (che è oltre le capacità attuali dei dispositivi), ma una caratterizzazione risolta dall'hardware dei regimi di parametro e di rumore in cui le caratteristiche topologiche a dimensione finita rimangono distinguibili dal comportamento triviale.

Le rivendicazioni chiave includono:

1. Fattibilità: Le diagnostiche topologiche a dimensione finita (sia locali che non locali) possono essere risolte su hardware NISK nonostante le imperfezioni realistiche, a condizione che il sistema sia sufficientemente profondo nel regime dominato dallo stabilizzatore.
2. Gerarchia di Robustezza: Le firme dello stabilizzatore locale sono significativamente più robuste contro il disordine e il rumore rispetto alle firme del loop di Wilson non locale.
3. Scalabilità: Un protocollo di preparazione ispirato alla proiezione e non-variazionale offre un'alternativa valida all'addestramento variazionale profondo per scalare le simulazioni topologiche su reticoli 2D più grandi su hardware con connettività adeguata.
4. Memoria Dinamica: La dinamica fuori dall'equilibrio mantiene una chiara memoria del sottostante crossover di equilibrio, con la stabilità dinamica che funge da sonda complementare per le transizioni di fase.

Il lavoro collega la caratterizzazione controllata a dimensione finita con un'implementazione hardware scalabile, offrendo un quadro unificato per studiare l'ordine topologico sotto disordine statico, rumore accumulato e campi non-Hermitiani effettivi.