Shallow Unitary Circuits for Kramers-Wannier Dualities

Sintesi Tecnica: Circuiti Unitari Superficiali per le Dualità di Kramers-Wannier

Enunciato del Problema
La dualità di Kramers-Wannier (KW) è una trasformazione fondamentale nella fisica quantistica dei molti corpi che mappa stati a corto raggio entangled (SRE), come gli stati paramagnetici fondamentali, in stati a lungo raggio entangled (LRE), come gli stati di Greenberger-Horne-Zeilinger (GHZ) o gli stati con ordine topologico. La realizzazione fisica di questa dualità come circuito quantistico è desiderabile per preparare stati LRE e simulare eccitazioni esotiche. Tuttavia, la complessità del circuito per questa trasformazione è vincolata dalle risorse quantistiche disponibili:

• Unitari Locali: Sotto il limite di Lieb-Robinson, i circuiti unitari spazialmente locali richiedono una profondità che scala linearmente con la dimensione del sistema ($O(N)$) per generare stati LRE da stati SRE.
• Approcci Basati su Misura: Recenti lavori hanno dimostrato che le misurazioni a metà circuito e il feedback classico possono raggiungere una profondità $O(1)$, ma ciò richiede operazioni non unitarie e controllo classico in tempo reale.
• Il Problema Aperto: Le moderne piattaforme quantistiche (ad esempio, array di atomi di Rydberg, ioni intrappolati) supportano interazioni non locali spazialmente. Rimane un problema aperto se circuiti unitari puramente non locali possano implementare la dualità KW in modo efficiente. I precedenti risultati di "no-go" indicano che una profondità $O(1)$ è impossibile anche con connettività all-to-all (poiché gli stati GHZ e del codice torico non possono essere preparati in circuiti unitari a profondità $O(1)$). La precedente incertezza riguardava la profondità ottimale di compilazione unitaria per la dualità KW.

Metodologia
Gli autori costruiscono esplicitamente circuiti unitari superficiali e spazialmente non locali che realizzano mappe di dualità KW esatte. La metodologia si basa su una costruzione ricorsiva induttiva:

1. Costruzione 1D ($Z_2$):

   • Gli autori definiscono un circuito di dualità KW "ruotato", $\tilde{U}_{1d}$, correlato alla dualità standard $U_{1d}$ tramite uno strato di porte di Hadamard.
   • Impiegano una strategia divide-et-impera. Per una catena di $2M$ siti, il circuito è costruito applicando porte CNOT per accoppiare i siti dispari e pari, applicando ricorsivamente il circuito di dualità al sottolattice pari, e poi applicando porte CNOT per disaccoppiarli.
   • Il caso base è un singolo sito (porta di Hadamard).
   • Per dimensioni di sistema generali $N$ (non potenze di 2), il reticolo viene diviso in un sottolattice potenza di 2 e un resto, con pattern CNOT specifici che collegano questi ultimi per preservare la mappa di dualità.
   • La profondità del circuito risultante è $O(\log_2 N)$.

2. Costruzione 2D ($Z_2$):

   • La dualità 2D mappa i qubit sui vertici ai qubit sui bordi di un reticolo quadrato.
   • La costruzione utilizza un approccio induttivo simile, raddoppiando la dimensione del reticolo in una dimensione (ad esempio, da $N_1 \times M$ a $N_1 \times 2M$).
   • Il passaggio prevede tre isometrie/unitari:
     • $V_1$: Porte CNOT che accoppiano le righe.
     • $U$: Una mappa che agisce sulle righe pari (effettivamente una dualità 1D su quelle righe).
     • $V_2$ e $V_3$: Porte CNOT e qubit ancilla (inizializzati a $|0\rangle$) per gestire i bordi verticali e imporre la condizione di "flusso nullo" ($\prod Z_e = 1$) richiesta per lo stato fondamentale del codice torico.
   • Il caso base è un reticolo $N_1 \times 1$, che si riduce alla dualità ruotata 1D con l'aggiunta di qubit ancilla per i bordi verticali.
   • La profondità totale scala come $O(\log_2 N)$, dove $N$ è il numero totale di vertici.

3. Generalizzazione a $Z_n$:

   • La costruzione è estesa a dualità KW $Z_n$ arbitrarie ($n > 2$).
   • Ciò comporta la sostituzione delle porte di Pauli standard con operatori $Z_n$ generalizzati:
     • Le porte CNOT sono sostituite da porte controllate-$X^\dagger$ (o $CX^{-1}$).
     • Le porte di Hadamard sono sostituite dalla Trasformata di Fourier Quantistica ($F$) e dalla sua inversa.
   • La struttura ricorsiva rimane identica al caso $Z_2$.

Risultati Chiave

• Profondità Logaritmica: Gli autori dimostrano che le mappe di dualità KW esatte sia in 1D che in 2D possono essere implementate da circuiti puramente unitari con profondità $O(\log_2 N)$ utilizzando porte al massimo a due qubit con connettività spaziale non locale.
• Mappe di Dualità Esatte: A differenza degli algoritmi progettati per preparare stati target specifici (ad esempio, stati GHZ o del codice torico ideali), questi circuiti implementano la completa mappa di dualità.
• Restrizione al Settore: I circuiti realizzano la dualità esattamente quando agiscono sul settore simmetrico (neutrale rispetto alla carica) (stati con autovalore $+1$ sotto l'operatore di simmetria globale $\prod X_j$). All'interno di questo settore, i circuiti mappano arbitrari stati SRE a punto fisso non fissato nei loro duali LRE corrispondenti, preservando le lunghezze di correlazione finite e trasformando le eccitazioni locali in anyoni.
• Trasformazione degli Operatori: I circuiti soddisfano esplicitamente le regole di mappatura degli operatori (ad esempio, $(Z_j Z_{j+1}, X_j) \to (X_{j+1}, Z_j Z_{j+1})$ in 1D) fino al vestito della simmetria globale, che svanisce nel settore neutro rispetto alla carica.

Significato e Rivendicazioni
Il lavoro afferma di aver stabilito un percorso puramente coerente ed efficiente per esplorare transizioni di fase e dualità topologiche su moderne piattaforme quantistiche dotate di connettività non locale.

• Colmare il Vuoto: Il lavoro colma il divario tra il limite di profondità lineare dei circuiti locali e il limite di profondità costante dei circuiti basati su misura, fornendo il limite di velocità ottimale per le trasformazioni puramente unitarie.
• Rilevanza per l'Hardware: I risultati sono motivati dal fatto che l'esecuzione di porte unitarie non locali su piattaforme come gli array di atomi di Rydberg è spesso meno dispendiosa in termini di risorse rispetto all'esecuzione di misurazioni rapide e non distruttive a metà circuito.
• Generalità: Il protocollo non è limitato a specifici stati analitici ma si applica ad arbitrari stati all'interno del settore simmetrico, rendendolo uno strumento versatile per simulare la materia topologica e le trasformazioni di dualità.
• Prospettive Future: Gli autori suggeriscono che i risultati si generalizzano a dimensioni superiori e osservano che estendere questi circuiti non locali a simmetrie discrete non abeliane arbitrarie rimane una sfida futura, poiché anche i circuiti adattivi attualmente mancano di protocolli a profondità sub-lineare per tali casi.