Reconstructing non-Abelian braiding and fusion without anyon transport

=== BOZZA ===
Ecco un riepilogo tecnico dettagliato del articolo "Reconstructing non-Abelian braiding and fusion without anyon transport."

Problema

Gli anyoni non-abeliani offrono una via per il calcolo quantistico universale e tollerante ai guasti grazie alla loro capacità di memorizzare l'informazione logica in modo non locale, rendendola insensibile alle perturbazioni locali. Tuttavia, accedere sperimentalmente ai dati definitivi di questi anyoni — specificamente le trasformazioni di braiding ($R$) e fusione ($F$) — rimane una sfida significativa. I protocolli convenzionali richiedono la creazione controllata, il trasporto fisico e la misurazione coerente di eccitazioni anyoniche, il che comporta un sostanziale overhead di risorse sull'hardware quantistico. Sebbene il calcolo quantistico topologico "solo tramite misurazione" (measurement-only) abbia teoricamente dimostrato che il braiding può essere generato tramite misurazioni di carica temporalmente ordinate piuttosto che tramite movimento fisico, la ricostruzione diretta dei dati sottostanti $R$ e $F$ per modelli non-abeliani (come il doppio quantistico $D(S_3)$) su hardware quantistico digitale è stata ostacolata dalla complessità delle descrizioni di reticolo richieste, che coinvolgono qudit locali $d=6$ e operazioni non unitarie.

Metodologia

Gli autori introducono e realizzano sperimentalmente un protocollo basato solo sulla misurazione che ricostruisce i primitivi di braiding e fusione non-abeliani del modello doppio quantistico $D(S_3)$ senza trasportare fisicamente gli anyoni. L'approccio si basa su tre innovazioni metodologiche chiave:

1. Riduzione Densa (Dense Reduction): Gli autori dimostrano che i rilevanti overlap a quattro qudit necessari per estrarre i dati di $D(S_3)$ possono essere ridotti a valori di aspettazione di operatori che agiscono su soli due qutrit. Sfruttando la struttura di gruppo $S_3 \simeq Z_3 \rtimes Z_2$, la complessa dinamica di plaquette a quattro qudit viene mappata su un sistema ridotto a due qutrit. Fondamentalmente, questi valori di aspettazione possono essere valutati su uno stato prodotto semplice $|\xi\rangle$ piuttosto che sullo stato fondamentale entangled dell'intera plaquette, semplificando significativamente la preparazione dello stato.
2. Codifica Qubit e Dilatazione Assistita da Ancilla: Il protocollo ridotto a due qutrit è implementato sui processori a ioni intrappolati H2 di Quantinuum. Ogni qutrit logico è codificato nel sottospazio a peso di Hamming unitario di tre qubit fisici ($|1,0,0\rangle, |0,1,0\rangle, |0,0,1\rangle$). Poiché gli operatori di ribbon e di proiezione di carica sono non unitari, essi vengono implementati probabilisticamente tramite dilatazioni assistite da ancilla. Il successo delle operazioni è segnalato (heralded) da specifici esiti di misurazione sui qubit ancilla.
3. Protocolli di Ricostruzione:
   • Braiding: Le fasi di braiding al quadrato $(R_i)^2$ sono ricostruite utilizzando un test di Hadamard adattato. Ciò consente l'estrazione sia delle componenti reali che di quelle immaginarie degli overlap di proiezione-ribbon non unitari. La fase del settore $G$ è inferita sottraendo il risultato del settore $+$ da una misurazione di canale identità.
   • Fusione: Gli ampiezze di fusione al quadrato $|F_{ij}|^2$ sono ricostruite tramite probabilità di overlap post-selezionato e normalizzazione. Il protocollo prepara due risoluzioni della base di fusione dello stesso processo anyonico; il valore di aspettazione del vuoto del diagramma chiuso risultante fornisce il modulo al quadrato degli elementi della matrice di fusione.

Contributi Chiave

