Secret-shared teleportation of a two-qudit gate with a deferred recipient

Sintesi Tecnica: Segreto-Condivisione della Teletrasporto di un Gate a Due Qudit con Destinatario Differito

Enunciato del Problema
L'informazione quantistica non può essere copiata e le operazioni quantistiche ignote non possono essere memorizzate per un'esecuzione successiva. Sebbene specifici gate possano essere incorporati in risorse di entanglement e teletrasportati, i protocolli tradizionali di teletrasporto di gate vincolano la risorsa a una destinazione fissa al momento della creazione. Questo limite impedisce il "differimento" del destinatario: un fornitore non può distribuire una capacità di gate a più candidati e successivamente selezionarne esattamente uno per esercitarla senza rivelare la scelta o richiedere la partecipazione di tutti i candidati. Gli schemi esistenti per la condivisione di operazioni quantistiche (ad esempio, l'implementazione remota controllata) tipicamente fissano il destinatario in anticipo o richiedono che tutti i controllori misurino e annunciino i risultati, permettendo a un singolo controllore di porre il veto sull'operazione. Il presente articolo affronta la sfida di condividere segretamente la capacità di applicare un gate di entanglement non locale in modo che:

1. Il destinatario sia scelto solo dopo la distribuzione della risorsa.
2. Le parti non selezionate non apprendano nulla sui dati o sull'evento di selezione.
3. Il gate sia applicato esattamente, in ogni ramo di misura, per qualsiasi dimensione di qudit $d$.

Metodologia
Il protocollo utilizza la clonazione criptata applicata non ai dati, ma a una metà di una risorsa di teletrasporto di gate. Esso opera in tre fasi coinvolgendo un fornitore, un utente (Alice) e $n$ nodi candidati:

1. Distribuzione della Risorsa (Fase 1):

   • Il fornitore prepara una coppia massimamente entangled $|\Phi\rangle_{B_A B_C}$, assegnando $B_A$ ad Alice e trattenendo $B_C$.
   • Il fornitore prepara $n$ coppie di Bell $|\Phi\rangle_{S_j K_j}$.
   • Un circuito di codifica $U_{enc}$ viene applicato a $B_C$ e ai qudit di segnale $S_1, \dots, S_n$. Questo circuito utilizza una scala di porte controlled-sum (CSUM), una porta di fase quadratica $P_\theta$ e trasformate di Fourier.
   • I qudit di segnale $S_j$ vengono inviati a $n$ siti candidati, mentre i qudit di chiave $K_1, \dots, K_n$ sono trattenuti dal fornitore.
   • Fondamentalmente, l'angolo di fase $\theta$ deve essere un "angolo piatto" $\theta^*(d)$ (specificamente $2\pi/d$ per $d$ dispari e $\pi/d$ per $d$ pari) per garantire il recupero esatto.

2. Redenzione della Chiave (Fase 2):

   • In un momento successivo, il fornitore seleziona un nodo specifico (Bob) e rilascia il registro di chiave $(K_1, \dots, K_n)$ a lui tramite un canale quantistico autenticato.
   • Bob applica un circuito di decodifica $U_{dec}$ al suo qudit di segnale $S_B$ e al registro di chiave.
   • Questo decoder, composto da $O(n)$ porte, recupera l'entanglement originale tra $B_A$ e $B_C$, teletrasportando efficacemente l'entanglement alla coppia $(B_A, S_B)$ con fedeltà unitaria. Tutte le altre quote rimangono massimamente miste e non correlate con i dati.

3. Completamento del Gate (Fase 3):

   • Alice e Bob eseguono operazioni locali e comunicazione classica per completare un gate non locale.
   • Alice applica $CSUM^{k_1}(D_A \to B_A)$ e misura $B_A$. Bob applica $CSUB^{k_2}(S_B \to D_B)$ e misura $S_B$ nella base di Fourier.
   • Dopo lo scambio dei risultati di misura, applicano correzioni di Weyl. Il protocollo implementa un gate $CSUM^k$ esatto dove $k \equiv k_1 k_2 \pmod d$. L'utente (Alice) può scegliere la potenza $k$ localmente, e tale scelta rimane nascosta al fornitore e ai candidati.

Contributi Chiave e Risultati

• Condivisione Segreta di Soglia di un Gate: Il protocollo stabilisce uno schema di condivisione segreta quantistica in cui il "segreto" è la risorsa di entanglement necessaria per teletrasportare un gate. Per $n=2$ candidati, i cinque registri distribuiti (la coppia originale più due coppie segnale-chiave) formano uno schema di soglia ((3, 5)): qualsiasi tre registri possono recuperare il segreto, mentre due registri non contengono alcuna informazione.
• Esattezza e Universalità: Il protocollo funziona per qualsiasi dimensione di qudit $d \ge 2$ e per qualsiasi numero di candidati $n \ge 2$. Garantisce l'applicazione esatta del gate in ogni ramo di misura (senza post-selezione) e funziona con input entangled con sistemi esterni arbitrari.
• Anonimato e Privacy:
  • Nodi Non Selezionati: Qualsiasi coalizione di meno di $n$ candidati, o il solo registro di chiave, possiede uno stato massimamente misto e non correlato con i dati dell'utente. I nodi non selezionati non possono distinguere se sia avvenuta una selezione o quale nodo sia stato selezionato.
  • Utilizzo Singolo: Il registro di chiave è a uso singolo. Una volta che Bob ha decodificato, le quote rimanenti vengono ri-accoppiate con le loro chiavi e perdono ogni correlazione con i dati di Alice. Un secondo tentativo di decodifica con la chiave esaurita produce solo una fedeltà di indovinare casuale ($1/d^2$).
• Destinatario Differito e Potenza Anonima: Il destinatario è scelto dopo la distribuzione. Inoltre, la potenza $k$ del gate applicato è scelta dall'utente dopo la distribuzione e non è rivelata nei registri trasmessi o nei messaggi pubblici, fornendo una forma di occultamento dell'operazione.
• Circuiti Espliciti: Il documento fornisce circuiti espliciti $O(n)$ sia per l'encoder che per il decoder, indipendenti dalla dimensione dello spazio di Hilbert $d^2(n+1)$.
• Resilienza al Rumore: La fedeltà di processo sotto rumore depolarizzante è analizzata. La fedeltà scala linearmente con la probabilità di rumore $p$ sulla quota redenta e sul registro di chiave, scendendo da 1 a $1/d^2$ per $p=1$. Il rumore sulle quote non selezionate non ha effetto sul gate.

Significatività e Rivendicazioni
L'articolo sostiene di far avanzare il calcolo quantistico distribuito e le capacità delle reti quantistiche consentendo l'autorizzazione congiunta, l'anonimato e la distribuzione anticipata delle capacità di gate.

• Novità: La costruzione è nuova anche per i qubit ($d=2$). Per $d > 2$, si basa su caratteristiche specifiche dell'aritmetica del gruppo di Clifford dei qudit, in particolare la necessità di "angoli piatti" per l'encoder di fase quadratica e la gestione dei segni nella fase di teletrasporto per supportare potenze arbitrarie del gate.
• Relazione con il Lavoro Esistente: Il protocollo è inquadrato come "clonazione criptata di un gate" piuttosto che di uno stato. Estende il concetto di teletrasporto di operazioni unitarie permettendo che la destinazione e il tempo siano decisi post-creazione.
• Praticità: I requisiti di risorse sono modesti ($2n+4$ qudit, $O(n)$ porte), rendendo lo schema fattibile per gli attuali processori qudit e piattaforme fotoniche.
• Limitazioni: Il protocollo assume avversari semi-onesti (che seguono il protocollo ma possono colludere) e operazioni ideali per l'encoder/decoder e le misure. Non copre attacchi attivi al key o ai canali classici, né si estende attualmente a gate non-Clifford o a codifiche fault-tolerant dell'intero registro.

Il lavoro fornisce una derivazione a chiusura definita della struttura di accesso e dimostra che lo schema funziona come uno schema di condivisione segreta a soglia per un gate non locale a due qudit, offrendo un nuovo primitivo per operazioni quantistiche sicure e distribuite.