Useful entanglement can be extracted from noisy graph states

Sintesi Tecnica: Entanglement Utile da Stati a Grafo Rumorosi

Enunciato del Problema
La computazione quantistica basata sulla misura (MBQC) e le reti quantistiche dipendono fortemente dagli stati a grafo, dove l'entanglement è strutturato secondo la connettività di un grafo. Un'operazione fondamentale in questi sistemi è l'estrazione di stati entangled più piccoli, come coppie di Bell o stati GHZ, da risorse a grafo più grandi tramite misurazioni locali. Mentre gli stati a grafo ideali permettono un'estrazione deterministica, le implementazioni sperimentali sono soggette a rumore. I modelli di rumore comuni includono porte CZ imperfette (che portano alla perdita di archi o errori di fase) e fallimenti delle porte di fusione nei sistemi fotonici. L'estrazione di stati entangled ad alta fedeltà da questi ensemble rumorosi è una sfida; il problema generale di estrarre specifici stati a grafo da grafi più grandi è noto per essere NP-completo. Inoltre, i protocolli di estrazione standard, come la misurazione di un percorso di qubit nella base X per creare una coppia di Bell, sono altamente suscettibili al rumore, dove la mancanza di un singolo arco o un errore di fase può distruggere l'entanglement risultante.

Metodologia
Gli autori sfruttano il formalismo dei stabilizzatori degli stati a grafo per progettare protocolli di estrazione robusti. La metodologia centrale prevede:

1. Analisi degli Stabilizzatori: Il documento utilizza la proprietà che gli stati a grafo sono autostati unici $+1$ di un gruppo di stabilizzatori generato da operatori $g_i = X_i \prod_{j \in N(i)} Z_j$. I valori di aspettazione delle stringhe di Pauli sono non nulli solo se appartengono al gruppo di stabilizzatori.
2. Correlazioni Indotte dalla Misura: Gli autori applicano il Lemma 1, che dimostra come le misurazioni locali sequenziali di Pauli inducano correlazioni nei qubit non misurati rimanenti. Lo stato post-misura è stabilizzato da operatori derivati dal gruppo di stabilizzatori originale, condizionati sugli esiti delle misurazioni.
3. Modellazione del Rumore: Sono analizzati tre modelli di rumore fisicamente motivati:
   • Rumore di Arco Incorrelato: Modellato come una rimozione probabilistica di archi (stati a grafo randomizzati), derivante dal rumore di fase nelle interazioni di tipo Ising.
   • Rumore di Arco Correlato: Derivante da fluttuazioni globali nel tempo di interazione, che influenzano tutti gli archi simultaneamente.
   • Rumore di Flip Z Locale: Modellato come l'applicazione probabilistica di unità locali Z, rilevante per le porte di fusione nell'ottica lineare.
4. Famiglie di Grafi e Postselezione: Lo studio confronta tre famiglie di strutture grafiche parametrizzate dalla distanza tra i qubit terminali:
   • Grafo a Percorso (Path Graph): Il benchmark standard.
   • Grafo a Coppia Torsione (Twisted Pair Graph): Strati di 1 e 2 qubit con connettività specifica.
   • Grafo Folle (Crazy Graph): Strati di 2 qubit con connettività completa tra gli strati adiacenti.
     Il protocollo prevede la misurazione dei qubit interni nella base X e la postselezione su esiti di misura che siano coerenti con la struttura dello stabilizzatore dello stato a grafo ideale. Gli esiti che violano i vincoli di parità (ad esempio, il prodotto degli esiti $\neq 1$) vengono scartati, fungendo da meccanismo probabilistico di rilevamento dell'errore.
5. Quantificazione: La qualità dello stato estratto è quantificata dalla fedeltà $F$ rispetto allo stato target ideale. La sensibilità al rumore è misurata dalla suscettibilità della fedeltà $\alpha$, definita come il tasso iniziale di decadimento della fedeltà nel limite di basso rumore ($\alpha = -d\langle F\rangle/dp |_{p=0}$).

Contributi Chiave e Risultati

• Famiglie di Grafi Robuste: Il documento dimostra che specifiche topologie di grafi, ovvero i grafi "a coppia torsione" e "folli", offrono una resilienza al rumore superiore rispetto ai semplici grafi a percorso.
  • Grafi Folli: Queste strutture esibiscono una suscettibilità della fedeltà $\alpha$ costante che è indipendente dalla lunghezza del grafo. Ciò è attribuito all'esistenza di "stabilizzatori correttivi" dove la perdita di un singolo arco interno non altera la struttura dello stabilizzatore post-misura dei qubit terminali, a condizione che gli esiti siano postselezionati correttamente.
  • Grafi a Coppia Torsione: Mostrano una suscettibilità nulla al rumore di fase perfettamente correlato sotto specifiche condizioni di postselezione (selezionando solo esiti negativi).
• Rilevamento dell'Errore tramite Stabilizzatori: Il lavoro formalizza come la postselezione basata sulla coerenza dello stabilizzatore agisca come un filtro per il rumore. Ad esempio, in un grafo quadrato, misurare i qubit 1 e 3 nella base X produce esiti $(+1, +1)$ o $(-1, -1)$ per uno stato ideale. Osservare segni misti indica la presenza di rumore (ad esempio, un arco mancante), consentendo lo scarto dello stato.
• Scaling e Estrazione di GHZ: I risultati estendono l'estrazione dalle coppie di Bell alla generazione di stati GHZ a 3 qubit da strutture a stella. La topologia del grafo "folle" mantiene le sue proprietà di resistenza al rumore anche in questo compito di estrazione più complesso, mostrando miglioramenti significativi della fedeltà nel regime di rumore intermedio rispetto ai grafi a percorso.
• Cancellazione del Rumore: Per il rumore di fase correlato, gli autori mostrano che specifiche strategie di postselezione (ad esempio, selezionando solo esiti $-1$ nelle misurazioni X) possono cancellare completamente gli effetti di rumore non triviali di ordine inferiore nei grafi a coppia torsione e folli.

Significato e Rivendicazioni
Il documento sostiene di fornire un quadro matematico per la riduzione del rumore nella computazione quantistica basata sulla misura che non richiede complessi codici di correzione dell'errore quantistico. Invece, utilizza misurazioni locali di singolo qubit e la postselezione, che sono sperimentalmente fattibili.

• Utilità Pratica: Le proposte strutture a "grafo folle" possono servire come link robusti per il trasferimento di informazioni (teletrasporto) e la preparazione di stati nelle reti quantistiche, minimizzando l'overhead di qubit fisici necessari per mantenere la qualità dell'entanglement.
• Universalità: Gli autori suggeriscono che il comportamento di resistenza al rumore osservato in queste specifiche famiglie di grafi possa essere universale per certe strutture di connettività, sebbene una prova formale per tutti i casi sia oltre l'ambito di questo studio.
• Limitazioni: L'approccio attuale è limitato alle misurazioni di Pauli, il che restringe l'insieme delle operazioni a quelle classicamente simulabili. Gli autori osservano che estendere questi metodi a misurazioni non di Pauli potrebbe aprire nuove strade per la computazione quantistica, ma introdurrebbe ulteriori complessità concettuali e pratiche.

In sintesi, il lavoro stabilisce che, progettando specifiche topologie di grafi e utilizzando la postselezione basata sugli stabilizzatori, è possibile estrarre stati entangled di alta qualità da risorse rumorose, mitigando efficacementamente l'impatto di modelli di rumore sperimentali realistici con un overhead minimo.