Magic Secret Sharing: Threshold Control of Quantum Computational Power via GHZ Entanglement

Riepilogo Tecnico: Condivisione Segreta Magica (MSS)

Enunciato del Problema
La teoria delle risorse della magia identifica gli stati non-stabilizzatori come la risorsa scarsa necessaria per alimentare il calcolo quantistico universale e tollerante agli errori tramite porte non-Clifford. Mentre la Condivisione Segreta Quantistica (QSS) standard si concentra sul prevenire che parti non autorizzate apprendano l'identità di uno stato quantistico segreto, l'intersezione tra la teoria delle risorse della magia e la crittografia rimane largamente inesplorata. Il problema specifico affrontato è la distribuzione della capacità computazionale (contenuto di magia) piuttosto che di informazioni classiche o quantistiche. L'obiettivo è costruire un protocollo in cui una parte non autorizzata detenga uno stato con contenuto di magia zero, rendendola incapace di eseguire calcoli non-Clifford indipendentemente dalle operazioni che applica o dal rumore presente sul suo dispositivo.

Metodologia
Gli autori introducono la Condivisione Segreta Magica (MSS), una primitiva crittografica che utilizza uno stato pre-condiviso di Greenberger-Horne-Zeilinger (GHZ) e una singola porta di fase locale $P(\phi) = \text{diag}(1, e^{i\phi})$.

1. Struttura del Protocollo: Il protocollo realizza una struttura a soglia $(n-1, n)$. Nel caso base $(2, 3)$, Alice, Bob e Charlie condividono uno stato GHZ. Alice inietta la risorsa magica applicando $P(\phi)$ e misurando il suo qubit nella base $X$, trasmettendo il risultato. Bob misura successivamente nella base $X$ e trasmette il suo risultato. Charlie applica una correzione condizionale di Pauli-$Z$ basata sull'esito di Bob per ricostruire lo stato $P(\phi)|+\rangle$.
2. Meccanismo di Sicurezza: La sicurezza si basa sulle proprietà della distanza di Wigner, $C(\rho)$, un monotono della magia. Il protocollo garantisce che ogni singola parte (ad esempio, Bob) detenga lo stato massimamente misto $I/2$ in tutti i passaggi intermedi. Poiché $C(I/2) = 0$ e lo stato massimamente misto è un punto fisso sotto qualsiasi operazione unitaria ($U(I/2)U^\dagger = I/2$), una parte non autorizzata non possiede alcun vantaggio computazionale non-Clifford, anche se applica operazioni arbitrarie o se il rumore agisce sul suo dispositivo.
3. Selezione delle Porte: Gli autori dimostrano che, tra le porte parametriche diagonali, le porte di fase sono l'unica classe che soddisfa la "condizione di somma delle colonne" richiesta per la sicurezza (assicurando che lo stato ridotto di una singola parte sia $I/2$) permettendo simultaneamente un'iniezione fedele della magia.
4. Indipendenza dal Dispositivo: Il protocollo è elevato a un contesto indipendente dal dispositivo su un lato (1SDI). Utilizzando una disuguaglianza di guida (steering), la coalizione autorizzata può certificare la consegna del contenuto magico al destinatario senza fidarsi dei dispositivi della coalizione. Il funzionale di certificazione è costruito direttamente dal testimone duale della programmazione lineare per il monotono della magia $C$, permettendo di misurare il valore esatto del contenuto magico senza rivelare la fase segreta $\phi$.

Contributi Chiave

• Definizione di MSS: Una nuova primitiva crittografica in cui il segreto è il potere computazionale (contenuto di magia) piuttosto che l'identità dello stato.
• Protocollo a Soglia: Uno schema concreto a soglia $(n-1, n)$ che utilizza l'entanglement GHZ e le porte di fase.
• Caratterizzazione Teorica:
  • Dimostrazione che le porte di fase sono le uniche porte diagonali che soddisfano sia la sicurezza che la fedeltà.
  • Dimostrazione che la MSS si colloca precisamente al livello della guida quantistica (quantum steering) della gerarchia dell'entanglement (richiedendo entanglement e guida, ma non necessariamente non-località di Bell).
  • Derivazione di una formula esatta per il contenuto di magia degli stati delle porte di fase: $C(\phi) = (|\sin \phi| + |\cos \phi| - 1)/2$.
• Certificazione 1SDI: Un metodo per certificare il valore esatto del contenuto di magia tramite correlazioni di guida, distinguendolo dai testimoni binari delle disuguaglianze di Bell.

Risultati Sperimentali
L'istanza $(2, 3)$ del protocollo è stata implementata su IBM Marrakesh (un processore IBM Heron a 156 qubit).

• Sicurezza: In tutte le esecuzioni sperimentali, il contenuto di magia ricostruito per la parte non autorizzata (Bob) è stato $C(\rho_{Bob}) = 0.000$, rimanendo al di sotto della tolleranza di ricostruzione della programmazione lineare ($< 10^{-6}$). Ciò conferma la sicurezza robusta al rumore del punto fisso $I/2$.
• Fedeltà: La parte autorizzata (Charlie) ha ricostruito con successo lo stato magico con alta fedeltà. Le fedeltà degli stati sono variate da 0.959 a 0.986 su quattro valori di prova di $\phi$.
• Precisione: Il contenuto di magia misurato corrisponde alle previsioni teoriche con alta precisione. Per $\phi = \pi/8$, il valore sperimentale è stato $0.154 \pm 0.013$ rispetto al valore teorico di $0.153$.
• Soglie: Le fedeltà raggiunte superano significativamente la soglia di distillazione degli stati magici 15-a-1 (0.856), indicando la fattibilità del protocollo per applicazioni pratiche.

Significato e Affermazioni
Il documento afferma che la MSS offre una garanzia di sicurezza fondamentalmente diversa rispetto alla QSS standard: impedisce alle parti non autorizzate di raggiungere l'universalità computazionale non-Clifford, piuttosto che limitarsi a prevenire la fuoriuscita di informazioni. Ciò è particolarmente rilevante per il Calcolo Quantistico Cieco Multi-Server (BQC), dove il modello di minaccia prevede di impedire a un singolo server di eseguire unilateralmente porte non-Clifford.

Gli autori posizionano la MSS come un avanzamento strutturale nella crittografia quantistica, operando al livello della guida nella gerarchia dell'entanglement. Sottolineano che il protocollo richiede risorse computazionali minime al destinatario (solo un singolo qubit di memoria e correzioni di Pauli), rendendolo compatibile con modelli di client quasi-classici nel BQC distribuito. La dimostrazione sperimentale sull'hardware quantistico intermedio su scala rumorosa (NISQ) attuale convalida le previsioni teoriche di sicurezza robusta al rumore e consegna magica ad alta fedeltà.