Certifying classes of $d$-outcome measurements with quantum steering

Sintesi Tecnica: Certificazione di Classi di Misure con $d$ Esiti tramite Steering Quantistico

Enunciato del Problema
Gli schemi di certificazione indipendenti dal dispositivo (DI), in particolare l'autotesting basato sulle disuguaglianze di Bell, offrono la forma più forte di verifica per stati e misure quantistici richiedendo ipotesi minime sull'hardware sottostante. Tuttavia, tali schemi sono spesso proibitivamente costosi da implementare, richiedendo un gran numero di impostazioni di misura (ad esempio, $O(d^3)$ per misure proiettive reali in dimensione $d$) per certificare un singolo stato o osservabile. Gli schemi semi-indipendenti dal dispositivo (SDI), come quelli basati sullo steering quantistico, offrono una via di mezzo assumendo che una parte (Alice) esegua misure fidate e note, mentre l'altra (Bob) esegua misure non fidate e arbitrarie. Sebbene i precedenti lavori sull'autotesting SDI abbiano affrontato classi specifiche di misure (ad esempio, basi mutuamente unbiased) o richiesto alla parte fidata di cambiare misure per ogni nuovo obiettivo, permane la necessità di un quadro generale in grado di certificare una vasta classe di misure con $d$ esiti utilizzando un insieme fisso di misure fidate.

Metodologia
Gli autori propongono una costruzione di una famiglia di disuguaglianze di steering adattate per certificare una vasta classe di misure proiettive con $d$ esiti sul lato non fidato (Bob). Lo scenario coinvolge due parti, Alice e Bob, che condividono uno stato bipartito arbitrario $\rho_{AB}$ di dimensione locale $d$.

• Configurazione di Alice: Alice esegue $d$ misure proiettive fidate e note definite dagli operatori di Heisenberg-Weyl (HW) $A_x = XZ^{-x}$, dove $X$ e $Z$ sono operatori di Pauli generalizzati.
• Configurazione di Bob: Bob esegue $d$ misure arbitrarie con $d$ esiti $B_y$. Le misure target da certificare sono definite come combinazioni lineari unitarie degli operatori HW: $B_y = \frac{1}{d} \sum_{k,j} e^{i\phi_{j\oplus 1, y}} \omega^{-kj} XZ^k$, dove $\{\phi_{j,y}\}$ sono parametri reali che soddisfano vincoli specifici.
• Costruzione della Disuguaglianza di Steering: Gli autori definiscono correlatori generalizzati utilizzando trasformate di Fourier dei risultati di misura. Costruiscono un operatore di steering $S$ come somma di prodotti tensoriali delle potenze degli operatori HW di Alice e degli operatori costruiti $\tilde{B}^{(n)}_k$ di Bob. I coefficienti $\gamma^{(n)}_{yk}$ sono scelti in modo che le misure di riferimento soddisfino condizioni di ortogonalità, permettendo l'inversione della combinazione lineare per isolare specifiche potenze HW.
• Quadro di Autotesting: Il documento sviluppa una dimostrazione di autotesting che non assume che lo stato condiviso sia puro o che le misure di Bob siano proiettive. Utilizza una decomposizione Somma di Quadrati (SOS) per stabilire il limite quantistico e deriva le condizioni necessarie per la violazione massima.

Contributi e Risultati Chiave

1. Disuguaglianze di Steering Generalizzate: Il documento presenta una famiglia di disuguaglianze di steering (Eq. 23) adattate a qualsiasi combinazione lineare di operatori di Heisenberg-Weyl sul lato di Bob. A differenza dei lavori precedenti in cui la parte fidata doveva adattare le proprie misure, Alice esegue un insieme fisso di misure ($A_x = XZ^{-x}$) indipendentemente dalla specifica misura target per cui Bob viene certificato.
2. Violazione Quantistica Massimale: Gli autori dimostrano che il valore quantistico massimo di queste disuguaglianze è $\beta_Q = d(d-1)$. Questo massimo è raggiunto unicamente dallo stato massimamente intrecciato di due qudit, $|\phi^+_d\rangle$, e dalle specifiche misure di riferimento definite dai parametri scelti $\{\phi_{j,y}\}$.
3. Teoremi di Autotesting Robusti:
   • Teorema 1 e 2: Gli autori dimostrano che la violazione massima della disuguaglianza di steering implica che lo stato condiviso è equivalente allo stato massimamente intrecciato (a meno di trasformazioni unitarie locali e di un sistema ausiliario) e che le misure di Bob sono equivalenti alle misure di riferimento target. Crucialmente, ciò vale anche se lo stato iniziale è misto e le misure di Bob sono non proiettive.
   • Teorema 3 (Robustezza): Per il caso qutrit ($d=3$), il documento fornisce un'analisi di robustezza. Dimostra che se il valore osservato è entro $\epsilon$ della violazione massima, lo stato e le misure sono vicini al riferimento ideale per un fattore proporzionale a $\epsilon^{1/4}$.
4. Limiti Classici: Il documento calcola il limite classico $\beta_C$ per il caso qutrit numericamente e analiticamente per specifici insiemi di parametri, mostrando che $\beta_C < \beta_Q$, garantendo che le disuguaglianze siano non banali e capaci di autotesting.

Significato
Il documento afferma di ampliare la portata della certificazione semi-indipendente dal dispositivo. Costruendo disuguaglianze di steering in grado di certificare una vasta classe di misure con $d$ esiti utilizzando un insieme fisso di misure fidate, gli autori forniscono una via verso protocolli di certificazione quantistica più generali ma meno costosi rispetto agli schemi pienamente indipendenti dal dispositivo. Il lavoro dimostra che l'autotesting è possibile per stati misti e misure non proiettive nello scenario di steering, affrontando le limitazioni dei precedenti metodi DI e SDI. Gli autori notano che, sebbene il loro schema riduca la complessità delle misure rispetto agli schemi pienamente DI, rimane una questione aperta riguardo alla riduzione del numero di misure da $d$ al minimo di $2$ richiesto per lo steering, e all'estensione di queste disuguaglianze allo scenario pienamente indipendente dal dispositivo.