Heralded high-dimensional module-based quantum computation

Sintesi Tecnica: Computazione Quantistica Modulare Annunciata ad Alta Dimensionalità

Problema
Sebbene la computazione quantistica offra vantaggi rispetto alle controparti classiche, la realizzazione di porte quantistiche universali, in particolare la porta NOT controllata (CNOT), rimane una sfida significativa. Le architetture esistenti per sistemi quantistici ad alta dimensionalità (qudit, dove $d > 2$) spesso si affidano alla post-selezione, il che ne limita l'efficienza, o richiedono stati entangled complessi multi-qubit. Sebbene i sistemi ad alta dimensionalità offrano vantaggi come una maggiore capacità di canale e resilienza al rumore, le indagini teoriche e sperimentali su architetture deterministiche scalabili per porte universali ad alta dimensionalità sono rimaste indietro rispetto ai sistemi a due dimensioni (qubit). Nello specifico, è necessaria una struttura deterministica e annunciata (heralded) che non consumi i qudit computazionali ed sia insensibile alla dimensionalità della base.

Metodologia
Gli autori propongono uno schema per costruire porte CNOT generalizzate ad alta dimensionalità deterministiche utilizzando moduli di parità generalizzati come blocchi costruttivi fondamentali. La metodologia procede in tre fasi principali:

1. Sviluppo di Moduli di Parità Generalizzati: Gli autori definiscono un modulo di parità generalizzato che prende due qudit in ingresso $|i\rangle$ e $|j\rangle$ e un ancilla $|0\rangle$, producendo lo stato $|ij\rangle|(j \ominus i) \mod d\rangle$. Identificano che, tra le $(d-1)!$ possibili parità "sorter" (permutazioni del secondo indice), solo due forme specifiche sono universali per il calcolo quantistico: il modulo basato sulla sottrazione $P = (j \ominus i) \mod d$ e il modulo basato sull'addizione $P = (j \oplus i) \mod d$.
2. Costruzione della Porta CNOT Generalizzata: Utilizzando questi moduli di parità, gli autori progettano un circuito (illustrato in Fig. 1) per implementare una porta CNOT generalizzata a due qudit. La procedura prevede:
   • L'iniezione dei qudit di controllo e target in un primo modulo di parità ($P_1$) insieme a un'ancilla preparata in uno stato di sovrapposizione bilanciata.
   • L'applicazione di trasformazioni di Fourier monodimensionali ($F_d$) e di un secondo modulo di parità ($P_2$) all'ancilla e al target.
   • La misurazione dell'ancilla nella base computazionale.
   • L'esecuzione di operazioni di feed-forward classico sui qudit di controllo e target basate sugli esiti delle misurazioni di $P_1$, $P_2$ e dell'ancilla. Queste operazioni correggono gli errori di fase e di permutazione per ottenere l'output CNOT desiderato: $|x\rangle_c |(x \oplus y) \mod d\rangle_t$.
3. Implementazione Ottica: Gli autori propongono un'architettura ottica specifica per l'implementazione del modulo di parità generalizzato utilizzando i gradi di libertà del momento angolare orbitale (OAM) di singoli fotoni. Questa configurazione impiega:
   • Uno stato ancilla a sei fotoni preparato tramite "Entanglement by Path Identity".
   • Sorter di parità del primo ordine ($PS_1$) e del secondo ordine ($PS_2$) basati su interferometri di Mach-Zendher contenenti prismi di Dove per instradare i fotoni in base alla parità OAM.
   • Rivelatori risolutori del numero di fotoni e rivelatori di singolo fotone per annunciare (herald) il successo dell'operazione.

Risultati Chiave

• Operazione Deterministica e Annunciata (Heralded): Lo schema proposto è deterministico in linea di principio (i qudit computazionali non vengono consumati) ed è annunciato. Il successo è segnalato da specifici click dei rivelatori (assenza di click in specifici rivelatori di singolo fotone $D_1$ e $D_2$), eliminando la necessità di post-selezione dello stato computazionale.
• Indipendenza dalla Dimensionalità: Il protocollo è insensibile alla dimensionalità $d$ della base di calcolo. Gli autori dimostrano la costruzione per i qutrit ($d=3$) e forniscono la generalizzazione per qualsiasi $d \geq 4$.
• Identificazione di Sorter Universali: Il documento stabilisce che, tra le $(d-1)!$ possibili parità sorter, solo $P = (j \ominus i) \mod d$ e $P = (j \oplus i) \mod d$ fungono da blocchi costruttivi universali per il calcolo quantistico. Altre permutazioni possono essere utili per compiti specifici come la generazione di stati entangled, ma non sono sufficienti per il calcolo universale.
• Analisi di Fattibilità: L'implementazione ottica si basa su tecnologie esistenti, tra cui piattaforme ottiche lineari programmabili, sorter di parità basati su prismi di Dove e porte single-qudit ad alta fedeltà. Gli autori riconoscono i limiti pratici, come il disallineamento spazio-temporale, le imperfezioni tecniche dei sorter e i dark count dei rivelatori, pur sostenendo che il protocollo sia sperimentalmente fattibile.

Significatività e Rivendicazioni
Il documento rivendica di fornire un framework versatile per il calcolo quantistico ad alta dimensionalità che affronta i problemi di scalabilità ed efficienza dei precedenti approcci. Utilizzando moduli di parità generalizzati, lo schema ottiene:

• Efficienza delle Risorse: Richiede solo un qudit ancilla aggiuntivo e non necessita di stati entangled su larga scala.
• Misurazione Non Distruttiva: Il modulo di parità è implementato tramite misurazioni quantistiche non distruttive (QND), preservando gli stati di input per ulteriori elaborazioni.
• Modularità: I moduli di parità possono servire come blocchi costruttivi non solo per il calcolo quantistico, ma anche per compiti di comunicazione quantistica.

Gli autori posizionano il loro lavoro come un passo verso architetture quantistiche ad alta dimensionalità scalabili, offrendo un'alternativa deterministica ai metodi probabilistici basati sulla post-selezione. Essi sottolineano che, sebbene l'implementazione ottica sia dettagliata per fotoni codificati in OAM, i concetti sottostanti sono generalizzabili ad altre piattaforme fisiche.