Bosonic quantum Fourier codes

Riassunto Tecnico: Codici di Fourier Quantistici Bosonici

1. Il Problema: La Tensione tra Protezione e Manipolazione

Il problema centrale affrontato nel paper è il conflitto fondamentale tra la capacità di correzione degli errori e la facilità di manipolazione delle informazioni (il cosiddetto "tension" tra information processing ed error correction). Secondo il teorema di Eastin-Knill, un codice quantistico che permette l'implementazione trasversale delle porte logiche non può formare un set di porte universale.

Nei sistemi a dimensione infinita (modi bosonici), si cerca di aggirare questo limite. Sebbene esistano codici promettenti come i codici cat, GKP o pair-cat, la sfida rimane trovare un'architettura che offra un'ottima resistenza alle perdite (loss) e, contemporaneamente, un set di porte logiche universali facilmente implementabili sperimentalmente.

2. Metodologia: L'Encoding di Fourier Quantistico

L'autore propone un nuovo approccio basato sulla teoria dei gruppi. Invece di concentrarsi solo sulla protezione, la strategia parte dalla struttura di un gruppo finito $G \subset U(d)$ e dalla sua rappresentazione fisica $\pi$.

Il meccanismo di encoding:
L'informazione viene codificata utilizzando la Trasformata di Fourier Quantistica (QFT) del gruppo. L'operatore di encoding $E$ mappa i registri logico ($L$) e di molteplicità ($M$) in uno spazio fisico di stati coerenti $|\alpha\rangle$ che sono trasformati dalle rappresentazioni del gruppo.

• Rappresentazione Fisica: Si utilizzano unitàari Gaussiani passivi (come lo swap tra modi o sfasamenti) per implementare le operazioni del gruppo.
• Il Gruppo Scelto: L'autore si concentra sul gruppo di Pauli reale $G = \langle X, Z \rangle$ (il gruppo diedrale $D_8$), che è non commutativo. Questo permette di codificare un sistema logico non banale in una singola rappresentazione irriducibile.

3. Contributi Chiave: Il "Two-Mode Fourier Cat Code"

La principale innovazione è la creazione del two-mode Fourier cat code. Utilizzando due modi bosonici e una specifica configurazione di stati coerenti $|\alpha, i\alpha\rangle$ (con $\alpha = \sqrt{\pi/2}$), l'encoding produce uno spazio di 4 dimensioni che può essere interpretato come due qubit:

1. Qubit Logico ($L$): Il qubit principale per cui si desidera il controllo universale.
2. Qubit di Molteplicità ($M$): Un qubit ausiliario (o di gauge) utilizzato per facilitare l'implementazione di porte logiche complesse sul primo qubit.

Caratteristiche tecniche del codice:

• Stati di Codifica: Gli stati risultano essere prodotti di stati cat a singolo modo (es. $|d_{0,0}\rangle = |1_\alpha\rangle|0_{i\alpha}\rangle$).
• Stabilizzatori: Il codice è stabilizzato da operatori di tipo Lindblad che combinano caratteristiche dei codici 4-legged cat e pair-cat, rendendolo robusto contro la perdita di un singolo fotone.

4. Risultati: Controllo Universale e Correzione Errori

Il paper dimostra che questo codice permette un set di porte universali con implementazioni fisiche accessibili:

• Porte Clifford:
  • Le porte Pauli ($X_L, Z_L$) sono ottenute tramite swap e sfasamenti.
  • La porta di fase ($S_L$) e la porta entangling ($CZ_{L1L2}$) sono implementabili tramite interazioni di tipo Kerr (self-Kerr e cross-Kerr).
  • La porta Hadamard ($H_L$): È l'elemento più originale. Viene implementata tramite una tecnica di deformazione del codice (code deformation): si applica un beamsplitter fisico $\pi(H)$ che deforma il codice in una versione equivalente, e si combina con porte di fase per isolare l'operazione sul solo qubit logico.
• Porte non-Clifford (T-gate): Implementabili tramite l'effetto Zeno quantistico (usando un drive Hamiltoniano quadratico) o tramite porte SNAP (Selective Number-dependent Arbitrary Phase).
• Prestazioni di Correzione: I risultati numerici (Fig. 1) mostrano che il codice ha prestazioni di fedeltà di entanglement paragonabili ai codici cat più avanzati, offrendo un ottimo compromesso tra resistenza alla perdita e facilità di controllo.

5. Significato e Prospettive

La significatività di questo lavoro risiede nel superamento della dicotomia tra protezione e manipolazione. Proponendo un codice dove il "costo" della protezione è mitigato dall'uso di un registro di molteplicità, l'autore fornisce un blueprint per un'architettura quantistica bosonica più efficiente.

Implicazioni future:

• L'estensione a gruppi più grandi (come il gruppo quaternionale $Q_8$) potrebbe permettere l'implementazione di intere porte di Clifford tramite unitàari Gaussiani passivi.
• Il framework è applicabile anche oltre i sistemi bosonici, suggerendo potenziali applicazioni in sistemi di spin o altri sistemi a dimensione finita.