• Realizzazione Sperimentale di Protocolli Basati Solo sulla Misurazione: Il documento fornisce un protocollo compatto e specifico per osservabile che ricostruisce i dati di braiding e fusione non-abeliani attraverso operazioni di ribbon temporalmente ordinate e proiezioni di carica locali, eliminando la necessità di trasporto fisico di anyoni. Questo approccio integra le precedenti realizzazioni su larga scala (es. Rif. [24]) comprimendo le storie di plaquette rilevanti in un protocollo logico minimo a due qutrit, adatto a caratterizzare i primitivi elementari su hardware basato su qubit.
• Implementazione Compatta a Due Qutrit: Riducendo la dinamica di plaquette di $D(S_3)$ a un protocollo logico a due qutrit, gli autori dimostrano una via modulare per caratterizzare i primitivi non-abeliani su hardware basato su qubit, evitando la necessità di ampie codifiche qudit $d=6$.
• Ricostruzione ad Alta Fedeltà dei Primitivi: Lo studio ricostruisce con successo le fasi di braiding al quadrato e le ampiezze di fusione per il minimo doppio quantistico non-abeliano $D(S_3)$, concentrandosi sulla sottocategoria di fusione chiusa $\{A, B, G\}$ (dove $A$ è il vuoto, $B$ è abeliano e $G$ è non-abeliano).

Risultati

L'esperimento è stato condotto sui processori a ioni intrappolati H2 di Quantinuum. I risultati dimostrano un'alta fedeltà tra le trasformazioni ricostruite e i valori teorici ideali:

• Fasi di Braiding: Le fasi di braiding al quadrato $(R_+)^2$ e $(R_G)^2$ ricostruite sono state estratte con fedeltà medie dello stato di output normalizzato $F_R = 0.9988$. I valori sperimentali concordano con le radici dell'unità teoriche ($\bar{\omega}$ e $\omega$) con una significatività statistica superiore a cinque deviazioni standard dal limite di depolarizzazione a ampiezza zero.
• Ampiezze di Fusione: Le ampiezze di fusione al quadrato sono state ricostruite tramite probabilità post-selezionate. La matrice di fusione $F_{exp}$ risultante ha raggiunto una fedeltà media dello stato di output normalizzato $F_F = 0.9987$ quando testata contro stati di input Haar-random. La ricostruzione dell'ingresso del canale $G$ ($F_{GG}$) è stata coerente con il valore teorico di zero, poiché non sono stati osservati eventi accettati nel canale $m_{GG}$ (0 su 11.000 shot), mentre l'incertezza dominante in altri ingressi derivava dalla bassa probabilità di accettazione del canale di normalizzazione $G$ ($p(n_G) \approx 4.6 \times 10^{-4}$), che ha prodotto solo 6 eventi accettati su 13.000 shot.
• Generazione di Risorse Non-Clifford: Combinando i primitivi ricostruiti, gli autori hanno generato un braid composito $B_s = F_s^\dagger R^2 F_s$. Questa operazione ha prodotto uno stato di risorsa non-stabilizer, quantificato da un'entropia di Rényi $M_2$ del secondo ordine $M_2 \approx 0.258 \pm 0.0886$, distinto dal valore ideale di $\approx 0.208$. Ciò conferma la generazione di una risorsa non-Clifford, componente necessaria per il calcolo quantistico universale.

Significatività e Rivendicazioni

Il documento afferma che questi risultati stabiliscono un blocco costruttivo compatto per l'elaborazione topologica non-abeliana programmabile. Comprimendo le storie di plaquette rilevanti in un protocollo logico a due qutrit, gli autori forniscono una via modulare per caratterizzare con alta accuratezza i primitivi elementari di braiding e fusione prima di assemblare strutture più grandi.

Il lavoro supporta la fattibilità di codifiche anyoniche "solo tramite misurazione" come blocchi costruttivi per processori quantistici topologici più grandi. Dimostra che i dati sottostanti $R$ e $F$ possono essere ricostruiti direttamente su hardware quantistico senza l'overhead di risorse di una estesa preparazione di stati topologici o del trasporto fisico di anyoni. Gli autori osservano che, sebbene l'esperimento attuale affronti una singola plaquette codificata, la combinazione di rappresentazione logica compatta, alta fedeltà dei primitivi e un'architettura modulare basata solo sulla misurazione offre una via promettente per scalare il braiding, la fusione, la preparazione di stati magici e le porte logiche all'interno di processori anyonici codificati più ampi.